On the non-Transversality of the Hyperelliptic Locus and the Supersingular Locus for $g=3$

Andreas Pieper

2024-01-19

Abstract:This paper gives a criterion for a moduli point to be a point of non-transversal intersection of the hyperelliptic locus and the supersingular locus in the Siegel moduli stack $\mathfrak{A}_3 \times \mathbb{F}_p$. It is shown that for infinitely many primes $p$ there exists such a point.

Algebraic Geometry,Number Theory

What problem does this paper attempt to address?

On the supersingular locus of the Siegel modular variety of genus 3 or 4

Ryosuke Shimada,Teppei Takamatsu

2024-03-28

Abstract:We study the supersingular locus of the Siegel modular variety of genus 3 or 4. More concretely, we decompose the supersingular locus into a disjoint union of the product of a Deligne-Lusztig variety of Coxeter type and a finite-dimensional affine space after taking perfection.

Number Theory
On the Supersingular Locus of the $\mathrm{GU}(2,n-2)$ Shimura Variety

Ryosuke Shimada

2024-10-29

Abstract:We study the supersingular locus of a reduction at an inert prime of the Shimura variety attached to $\mathrm{GU}(2,n-2)$. More concretely, we decompose the supersingular locus into a disjoint union of iterated fibrations over (classical) Deligne-Lusztig varieties after taking perfection.

Algebraic Geometry,Number Theory
The class of the bielliptic locus in genus 3

Carel Faber,Nicola Pagani

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

2014-02-01

Abstract:Let the bielliptic locus be the closure in the moduli space of stable curves of the locus of smooth curves that are double covers of genus 1 curves. In this paper we compute the class of the bielliptic locus in \bar{M}_3 in terms of a standard basis of the rational Chow group of codimension-2 classes in the moduli space. Our method is to test the class on the hyperelliptic locus: this gives the desired result up to two free parameters, which are then determined by intersecting the locus with two surfaces in \bar{M}_3.

Algebraic Geometry
A codimension 2 component of the Gieseker-Petri locus

Margherita Lelli-Chiesa

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

2021-01-17

Abstract:We show that the Brill-Noether locus M^3_{18,16} is an irreducible component of the Gieseker-Petri locus in genus 18 having codimension 2 in the moduli space of curves. This result disproves a conjecture predicting that the Gieseker-Petri locus is always divisorial.

Algebraic Geometry
Moduli of abelian varieties near the locus of products of elliptic curves

Samuel Grushevsky,Riccardo Salvati Manni

2023-07-12

Abstract:We study various naturally defined subvarieties of the moduli space ${\mathcal A}_g$ of complex principally polarized abelian varieties (ppav) in a neighborhood of the locus of products of $g$ elliptic curves. In this neighborhood, we obtain a local description for the locus of hyperelliptic curves, reproving the recent result of Shepherd-Barron that the hyperelliptic locus is locally given by tridiagonal matrices. We further reprove and generalize to arbitrary genus the recent result of Agostini and Chua showing that the locus of Jacobians of genus 5 curves with a theta-null is an irreducible component of the locus of ppav with a theta-null such that the singular locus of the theta divisor at the corresponding two-torsion point has tangent cone of rank at most 3. We further show that the locus of ppav such that the gradient vanishes, for some odd theta characteristic, locally has codimension $g$ near the diagonal. Finally, we obtain new results on the locus where the rank of the Hessian of the theta function at a two-torsion point that lies on the theta divisor is equal to 2.

Algebraic Geometry
Gorenstein curve singularities of genus three

Luca Battistella

DOI: https://doi.org/10.1007/s11565-024-00495-8

2024-02-22

Abstract:We classify the analytic germs of isolated Gorenstein curve singularities of genus three, and relate them to the connected components of strata of abelian differentials.

Algebraic Geometry
Threefolds on the Noether line and their moduli spaces

Stephen Coughlan,Yong Hu,Roberto Pignatelli,Tong Zhang

2024-09-26

Abstract:In this paper, we completely classify the canonical threefolds on the Noether line with geometric genus $p_g \ge 11$ by studying their moduli spaces. For every such moduli space, we establish an explicit stratification, estimate the number of its irreducible components and prove the dimension formula. A new and unexpected phenomenon is that the number of irreducible components grows linearly with the geometric genus, while the moduli space of canonical surfaces on the Noether line with any prescribed geometric genus has at most two irreducible components. The key idea in the proof is to relate the canonical threefolds on the Noether line to the simple fibrations in $(1, 2)$-surfaces by proving a conjecture stated by two of the authors in [CP].

Algebraic Geometry
Hyperelliptic curves of genus 3 with prescribed automorphism group

J. Gutierrez,D. Sevilla,T. Shaska

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

2012-09-13

