Equations of genus $4$ curves from their theta constants

Jeroen Hanselman,Andreas Pieper,Sam Schiavone

2024-07-09

Abstract:In this article we give explicit formulas for the equations of a generic genus $4$ curve in terms of its theta constants. The method uses the Prym construction and the beautiful classical geometry around it.

Algebraic Geometry,Number Theory

What problem does this paper attempt to address?

Hirzebruch X Y Genera of the Hilbert Schemes of Surfaces by Localization Formula

Kefeng Liu,Catherine Yan,Jian Zhou

DOI: https://doi.org/10.1007/bf02872330

2002-01-01

Science in China Series A Mathematics

Abstract:We use the Atiyah-Bott-Segal-Singer Lefschetz fixed point formula to calculate the Hirzebruch ?y genus Xy(S[n]), where S[n] is the Hilbert scheme of points of length n of a surface S. Combinatorial interpretation of the weights of the fixed points of the natural torus action on ( 2)[n] is used. This is the first step to prove a conjectural formula about the elliptic genus of the Hilbert schemes.
Reconstruction of curves from their theta hyperplanes in genera $6$ and $7$

Türkü Özlüm Çelik,David Lehavi

2024-04-27

Abstract:We derive a formula for reconstructing a generic complex canonical curve $C$ of genus 6 and 7 in terms of the theta hyperplanes of $C$. Hence, we get a generic inverse to the Torelli map, as well as a complete description of the Schottky locus in these genera. The computational part of the proof relies on a certified numerical argument.

Algebraic Geometry
Local structure of theta divisors and related loci of generic curves

Nero Budur

2024-03-19

Abstract:For a generic compact Riemann surface the theta function is at every point on the Jacobian equal to its first Taylor term, up to a holomorphic change of local coordinates and multiplication by a local holomorphic unit. More generally, any Brill-Noether locus of twisted stable vector bundles on a smooth projective curve is at every point L locally étale isomorphic with its tangent cone if the Petri map at L is injective. This assumption has various consequences for Brill-Noether loci: positive answers to the monodromy conjecture for generalized theta divisors and to questions of Schnell-Yang on log resolutions and Whitney stratifications, and formulas for local b-functions, log canonical thresholds, topological zeta functions, and minimal discrepancies.

Algebraic Geometry
A census of all genus 4 curves over the field with 2 elements

Xavier Xarles

DOI: https://doi.org/10.48550/arXiv.2007.07822

2020-07-16

Abstract:We explain how we computed equations for all genus 4 curves defined of the field with 2 elements, up-to-isomorphism, and some of the data we obtained. We give descriptions also of nice models for genus 4 curves over characteristic 2 fields, in both the hyperelliptic case and the trigonal case.

Algebraic Geometry,Number Theory
The arithmetic-geometric mean and isogenies for curves of higher genus

Ron Donagi,Ron Livne

DOI: https://doi.org/10.48550/arXiv.alg-geom/9712027

1997-12-22

Abstract:Computation of Gauss's arithmetic-geometric mean involves iteration of a simple step, whose algebro-geometric interpretation is the construction of an elliptic curve isogenous to a given one, specifically one whose period is double the original period. A higher genus analogue should involve the explicit construction of a curve whose jacobian is isogenous to the jacobian of a given curve. The doubling of the period matrix means that the kernel of the isogeny should be a lagrangian subgroup of the group of points of order 2 in the jacobian. In genus 2 such a construction was given classically by Humbert and was studied more recently by Bost and Mestre. In this article we give such a construction for general curves of genus 3. We also give a similar but simpler construction for hyperelliptic curves of genus 3. We show that the hyperelliptic construction is a degeneration of the general one, and we prove that the kernel of the induced isogeny on jacobians is a lagrangian subgroup of the points of order 2. We show that for g at least 4 no similar construction exists, and we also reinterpret the genus 2 case in our setup. Our construction of these correspondences uses the bigonal and the trigonal constructions, familiar in the theory of Prym varieties.

Algebraic Geometry
Theta surfaces

Daniele Agostini,Türkü Özlüm Çelik,Julia Struwe,Bernd Sturmfels

DOI: https://doi.org/10.48550/arXiv.2001.11385

2020-06-07

Abstract:A theta surface in affine 3-space is the zero set of a Riemann theta function in genus 3. This includes surfaces arising from special plane quartics that are singular or reducible. Lie and Poincaré showed that theta surfaces are precisely the surfaces of double translation, i.e. obtained as the Minkowski sum of two space curves in two different ways. These curves are parametrized by abelian integrals, so they are usually not algebraic. This paper offers a new view on this classical topic through the lens of computation. We present practical tools for passing between quartic curves and their theta surfaces, and we develop the numerical algebraic geometry of degenerations of theta functions.

Algebraic Geometry,Complex Variables,History and Overview
The geometry and arithmetic of bielliptic Picard curves

Jef Laga,Ari Shnidman

DOI: https://doi.org/10.48550/arXiv.2308.15297

2023-12-20

