Pith. sign in

REVIEW 3 major objections 5 minor 49 references

The Picard group of the Baily--Borel compactification of the moduli space of quasi-polarized K3 surfaces and generalizations

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

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

Pith's one-line read The Baily–Borel compactification of the moduli space of quasi-polarized K3 surfaces has Picard group isomorphic to ℤ, generated by a multiple of the extended Hodge line bundle.

desk verdict A likely correct and genuinely new computation of Pic(F̄_g) = Z whose main risk is the sketched odd-rank basis problem, which a referee should push to be written out. read the letter →

arxiv 2411.12931 v2 pith:P3IUAJR6 submitted 2024-11-19 math.AG math.NT

Chenxin Huang , Zhiyuan Li , Manuel K.-H. Müller , Zelin Ye This is my paper · ORCID
classification math.AGmath.NT MSC 14J2814J1511F2711F3714G35
keywords PicardgroupBaily-BorelcompactificationK3surfacesorthogonalShimuravarietiesHeegnerdivisorsthetaseriesvector-valuedmodularformsbasisproblem
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

This paper proves that the Baily–Borel compactification $\overline{F}_g$ of the moduli space of quasi-polarized K3 surfaces of genus $g$ has the smallest possible Picard group: $\mathrm{Pic}(\overline{F}_g) \cong \mathbb{Z}$, generated by a multiple of the extended Hodge line bundle. The proof establishes a broader statement: for even lattices $M$ of signature $(2,n)$ with $n > 8$ that are of K3 type or $p$-elementary, the rational Picard group of the Baily–Borel compactification of the associated orthogonal Shimura variety is one-dimensional, spanned by the Hodge class. The central mechanism is an arithmetic obstruction space built from $\theta$ series and their isotropic lifts, which controls exactly when Heegner divisors extend across the boundary. The paper shows this obstruction space is maximal by resolving the basis problem for vector-valued half-integral weight cusp forms. Because the global Torelli theorem identifies $F_g$ with such a Shimura variety, the rigidity theorem applies and answers a natural question about the divisor theory of the compactification.

What carries the argument

The load-bearing object is the obstruction space $\mathrm{Cusp}^{\mathrm{obs}}_{(n+2)/2}(\rho^*_M)$: the span, inside the cusp forms of weight $(n+2)/2$ for the dual Weil representation, of all isotropic lifts $\uparrow_{H_J}(\sigma^* \Theta_{J^\perp/J,F})$ attached to admissible isotropic planes $J$ in $M$ and degree-2 harmonic polynomials $F$. Heegner divisors fail to extend to the boundary exactly when they pair nontrivially with such lifts (Theorem 5.11), so if this space exhausts the full cusp space, every extendable Heegner class must annihilate all cusp forms and hence, by the Hodge bundle criterion (Theorem 5.10), be proportional to $\lambda$. The maximality of the obstruction space is proved by the basis problem (Theorem 4.5): for a positive definite even lattice of rank $r > 6$ whose localization at every prime splits a hyperbolic plane, every cusp form of weight $k \geq r/2$ is a $\theta$ series. The proof of that basis result runs through a $\theta$-lifting map $\Psi$ built from the vector-valued Siegel–Eisenstein series, identified with a weighted sum of the Hecke operators of Section 3 (Theorem 4.4), whose non-vanishing is controlled by L-series.

What would settle it

Compute, for a positive definite even lattice $L$ of odd rank $r > 6$ with $L \otimes \mathbb{Z}_p$ splitting a hyperbolic plane for every prime $p$, the orthogonal complement of the $\theta$-series subspace inside $\mathrm{Cusp}_{r/2}(\rho_L)$: if it contains a nonzero cusp form, Theorem 4.5 is false, and the maximality of the obstruction space needed for the $p$-elementary cases collapses. A natural test case is a $2$-elementary lattice of rank 11 with discriminant group $(\mathbb{Z}/2\mathbb{Z})^n$.

Watch

Extended reading notes

Core claim

