Pith. sign in

REVIEW 3 major objections 5 minor 44 references

Concomitants of Ternary Quartics and Vector-valued Siegel and Teichm\"uller Modular Forms of Genus Three

T0 review · 3 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper establishes an explicit isomorphism that turns covariants of plane quartics into all vector-valued Siegel and Teichmüller modular forms of genus 3, with vanishing orders translated across a dictionary.

desk verdict A genuinely new structural result on degree-3 Siegel and Teichmüller modular forms, with a key order-of-vanishing bridge (Prop. 11.1) that leans on an uncited blow-up model and needs a fill-in before the main theorem is fully load-bearing. read the letter →

arxiv 1908.04248 v2 pith:4TOPEJDH submitted 2019-08-12 math.AG math.NT

Fabien Cléry , Carel Faber , Gerard van der Geer This is my paper · ORCID
classification math.AGmath.NT MSC 11F4614H1014H4514J1514K10
keywords ternaryquarticsconcomitantsvector-valuedSiegelmodularformsTeichmüllergenusthreedoubleconicsSchottkyformHodgebundle
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper proves that every vector-valued Siegel or Teichmüller modular form of genus 3 can be produced by a classical invariant-theoretic machine: take a concomitant of ternary quartics, an equivariant polynomial expression in the coefficients of a plane quartic with values in a representation of $\mathrm{GL}(3)$, and substitute into it the fifteen Fourier coefficients of one fixed cusp form $\chi_{4,0,8}$. The key interchange is an order-of-vanishing equality: a concomitant vanishing to order $v$ on the locus of double conics yields a modular form vanishing to order $2v-d$ on the hyperelliptic locus. This yields an explicit isomorphism between spaces of concomitants with fixed vanishing along double conics and spaces of vector-valued Siegel modular forms with fixed vanishing at the boundary. A second result identifies the top Hodge pieces of the middle cohomology of symplectic local systems on moduli spaces of curves with spaces of Teichmüller cusp forms, extending the classical description known for abelian varieties. If correct, the construction makes the modular forms explicit enough to compute Fourier expansions and Hecke eigenvalues by polynomial substitution.

What carries the argument

The central object is the concomitant of ternary quartics: an equivariant polynomial section of a symmetric power of the space of ternary quartics, valued in an irreducible representation of $\mathrm{GL}(3)$. The carrying identity is the order formula of Proposition 11.1, which translates vanishing along the double-conic locus into vanishing along the hyperelliptic locus. The substitution map $\gamma$ sends a concomitant $c$ to $c(\chi_{4,0,-1})$, where $\chi_{4,0,-1}=\chi_{4,0,8}/\chi_9$ is the meromorphic image of the universal quartic; replacing each quartic coefficient by the normalized Fourier coefficient $\alpha_I$ of $\chi_{4,0,8}$ gives the holomorphic form $\gamma'(c)=c(\chi_{4,0,8})$. The Fourier expansion of $\chi_{4,0,8}$ itself is obtained by developing the Schottky form $J_8$ along $\mathbb{H}_3\times\mathbb{H}_1$, whose first Fourier–Jacobi coefficient is an explicit product of $\theta$ constants, and it is identified geometrically with the quartic cutting out the canonical model of a nonhyperelliptic genus-3 curve.

What would settle it

Test Proposition 11.1 on the classical degree-2 covariant $\sigma$: compute its vanishing order $v$ along the double-conic locus by degenerating a quartic to $tf+g^2$, and independently compute the order of the resulting Siegel modular form along the hyperelliptic locus from its Fourier expansion near that locus. The paper predicts $\chi_{0,4,16}$ is not divisible by $\chi_{18}$; a finding that it vanishes on the hyperelliptic locus would refute the equality $\mathrm{ord}_{H_3}(\gamma(c)) = 2v-d$ and with it the main isomorphism.

Watch

Extended reading notes

Core claim

