pith. sign in

arxiv: 2604.17792 · v1 · submitted 2026-04-20 · 🧮 math.NT · math.AG

Explicit Kodaira-Spencer maps over PEL Shimura varieties

Ziqi Guo This is my paper

Pith reviewed 2026-05-10 04:29 UTC · model grok-4.3

classification 🧮 math.NT math.AG
keywords PEL Shimura varietiesKodaira-Spencer mapscanonical line bundlesintegral modelsarithmetic intersection numbersheight functionsnumber theory
0
0 comments X

The pith

Kodaira-Spencer maps yield explicit morphisms between two canonical line bundles on integral models of PEL Shimura varieties.

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

This paper constructs a class of morphisms between two canonical line bundles on integral models of PEL Shimura varieties by means of Kodaira-Spencer maps. It computes the morphisms explicitly and determines their action on the canonical metrics. A reader would care because the construction supplies a direct method for comparing the two bundles and the arithmetic intersection numbers they induce, which in turn gives an explicit relation between the height functions defined by each bundle.

Core claim

The authors construct morphisms between two canonical line bundles on the integral models of PEL Shimura varieties using Kodaira-Spencer maps. These morphisms are computed explicitly, and their effects on the canonical metrics are determined. This establishes a concrete relationship between the line bundles that allows comparison of their arithmetic intersection numbers and the height functions they define.

What carries the argument

The Kodaira-Spencer map on integral models of PEL Shimura varieties, which produces morphisms relating the two canonical line bundles and their metrics.

Load-bearing premise

Suitable integral models exist for the PEL Shimura varieties such that the Kodaira-Spencer maps extend to them and can be used to define the morphisms between the line bundles.

What would settle it

Finding a PEL Shimura variety where the Kodaira-Spencer map fails to produce a morphism that correctly relates the two line bundles' metrics or intersection numbers.

read the original abstract

The goal of our work is to construct a class of morphisms between two canonical line bundles on integral models of PEL Shimura varieties via Kodaira--Spencer maps, and explicitly compute such morphisms and their effects on the canonical metrics of line bundles. This result provides a concrete method for comparing two canonical line bundles and the corresponding arithmetic intersection numbers. In particular, it allows us to give an explicit relationship between the height functions defined by these two line bundles.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper constructs a class of morphisms between two canonical line bundles on integral models of PEL Shimura varieties, realized explicitly via Kodaira-Spencer maps. It computes these morphisms in detail and determines their action on the canonical metrics of the bundles, yielding explicit relations between the associated arithmetic intersection numbers and height functions.

Significance. If the explicit constructions and computations hold, the result supplies a concrete, computable bridge between two canonical line bundles in the PEL setting. This is useful for arithmetic geometry, as it permits direct comparison of heights and intersections without relying solely on abstract isomorphisms. The approach via moduli interpretations of the integral models and the Kodaira-Spencer isomorphism is a strength, aligning with standard techniques in the field.

minor comments (2)
  1. §1 (Introduction): the two line bundles are referred to as 'canonical' without an immediate notational distinction (e.g., L_1 and L_2); adding a short sentence clarifying their definitions relative to the PEL data would improve readability for readers outside the immediate subfield.
  2. §3 (Construction of the maps): the extension of the Kodaira-Spencer isomorphism to the integral model is stated to follow from the moduli functor, but a brief remark on the precise conditions under which the map remains an isomorphism (versus a morphism) at the boundary would help.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper constructs morphisms between two canonical line bundles on integral models of PEL Shimura varieties by realizing Kodaira-Spencer maps explicitly via the moduli interpretation of the PEL data. This is a direct geometric construction that extends the standard Kodaira-Spencer isomorphism to the integral setting and computes its effect on metrics and heights; no step reduces a claimed result to a fitted parameter, a self-definition, or a load-bearing self-citation whose content is itself unverified. The derivation relies on established properties of Shimura varieties and integral models rather than re-deriving its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only; no specific free parameters, axioms, or invented entities are identifiable from the given text.