Abstract:We study the geometry and arithmetic of the curves $C \colon y^3 = x^4 + ax^2 + b$ and their associated Prym abelian surfaces $P$. We prove a Torelli theorem in this context and give a geometric proof of the fact that $P$ has quaternionic multiplication (QM) by the quaternion order of discriminant $6$. This allows us to describe the Galois action on the geometric endomorphism algebra of $P$. As an application, we classify the torsion subgroups of the Mordell-Weil groups $P(\mathbb{Q})$, as both abelian groups and $\text{End}(P)$-modules.

Algebraic Geometry,Number Theory
Explicit formula for the $(\text{GL}_2, \text{GL}_2)$ theta lift via Bruhat decomposition

Peter Xu

2024-09-20

Abstract:Using combinations of weight-1 and weight-2 of Kronecker-Eisenstein series to construct currents in the distributional de Rham complex of a squared elliptic curve, we find a simple explicit formula for the type II $(\text{GL}_2, \text{GL}_2)$ theta lift without smoothing, analogous to the classical formula of Siegel for periods of Eisenstein series. For $K$ a CM field, the same technique applies without change to obtain an analogous formula for the $(\text{GL}_2(K),K^\times)$ theta correspondence.

Number Theory
Arithmetic Riemann-Roch and Hilbert-Samuel formulae for pointed stable curves

Gerard Freixas i Montplet

DOI: https://doi.org/10.48550/arXiv.0803.2366

2008-03-17

Abstract:We prove arithmetic Riemann-Roch and Hilbert-Samuel type formulae for pointed stable curves. We give applications to volumes of lattices of integral cusps forms for pointed stable curves of genus 0.

Number Theory,Algebraic Geometry
Invariants of genus 4 curves

Thomas Bouchet

2023-10-02

Abstract:The present paper gives an explicit classification of the isomorphism classes of non-hyperelliptic genus 4 curves over an algebraically closed field of characteristic 0. A non-hyperelliptic genus 4 curve lies on a quadric in $\mathbb{P^3}$ of rank 3 or 4. In the case of rank 3, we give a set of 60 invariants which classify the isomorphism classes, and in the case of rank 4, we find 65 invariants. These invariants are defined by transvectants and can be efficiently computed on a given example.

Commutative Algebra,Algebraic Geometry
Hyperelliptic genus 3 curves with involutions and a Prym map

Paweł Borowka,Anatoli Shatsila

2023-08-14

Abstract:We characterise genus 3 complex smooth hyperelliptic curves that contain two additional involutions as curves that can be build from five points in $\mathbb{P}^1$ with a distinguished triple. We are able to write down explicit equations for the curves and all their quotient curves. We show that, fixing one of the elliptic quotient curve, the Prym map becomes a 2:1 map and therefore the hyperelliptic Klein Prym map, constructed recently by the first author with A. Ortega, is also 2:1 in this case. As a by-product we show an explicit family of $(1, d)$ polarised abelian surfaces (for d > 1), such that any surface in the family satisfying a certain explicit condition is abstractly non-isomorphic to its dual abelian surface.

Algebraic Geometry
Curves on powers of hyperelliptic Jacobians

Olivier de Gaay Fortman,Stefan Schreieder

2024-01-12

Abstract:For a curve of genus at least four which is either very general or very general hyperelliptic, we classify all ways in which a power of its Jacobian can be isogenous to a product of Jacobians of curves. As an application, we show that, for a very general principally polarized abelian variety of dimension at least four, or the intermediate Jacobian of a very general cubic threefold, no power is isogenous to a product of Jacobians of curves. This confirms some cases of the Coleman-Oort conjecture. We further deduce from our results some progress on the question whether the integral Hodge conjecture fails for such abelian varieties.

Algebraic Geometry,Complex Variables,Number Theory
Abelian functions associated with genus three algebraic curves

J. C. Eilbeck,M. England,Y. Ônishi

DOI: https://doi.org/10.1112/s1461157010000355

2011-11-01

LMS Journal of Computation and Mathematics

Abstract:Abstract We develop the theory of Abelian functions associated with algebraic curves. The growth in computer power and the advancement of efficient symbolic computation techniques have allowed for recent progress in this area. In this paper we focus on the genus three cases, comparing the two canonical classes of hyperelliptic and trigonal curves. We present new addition formulae, derive bases for the spaces of Abelian functions and discuss the differential equations such functions satisfy. Supplementary materials are available with this article.
Fay Identities of Pfaffian Type for Hyperelliptic Curves

Gaëtan Borot,Thomas Buc-d'Alché

DOI: https://doi.org/10.3842/SIGMA.2024.054

2024-06-23

Abstract:We establish identities of Pfaffian type for the theta function associated with twice or half the period matrix of a hyperelliptic curve. They are implied by the large size asymptotic analysis of exact Pfaffian identities for expectation values of ratios of characteristic polynomials in ensembles of orthogonal or quaternionic self-dual random matrices. We show that they amount to identities for the theta function with the period matrix of a hyperelliptic curve, and in this form we reprove them by direct geometric methods.