The central discovery is that the Baily–Borel compactification of the quasi-polarized K3 moduli space carries no new line bundles beyond the Hodge class: for every genus $g \geq 2$, $\mathrm{Pic}(\overline{F}_g) \cong \mathbb{Z}$, spanned by some positive multiple of the extended Hodge line bundle $\lambda$. The proof goes through a general result (Theorem 6.4 and Corollaries 6.7, 6.10): if $M$ is an even lattice of signature $(2,n)$ with $n > 8$ that either splits two hyperbolic planes and splits three locally at every prime (K3 type), or is $p$-elementary and splits one hyperbolic plane, then every Heegner divisor class that extends to the Baily–Borel boundary is rationally proportional to $\lambda$. For the stable orthogonal group, the integral Picard group is then exactly $\mathbb{Z}$, using a new torsion-freeness result for K3-type lattices of rank greater than 10. In the special case of the K3 lattice $\Lambda_g = \langle 2-2g \rangle \oplus E_8(-1)^{\oplus 2} \oplus U^{\oplus 2}$, the global Torelli theorem identifies $F_g$ with the Shimura variety $\mathrm{Sh}(\Lambda_g)$, and Noether–Lefschetz divisors become Heegner divisors, so the general theorem yields the $\mathbb{Z}$-Picard group. The paper also deduces that the rational Picard group of the normalization of the moduli space of boundary polarized Calabi–Yau pairs arising from K3 surfaces with non-symplectic involutions is spanned by the CM line bundle, outside one 11-dimensional family.

Load-bearing premise

The load-bearing premise is the basis problem: every cusp form of weight at least half the lattice rank is a linear combination of theta series for lattices of rank greater than 6 that locally split a hyperbolic plane, and the paper proves this in full only when the rank is even, with the odd-rank case sketched and the determinant-zero case of weight equal to half the rank omitted.

Editorial extensions

If this is right

  • $\mathrm{Pic}(\overline{F}_g) \cong \mathbb{Z}$ for every genus $g \geq 2$: the Baily–Borel boundary adds no new Cartier divisor classes, and the Noether–Lefschetz divisors that generate $\mathrm{Pic}(F_g)$ all collapse to multiples of $\lambda$ at the boundary.
  • For any K3-type lattice of signature $(2,n)$ with $n > 8$, $\mathrm{Pic}_\mathbb{Q}(\mathrm{Sh}_\Gamma(M))^{\mathrm{Heegner}} \cong \mathbb{Q}$ and, when $\Gamma = \widetilde{O}(M)$, $\mathrm{Pic}(\overline{\mathrm{Sh}}(M)) \cong \mathbb{Z}$.
  • For $p$-elementary lattices with $\Gamma = \Gamma_0$, the same one-dimensional rational Picard group holds, covering moduli spaces of lattice-polarized K3 surfaces and Calabi–Yau pairs that do not split two hyperbolic planes.
  • The integral, torsion-free statement holds for K3-type lattices of rank greater than 10, so the one-dimensionality is an honest isomorphism, not merely a rational statement.
  • A by-product: the normalization of the boundary polarized Calabi–Yau moduli space of K3 surfaces with non-symplectic involution has rational Picard group spanned by the CM line bundle, outside the 11-dimensional exceptional family.

Reading between the lines

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

  • Beyond the paper: the same obstruction-space method should compute Picard groups for other Baily–Borel compactifications realized by orthogonal Shimura varieties, such as moduli of cubic fourfolds or of hyper-Kähler varieties of K3 type, whenever the lattice satisfies the local hyperbolic-splitting conditions; the paper proves the K3-type and $p$-elementary cases but does not claim a general class
  • Beyond the paper: Theorem 4.5 is a statement in pure modular forms—vector-valued cusp forms of weight at least half the rank are theta series for locally hyperbolic-splitting lattices; if it survives in odd rank, it gives an Eichler-type basis result independent of the geometry.
  • A computationally testable consequence: for a low-rank $p$-elementary lattice satisfying the hypotheses, the constant term of the restriction of any extendable Heegner divisor to a boundary component should vanish identically; a single counterexample there would bound the generality of Theorem 6.4.
Share X Bluesky LinkedIn Reddit HN

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 studies the rational Picard group of Baily–Borel compactifications of orthogonal Shimura varieties and proves that, for K3-type lattices and for certain p-elementary lattices of large rank, the Heegner Picard group is one-dimensional, spanned by the extended Hodge line bundle. The main geometric consequence is Theorem 1.1: the Picard group of the Baily–Borel compactification of the moduli space of quasi-polarized K3 surfaces is isomorphic to Z. The proof introduces an arithmetic obstruction space for extending Heegner divisors to the boundary, relates it to spaces of theta series, and then uses a basis-problem statement for vector-valued modular forms to show that the obstruction space is maximal. Applications include Picard-group computations for moduli spaces of K3 surfaces with non-symplectic involutions and a torsion-freeness result for the Picard group of K3-type Shimura varieties.

