The integral monodromy of hyperelliptic and trielliptic curves (Q884699): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Normalize DOI.
 
(7 intermediate revisions by 6 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s00208-006-0072-0 / rank
Normal rank
 
Property / author
 
Property / author: Jeffrey D. Achter / rank
Normal rank
 
Property / author
 
Property / author: Rachel J. Pries / rank
Normal rank
 
Property / author
 
Property / author: Jeffrey D. Achter / rank
 
Normal rank
Property / author
 
Property / author: Rachel J. Pries / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2035042096 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: math/0608038 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tresses, monodromie et le groupe symplectique / rank
 
Normal rank
Property / cites work
 
Property / cites work: The distribution of class groups of function fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: RELÈVEMENT DES FORMES MODULAIRES DE PICARD / rank
 
Normal rank
Property / cites work
 
Property / cites work: Néron Models / rank
 
Normal rank
Property / cites work
 
Property / cites work: A note on the existence of absolutely simple Jacobians / rank
 
Normal rank
Property / cites work
 
Property / cites work: The generic irreducibility of the numerator of the zeta function in a family of curves with large monodromy / rank
 
Normal rank
Property / cites work
 
Property / cites work: The irreducibility of the space of curves of a given genus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3997943 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2712789 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4015215 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the existence of absolutely simple abelian varieties of a given dimension over an arbitrary field / rank
 
Normal rank
Property / cites work
 
Property / cites work: Twisted L-Functions and Monodromy. (AM-150) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4226082 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Maximal subgroups of the classical groups associated with non-isotropic subspaces of a vector space / rank
 
Normal rank
Property / cites work
 
Property / cites work: The projectivity of the moduli space of stable curves, II: The stacks $M_{g,n}$ / rank
 
Normal rank
Property / cites work
 
Property / cites work: On holomorphic differentials of some algebraic function field of one variable over C / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4015216 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Maximality of Galois actions for compatible systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Congruence Properties of Zariski-Dense Subgroups I / rank
 
Normal rank
Property / cites work
 
Property / cites work: FUNDAMENTAL GROUPS OF ALGEBRAIC STACKS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Conductors of wildly ramified covers. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Coverings of the affine line in characteristic \(p>0\) and Abhyankar's conjecture / rank
 
Normal rank
Property / cites work
 
Property / cites work: Surjectivity criteria for \(p\)-adic representations. I. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5691146 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cyclic covers of the projective line, their jacobians and endomorphisms / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S00208-006-0072-0 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 07:02, 10 December 2024

scientific article
Language Label Description Also known as
English
The integral monodromy of hyperelliptic and trielliptic curves
scientific article

    Statements

    The integral monodromy of hyperelliptic and trielliptic curves (English)
    0 references
    7 June 2007
    0 references
    Let \(C/S\) be a relative smooth proper curve of genus \(g\geq 1\) over an irreducible base \(S\). Let \(\ell\) be a prime number which is invertible on \(S\), and let \(s\) be a geometric point of \(S\). The fundamental group \(\pi_1(S,s)\) acts linearly on the fiber \(\text{ Pic}^0(C)[\ell]_s\) of the \(\ell\)-torsion of the relative Jacobian of \(C\). If we identify the latter with \(\mathbb Z/\ell)^{2g}\), we obtain the mod-\(\ell\) monodromy representation \(\rho_{C/S, \ell}:\pi_1(S,s)\rightarrow \text{GL}_{2g}(\mathbb Z/\ell)\). By considering powers of \(\ell\) and taking the limit, we obtain the \(\ell\)-adic monodromy representation where the target is \(\text{GL}_{2g}(\mathbb Z_\ell)\). If there is a primitive \(\ell\)-th root of unity globally on \(S\), then \(\text{Pic}^0(C)[\ell]_s\) carries an alternating form, and the image of \(\rho_{C/S,\ell}\) is contained in the corresponding symplectic group. Deligne and Mumford proved that for \(C/S\) sufficiently general, the image of \(\rho_{C/S,\ell}\) is equal to this symplectic group. In the paper under review, the authors compute the image of \(\rho_{C/S,\ell}\) in the cases when \(S\) is an irreducible component of the moduli space of hyperelliptic or trielliptic curves, and \(C/S\) is the tautological curve. In the hyperelliptic case, the image of \(\rho_{C/S,\ell}\) is the full symplectic group. This result was previously obtained by J.-k. Yu (unpublished). In the trielliptic case, there is a \(\mathbb Z/3\) action which constrains the image of the monodromy representation to lie in a certain unitary group. The theorem in this case says that the image in fact is this unitary group. There are a number of related results in the literature; see the introduction of the paper under review for further details. The proof proceeds by induction on the genus. Since every curve of genus \(g=1,2\) is hyperelliptic, the claim in this case follows from the analogous statement for the moduli space \(\mathcal M_g\) of all curves of genus \(g\). The base case \(g=3\) for the trielliptic case is done using a comparison with a Picard modular variety.
    0 references
    0 references
    monodromy
    0 references
    hyperelliptic curves
    0 references
    trielliptic curves
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references