-
Uniqueness of the Veech 14-gon
Authors:
Karl Winsor
Abstract:
We obtain the first complete classification result for algebraically primitive Teichmüller curves in a stratum component in genus greater than 2. Specifically, we show that the Veech 14-gon generates the unique algebraically primitive Teichmüller curve in the hyperelliptic component of the stratum $Ω\mathcal{M}_3(2,2)$.
We obtain the first complete classification result for algebraically primitive Teichmüller curves in a stratum component in genus greater than 2. Specifically, we show that the Veech 14-gon generates the unique algebraically primitive Teichmüller curve in the hyperelliptic component of the stratum $Ω\mathcal{M}_3(2,2)$.
△ Less
Submitted 18 October, 2022;
originally announced October 2022.
-
Saturated orbit closures in the Hodge bundle
Authors:
Karl Winsor
Abstract:
We give a new proof of the classification of ${\rm GL}^+(2,\mathbb{R})$-orbit closures that are saturated for the absolute period foliation of the Hodge bundle. As a consequence, we obtain a short proof of the classification of closures of leaves of the absolute period foliation of the Hodge bundle. Our approach is based on a method for classifying ${\rm GL}^+(2,\mathbb{R})$-orbit closures using d…
▽ More
We give a new proof of the classification of ${\rm GL}^+(2,\mathbb{R})$-orbit closures that are saturated for the absolute period foliation of the Hodge bundle. As a consequence, we obtain a short proof of the classification of closures of leaves of the absolute period foliation of the Hodge bundle. Our approach is based on a method for classifying ${\rm GL}^+(2,\mathbb{R})$-orbit closures using deformations of flat pairs of pants.
△ Less
Submitted 22 December, 2022; v1 submitted 17 October, 2022;
originally announced October 2022.
-
Dense real Rel flow orbits and absolute period leaves
Authors:
Karl Winsor
Abstract:
We show the existence of a dense orbit for real Rel flows on the area-1 locus of every connected component of every stratum of holomorphic 1-forms with at least 2 distinct zeros. For this purpose, we establish a general density criterion for ${\rm SL}(2,\mathbb{R})$-orbit closures, based on finding an orbit of a real Rel flow whose closure contains a horocycle. This criterion can be verified using…
▽ More
We show the existence of a dense orbit for real Rel flows on the area-1 locus of every connected component of every stratum of holomorphic 1-forms with at least 2 distinct zeros. For this purpose, we establish a general density criterion for ${\rm SL}(2,\mathbb{R})$-orbit closures, based on finding an orbit of a real Rel flow whose closure contains a horocycle. This criterion can be verified using explicit constructions of holomorphic 1-forms with a periodic horizontal foliation. Our constructions also provide explicit examples of dense leaves of the absolute period foliation and many subfoliations of these loci.
△ Less
Submitted 23 December, 2022; v1 submitted 11 July, 2022;
originally announced July 2022.
-
Dynamics of the absolute period foliation of a stratum of holomorphic 1-forms
Authors:
Karl Winsor
Abstract:
Let $\mathcal{C}$ be a connected component of a stratum of the moduli space of holomorphic $1$-forms of genus $g$. We show that the absolute period foliation of $\mathcal{C}$ is ergodic on the area-$1$ locus, and that the non-dense leaves lie in an explicit countable union of suborbifolds, subject to a mild assumption on $\mathcal{C}$. We show similar results for subspaces of $\mathcal{C}$ defined…
▽ More
Let $\mathcal{C}$ be a connected component of a stratum of the moduli space of holomorphic $1$-forms of genus $g$. We show that the absolute period foliation of $\mathcal{C}$ is ergodic on the area-$1$ locus, and that the non-dense leaves lie in an explicit countable union of suborbifolds, subject to a mild assumption on $\mathcal{C}$. We show similar results for subspaces of $\mathcal{C}$ defined by topological restrictions on the absolute periods. We obtain these dynamical results by showing that for a typical positive cohomology class in $H^1(S_g;\mathbb{C})$, the associated space of isoperiodic forms in $\mathcal{C}$ is connected. Lastly, we show that certain covering constructions provide examples of spaces of isoperiodic forms with positive dimension and infinitely many connected components.
△ Less
Submitted 19 September, 2024; v1 submitted 26 September, 2021;
originally announced September 2021.
-
Lower-Order Biases Second Moments of Dirichlet Coefficients in Families of $L$-Functions
Authors:
Megumi Asada,
Ryan Chen,
Eva Fourakis,
Yujin Kim,
Andrew Kwon,
Jared D. Lichtman,
Blake Mackall,
Steven J. Miller,
Eric Winsor,
Karl Winsor,
Jianing Yang,
Kevin Yang
Abstract:
Let $\mathcal E: y^2 = x^3 + A(T)x + B(T)$ be a nontrivial one-parameter family of elliptic curves over $\mathbb{Q}(T)$, with $A(T), B(T) \in \mathbb Z(T)$, and consider the $k$\textsuperscript{th} moments $A_{k,\mathcal{E}}(p) := \sum_{t (p)} a_{\mathcal{E}_t}(p)^k$ of the Dirichlet coefficients $a_{\mathcal{E}_t}(p) := p + 1 - |\mathcal{E}_t (\mathbb{F}_p)|$. Rosen and Silverman proved a conject…
▽ More
Let $\mathcal E: y^2 = x^3 + A(T)x + B(T)$ be a nontrivial one-parameter family of elliptic curves over $\mathbb{Q}(T)$, with $A(T), B(T) \in \mathbb Z(T)$, and consider the $k$\textsuperscript{th} moments $A_{k,\mathcal{E}}(p) := \sum_{t (p)} a_{\mathcal{E}_t}(p)^k$ of the Dirichlet coefficients $a_{\mathcal{E}_t}(p) := p + 1 - |\mathcal{E}_t (\mathbb{F}_p)|$. Rosen and Silverman proved a conjecture of Nagao relating the first moment $A_{1,\mathcal{E}}(p)$ to the rank of the family over $\mathbb{Q}(T)$, and Michel proved that if $j(T)$ is not constant then the second moment is equal to $A_{2,\mathcal{E}}(p) = p^2 + O(p^{3/2})$. Cohomological arguments show that the lower order terms are of sizes $p^{3/2}, p, p^{1/2}$, and $1$. In every case we are able to analyze in closed form, the largest lower order term in the second moment expansion that does not average to zero is on average negative, though numerics suggest this may fail for families of moderate rank. We prove this Bias Conjecture for several large classes of families, including families with rank, complex multiplication, and constant $j(T)$-invariant. We also study the analogous Bias Conjecture for families of Dirichlet characters, holomorphic forms on GL$(2)/\mathbb{Q}$, and their symmetric powers and Rankin-Selberg convolutions. We identify all lower order terms in large classes of families, shedding light on the arithmetic objects controlling these terms. The negative bias in these lower order terms has implications toward the excess rank conjecture and the behavior of zeros near the central point in families of $L$-functions.
△ Less
Submitted 7 February, 2021; v1 submitted 18 August, 2018;
originally announced August 2018.
-
Some Results in the Theory of Low-lying Zeros: Determining the 1-level density, identifying the group symmetry and the arithmetic of moments of Satake parameters
Authors:
Blake Mackall,
Steven J. Miller,
Christina Rapti,
Caroline Turnage-Butterbaugh,
Karl Winsor,
with an appendix by Megumi Asada,
Eva Fourakis,
Steven J. Miller,
Kevin Yang
Abstract:
While Random Matrix Theory has successfully modeled many quantities of families of L-functions, it frequently cannot see the family's arithmetic. In some situations this requires an extended theory that inserts arithmetic factors depending on the family, while in other cases these factors result in contributions which vanish in the limit, and are thus not detected. We review the general theory ass…
▽ More
While Random Matrix Theory has successfully modeled many quantities of families of L-functions, it frequently cannot see the family's arithmetic. In some situations this requires an extended theory that inserts arithmetic factors depending on the family, while in other cases these factors result in contributions which vanish in the limit, and are thus not detected. We review the general theory associated to one of the most important statistics, the n-level density of zeros near the central point. According to the Katz-Sarnak density conjecture, to each family of L-functions there is a corresponding symmetry group such that the behavior of zeros near the central point as the conductors tend to infinity agrees with the behavior of eigenvalues near 1 as the matrix size tends to infinity. We show how these calculations are done, emphasizing the techniques, methods and obstructions to improving the results, by considering in full detail a family of Dirichlet characters. We then describe how we may associate a symmetry constant to each family, and how to determine the symmetry group of a compound family in terms of the symmetries of the constituents. These calculations explain the remarkable universality of behavior, where the main terms are independent of the arithmetic (only the first two moments of the Satake parameters contribute in the limit; similar to the Central Limit Theorem, the higher moments are only felt in the rate of convergence). We end by exploring lower order terms in families of elliptic curves. We present evidence supporting a conjecture that the average second moment in one-parameter families without complex multiplication has, when appropriately viewed, a negative bias, and end with a discussion of the consequences of this bias on the distribution of low-lying zeros, in particular relations between such a bias and the observed excess rank in families.
△ Less
Submitted 2 February, 2016;
originally announced February 2016.
-
Limiting Spectral Measures for Random Matrix Ensembles with a Polynomial Link Function
Authors:
Kirk Swanson,
Steven J. Miller,
Kimsy Tor,
Karl Winsor
Abstract:
Consider the ensembles of real symmetric Toeplitz matrices and real symmetric Hankel matrices whose entries are i.i.d. random variables chosen from a fixed probability distribution p of mean 0, variance 1, and finite higher moments. Previous work on real symmetric Toeplitz matrices shows that the spectral measures, or densities of normalized eigenvalues, converge almost surely to a universal near-…
▽ More
Consider the ensembles of real symmetric Toeplitz matrices and real symmetric Hankel matrices whose entries are i.i.d. random variables chosen from a fixed probability distribution p of mean 0, variance 1, and finite higher moments. Previous work on real symmetric Toeplitz matrices shows that the spectral measures, or densities of normalized eigenvalues, converge almost surely to a universal near-Gaussian distribution, while previous work on real symmetric Hankel matrices shows that the spectral measures converge almost surely to a universal non-unimodal distribution. Real symmetric Toeplitz matrices are constant along the diagonals, while real symmetric Hankel matrices are constant along the skew diagonals. We generalize the Toeplitz and Hankel matrices to study matrices that are constant along some curve described by a real-valued bivariate polynomial. Using the Method of Moments and an analysis of the resulting Diophantine equations, we show that the spectral measures associated with linear bivariate polynomials converge in probability and almost surely to universal non-semicircular distributions. We prove that these limiting distributions approach the semicircle in the limit of large values of the polynomial coefficients. We then prove that the spectral measures associated with the sum or difference of any two real-valued polynomials with different degrees converge in probability and almost surely to a universal semicircular distribution.
△ Less
Submitted 12 November, 2014;
originally announced November 2014.
-
Gaps between zeros of GL(2) $L$-functions
Authors:
Owen Barrett,
Brian McDonald,
Steven J. Miller,
Patrick Ryan,
Caroline L. Turnage-Butterbaugh,
Karl Winsor
Abstract:
Let $L(s,f)$ be an $L$-function associated to a primitive (holomorphic or Maass) cusp form $f$ on GL(2) over $\mathbb{Q}$. Combining mean-value estimates of Montgomery and Vaughan with a method of Ramachandra, we prove a formula for the mixed second moments of derivatives of $L(1/2+it,f)$ and, via a method of Hall, use it to show that there are infinitely many gaps between consecutive zeros of…
▽ More
Let $L(s,f)$ be an $L$-function associated to a primitive (holomorphic or Maass) cusp form $f$ on GL(2) over $\mathbb{Q}$. Combining mean-value estimates of Montgomery and Vaughan with a method of Ramachandra, we prove a formula for the mixed second moments of derivatives of $L(1/2+it,f)$ and, via a method of Hall, use it to show that there are infinitely many gaps between consecutive zeros of $L(s,f)$ along the critical line that are at least $\sqrt 3 = 1.732...$ times the average spacing. Using general pair correlation results due to Murty and Perelli in conjunction with a technique of Montgomery, we also prove the existence of small gaps between zeros of any primitive $L$-function of the Selberg class. In particular, when $f$ is a primitive holomorphic cusp form on GL(2) over $\mathbb{Q}$, we prove that there are infinitely many gaps between consecutive zeros of $L(s,f)$ along the critical line that are at most $< 0.823$ times the average spacing.
△ Less
Submitted 9 April, 2015; v1 submitted 28 October, 2014;
originally announced October 2014.