The central claim is an isomorphism of vector spaces $$C_{d,\rho}(-m\,\mathrm{DC}) \xrightarrow{\ \sim\ } $S^{{\,n}}$_{\rho_1-\rho_2,\ \rho_2-\rho_3,\ \rho_3+9n}, \qquad n = d - 2m,$$ sending a concomitant $c$ to $c(\chi_{4,0,-1})\chi_9^n$, or equivalently substituting the Fourier coefficients of $\chi_{4,0,8}$ and clearing poles. Here $C_{d,\rho}(-m\,\mathrm{DC})$ is the space of concomitants of ternary quartics of degree $d$ and type $\rho$ vanishing to order at least $m$ along the double-conic locus, and $S^n_{i,j,k}$ is the space of vector-valued Siegel modular forms of weight $(i,j,k)$ vanishing to order at least $n$ along the boundary divisor. The proof runs through a dictionary: a concomitant with vanishing order $v$ along double conics produces a meromorphic modular form with order $2v-d$ along the hyperelliptic locus. Because every holomorphic form is obtained this way, the paper concludes that all vector-valued Siegel and Teichmüller modular forms of degree 3 are explicit polynomials in the Fourier expansion of the single form $\chi_{4,0,8}$.

Load-bearing premise

The whole dictionary assumes that the space of all genus-3 curves can be built by blowing up the locus of double conics in the space of plane quartics, removing the singular quartics, and quotienting by coordinate changes; no proof of that model is given, and if it fails, the key order-of-vanishing formula has no support and the main theorem falls.

Editorial extensions

If this is right

  • Every holomorphic vector-valued Siegel cusp form of degree 3 admits a constructive expression as a polynomial in the Fourier coefficients of $\chi_{4,0,8}$; the paper carries this out in many cases and checks the resulting Hecke eigenvalues.
  • Dimension and vanishing data for $S^n_{i,j,k}$ become questions about the representation theory of ternary quartics; Corollary 11.7 gives a concrete vanishing range $i+2j+4k < 36n \Rightarrow S^n_{i,j,k}=0$.
  • The square of $\chi_{18}$ is the unique generator of the space of scalar cusp forms of weight $18k$ vanishing to order $2k$ at the boundary, a broader form of the classical uniqueness of $\chi_{18}$.
  • For genus 3, odd Teichmüller modular forms are exactly $\chi_9$ times pullbacks of Siegel forms, so the full ring of Teichmüller forms is known once the Siegel side is known.
  • The top Hodge pieces of the middle cohomology of symplectic local systems on $M_g$ are isomorphic to spaces of Teichmüller cusp forms with prescribed boundary vanishing, and in genus 3 the paper matches these spaces with point counts over finite fields.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Inference: If the isomorphism is as complete as stated, dimension tables for all genus-3 vector-valued Siegel cusp forms could in principle be produced by finite linear algebra on ternary quartic representations, bypassing trace-formula calculations; comparing the two for an uncomputed weight would be a direct test.
  • Inference: The same substitution picture suggests a general recipe for low-genus moduli spaces realized as quotients of a space of forms: modular forms should be the associated graded ring of covariants under a valuation measuring vanishing along the exceptional divisor, with the double-conic order playing that role here.
  • Inference: Since $\chi_{4,0,8}$ is also the theta section whose lowest-order term cuts out the canonical quartic, the substitution $c \mapsto c(\chi_{4,0,8})$ may be read geometrically as evaluating the concomitant on the universal canonical curve, which could connect Fourier expansions of genus-3 forms to theta functions and to the hyperelliptic locus more directly than the paper spells out.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper develops a dictionary between the representation theory of ternary quartics and vector-valued Siegel and Teichmüller modular forms of genus three. The central object is the map that substitutes the Fourier expansion of the vector-valued cusp form χ_{4,0,8} into a concomitant of ternary quartics. Theorem 11.6 asserts an isomorphism between the space C_{d,ρ}(-mDC) of concomitants of degree d, type ρ, vanishing to order at least m along the double-conic locus and the space S^n_{ρ1-ρ2,ρ2-ρ3,ρ3+9n} of Siegel modular forms vanishing to order at least n along the boundary, with n=d-2m. This theorem is powered by Proposition 11.1, which relates orders of vanishing along the double-conic locus to orders along the hyperelliptic locus. The second main result, Theorem 13.1, identifies the top Hodge-filtered pieces of the middle cohomology of symplectic local systems on M_g with spaces of Teichmüller cusp forms satisfying prescribed vanishing conditions on the boundary. The paper also contains many explicit Fourier expansions, Hecke eigenvalue checks against the authors' earlier database [5], and an appendix proving that Teichmüller modular forms extend to the Deligne-Mumford compactification for g≥3.