Significance. If the main theorems are correct, Theorem 1.1 is a clean and surprising contrast to the curve case, and the general framework for computing Picard groups of Baily–Borel compactifications is valuable. The paper is well structured, the geometric–arithmetic dictionary is clearly explained, and the extension to p-elementary lattices and to boundary polarized Calabi–Yau pairs is a substantial contribution. The reliance on the same-author preprint [32] for the even-rank basis problem is stated transparently and is not circular. However, the odd-rank basis problem, which is load-bearing for the K3 application, is only sketched in the present manuscript, so the central claim is not yet fully verified in the text.

major comments (3)
  1. [§4.3, Theorem 4.5] The odd-signature case of the basis problem is load-bearing for the main theorem: it is applied in Theorem 6.4 to the negative definite lattice L of rank n−2, which is odd when n is odd, and for the K3 lattice Λ_g one has n=17 and rank L=15. The proof of Theorem 4.5 in the odd-signature case consists of a sketch: the construction of the sublattice L with G_L ≅ G_M ⊕ G′ and the verification of conditions (∗_p) are delegated to [32, Lem. 6.6] and described as "very similar." This is exactly the step where a parity or local-splitting obstruction could make the argument fail; if Cusp^θ is strictly smaller than Cusp, then the equality Cusp^obs = Cusp in Theorem 6.4 and hence Theorem 1.1 would not follow. Please provide the full odd-rank proof, or a precise reduction to a stated theorem in [32] that includes all parity details.
  2. [§4.2, Theorem 4.4] The proof of Theorem 4.4 explicitly omits the determinant-zero case when h=0, saying "we omit the details." Since Theorem 4.5 is stated for all k ≥ r/2, including h=0, and its proof invokes Theorem 4.4 without restriction, the printed statement of Theorem 4.5 is not fully proven as stated. For the main geometric application one has h=3, so this omission does not by itself invalidate Theorem 1.1; nevertheless, the theorem as stated needs a completed proof or an added hypothesis excluding h=0.
  3. [§6.2, Theorem 6.4, Case 2] In the 2-elementary case, the proof that the isotropic lifts of the relevant cusp spaces span Cusp_k(ρ_M^*) combines the decomposition from [33, Thm. 5.1] with the assertion that every non-characteristic isotropic subgroup H with H^⊥/H ≅ G_L is associated with an admissible isotropic plane. The latter is justified through Remark 6.5, which only sketches the order-4 conjugacy statement. Since this correspondence is what makes the p-elementary case, and hence Corollary 1.5, go through, the missing details should be supplied or replaced by a precise reference.
minor comments (5)
  1. [§1.1, Eq. (1.1)] The displayed formula for the rank r_g is difficult to parse because of the large fraction and Jacobi-symbol notation; a reference to the original formula in [8] or [19] would help the reader.
  2. [References, [9]] The reference list gives the second author of [9] only as "Liu"; the full name should be completed.
  3. [Author affiliations] Affiliation 3 says "Technical University of Darmstadt, Berlin"; TU Darmstadt is located in Darmstadt, so this is likely a typo.
  4. [Remark 1.4] The phrase "which only split a hyperpbolic plane" contains a typo: "hyperpbolic" should be "hyperbolic."
  5. [Proof of Corollary 1.5] The sentence "the classification result in [1] shows that Λ_ρ is a 2-elementary lattice and splits a hyperbolic plane" should give a precise location in [1] or [35], since this splitting is used to apply Corollary 6.7.

Circularity Check

0 steps flagged · score 2.0 of 10

No circularity: the central derivation is independent; same-author citations [32] and [33] are load-bearing but not target-equivalent, with completeness gaps in the odd-rank basis-problem proof.

full rationale

