More Like this

1. Variation of canonical height for\break Fatou points on ℙ ¹

   https://doi.org/10.1515/crelle-2022-0078  

   DeMarco, Laura; Mavraki, Niki Myrto (December 2022, Journal für die reine und angewandte Mathematik (Crelles Journal))

   Abstract Let f : ℙ 1 → ℙ 1 {f:\mathbb{P}^{1}\to\mathbb{P}^{1}} be a map of degree > 1 {>1} defined over a function field k = K ⁢ ( X ) {k=K(X)} , where K is a number field and X is a projective curve over K . For each point a ∈ ℙ 1 ⁢ ( k ) {a\in\mathbb{P}^{1}(k)} satisfying a dynamical stability condition, we prove that the Call–Silverman canonical height for specialization f t {f_{t}} at point a t {a_{t}} , for t ∈ X ⁢ ( ℚ ¯ ) {t\in X(\overline{\mathbb{Q}})} outside a finite set, induces a Weil height on the curve X ; i.e., we prove the existence of a ℚ {\mathbb{Q}} -divisor D = D f , a {D=D_{f,a}} on X so that the function t ↦ h ^ f t ⁢ ( a t ) - h D ⁢ ( t ) {t\mapsto\hat{h}_{f_{t}}(a_{t})-h_{D}(t)} is bounded on X ⁢ ( ℚ ¯ ) {X(\overline{\mathbb{Q}})} for any choice of Weil height associated to D . We also prove a local version, that the local canonical heights t ↦ λ ^ f t , v ⁢ ( a t ) {t\mapsto\hat{\lambda}_{f_{t},v}(a_{t})} differ from a Weil function for D by a continuous function on X ⁢ ( ℂ v ) {X(\mathbb{C}_{v})} , at each place v of the number field K . These results were known for polynomial maps f and all points a ∈ ℙ 1 ⁢ ( k ) {a\in\mathbb{P}^{1}(k)} without the stability hypothesis,[21, 14],and for maps f that are quotients of endomorphisms of elliptic curves E over k and all points a ∈ ℙ 1 ⁢ ( k ) {a\in\mathbb{P}^{1}(k)} . [32, 29].Finally, we characterize our stability condition in terms of the geometry of the induced map f ~ : X × ℙ 1 ⇢ X × ℙ 1 {\tilde{f}:X\times\mathbb{P}^{1}\dashrightarrow X\times\mathbb{P}^{1}} over K ; and we prove the existence of relative Néron models for the pair ( f , a ) {(f,a)} , when a is a Fatou point at a place γ of k , where the local canonical height λ ^ f , γ ⁢ ( a ) {\hat{\lambda}_{f,\gamma}(a)} can be computed as an intersection number. 

   more » « less
2. On birational boundedness of foliated surfaces

   https://doi.org/10.1515/crelle-2020-0009  

   Hacon, Christopher D.; Langer, Adrian (January 2021, Journal für die reine und angewandte Mathematik (Crelles Journal))

   Abstract In this paper we prove a result on the effective generation of pluri-canonical linear systems on foliated surfaces of general type. Fix a function {P:\mathbb{Z}_{\geq 0}\to\mathbb{Z}} , then there exists an integer {N>0} such that if {(X,{\mathcal{F}})} is a canonical or nef model of a foliation of general type with Hilbert polynomial {\chi(X,{\mathcal{O}}_{X}(mK_{\mathcal{F}}))=P(m)} for all {m\in\mathbb{Z}_{\geq 0}} , then {|mK_{\mathcal{F}}|} defines a birational map for all {m\geq N} . On the way, we also prove a Grauert–Riemenschneider-type vanishing theorem for foliated surfaces with canonical singularities. 

   more » « less