Mathematical Physics,Algebraic Geometry,Probability
Theory of general theta relations, addition formulas, and theta constants identities

Kiyoshi Sogo

2024-12-09

Abstract:Jacobi's theta relations among quartic products of theta functions are generalized to those of arbitrary $n$ products. Igusa's procedure of derivation is extended to prove such general theta relations, from which we obtain general addition formulas and theta constants identities. To complete the proof, the concept of {\it cycle number $\lambda$} is essential. The case of $n=3$ is discussed and examined explicitly.

Mathematical Physics
E-polynomials of character varieties for real curves

Thomas John Baird,Michael Lennox Wong

2023-06-21

Abstract:We calculate the E-polynomial for a class of the (complex) character varieties $\mathcal{M}_n^{\tau}$ associated to a genus $g$ Riemann surface $\Sigma$ equipped with an orientation reversing involution $\tau$. Our formula expresses the generating function $\sum_{n=1}^{\infty} E(\mathcal{M}_n^{\tau}) T^n$ as the plethystic logarithm of a product of sums indexed by Young diagrams. The proof uses point counting over finite fields, emulating Hausel and Rodriguez-Villegas.

Algebraic Geometry,Representation Theory,Symplectic Geometry
A Ball Quotient Parametrizing Trigonal Genus 4 Curves

Eduard Looijenga

DOI: https://doi.org/10.1017/nmj.2023.28

2024-01-01

Nagoya Mathematical Journal

Abstract:We consider the moduli space of genus 4 curves endowed with a $g<^>1_3$ (which maps with degree 2 onto the moduli space of genus 4 curves). We prove that it defines a degree $\frac {1}{2}(3<^>{10}-1)$ cover of the nine-dimensional Deligne-Mostow ball quotient such that the natural divisors that live on that moduli space become totally geodesic (their normalizations are eight-dimensional ball quotients). This isomorphism differs from the one considered by S. Kondo, and its construction is perhaps more elementary, as it does not involve K3 surfaces and their Torelli theorem: the Deligne-Mostow ball quotient parametrizes certain cyclic covers of degree 6 of a projective line and we show how a level structure on such a cover produces a degree 3 cover of that line with the same discriminant, yielding a genus 4 curve endowed with a $g<^>1_3$.
Galois action on special theta values

Paloma Bengoechea

DOI: https://doi.org/10.48550/arXiv.1409.7214

2014-09-25

Abstract:Using Shimura's reciprocity law, we calculate the Galois action on the special values of theta functions associated to primitive Dirichlet characters of odd conductor, normalised by the Dedekind eta function, at the point i. As a consequence, we prove some experimental results of Cohen and Zagier and we deduce a partial result on the non-vanishing of these special theta values with prime conductor.

Number Theory
Geometry of canonical genus 4 curves

Fatemeh Rezaee

DOI: https://doi.org/10.1112/plms.12577

2024-01-17

Proceedings of the London Mathematical Society

Abstract:Abstract We apply the machinery of Bridgeland stability conditions on derived categories of coherent sheaves to describe the geometry of classical moduli spaces associated with canonical genus 4 space curves via an effective control over its wall‐crossing. This article provides the first description of a moduli space of Pandharipande–Thomas stable pairs that is used as an intermediate step toward the description of the associated Hilbert scheme, which in turn is the first example where the components of a classical moduli space were completely determined via wall‐crossing. We give a full list of irreducible components of the space of stable pairs, along with a birational description of each component, and a partial list for the Hilbert scheme. There are several long standing open problems regarding classical sheaf theoretic moduli spaces, and the present work will shed light on further studies of such moduli spaces such as Hilbert schemes of curves and moduli of stable pairs that are very hard to tackle without the wall‐crossing techniques.

mathematics

Equations of genus $4$ curves from their theta constants

Hirzebruch X Y Genera of the Hilbert Schemes of Surfaces by Localization Formula

Reconstruction of curves from their theta hyperplanes in genera $6$ and $7$

Local structure of theta divisors and related loci of generic curves

A census of all genus 4 curves over the field with 2 elements

The arithmetic-geometric mean and isogenies for curves of higher genus

Theta surfaces

The geometry and arithmetic of bielliptic Picard curves

Explicit formula for the $(\text{GL}_2, \text{GL}_2)$ theta lift via Bruhat decomposition

Arithmetic Riemann-Roch and Hilbert-Samuel formulae for pointed stable curves

Invariants of genus 4 curves

Hyperelliptic genus 3 curves with involutions and a Prym map

Curves on powers of hyperelliptic Jacobians

Abelian functions associated with genus three algebraic curves

Fay Identities of Pfaffian Type for Hyperelliptic Curves

Theory of general theta relations, addition formulas, and theta constants identities

E-polynomials of character varieties for real curves

A Ball Quotient Parametrizing Trigonal Genus 4 Curves

Galois action on special theta values

Geometry of canonical genus 4 curves