Significance. If Theorems 11.6 and 13.1 hold, the paper gives a constructive and essentially complete description of vector-valued Siegel and Teichmüller modular forms of degree three, and it establishes a new bridge between Teichmüller cusp forms and the cohomology of local systems on M_g for arbitrary g. The main strengths are the explicit Fourier-Jacobi expansion obtained from the Schottky form, the careful reduction of Teichmüller forms to Siegel forms via χ_9, and the precise extension statement proved in Section 14. The Hecke eigenvalue checks and the agreement with [5] provide concrete numerical support for the constructions. At the same time, the central geometric input in Proposition 11.1 is not proved and is invoked by analogy; since this input controls the exponent n=d-2m in Theorem 11.6, the central claim is not yet fully established. The paper would be a strong contribution after this gap is filled and after the deferred computational details are made available.

major comments (3)
  1. [§11, Proposition 11.1] The proof of the order-of-vanishing formula is not self-contained. The paragraph beginning "Now recall that the coarse moduli space M_3 may be constructed by blowing up the locus of double conics..." asserts, without proof or citation, a specific blow-up model of M_3 and a factor-2 relation between the exceptional divisor and the hyperelliptic locus. This factor is exactly what converts the double-conic order v into the hyperelliptic order 2v-d, and therefore it determines the exponent n=d-2m in Theorem 11.6. If the correct resolution requires more than one blow-up, or if the ramification degree along the hyperelliptic locus differs from 2, the formula for n and the isomorphism of Theorem 11.6 would shift. A rigorous proof or a precise reference for this geometric model is required before the main theorem can be considered established.
  2. [§13, Theorem 13.1] The proof of Theorem 13.1 relies on the assertion that "the spectral sequence associated to the Hodge filtration degenerates at E1" for the logarithmic de Rham complex that computes the cohomology of the local system V'_μ on M_g and Mc_g. This degeneration is a nontrivial input for a general symplectic local system on M_g, and no reference or argument is supplied in the proof. Since Theorem 13.1 is one of the two main results of the paper, the missing justification should be supplied, for example by citing the relevant Hodge-theoretic degeneration theorem for logarithmic de Rham complexes or by giving a direct argument in this setting.
  3. [§13, after the list of d=4 cases] The paper states that "we have explicitly computed all (spaces of) concomitants of ternary quartics of degree at most 6" and "the computations are quite involved and we will discuss them in a future paper." These computations are used to support the claimed identifications of motives and the conjectural Euler characteristics in the following paragraphs. Because the supporting data are not included, those particular claims cannot be independently checked. This does not affect the main theorems, but it limits the verifiability of the evidence presented for the cohomological conjectures.