I walked the derivation chain from Theorem 1.1 down to its inputs. Theorem 1.1 is a special case of Theorem 1.2 (Cor. 6.7 and 6.10). Theorem 1.2 is proved via Theorem 6.4, whose key step is Proposition 5.13: if the obstruction space Cusp^obs equals the full cusp space, then every extendable Heegner class is proportional to the Hodge bundle. That equality is obtained from the basis problem Theorem 4.5, which states Cusp^theta = Cusp for positive definite even lattices of rank r>6 with local hyperbolic splitting. In Theorem 4.5, the even-signature case is quoted verbatim from the same author's preprint [32, Thm. 6.7], and the odd-signature case is only sketched as 'very similar' with references to [32, Lem. 6.6 and 6.3]. This is a genuine load-bearing same-author citation, and the odd-rank proof is not written out; the determinant-zero h=0 case of Theorem 4.4 is also omitted with 'we omit the details'. However, these are completeness and verification concerns, not circularity. The cited results have their own stated assumptions (rank, local hyperbolic splitting) and do not assume the Picard-group conclusion. Nor is any Heegner class defined to be lambda: the convention H_{0,0} = -lambda is only a normalization, and Theorem 5.10 is a separate criterion. No parameter is fitted, no prediction is renamed from an input, and no uniqueness theorem from the present authors is used to forbid alternatives. The main theorem is therefore not equivalent to any of its inputs by construction. The score of 2 reflects the presence of load-bearing self-citations and omitted proof details in the modular-forms basis problem, not an actual circular reduction.

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

There are no fitted parameters or invented physical entities. The new obstruction space is a mathematical construction defined from admissible isotropic planes and theta series, not an entified object. All numerical inputs are fixed mathematical structures such as the K3 lattice.

assumptions (5)
  • domain assumption Global Torelli theorem identifies F_g with the orthogonal Shimura variety Sh(Lambda_g).
    Used in Section 1.1 and Example 5.3 to translate the K3 moduli problem into the lattice setting.
  • domain assumption Bruinier-Freitag local Borcherds criterion: if a Heegner divisor is trivial at a generic boundary point, its coefficient functional vanishes on isotropic-lifted theta series.
    Imported from [14] in Section 5.4; one direction is sufficient for the obstruction argument in Proposition 5.13.
  • standard math Nikulin's lattice facts: genus uniqueness, surjectivity of O(M) to O(G_M), and classification and conjugacy of non-characteristic isotropic subgroups.
    Used throughout Section 5.5, Proposition 6.1, and Theorem 6.4 to relate admissible isotropic planes to isotropic subgroups.
  • standard math The metaplectic Siegel-Weil formula and its odd-rank specialization identify genus theta series with Siegel-Eisenstein series.
    Used in Section 2.4 and Theorem 4.4 to connect theta series with Eisenstein series.
  • standard math Deligne's proof of the Ramanujan conjecture, applied to Shimura lifts of half-integral-weight eigenforms.
    Used in Theorem 3.5 to prove the non-vanishing of the relevant L-values.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The Picard group of the Baily--Borel compactification of the moduli space of quasi-polarized K3 surfaces and generalizations." pith.science (2026). https://pith.science/paper/P3IUAJR6

@misc{pith2026241112931,
  author       = {Pith},
  title        = {Pith review of: The Picard group of the Baily--Borel compactification of the moduli space of quasi-polarized K3 surfaces and generalizations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/P3IUAJR6}},
  note         = {Machine review of arXiv:2411.12931}
}
abstract

In this paper, we investigate the Picard group of the Baily--Borel compactification of orthogonal Shimura varieties. As a key result, we determine the Picard group of the Baily--Borel compactification of the moduli space of quasi-polarized K3 surfaces, proving that it is isomorphic to $\mathbb{Z}$. Notably, this contrasts with the moduli space of smooth curves, where the Picard group exhibits a more complex structure after natural compactification. Our result follows from a general theorem for orthogonal Shimura varieties: for even lattices $M$ of signature $(2,n)$ with $n > 8$ satisfying specific arithmetic conditions (e.g. K3 type or $p$-elementary), the rational Picard group of $\overline{\operatorname{Sh}}_\Gamma(M)$ with $\Gamma$ containing the stable orthogonal group is $1$-dimensional. The core of our proof lies in constructing an arithmetic obstruction space that governs the extension of Heegner divisors to the generic points of the boundary in orthogonal Shimura varieties. We further establish a connection between this obstruction space and the space of theta series, demonstrating that the obstruction space is maximal under our conditions.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