Abstract:We study genus 3 hyperelliptic curves which have an extra involution. The locus $Ł_3$ of these curves is a 3-dimensional subvariety in the genus 3 hyperelliptic moduli $\H_3$. We find a birational parametrization of this locus by affine 3-space. For every moduli point $\p \in \H_3$ such that $|\Aut (\p)|>2$, the field of moduli is a field of definition. We provide a rational model of the curve over its field of moduli for all moduli points $\p \in \H_3$ such that $|\Aut(\p)|>4$. This is the first time that such a rational model of these curves appears in the literature.

Algebraic Geometry
Some birationality criteria on 3-folds with $p_g>1$

Meng Chen

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

2014-07-23

Abstract:We give some birationality criteria for $\phi_m$ (m=4,5,6,7) on general type 3-folds with $p_g\geq 2$ by means of an intensive classification.

Algebraic Geometry
Universally irreducible subvarieties of Siegel moduli spaces

Gabriele Mondello,Riccardo Salvati Manni

2023-12-11

Abstract:A subvariety of a quasi-projective complex variety $X$ is called ``universally irreducible'' if its preimage inside the universal cover of $X$ is irreducible. In this paper we investigate sufficient conditions for universal irreducibility. We consider in detail complete intersection subvarieties of small codimension inside Siegel moduli spaces of any finite level. Moreover we show that, for $g\geq 3$, every Siegel modular form is the product of finitely many irreducible analytic functions on the Siegel upper half-space $\mathbb{H}_g$. We also discuss the special case of singular theta series of weight $\frac{1}{2}$ and of Schottky forms.

Algebraic Geometry,Complex Variables
Linking numbers and non-holomorphic Siegel modular forms

Mads Bjerge Christensen

2024-10-23

Abstract:We study generating series encoding linking numbers between geodesics in arithmetic hyperbolic $3$-folds. We show that the series converge to functions on the genus $2$ Siegel upper-half plane and that certain explicit modifications have the transformation properties of genus $2$ Siegel modular forms of weight $2$. This is done by carefully analysing the integral of the Kudla-Millson theta series over a surface with geodesic boundary.

Number Theory,Differential Geometry,Geometric Topology
On the Jacobian locus in the Prym locus and geodesics

Sara Torelli

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

2020-01-07

Abstract:In the paper we consider the Jacobian locus $\overline{J_g}$ and the Prym locus $\overline{P_{g+1}}$, in the moduli space $A_g$ of principally polarized abelian varieties of dimension $g$, for $g\geq 7$, and we study the extrinsic geometry of $\overline{J_g}\subset \overline{P_{g+1}}$, under the inclusion provided by the theory of generalized Prym varieties as introduced by Beauville. More precisely, we study certain geodesic curves with respect to the Siegel metric of $A_g$, starting at a Jacobian variety $[JC]\in A_g$ of a curve $[C]\in M_g$ and with direction $\zeta\in T_{[JC]}J_g$. We prove that for a general $JC$, any geodesic of this kind is not contained in $\overline{J_g}$ and even in $\overline{P_{g+1}}$, if $\zeta$ has rank $k<\Cliff C-3$, where $\Cliff C$ denotes the Clifford index of $C$.

Algebraic Geometry
Elliptic-elliptic surfaces and the Hesse pencil

François Greer,Yilong Zhang

2024-09-28

Abstract:We construct a family of elliptic surfaces with $p_g=q=1$ that arise from base change of the Hesse pencil. We identify explicitly a component of the higher Noether-Lefschetz locus with positive Mordell-Weil rank, and a particular surface having maximal Picard number and defined over $\mathbb Q$. These examples satisfy the infinitesimal Torelli theorem, providing a second proof of the dominance of period map, which was first obtained by Engel-Greer-Ward. A third proof is provided using the Shioda modular surface associated with $\Gamma_0(11)$. Finally, we find birational models for the degenerations at the boundary of the one-dimensional Noether-Lefschetz locus, and extend the period map at those limit points.

Algebraic Geometry
Non-smoothness of Moduli Spaces of Higher Genus Curves on Low Degree Hypersurfaces

Matthew Hase-Liu,Amal Mattoo

2024-12-06

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.

Algebraic Geometry
d-elliptic loci in genus 2 and 3

Carl Lian

2024-01-21

Abstract:We consider the loci of curves of genus 2 and 3 admitting a $d$-to-1 map to a genus 1 curve. After compactifying these loci via admissible covers, we obtain formulas for their Chow classes, recovering results of Faber-Pagani and van Zelm when $d=2$. The answers exhibit quasimodularity properties similar to those in the Gromov-Witten theory of a fixed genus 1 curve; we conjecture that the quasimodularity persists in higher genus, and indicate a number of possible variants.

Algebraic Geometry
A note on the variety of Secant Loci

Ali Bajravani

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

2015-10-19

Algebraic Geometry