3. On Multilinear Forms: Bias, Correlation, and Tensor Rank

   Bhrushundi, Abhishek; Harsha, Prahladh; Hatami, Pooya; Kopparty, Swastik; Kumar, Mrinal (August 2020, Leibniz international proceedings in informatics)

   Byrka, Jaroslaw; Meka, Raghu (Ed.)

   In this work, we prove new relations between the bias of multilinear forms, the correlation between multilinear forms and lower degree polynomials, and the rank of tensors over F₂. We show the following results for multilinear forms and tensors. Correlation bounds. We show that a random d-linear form has exponentially low correlation with low-degree polynomials. More precisely, for d = 2^{o(k)}, we show that a random d-linear form f(X₁,X₂, … , X_d) : (F₂^{k}) ^d → F₂ has correlation 2^{-k(1-o(1))} with any polynomial of degree at most d/2 with high probability. This result is proved by giving near-optimal bounds on the bias of a random d-linear form, which is in turn proved by giving near-optimal bounds on the probability that a sum of t random d-dimensional rank-1 tensors is identically zero. Tensor rank vs Bias. We show that if a 3-dimensional tensor has small rank then its bias, when viewed as a 3-linear form, is large. More precisely, given any 3-dimensional tensor T: [k]³ → F₂ of rank at most t, the bias of the 3-linear form f_T(X₁, X₂, X₃) : = ∑_{(i₁, i₂, i₃) ∈ [k]³} T(i₁, i₂, i₃)⋅ X_{1,i₁}⋅ X_{2,i₂}⋅ X_{3,i₃} is at least (3/4)^t. This bias vs tensor-rank connection suggests a natural approach to proving nontrivial tensor-rank lower bounds. In particular, we use this approach to give a new proof that the finite field multiplication tensor has tensor rank at least 3.52 k, which is the best known rank lower bound for any explicit tensor in three dimensions over F₂. Moreover, this relation between bias and tensor rank holds for d-dimensional tensors for any fixed d. 

   more » « less
4. Counting points on smooth plane quartics

   https://doi.org/10.1007/s40993-022-00397-8  

   Costa, Edgar; Harvey, David; Sutherland, Andrew V. (March 2023, Research in Number Theory)

   Abstract We present efficient algorithms for counting points on a smooth plane quartic curve X modulo a prime p . We address both the case where X is defined over  $${\mathbb {F}}_p$$ F p and the case where X is defined over $${\mathbb {Q}}$$ Q and p is a prime of good reduction. We consider two approaches for computing $$\#X({\mathbb {F}}_p)$$ # X ( F p ) , one which runs in $$O(p\log p\log \log p)$$ O ( p log p log log p ) time using $$O(\log p)$$ O ( log p ) space and one which runs in $$O(p^{1/2}\log ^2p)$$ O ( p 1 / 2 log 2 p ) time using $$O(p^{1/2}\log p)$$ O ( p 1 / 2 log p ) space. Both approaches yield algorithms that are faster in practice than existing methods. We also present average polynomial-time algorithms for $$X/{\mathbb {Q}}$$ X / Q that compute $$\#X({\mathbb {F}}_p)$$ # X ( F p ) for good primes $$p\leqslant N$$ p ⩽ N in $$O(N\log ^3 N)$$ O ( N log 3 N ) time using O ( N ) space. These are the first practical implementations of average polynomial-time algorithms for curves that are not cyclic covers of $${\mathbb {P}}^1$$ P 1 , which in combination with previous results addresses all curves of genus $$g\leqslant 3$$ g ⩽ 3 . Our algorithms also compute Cartier–Manin/Hasse–Witt matrices that may be of independent interest. 

   more » « less
5. Base Change and Iwasawa Main Conjectures for GL2

   https://doi.org/10.1093/imrn/rnaf082  

   Burungale, Ashay; Castella, Francesc; Skinner, Christopher (April 2025, International Mathematics Research Notices)

   Abstract Let $$E$$ be an elliptic curve defined over $${\mathbb{Q}}$$ of conductor $$N$$, $$p$$ an odd prime of good ordinary reduction such that $E[p]$ is an irreducible Galois module, and $$K$$ an imaginary quadratic field with all primes dividing $Np$ split. We prove Iwasawa main conjectures for the $${\mathbb{Z}}_{p}$$-cyclotomic and $${\mathbb{Z}}_{p}$$-anticyclotomic deformations of $$E$$ over $${\mathbb{Q}}$$ and $K,$ respectively, dispensing with any of the ramification hypotheses on $E[p]$ in previous works. The strategy employs base change and the two-variable zeta element associated to $$E$$ over $$K$$, via which the sought after main conjectures are deduced from Wan’s divisibility towards a three-variable main conjecture for $$E$$ over a quartic CM field containing $$K$$ and certain Euler system divisibilities. As an application, we prove cases of the two-variable main conjecture for $$E$$ over $$K$$. The aforementioned one-variable main conjectures imply the $$p$$-part of the conjectural Birch and Swinnerton-Dyer formula for $$E$$ if $$\operatorname{ord}_{s=1}L(E,s)\leq 1$$. They are also an ingredient in the proof of Kolyvagin’s conjecture and its cyclotomic variant in our joint work with Grossi [1]. 

   more » « less