minor comments (5)
  1. [§5] The Hecke eigenvalue checks for λ_3 and λ_5 are asserted but the corresponding coefficients and formulas are not shown; providing them would make the numerical verification more transparent.
  2. [§7, Corollary 7.5] The statement that an odd Teichmüller modular form "vanishes with multiplicity at least three along δ1" is used later but the reason (divisibility by χ_9, whose divisor is h+δ_0+3δ_1) could be stated explicitly at that point for clarity.
  3. [§13, equations (14)-(16)] The line bundles O(13λ-δ), O(13λ+δ_0-2δ), and O(13λ-2δ) on \overline{M}_g are used without specifying the convention for δ and its components; a sentence defining δ, δ_0, and δ_1 would prevent ambiguity.
  4. [§12.4] The deduction that the catalecticant form has order at least 16 along A_{2,1} because the first cusp form on Γ_1 vanishing with order 6 at infinity is Δ^6 is terse; the relation between weights and vanishing orders along the boundary factor should be spelled out.
  5. [Title and abstract] The title and abstract contain apparent typographical artifacts such as "V ALUED"; these should be corrected in the final version.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central isomorphism is an explicit substitution map built from an independently constructed cusp form; the terse geometric input in Prop. 11.1 is a gap, not a circular reduction.

full rationale

The derivation chain is not circular. The central map γ'(c) = c∘χ4,0,8 is an explicit substitution, and χ4,0,8 is constructed independently: Section 5 derives its Fourier expansion from the Schottky form J8, and Proposition 6.1 constructs it from Frobenius' φ, proving it is a nonzero weight (4,0,8) cusp form. The order-of-vanishing dictionary in Proposition 11.1 is the load-bearing step; its proof is terse, delegates the method to the authors' earlier [11], and asserts without reference the blow-up model of M3 and the factor 2 relating the exceptional divisor to H3. This is a genuine gap or correctness risk, but it is not circular: the blow-up model and ramification factor are geometric inputs, not definitions of the target spaces nor fitted parameters. Theorem 11.6 then follows by formal diagram-chasing (β, γ inverses), not by assuming the conclusion. The comparisons to [4] and [5] are post-hoc Hecke-eigenvalue checks against independent point-count data and tables; they are not used to construct the forms. The motivic conjectures in Section 13 are interpretations, and the theorem's proof does not rely on them. Hence no prediction is equivalent by construction to an input. Score 0, with the caveat that Prop. 11.1 needs an external geometric proof.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper introduces no new entities or fitted parameters. It relies on standard background results from the literature and one unproved geometric model, plus a body of computational assertions deferred to a future publication.

assumptions (5)
  • standard math Tsuyumine's description of the ring of scalar-valued Siegel modular forms of degree 3, and Igusa's exact sequence relating it to invariants of binary octics.
    Used in Sections 2 and 3 to compute dimensions and the uniqueness of χ18.
  • standard math The invariant ring of ternary quartics has the Hilbert series and generators given by Salmon, Shioda, Dixmier and Ohno.
    Underlies the module of concomitants used in Sections 8 to 12.
  • domain assumption The coarse moduli space M_3 is the blow-up of P(Sym^4 V) along the double-conic locus, minus the proper transform of the discriminant, modulo PGL(3,C).
    Invoked without proof in the proof of Proposition 11.1 to relate orders of vanishing along the hyperelliptic locus to those along the double-conic locus.
  • standard math The canonical bundle of the moduli stack M_g is O(13λ - 2δ).
    Used in Theorem 13.1 to identify the top Hodge-degree piece with sections of E'_μ twisted by boundary divisors.
  • standard math The logarithmic de Rham complexes compute the cohomology of local systems on M_g and their Hodge spectral sequences degenerate at E1.
    Foundational input for the proof of Theorem 13.1, citing [40] and standard mixed Hodge theory.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Concomitants of Ternary Quartics and Vector-valued Siegel and Teichm\"uller Modular Forms of Genus Three." pith.science (2026). https://pith.science/paper/4TOPEJDH