Abstract:We determine non hyper elliptic curves of genus $g(C)\geq 9$, such that for some very ample line bundle on them and for some integers d and r with some prescribed assumptions, the dimension of secant loci, attains one less than its maximum value. Then we proceed to generalize and extend a problem of M. Coppens to Secant Loci.
K-Th Singular Locus Moduli Algebras of Singularities and Their Derivation Lie Algebras

Guorui Ma,Stephen S. -T. Yau,Huaiqing Zuo

DOI: https://doi.org/10.1063/5.0121485

IF: 1.469

2023-01-01

Journal of Mathematical Physics

Abstract:In this paper, we introduce a series of new invariants for singularities. A new conjecture about the non-existence of negative weight derivations of the new k-th singular locus moduli algebras for weighted homogeneous isolated hypersurface singularities is proposed. We verify this conjecture in some cases.
On the stability of foliations of degree 3 with a unique singular point

Abel Castorena,P.Rubí Pantaleón-Mondragón,Juan Vásquez Aquino

2023-04-10

Abstract:Applying Geometric Invariant Theory (GIT), we study the stability of foliations of degree 3 on P^2 with a unique singular point of multiplicity 1, 2, or 3 and Milnor number 13. In particular, we characterize those foliations for multiplicity 2 in three cases: stable, strictly semistable, and unstable.

Algebraic Geometry
On the existence of superspecial nonhyperelliptic curves of genus $4$

Momonari Kudo

DOI: https://doi.org/10.1080/00927872.2019.1609013

2019-06-23

Abstract:A curve over a perfect field $K$ of characteristic $p > 0$ is said to be superspecial if its Jacobian is isomorphic to a product of supersingular elliptic curves over the algebraic closure $\overline{K}$. In recent years, isomorphism classes of superspecial nonhyperelliptic curves of genus $4$ over finite fields in small characteristic have been enumerated. In particular, the non-existence of superspecial curves of genus $4$ in characteristic $p = 7$ was proved. In this note, we give an elementary proof of the existence of superspecial nonhyperelliptic curves of genus $4$ for infinitely many primes $p$. Specifically, we prove that the variety $C_p : x^3+y^3+w^3= 2 y w + z^2 = 0$ in the projective $3$-space with $p > 2$ is a superspecial curve of genus $4$ if and only if $p \equiv 2 \pmod{3}$. Our computational results show that $C_p$ with $p \equiv 2 \pmod 3$ are maximal curves over $\mathbb{F}_{p^2}$ for all $3 \leq p \leq 269$.

Algebraic Geometry,Number Theory
The Generalized Torelli Problem through the geometry of the Gauss map

Sebastián Rahausen

2024-09-19

Abstract:Given a non-hyperelliptic curve $C\in\mathscr{M}_g$ and $2\leq n\leq g-2$, we prove that the generic fiber of the Gauss map on $W_n$ has one element and we characterize its multiple locus. Assuming that $C$ doesn't have a $\mathfrak{g}_{n+k+1}^{k+1}$, for $1\leq k\leq n-1\leq g-3$, we solve the problem of reconstructing each $\mathfrak{g}_{n+k}^k$ and the dual hypersurface of the image of its associated morphism, through information encoded in the Gauss map. For this purpose we introduce the notion of $\left(n+k\right)$-intersection loci and we study their dimensions. In the hyperelliptic case we prove that the image of the Gauss map is a union of sets whose closures are birational to their complete $\mathfrak{g}_{n+k}^k$, for each $1\leq k\leq n\leq g-1$, and that these also contain a copy of the dual hypersurface of the image of its associated morphism. From the case $k=n$ we deduce that the closure of the image of the Gauss map is birational to $\mathbb{P}^n$.

Algebraic Geometry

On the non-Transversality of the Hyperelliptic Locus and the Supersingular Locus for $g=3$

On the supersingular locus of the Siegel modular variety of genus 3 or 4

On the Supersingular Locus of the $\mathrm{GU}(2,n-2)$ Shimura Variety

The class of the bielliptic locus in genus 3

A codimension 2 component of the Gieseker-Petri locus

Moduli of abelian varieties near the locus of products of elliptic curves

Gorenstein curve singularities of genus three

Threefolds on the Noether line and their moduli spaces

Hyperelliptic curves of genus 3 with prescribed automorphism group

Some birationality criteria on 3-folds with $p_g>1$

Universally irreducible subvarieties of Siegel moduli spaces

Linking numbers and non-holomorphic Siegel modular forms

On the Jacobian locus in the Prym locus and geodesics

Elliptic-elliptic surfaces and the Hesse pencil

Non-smoothness of Moduli Spaces of Higher Genus Curves on Low Degree Hypersurfaces

d-elliptic loci in genus 2 and 3

A note on the variety of Secant Loci

K-Th Singular Locus Moduli Algebras of Singularities and Their Derivation Lie Algebras

On the stability of foliations of degree 3 with a unique singular point

On the existence of superspecial nonhyperelliptic curves of genus $4$

The Generalized Torelli Problem through the geometry of the Gauss map