skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Bitangents to symmetric quartics
Recall that a non-singular planar quartic is a canonically embedded non-hyperelliptic curve of genus three. We say such a curve is symmetric if it admits non-trivial automorphisms. The classification of (necessarily finite) groups appearing as automorphism groups of non-singular curves of genus three dates back to the last decade of the 19th century. As these groups act on the quartic via projective linear transformations, they induce symmetries on the 28 bitangents. Given such an automorphism group G=Aut(C), we prove the G-orbits of the bitangents are independent of the choice of C, and we compute them for all twelve types of smooth symmetric planar quartic curves. We further observe that techniques deriving from equivariant homotopy theory directly reveal patterns which are not obvious from a classical moduli perspective.  more » « less
Award ID(s):
2402099
PAR ID:
10583723
Author(s) / Creator(s):
;
Corporate Creator(s):
Editor(s):
NA
Publisher / Repository:
arXiv pre-print repository
Date Published:
Edition / Version:
1
Volume:
1
Issue:
1
Page Range / eLocation ID:
1-24
Subject(s) / Keyword(s):
Enumerative geometry, equivariant homotopy, projective geometry, quartic curves, plane curves, bitangents
Format(s):
Medium: X Size: 555KB Other: PDF
Size(s):
555KB
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract A Kodaira fibration is a non‐isotrivial fibration from a smooth algebraic surfaceSto a smooth algebraic curveBsuch that all fibers are smooth algebraic curves of genusg. Such fibrations arise as complete curves inside the moduli space of genusgalgebraic curves. We investigate here the possible connected monodromy groups of a Kodaira fibration in the case and classify which such groups can arise from a Kodaira fibration obtained as a general complete intersection curve inside a subvariety of parametrizing curves whose Jacobians have extra endomorphisms. 
    more » « less
  2. We consider the identity component of the Sato–Tate group of the Jacobian of curves of the form C1 : y2 = x2g+2 + c, C2 : y2 = x2g+1 + cx, C3 : y2 = x2g+1 + c, where g is the genus of the curve and c in Q* is constant. We approach this problem in three ways. First we use a theorem of Kani-Rosen to determine the splitting of Jacobians for C1 curves of genus 4 and 5 and prove what the identity component of the Sato–Tate group is in each case. We then determine the splitting of Jacobians of higher genus C1 curves by finding maps to lower genus curves and then computing pullbacks of differential 1-forms. In using this method, we are able to relate the Jacobians of curves of the form C1, C2 and C3. Finally, we develop a new method for computing the identity component of the Sato–Tate groups of the Jacobians of the three families of curves. We use this method to compute many explicit examples, and find surprising patterns in the shapes of the identity components ST^0(C) for these families of curves. 
    more » « less
  3. Abstract We characterise, in terms of Dixmier–Ohno invariants, the types of singularities that a plane quartic curve can have. We then use these results to obtain new criteria for determining the stable reduction types of non-hyperelliptic curves of genus 3. 
    more » « less
  4. Abstract. We study the extent to which curves over finite fields are characterized by their zeta functions and the zeta functions of certain of their covers. Suppose C and C ′ are curves over a finite field K, with K-rational base points P and P ′ , and let D and D ′ be the pullbacks (via the Abel–Jacobi map) of the multiplication-by-2 maps on their Jacobians. We say that (C, P) and (C ′ , P ′ ) are doubly isogenous if Jac(C) and Jac(C ′ ) are isogenous over K and Jac(D) and Jac(D ′ ) are isogenous over K. For curves of genus 2 whose automorphism groups contain the dihedral group of order eight, we show that the number of pairs of doubly isogenous curves is larger than na¨ıve heuristics predict, and we provide an explanation for this phenomenon. 
    more » « less
  5. Abstract Given $$n$$ general points $$p_1, p_2, \ldots , p_n \in{\mathbb{P}}^r$$ it is natural to ask whether there is a curve of given degree $$d$$ and genus $$g$$ passing through them; by counting dimensions a natural conjecture is that such a curve exists if and only if $$\begin{equation*}n \leq \left\lfloor \frac{(r + 1)d - (r - 3)(g - 1)}{r - 1}\right\rfloor.\end{equation*}$$The case of curves with nonspecial hyperplane section was recently studied in [2], where the above conjecture was shown to hold with exactly three exceptions. In this paper, we prove a “bounded-error analog” for special linear series on general curves; more precisely we show that existence of such a curve subject to the stronger inequality $$\begin{equation*}n \leq \left\lfloor \frac{(r + 1)d - (r - 3)(g - 1)}{r - 1}\right\rfloor - 3.\end{equation*}$$Note that the $-3$ cannot be replaced with $-2$ without introducing exceptions (as a canonical curve in $${\mathbb{P}}^3$$ can only pass through nine general points, while a naive dimension count predicts twelve). We also use the same technique to prove that the twist of the normal bundle $$N_C(-1)$$ satisfies interpolation for curves whose degree is sufficiently large relative to their genus, and deduce from this that the number of general points contained in the hyperplane section of a general curve is at least $$\begin{equation*}\min\left(d, \frac{(r - 1)^2 d - (r - 2)^2 g - (2r^2 - 5r + 12)}{(r - 2)^2}\right).\end{equation*}$$ As explained in [7], these results play a key role in the author’s proof of the maximal rank conjecture [9]. 
    more » « less