@misc{pith2026190804248,
  author       = {Pith},
  title        = {Pith review of: Concomitants of Ternary Quartics and Vector-valued Siegel and Teichm\"uller Modular Forms of Genus Three},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4TOPEJDH}},
  note         = {Machine review of arXiv:1908.04248}
}
read the original abstract

We show how one can use the representation theory of ternary quartics to construct all vector-valued Siegel modular forms and Teichm\"uller modular forms of degree 3. The relation between the order of vanishing of a concomitant on the locus of double conics and the order of vanishing of the corresponding modular form on the hyperelliptic locus plays an important role. We also determine the connection between Teichm\"uller cusp forms on \overline{M}_g and the middle cohomology of symplectic local systems on M_g. In genus 3, we make this explicit in a large number of cases.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

44 extracted references · 44 canonical work pages

  1. [5]

    Bergstr¨ om, C

    J. Bergstr¨ om, C. Faber, G. van der Geer: Siegel Modular Form s of Degree Two and Three. 2017. http://smf.compositio.nl

    work page 2017

  2. [4]

    Bergstr¨ om, C

    J. Bergstr¨ om, C. Faber, G. van der Geer: Siegel modular form s of degree three and the cohomology of local systems. Selecta Math. (N.S.) 20 (2014), no. 1, 83–124

    work page 2014

  3. [1]

    P. Aluffi, F. Cukierman: Multiplicities of discriminants. Manuscripta Mathematica 78 (1993), 245– 258

    work page 1993

  4. [2]

    Bergstr¨ om: Cohomology of moduli spaces of curves of genus three via point cou nts

    J. Bergstr¨ om: Cohomology of moduli spaces of curves of genus three via point cou nts. J. Reine Angew. Math. 622 (2008), 155–187

    work page 2008

  5. [3]

    Bergstr¨ om, C

    J. Bergstr¨ om, C. Faber, G. van der Geer: Siegel modular forms of genus 2 and level 2: cohomological computations and conjectures. Int. Math. Res. Not. IMRN (2008), Art. ID rnn 100, 20 pp

    work page 2008

  6. [6]

    Bruinier, G

    J. Bruinier, G. van der Geer, G. Harder, D. Zagier: The 1-2-3 of modular forms. Universitext. Springer Verlag 2007

    work page 2007

  7. [7]

    Chenevier, J

    G. Chenevier, J. Lannes: Automorphic forms and even unimodular lattices. Kneser neighbors of Niemeier lattices. Translated from the French by Reinie Ern´ e. Ergebnisse der Mathematik und ihrer Grenzgebiete (3), 69. Springer, Cham, 2019. xxi+417 pp

    work page 2019

  8. [8]

    Chenevier, D

    G. Chenevier, D. Renard: Level one algebraic cusp forms of classical groups of small rank. Mem. Amer. Math. Soc. 237 (2015), no. 1121, v+122 pp

    work page 2015

Show all 44 references
  1. [9]

    Chipalkatti: The Waring loci of ternary quartics

    J. Chipalkatti: The Waring loci of ternary quartics. Experimental Math. 13 (2004), no. 1, 93–101

    2004

  2. [10]

    Cl´ ery, C

    F. Cl´ ery, C. Faber, G. van der Geer: Covariants of binary sextics and vector-valued Siegel modular forms of genus 2. Math. Ann. 369 (2017), no. 3–4, 1649–1669

    2017

  3. [11]

    Cl´ ery, C

    F. Cl´ ery, C. Faber, G. van der Geer: Covariants of binary sextics and modular forms of degree 2 with character. Math. Comp. 88 (2019), no. 319, 2423–2441

    2019

  4. [12]

    Cl´ ery, G

    F. Cl´ ery, G. van der Geer: Constructing vector-valued Siegel modular forms from scalar-va lued Siegel modular forms. Pure and Applied Mathematics Quarterly 11 (2015), no. 1, 21–47

    2015

  5. [13]

    Dixmier: On the projective invariants of quartic plane curves

    J. Dixmier: On the projective invariants of quartic plane curves. Adv. Math. 64 (1987), 279–304

    1987

  6. [14]

    Dutour Sikiri´ c, K

    M. Dutour Sikiri´ c, K. Hulek, A. Sch¨ urmann:Smoothness and singularities of the perfect form and the second Voronoi compactification of Ag. Algebr. Geom. 2 (2015), no. 5, 642–653

    2015

  7. [15]

    Elsenhans: Explicit computations of invariants of plane quartic curves

    A. Elsenhans: Explicit computations of invariants of plane quartic curves. J. Symbolic Comput. 68 (2015), part 2, 109–115

    2015

  8. [16]

    Faltings: On the cohomology of locally symmetric Hermitian spaces

    G. Faltings: On the cohomology of locally symmetric Hermitian spaces . Lecture Notes in Math. 1029, Springer-Verlag, Berlin, 1983

    1983

  9. [17]

    Faltings, C.-L

    G. Faltings, C.-L. Chai: Degeneration of abelian varieties. Ergebnisse der Mathematik und ihrer Grenzgebiete (3), 22. Springer-Verlag, Berlin, 1990

    1990

  10. [18]

    Fedorchuk, D

    M. Fedorchuk, D. Smyth: Alternate compactifications of moduli spaces of curves. In: Handbook of moduli. Vol. I, 331–413, Adv. Lect. Math. 24, Int. Press, Somerville, MA, 2013

    2013

  11. [19]

    Frobenius: ¨Uber die Jacobischen Functionen dreier Variabelen

    G. Frobenius: ¨Uber die Jacobischen Functionen dreier Variabelen. Journal f¨ ur die reine und ange- wandte Math. 105 (1889), 35–100

  12. [20]

    van Geemen, G

    B. van Geemen, G. van der Geer: Kummer varieties and the moduli spaces of abelian varieties. Amer. J. Math. 108 (1986), 615–641

    1986

  13. [21]

    Grushevsky and R

    S. Grushevsky and R. Salvati Manni: The vanishing of two-point functions for three-loop superstring scattering amplitudes. Comm. Math. Phys. 294 (2010), 343–352

    2010

  14. [22]

    Harer: The virtual cohomological dimension of the mapping class group of an orientable surface

    J. Harer: The virtual cohomological dimension of the mapping class group of an orientable surface. Invent. Math. 84 (1986), no. 1, 157–176

    1986

  15. [23]

    Harris and I

    J. Harris and I. Morrison: Slopes of effective divisors on the moduli space of stable curves. Invent. Math. 99 (1990), 321–355

    1990

  16. [24]

    Harris, D

    J. Harris, D. Mumford: On the Kodaira dimension of the moduli space of curves. With an appendix by W. Fulton. Invent. Math. 67 (1982), no. 1, 23–88

    1982

  17. [25]

    Ibukiyama, S

    T. Ibukiyama, S. Takemori: Construction of theta series of any vector-valued weight and app lica- tions to lifts and congruences. Exp. Math. 28 (2019), no. 1, 95–114. 34 F ABIEN CL ´ERY, CAREL F ABER, AND GERARD V AN DER GEER

    2019

  18. [26]

    Ichikawa: On Teichm¨ uller modular forms.Math

    T. Ichikawa: On Teichm¨ uller modular forms.Math. Ann. 299 (1994), 731–740

    1994

  19. [27]

    Ichikawa: Teichm¨ uller modular forms of degree 3

    T. Ichikawa: Teichm¨ uller modular forms of degree 3. Amer. J. Math. 117 (1995), 1057–1061

    1995

  20. [28]

    Ichikawa: Theta constants and Teichmller modular forms

    T. Ichikawa: Theta constants and Teichmller modular forms. J. Number Theory 61 (1996), no. 2, 409–419

    1996

  21. [29]

    Ichikawa: Generalized Tate curve and integral Teichm¨ uller modular forms

    T. Ichikawa: Generalized Tate curve and integral Teichm¨ uller modular forms. Amer. J. Math. 122 (2000), no. 6, 1139–1174

    2000

  22. [30]

    Lercier, C

    R. Lercier, C. Ritzenthaler: Siegel modular forms of degree three and invariants of ternary qu artics. Preprint 2019, arXiv:1907.07431

    2019 arXiv

  23. [31]

    Igusa: Modular forms and projective invariants

    J.-I. Igusa: Modular forms and projective invariants. Amer. J. Math. 89 (1967), 817–855

    1967

  24. [32]

    Looijenga: Cohomology of M3 andM1

    E. Looijenga: Cohomology of M3 andM1

  25. [33]

    Math., 150, Amer

    Mapping class groups and moduli spaces of Riemann surfaces (G¨ ottingen/Seattle, 1991), 205–228, Contemp. Math., 150, Amer. Math. Soc., Providence, RI, 1993

    1991

  26. [34]

    M´ egarban´ e:Traces des op´ erateurs de Hecke sur les espaces de formes auto morphes de SO7, SO8 ou SO9 en niveau 1 et poids arbitraire

    T. M´ egarban´ e:Traces des op´ erateurs de Hecke sur les espaces de formes auto morphes de SO7, SO8 ou SO9 en niveau 1 et poids arbitraire. J. Th´ eor. Nombres Bordeaux30 (2018), no. 1, 239–306

    2018

  27. [35]

    Mumford, J

    D. Mumford, J. Fogarty: Geometric invariant theory. Ergebnisse der Mathematik und ihrer Grenz- gebiete 34. 2nd edition, 1981

    1981

  28. [36]

    Namikawa: A new compactification of the Siegel space and degeneration of Abe lian varieties, I, II

    Y. Namikawa: A new compactification of the Siegel space and degeneration of Abe lian varieties, I, II. Math. Ann. 221 (1976), no. 2, 97–141 and no. 3, 201–241

    1976

  29. [37]

    Ohno: The graded ring of invariants of ternary quartics I – Generators a nd relations

    T. Ohno: The graded ring of invariants of ternary quartics I – Generators a nd relations . Preprint 2007

    2007

  30. [38]

    Ottaviani, E

    G. Ottaviani, E. Sernesi: On singular L¨ uroth quartics. Science China Math. 54 (2011), no. 8, 1757–1766

    2011

  31. [39]

    Salmon: Higher Plane Curves

    G. Salmon: Higher Plane Curves . 3rd ed., 1879, reprinted by Chelsea, New York

  32. [40]

    Sasaki: Some remarks on the moduli space of principally polarized abelian varie ties with level (2, 4)-structure

    R. Sasaki: Some remarks on the moduli space of principally polarized abelian varie ties with level (2, 4)-structure. Comp. Math. 85 (1993), 87–97

    1993

  33. [41]

    Schnell: Computing cohomology of local systems

    C. Schnell: Computing cohomology of local systems . Unpublished lecture notes, available at http://www.math.stonybrook.edu/∼cschnell/

  34. [42]

    Shioda: On the graded ring of invariants of binary octavics

    T. Shioda: On the graded ring of invariants of binary octavics. Amer. J. Math. 89 (1967), 1022– 1046

    1967

  35. [43]

    Ta ¨ ıbi:Dimensions of spaces of level one automorphic forms for split classic al groups using the trace formula

    O. Ta ¨ ıbi:Dimensions of spaces of level one automorphic forms for split classic al groups using the trace formula. Annales scientifiques de l’ENS 50 (2017), 269–344. See also the tables at https://otaibi.perso.math.cnrs.fr/dimtrace/

    2017

  36. [44]

    On Siegel modular forms of degree three

    S. Tsuyumine: On Siegel modular forms of degree three. Amer. J. Math. 108 (1986), 755–862. Addendum to “On Siegel modular forms of degree three.” Amer. J. Math. 108 (1986), 1001–1003. Department of Mathematics, Loughborough University, Engl and E-mail address : cleryfabien@gma...

    1986

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.