pith-pipeline@v0.9.0 · 5353 in / 1057 out tokens · 41746 ms · 2026-05-10T04:29:14.734904+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages

  1. [1]

    Arithmetic volumes of unitary Shimura varieties, arXiv preprint arXiv: 2105.11274

    Jan Hendrik Bruinier and Benjamin Howard, (2024). Arithmetic volumes of unitary Shimura varieties, arXiv preprint arXiv: 2105.11274

    work page arXiv 2024

  2. [2]

    Borcherds products and arithmetic intersection theory on Hilbert modular surfaces

    Bruinier, J. H., Burgos Gil, J. I., and Kuehn, U., “Borcherds products and arithmetic intersection theory on Hilbert modular surfaces”, arXiv Mathematics e-prints, 2003. doi:10.48550/arXiv.math/0310201

    work page doi:10.48550/arxiv.math/0310201 2003

  3. [3]

    Gille, P., & Szamuely, T. (2006). Central Simple Algebras and Galois Cohomology (Cambridge Studies in Advanced Mathematics). Cambridge: Cambridge University Press

    work page 2006

  4. [4]

    Guo, (2023)

    Z. Guo, (2023). Explicit Kodaira-Spencer map over Hilbert modular varieties. arXiv preprint arXiv:2308.06682

    work page arXiv 2023

  5. [5]

    Guo, (2025)

    Z. Guo, (2025). Modular Heights of Unitary Shimura Varieties. arXiv preprint arXiv:2509.24363

    work page arXiv 2025

  6. [6]

    M. Kisin. (2010). Integral models for Shimura varieties of abelian type, Journal of the American Mathematical Society 23, no. 4 (2010): 967–1012

    work page 2010

  7. [7]

    Kottwitz, R. E. (1992). Points on Some Shimura Varieties Over Finite Fields. Journal of the American Mathematical Society, 5(2), 373–444

    work page 1992

  8. [8]

    S., Rapoport, M., & Yang, T

    Kudla, S. S., Rapoport, M., & Yang, T. (2006). Modular Forms and Special Cycles on Shimura Curves. (AM-161). Princeton University Press

    work page 2006

  9. [9]

    K\" u hn

    U. K\" u hn. (2001). Generalized arithmetic intersection numbers, J. reine angew. Math. 534, 209-236

    work page 2001

  10. [10]

    K. Lan. (2013). Arithmetic compactifications of PEL-type Shimura varieties , London Mathematical Society Monographs Series, 36. Princeton University Press, Princeton, NJ

    work page 2013

  11. [11]

    K. Lan. (2010). An example based introduction to Shimura varieties , ETHZ Summer school on Motives and Complex Multiplication

    work page 2010

  12. [12]

    K. Lan. (2015). Boundary strata of connected components in positive characteristics. Algebra Number Theory, 9:1955-2054

    work page 2015

  13. [13]

    Milne, J.S. (1986). Abelian Varieties. In: Cornell, G., Silverman, J.H. (eds) Arithmetic Geometry. Springer, New York, NY

    work page 1986

  14. [14]

    Milne, J.S. (2017). Introduction to Shimura varieties. Revised version of notes. www.jmilne.org/math/xnotes/svi.pdf

    work page 2017

  15. [15]

    D. Mumford. (2008). Abelian varieties , With appendices by C. P. Ramanujam and Yuri Manin. Corrected reprint of the second (1974) edition. Tata Institute of Fundamental Research Studies in Mathematics, 5. Published for the Tata Institute of Fundamental Research, Bombay; by Hindustan Book Agency, New Delhi

    work page 2008

  16. [16]

    Arithmetic models for Hilbert modular varieties

    Pappas, Georgios. Arithmetic models for Hilbert modular varieties. Compositio Mathematica, Volume 98 (1995) no. 1, pp. 43-76

    work page 1995

  17. [17]

    I. Reiner. (1975). Maximal Orders. London Mathematical Society Monographs. New Series, vol. 28, Oxford University Press

    work page 1975

  18. [18]

    Rapoport, B

    M. Rapoport, B. Smithling, and W. Zhang, (2021) On Shimura variety for unitary groups, Pure and Applied Mathematics Quarterly, Volume 17, Number 2, 773-837

    work page 2021

  19. [19]

    Voight, J. (2021). Introduction. In: Quaternion Algebras. Graduate Texts in Mathematics, vol 288. Springer, Cham

    work page 2021

  20. [20]

    Yuan, X. (2017). On Faltings heights of abelian varieties with complex multiplication

    work page 2017

  21. [21]

    Yuan, X. (2022). Explicit Kodaira-Spencer map over Shimura Curves. arXiv preprint arXiv:2205.11334

    work page arXiv 2022

  22. [22]

    Yuan, X. (2022). Modular heights of quaternionic Shimura curves. arXiv preprint arXiv:2205.13995

    work page arXiv 2022

  23. [23]

    X. Yuan, S. Zhang, On the averaged Colmez conjecture , Ann. of Math. (2) 187 (2018), no. 2, 533--638

    work page 2018

  24. [24]

    S. Zhang. (2001). Heights of Heegner points on Shimura curve, Ann. of Math. (2) 153, no. 1, 27-147

    work page 2001