49 extracted references · 46 canonical work pages

  1. [19]

    Andrea Di Lorenzo, Roberto Fringuelli, and Angelo Vistoli,Integral Picard group of moduli of polarized K3 surfaces, Bull. Lond. Math. Soc.56(2024), no. 2, 833–846. MR4711588↑2, 5, 27, 32

    work page 2024

  2. [32]

    Müller,The basis problem for modular forms for the Weil representation, arXiv: 2407.01205 (2024).↑5, 9, 11, 14, 15, 16, 17, 18, 19, 33, 34, 35, 36, 37, 38

    Manuel K.-H. Müller,The basis problem for modular forms for the Weil representation, arXiv: 2407.01205 (2024).↑5, 9, 11, 14, 15, 16, 17, 18, 19, 33, 34, 35, 36, 37, 38

    arXiv 2024

  3. [1]

    Valery Alexeev and Philip Engel,Compactifications of moduli spaces of K3 surfaces with a nonsym- plectic involution, arXiv:2208.10383 (2022).↑4, 5, 32

    arXiv 2022

  4. [2]

    Zack Garza, and Luca Schaffler,Compact moduli of enriques sur- faces of degree 2, Nagoya Mathematical Journal (2025), 1–44.↑4

    Valery Alexeev, Philip Engel, D. Zack Garza, and Luca Schaffler,Compact moduli of enriques sur- faces of degree 2, Nagoya Mathematical Journal (2025), 1–44.↑4

    work page 2025

  5. [3]

    Valery Alexeev, Philip Engel, and Changho Han,Compact moduli of K3 surfaces with a nonsym- plectic automorphism, Trans. Amer. Math. Soc. Ser. B11(2024), 144–163. MR4692386↑4

    work page 2024

  6. [4]

    Reine Angew

    Valery Alexeev, Philip Engel, and Alan Thompson,Stable pair compactification of moduli of K3 surfaces of degree 2, J. Reine Angew. Math.799(2023), 1–56. MR4595306↑4

    work page 2023

  7. [5]

    Ann.317(2000), no

    Daniel Allcock,The period lattice for Enriques surfaces, Math. Ann.317(2000), no. 3, 483–488. MR1776113↑22

    work page 2000

  8. [6]

    2, 153–171

    Enrico Arbarello and Maurizio Cornalba,The Picard groups of the moduli spaces of curves, Topology 26(1987), no. 2, 153–171. MR895568↑1

    work page 1987

