-
A converse to geometric Manin's conjecture for general low degree hypersurfaces
Authors:
Matthew Hase-Liu
Abstract:
Geometric Manin's conjecture predicts that components of the moduli space of curves on a Fano variety parametrizing non-free curves are pathological and arise from "accumulating" morphisms that increase the Fujita invariant. By passing to positive characteristic and employing a higher genus generalization of the circle method, we prove a converse to this conjecture for general hypersurfaces $X$ in…
▽ More
Geometric Manin's conjecture predicts that components of the moduli space of curves on a Fano variety parametrizing non-free curves are pathological and arise from "accumulating" morphisms that increase the Fujita invariant. By passing to positive characteristic and employing a higher genus generalization of the circle method, we prove a converse to this conjecture for general hypersurfaces $X$ in $\mathbb{P}^{n}$ of degree $d\le n/4+3/2$, namely that there are no such accumulating maps to $X$.
△ Less
Submitted 21 January, 2025;
originally announced January 2025.
-
Terminal singularities of the moduli space of curves on low degree hypersurfaces and the circle method
Authors:
Jakob Glas,
Matthew Hase-Liu
Abstract:
We study the singularities of the moduli space of degree $e$ maps from smooth genus $g$ curves to an arbitrary smooth hypersurface of low degree. For $e$ large compared to $g$, we show that these moduli spaces have at worst terminal singularities. Our main approach is to study the jet schemes of these moduli spaces by developing a suitable form of the circle method.
We study the singularities of the moduli space of degree $e$ maps from smooth genus $g$ curves to an arbitrary smooth hypersurface of low degree. For $e$ large compared to $g$, we show that these moduli spaces have at worst terminal singularities. Our main approach is to study the jet schemes of these moduli spaces by developing a suitable form of the circle method.
△ Less
Submitted 19 December, 2024;
originally announced December 2024.
-
Non-smoothness of Moduli Spaces of Higher Genus Curves on Low Degree Hypersurfaces
Authors:
Matthew Hase-Liu,
Amal Mattoo
Abstract:
We show that the moduli space of degree $e$ maps from smooth genus $g \ge 1$ curves to an arbitrary low degree smooth hypersurface is singular when $e$ is large compared to $g$. We also give a lower bound for the dimension of the singular locus.
We show that the moduli space of degree $e$ maps from smooth genus $g \ge 1$ curves to an arbitrary low degree smooth hypersurface is singular when $e$ is large compared to $g$. We also give a lower bound for the dimension of the singular locus.
△ Less
Submitted 5 December, 2024;
originally announced December 2024.
-
A geometric approach to functional equations for general multiple Dirichlet series over function fields
Authors:
Matthew Hase-Liu
Abstract:
Sawin recently gave an axiomatic characterization of multiple Dirichlet series over the function field $\mathbb{F}_{q}(T)$ and proved their existence by exhibiting the coefficients as trace functions of specific perverse sheaves. However, he did not prove that these series actually converge anywhere, instead treating them as formal power series.
In this paper, we prove that these series do conve…
▽ More
Sawin recently gave an axiomatic characterization of multiple Dirichlet series over the function field $\mathbb{F}_{q}(T)$ and proved their existence by exhibiting the coefficients as trace functions of specific perverse sheaves. However, he did not prove that these series actually converge anywhere, instead treating them as formal power series.
In this paper, we prove that these series do converge in a certain region, and moreover that the functions obtained by analytically continuing them satisfy functional equations.
For convergence, it suffices to obtain bounds on the coefficients, for which we use the decomposition theorem for perverse sheaves, in combination with the Kontsevich moduli space of stable maps to construct a suitable compactification.
For the functional equations, the key identity is a multi-variable generalization of the relationship between a Dirichlet character and its Fourier transform; in the multiple Dirichlet series setting, this uses a density trick for simple perverse sheaves and an explicit formula for intermediate extensions from the complement of a normal crossings divisor.
△ Less
Submitted 5 September, 2024; v1 submitted 28 May, 2024;
originally announced May 2024.
-
A higher genus circle method and an application to geometric Manin's conjecture
Authors:
Matthew Hase-Liu
Abstract:
Browning and Vishe used the Hardy-Littlewood circle method to show the moduli space of rational curves on smooth hypersurfaces of low degree is irreducible and of the expected dimension. We reinterpret the circle method geometrically and prove a generalization for higher genus smooth projective curves. In particular, we explain how the geometry of numbers can be understood via the Beauville-Laszlo…
▽ More
Browning and Vishe used the Hardy-Littlewood circle method to show the moduli space of rational curves on smooth hypersurfaces of low degree is irreducible and of the expected dimension. We reinterpret the circle method geometrically and prove a generalization for higher genus smooth projective curves. In particular, we explain how the geometry of numbers can be understood via the Beauville-Laszlo theorem in terms of vector bundles on curves and their slopes, allowing us to prove a higher genus variant of Davenport's shrinking lemma. As a corollary, we apply this result to show the Fujita invariant of any proper subvariety of a smooth hypersurface of low degree is less than 1.
△ Less
Submitted 7 May, 2024; v1 submitted 16 February, 2024;
originally announced February 2024.
-
Sum-Product Phenomena for Planar Hypercomplex Numbers
Authors:
Matthew Hase-Liu,
Adam Sheffer
Abstract:
We study the sum-product problem for the planar hypercomplex numbers: the dual numbers and double numbers. These number systems are similar to the complex numbers, but it turns out that they have a very different combinatorial behavior. We identify parameters that control the behavior of these problems, and derive sum-product bounds that depend on these parameters. For the dual numbers we expose a…
▽ More
We study the sum-product problem for the planar hypercomplex numbers: the dual numbers and double numbers. These number systems are similar to the complex numbers, but it turns out that they have a very different combinatorial behavior. We identify parameters that control the behavior of these problems, and derive sum-product bounds that depend on these parameters. For the dual numbers we expose a range where the minimum value of $\max\{|A+A|,|AA|\}$ is neither close to $|A|$ nor to $|A|^2$.
To obtain our main sum-product bound, we extend Elekes' sum-product technique that relies on point-line incidences. Our extension is significantly more involved than the original proof, and in some sense runs the original technique a few times in a bootstrapping manner. We also study point-line incidences in the dual plane and in the double plane, developing analogs of the Szemeredi-Trotter theorem. As in the case of the sum-product problem, it turns out that the dual and double variants behave differently than the complex and real ones.
△ Less
Submitted 22 December, 2018;
originally announced December 2018.
-
Efficient Point-Counting Algorithms for Superelliptic Curves
Authors:
Matthew Hase-Liu,
Nicholas Triantafillou
Abstract:
In this paper, we present efficient algorithms for computing the number of points and the order of the Jacobian group of a superelliptic curve over finite fields of prime order p. Our method employs the Hasse-Weil bounds in conjunction with the Hasse-Witt matrix for superelliptic curves, whose entries we express in terms of multinomial coefficients. We present a fast algorithm for counting points…
▽ More
In this paper, we present efficient algorithms for computing the number of points and the order of the Jacobian group of a superelliptic curve over finite fields of prime order p. Our method employs the Hasse-Weil bounds in conjunction with the Hasse-Witt matrix for superelliptic curves, whose entries we express in terms of multinomial coefficients. We present a fast algorithm for counting points on specific trinomial superelliptic curves and a slower, more general method for all superelliptic curves. For the first case, we reduce the problem of simplifying the entries of the Hasse-Witt matrix modulo p to a problem of solving quadratic Diophantine equations. For the second case, we extend Bostan et al.'s method for hyperelliptic curves to general superelliptic curves. We believe the methods we describe are asymptotically the most efficient known point-counting algorithms for certain families of trinomial superelliptic curves.
△ Less
Submitted 7 September, 2017;
originally announced September 2017.