Show all 49 references
  1. [7]

    137, Springer-Verlag, New York, 2001

    Sheldon Axler, Paul Bourdon, and Wade Ramey,Harmonic function theory, Second, Graduate Texts in Mathematics, vol. 137, Springer-Verlag, New York, 2001. MR1805196↑9

    2001

  2. [8]

    Math.208(2017), no

    Nicolas Bergeron, Zhiyuan Li, John Millson, and Colette Moeglin,The Noether-Lefschetz conjecture and generalizations, Invent. Math.208(2017), no. 2, 501–552. MR3639598↑2, 5, 22

    2017

  3. [9]

    Harold Blum and Liu,Good moduli spaces for boundary polarized Calabi-Yau surface pairs, arXiv:2407.00850 (2024).↑3, 4

    2024 arXiv

  4. [10]

    Borcherds,Automorphic forms with singularities on Grassmannians, Invent

    Richard E. Borcherds,Automorphic forms with singularities on Grassmannians, Invent. Math.132 (1998), no. 3, 491–562. MR1625724 (99c:11049)↑4, 9

    1998

  5. [11]

    J.104(2000), no

    ,Reflection groups of Lorentzian lattices, Duke Math. J.104(2000), no. 2, 319–366. MR1773561↑12

    2000

  6. [12]

    Methods Appl.15(2019), Paper 041, 31

    Vincent Bouchard, Thomas Creutzig, and Aniket Joshi,Hecke operators on vector-valued modular forms, SIGMA Symmetry Integrability Geom. Methods Appl.15(2019), Paper 041, 31. MR3954362 ↑13

    2019

  7. [13]

    Simon Brandhorst and Alberto Cattaneo,Prime order isometries of unimodular lattices and au- tomorphisms of IHS manifolds, Int. Math. Res. Not. IMRN18(2023), 15584–15638. MR4644970 ↑22

    2023

  8. [14]

    J. H. Bruinier and E. Freitag,Local Borcherds products, Ann. Inst. Fourier (Grenoble)51(2001), no. 1, 1–26. MR1821065↑2, 4, 25, 26

    2001

  9. [15]

    Bruinier,Borcherds products on O(2,l) and Chern classes of Heegner divisors, Lecture Notes in Mathematics, vol

    Jan H. Bruinier,Borcherds products on O(2,l) and Chern classes of Heegner divisors, Lecture Notes in Mathematics, vol. 1780, Springer-Verlag, Berlin, 2002. MR1903920↑39

    2002

  10. [16]

    Algebra397(2014), 315–

    Jan Hendrik Bruinier,On the converse theorem for Borcherds products, J. Algebra397(2014), 315–

    2014

  11. [17]

    Z.264(2010), no

    Jan Hendrik Bruinier and Oliver Stein,The Weil representation and Hecke operators for vector valued modular forms, Math. Z.264(2010), no. 2, 249–270. MR2574974↑7, 10, 13

    2010

  12. [18]

    290, Springer-Verlag, New York, 1988

    J.H.ConwayandN.J.A.Sloane,Sphere packings, lattices and groups,Grundlehrendermathematis- chen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 290, Springer-Verlag, New York, 1988. With contributions by E. Bannai, J. Leech, S. P. Norton, A. M. Odlyzko, R....

    1988

  13. [20]

    I. V. Dolgachev,Mirror symmetry for lattice polarizedK3surfaces, 1996, pp. 2599–2630. Algebraic geometry, 4. MR1420220↑3

    1996

  14. [21]

    55, Birkhäuser Boston, Inc., Boston, MA, 1985

    Martin Eichler and Don Zagier,The theory of Jacobi forms, Progress in Mathematics, vol. 55, Birkhäuser Boston, Inc., Boston, MA, 1985. MR781735↑14

    1985

  15. [22]

    Gritsenko, K

    V. Gritsenko, K. Hulek, and G. K. Sankaran,Abelianisation of orthogonal groups and the funda- mental group of modular varieties, J. Algebra322(2009), no. 2, 463–478. MR2529099↑32

    2009

  16. [23]

    Math.72(1983), no

    John Harer,The second homology group of the mapping class group of an orientable surface, Invent. Math.72(1983), no. 2, 221–239. MR700769↑1

    1983

  17. [24]

    Jan Hendrik Bruinier and Riccardo Zuffetti,Lefschetz decompositions of Kudla-Millson theta func- tions, arXiv e-prints (June 2024), arXiv:2406.19921, available at2406.19921.↑8

    2024 arXiv

  18. [25]

    A series of lectures at Ritsumeikan University, Ohtsu, Japan, 7/11-12/2001, available online,https://www.math.ucla.edu/ hida/RT01.pdf.↑35

    Haruzo Hida,Metaplectic groups, 2020. A series of lectures at Ritsumeikan University, Ohtsu, Japan, 7/11-12/2001, available online,https://www.math.ucla.edu/ hida/RT01.pdf.↑35

    2020

  19. [26]

    Caner Koca,Orbits in the Anti-Invariant Sublattice of the K3-Lattice, ProQuest Dissertations & Theses, 2005 (eng).↑22 PICARD GROUP OF BAILY–BOREL COMPACTIFICATIONS 41

    2005

  20. [27]

    unpublished notes, available online, http://www.math.toronto.edu/skudla/castle.pdf.↑34

    Stephen Kudla,Notes on the local theta correspondence, 1996. unpublished notes, available online, http://www.math.toronto.edu/skudla/castle.pdf.↑34

    1996

  21. [28]

    Radu Laza,The moduli space of cubic fourfolds via the period map, Ann. of Math. (2)172(2010), no. 1, 673–711. MR2680429↑3

    2010

  22. [29]

    Chao Li,From sum of two squares to arithmetic Siegel-Weil formulas, Bull. Amer. Math. Soc. (N.S.) 60(2023), no. 3, 327–370. MR4588043↑35

    2023

  23. [30]

    Lipschitz,Untersuchung der Eigenschaften einer Gattung von unendlichen Reihen, J

    R. Lipschitz,Untersuchung der Eigenschaften einer Gattung von unendlichen Reihen, J. Reine Angew. Math.105(1889), 127–156. MR1580195↑39

  24. [31]

    Keerthi Madapusi Pera,Toroidal compactifications of integral models of Shimura varieties of Hodge type, Ann. Sci. Éc. Norm. Supér. (4)52(2019), no. 2, 393–514. MR3948111↑3

    2019

  25. [33]

    Number Theory263(2024), 206–233

    ,Modular forms for the Weil representation induced from isotropic subgroups, J. Number Theory263(2024), 206–233. MR4752229↑29

    2024

  26. [34]

    David Mumford,Picard groups of moduli problems, Arithmetical Algebraic Geometry (Proc. Conf. Purdue Univ., 1963), 1965, pp. 33–81. MR201443↑1

    1963

  27. [35]

    V. V. Nikulin,Integer symmetric bilinear forms and some of their geometric applications, Izv. Akad. Nauk SSSR Ser. Mat.43(1979), no. 1, 111–177, 238. MR525944↑4, 19, 22, 27, 28, 29, 30, 31

    1979

  28. [36]

    algebrogeometric applications, Journal of Soviet Mathematics22 (1983/07/01), no

    ,Factor groups of groups of automorphisms of hyperbolic forms with respect to sub- groups generated by 2-reflections. algebrogeometric applications, Journal of Soviet Mathematics22 (1983/07/01), no. 4, 1401–1475.↑4

    1983

  29. [37]

    Martin Olsson,Integral models for moduli spaces ofG-torsors, Ann. Inst. Fourier (Grenoble)62 (2012), no. 4, 1483–1549. MR3025749↑32

    2012

  30. [38]

    Pasles and Wladimir de Azevedo Pribitkin,A generalization of the Lipschitz summation formula and some applications, Proc

    Paul C. Pasles and Wladimir de Azevedo Pribitkin,A generalization of the Lipschitz summation formula and some applications, Proc. Amer. Math. Soc.129(2001), no. 11, 3177–3184. MR1844990 ↑39

    2001

  31. [39]

    Soma Purkait,Hecke operators in half-integral weight, J. Théor. Nombres Bordeaux26(2014), no. 1, 233–251. MR3232773↑13

    2014

  32. [40]

    Scheithauer,The Weil representation ofSL2(Z)and some applications, Int

    Nils R. Scheithauer,The Weil representation ofSL2(Z)and some applications, Int. Math. Res. Not. IMRN8(2009), 1488–1545. MR2496771↑13

    2009

  33. [41]

    Markus Schwagenscheidt and Fabian Völz,Lifting newforms to vector-valued modular forms for the Weil representation, Int. J. Number Theory11(2015), no. 7, 2199–2219. MR3440455↑20

    2015

  34. [42]

    Goro Shimura,On modular forms of half integral weight, Ann. of Math. (2)97(1973), 440–481. MR332663↑7, 11, 12

    1973

  35. [43]

    J.52(1985), no

    ,On Eisenstein series of half-integral weight, Duke Math. J.52(1985), no. 2, 281–314. MR792175↑35

    1985

  36. [44]

    Oliver Stein,The Fourier expansion of Hecke operators for vector-valued modular forms, Funct. Approx. Comment. Math.52(2015), no. 2, 229–252. MR3358318↑13

    2015

  37. [45]

    ,A converse theorem for Borcherds products and the injectivity of the Kudla-Millson theta lift, arXiv:2306.17660 (2023).↑24

    2023 arXiv

  38. [46]

    Z.275 (2013), no

    Fredrik Strömberg,Weil representations associated with finite quadratic modules, Math. Z.275 (2013), no. 1-2, 509–527. MR3101818↑13

    2013

  39. [47]

    Thesis (Ph.D.)–University of Maryland, College Park

    William Jay Sweet Jr,The metaplectic case of the Weil-Siegel formula, ProQuest LLC, Ann Arbor, MI, 1990. Thesis (Ph.D.)–University of Maryland, College Park. MR2685604↑33, 34

    1990

  40. [48]

    thesis, Technische Universität Darmstadt (2014)

    Fabian Werner,Vector valued Hecke theory, Ph.D. thesis, Technische Universität Darmstadt (2014). available online,https://tuprints.ulb.tu-darmstadt.de/4238/1/phd.pdf.↑12

    2014

  41. [49]

    available online,https://www.math.columbia.edu/ thaddeus/theses/2009/zhang.pdf.↑33 1 School of Mathematical Sciences, Fudan University, Shanghai, China

    Wei Zhang,Modularity of generating functions of special cycles on shimura varieties, 2009. available online,https://www.math.columbia.edu/ thaddeus/theses/2009/zhang.pdf.↑33 1 School of Mathematical Sciences, Fudan University, Shanghai, China. Email address:chuang@math.harvard...

    2009

Pith tools

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