Pith. sign in

REVIEW 1 major objections 5 minor 39 references

Compatibility of $F$-isocrystals on adjoint Shimura varieties

T0 review · 1 major / 5 minor · reviewed 2026-08-16 · deepseek-v4-flash

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

Pith's one-line read On adjoint Shimura varieties satisfying a rank condition, the canonical p-adic F-isocrystal now provably has the same Frobenius characteristic polynomials as every canonical ℓ-adic local system, for all ℓ≠p.

desk verdict Completes the ℓ=p compatibility for canonical coefficient objects on adjoint Shimura varieties; the main theorem is credible and the two soft spots (overconvergence via EG25, and the special-point crystalline calculation in Lemma 5.6) are real but look patchable. read the letter →

arxiv 2505.04492 v2 pith:7UBNFJFZ submitted 2025-04-25 math.NT math.AG

Jake Huryn , Kiran S. Kedlaya , Christian Klevdal , Stefan Patrikis This is my paper · ORCID
classification math.NTmath.AG MSC 11G1814F3014F2014F35
keywords ShimuravarietiesF-isocrystalsℓ-adiclocalsystemscompanionsp-adicHodgetheorysuperrigiditycrystallineoverconvergentisocrystals
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 on adjoint Shimura varieties whose adjoint group has no simple factor of real rank below 2, the canonical p-adic coefficient object—an overconvergent $G$-F-isocrystal with Frobenius structure—has the same rational Frobenius characteristic polynomials as the canonical $\ell$-adic local systems at every closed point of the mod-$p$ fiber, for every $\ell\neq p$. This fills the missing $p$-adic leg of the compatible system of canonical coefficient objects, extending the earlier $\ell\neq p$ compatibility of [KP24]. The result matters because such Shimura varieties, including the exceptional ones, have no known moduli interpretation, so this compatibility is a concrete test of the motivic expectation that they carry a universal family of motives with $G$-structure. The proof derives the F-isocrystal from the crystallinity of the canonical $p$-adic local system and then uses rigidity and companion constructions to match it with the $\ell$-adic side.

What carries the argument

The load-bearing object is the canonical overconvergent $G$-F-isocrystal $\mathcal{E}^\dagger_v$, upgraded from the convergent F-isocrystal attached to the canonical crystalline $p$-adic local system $\rho_{p,v}$. The key mechanism is proving that this convergent object is overconvergent: via the algebraic p-adic Riemann–Hilbert correspondence of [DLLZ23], its underlying flat bundle is identified with the canonical flat $G$-bundle on the Shimura variety, which extends to a logarithmic flat bundle with nilpotent residues on a toroidal compactification; then a Frobenius pullback construction for logarithmic flat bundles, combined with rigidity of this bundle as an isolated point in the moduli stack of flat connections, supplies the required $F$-structure. The companion construction (a dictionary matching F-isocrystals to $\ell$-adic local systems by equality of Frobenius semisimple conjugacy classes at all closed points) then converts the F-isocrystal into $\ell$-adic local systems, and superrigidity forces any two such local systems to be conjugate, completing the comparison.

What would settle it

Pick a closed point x of a mod-p fiber of one of these Shimura varieties and a representation ξ of the adjoint group; compute the characteristic polynomial of the linearized Frobenius on the crystalline realization D_crys(ξ∘ρ_{p,v}) and compare it with the characteristic polynomial of (ξ∘$ρ^{{ad}}$_ℓ)(Frob_x). The theorem predicts rational coefficients and equality for all ℓ≠p; any mismatch at one point would refute it. A more structural check is to look for a nontrivial deformation of the canonical flat bundle inside the moduli stack of flat connections, which would invalidate the rigidity step.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1, proved as Theorem 4.5: after enlarging the level prime set $N$, for a closed point $v$ of residue characteristic $p$, there exists an overconvergent $G$-F-isocrystal $\mathcal{E}^\dagger_v$ on the mod-$p$ fiber $S_v$ whose Frobenius semisimple conjugacy classes are rational and agree with those of the canonical $G^{\mathrm{ad}}(\mathbb{Q}_\ell)$-local system for every $\ell\neq p$. For every representation $\xi$ of $G^{\mathrm{ad}}$ and every closed point $x\in S_v$, the characteristic polynomial of the linearized Frobenius on $x^*\mathcal{E}^\dagger_v(\xi)$ has coefficients in $\mathbb{Q}$ and equals the characteristic polynomial of $(\xi\circ\rho^{\mathrm{ad}}_\ell)(\mathrm{Frob}_x)$. The paper further proves that this F-isocrystal extends to a convergent logarithmic F-isocrystal on a toroidal compactification with unipotent monodromy, and that its Tannakian monodromy is the full adjoint group, so the companion formalism applies. Thus the canonical coefficient objects on adjoint Shimura varieties form a compatible system across all primes, with a single rational Frobenius class at each closed point.

Load-bearing premise

The conclusion depends on the fact that the relevant group has no small-rank simple factors, which is what forces the p-adic local system to be crystalline and the flat bundle to be rigid; if that fails, the overconvergent F-isocrystal may not exist.

Editorial extensions

If this is right

  • Corollary 1.4: for points of $S(\mathcal{O}_F[1/N_y])$ and any place $v\mid p$, the characteristic polynomial of the crystalline Frobenius on $D_{\mathrm{crys}}(\xi\circ\rho^{\mathrm{ad}}_{p,y}|_{\mathrm{Gal}_{F_v}})$ has rational coefficients and equals the characteristic polynomial of $(\xi\circ\rho^{\mathrm{ad}}_{\ell,y})(\mathrm{Frob}_v)$ for every $\ell\neq p$.
  • At every closed point $x$ of the mod-$p$ fiber there is a single rational semisimple conjugacy class $[\gamma^{\mathrm{ad}}_{0,x}]$ in $(G^{\mathrm{ad}}//G^{\mathrm{ad}})(\mathbb{Q})$ that equals the Frobenius class of the $\ell$-adic local system for all $\ell\neq p$ and of the F-isocrystal at $p$ (Remark 1.5).
  • The F-isocrystal $\mathcal{E}^\dagger_v$ extends to a convergent logarithmic F-isocrystal on a toroidal compactification with unipotent monodromy, so the compatibility is valid at the boundary as well as on the open fiber (Corollary 5.2).
  • The $\ell$-adic companion $\rho^{\mathrm{ad}}_{\pi\rightsquigarrow\lambda,v}$ produced by the companion theorem is $G^{\mathrm{ad}}(\mathbb{Q}_\lambda)$-conjugate to the canonical local system $\rho^{\mathrm{ad}}_{\ell,v}$, so the two local systems agree as Tannakian objects, not merely at the level of Frobenius polynomials (Theorem 4.5).
  • Together with [Pat25], the compatibility upgrades from the adjoint quotient to the full canonical $G(\mathbb{Q}_\ell)$-local systems and the $G$-F-isocrystal (Remark 1.2).

Reading between the lines

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

  • If the theorem is right, the $p$-adic realization of the conjectural motive with $G$-structure is now pinned down on these Shimura varieties, completing the compatible system in the same sense as the abelian-type results; this suggests the motivic expectation now has full evidence in the superrigid regime.
  • The overconvergence mechanism appears to be a general principle: a crystalline local system whose underlying flat bundle is an isolated point in its moduli stack of flat connections should admit an overconvergent $D_{\mathrm{crys}}$. This could be tested on other rigid locally symmetric varieties and would give a modular-curve-free route to overconvergence.
  • Because the comparison is made at the level of Tannakian monodromy groups, refinements such as comparing Newton polygons of special fibers, or studying the weight filtration on $D_{\mathrm{crys}}$, are natural next checks that go beyond the characteristic-polynomial statement of the paper.
  • The exclusion of $p=2$ and ramified primes is likely technical; extending the Frobenius pullback functor used in the proof should remove these restrictions and enlarge the set of primes covered by the theorem.
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

1 major / 5 minor

Summary. The paper proves a compatibility result between canonical ℓ-adic local systems and canonical p-adic F-isocrystals on adjoint Shimura varieties in the superrigid regime (Assumption 4.1). The main theorem (Theorem 4.5) asserts that, after enlarging the level, the canonical overconvergent G-F-isocrystal E†_v constructed in Theorem 4.4 has a λ-adic companion that is conjugate to the canonical Gad(Qℓ)-local system. The proof combines crystallinity of canonical p-adic local systems (from PST+24 and EG25), a Tannakian argument to upgrade convergence to overconvergence (Lemma 5.1), Margulis superrigidity (Lemma 5.5), and a local calculation at special points (Lemma 5.6). The paper also contains a proof of Drinfeld's comparison theorem for pro-semisimple fundamental groups in arbitrary dimension (Section 3.1).

Significance. If the missing calculation in Lemma 5.6 is supplied, the result is a significant advance: it extends the ℓ≠p compatibility of KP24 to the p-adic realization for non-abelian type Shimura varieties, giving a step toward Kottwitz triples and the Langlands–Rapoport conjecture. The structural arguments are mostly clean and carefully presented: the Tannakian diagram in Section 5.1, the use of full faithfulness of overconvergent versus convergent F-isocrystals, and the reduction to special points are well organized. The paper also provides a higher-dimensional form of Drinfeld's theorem (Remark 3.10) and is explicit about the scope of its assumptions and the loss of primes in Remark 4.6, which is commendable.

major comments (1)
  1. [5.3, Lemma 5.6] The proof of Lemma 5.6 contains an admitted gap in the p-adic calculation, and that calculation is load-bearing for Theorem 4.5. In the proof, after decomposing ξ_K∘inn(a_p)(ρ_{p,s}|_{Γ_{E(s_{K0})_v}}) into crystalline characters ψ_i, the authors assert that the linearized Frobenius ϕ^{[κ(v):F_p]} acts on D_cris by ⊕_i ψ_i(rec_v(ϖ_v)) χ_i(ϖ_v)^{-1}, and that this has the same characteristic polynomial as ξ_K(q^{-1}_{Frob_v}). The text states only that this follows from 'a calculation that ultimately rests on Lubin–Tate theory ([Con11, Proposition B.4]), to which strictly speaking we should add the corresponding calculation of crystalline periods for unramified representations.' No derivation or reference for the crystalline-period part is supplied. This formula is the only input that upgrades the outer automorphism τ from Lemma 5.5(1) to an inner automorphism, so a sign or reciprocity error here would invalidate the conclusion of Theorem 4.5. The authors must either prove the formula or cite a reference that contains it before the paper is accepted.
minor comments (5)
  1. [2.1] The word 'catgeory' in the first sentence of Section 2.1 is a typo for 'category'.
  2. [3, Theorem 3.7] In the statement of Theorem 3.7, the codomain of the monodromy representation ρπ is written as G_{Qλ}; it should be G_{Qπ}, since E has coefficients in Qπ.
  3. [4.5, Lemma 4.2(3)] In Lemma 4.2(3), the notation 'ρ^ad_{K0,sℓ′}' is missing a comma; it should be 'ρ^ad_{K0,s,ℓ′}'.
  4. [5.1, Lemma 5.1] The proof of Lemma 5.1 is quite terse; please expand the justification that the point [¯V(ξ0)_{E_v}] is isolated in M_dR(E_v) via [EG25, Lemma 4.9], and indicate where the finiteness of the set of isolated points used in the F∗-permutation argument is established.
  5. [5.3, proof of Lemma 5.5] The notation 'πt1(Sv)' in the proof of Lemma 5.5 is undefined and confusing; it should be 'π_1(S_v)' or 'π^t_1(S_v)' with a clarification that it is the (tame) fundamental group.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the theorem extends prior independent results; the flagged crystalline-period computation in Lemma 5.6 is a gap, not a circular step.

full rationale

The central derivation is not circular. E†_v is produced from the crystallinity of the canonical p-adic local system ([PST+24, Theorem 7.1]; [EG25]), its overconvergence is proved from the canonical flat G-bundle and rigidity ([DLLZ23]; [EG25]; Margulis superrigidity), and the compatibility with ℓ-adic local systems is obtained from the crystalline-to-étale companion theorem (Drinfeld, Kedlaya, Abe–Esnault) together with the special-point argument. Each of these inputs is an external or prior theorem with an independent proof. The paper's reliance on [KP24] for the ℓ≠p compatibility and for the special-point reduction is self-citation by two of the present authors, but [KP24] is a separate theorem, not a restatement of Theorem 1.1, and the objects of the present paper are not defined in terms of the target compatibility. The one load-bearing caveat is Lemma 5.6: the equality of the crystalline Frobenius at a special point with the algebraic element q^{-1}_{Frob_v} is asserted via the sentence 'A calculation that ultimately rests on Lubin-Tate theory ([Con11, Proposition B.4], to which strictly speaking we should add the corresponding calculation of crystalline periods for unramified representations) shows that...' with no derivation or reference for that added calculation. This is a genuine correctness risk—if the formula were wrong, Lemma 5.5(2) would not upgrade the outer automorphism τ to an inner one and Theorem 4.5 would not follow—but it is not circular: the computation is independent of the theorem being proved. No step reduces by construction to its own inputs, no fitted parameter is renamed a prediction, and no self-citation is used as an unverified uniqueness theorem.

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

The paper introduces no ad hoc free parameters or invented physical entities. The overconvergent F-isocrystal E†_v is the object whose existence is proven, not a postulated entity. The axioms listed are the substantive mathematical inputs: the superrigidity regime, the crystallinity theorem, the companions theorem, and the rigidity of the canonical flat bundle.

assumptions (5)
  • domain assumption Every Q-simple factor of Gad has real rank at least 2 (Assumption 4.1).
    Needed for Margulis superrigidity (KP24, Proposition 4.3), which underlies the uniqueness of companions and the key lemmas in Sections 5.2 and 5.3. The theorem does not address rank-1 factors.
  • domain assumption The canonical p-adic local system ρp,v is log-crystalline up to a cyclotomic twist.
    Imported from PST+24, Theorem 7.1. This gives the convergent F-isocrystal E_v. The paper does not reprove this, and the main theorem depends on it.
  • domain assumption Crystalline-to-étale companions exist in arbitrary dimension (Theorem 3.7, combining Drinfeld, Kedlaya, Abe-Esnault).
    Used to produce the unique λ-adic companion ρad_{π↝λ,v}. The paper gives a proof for arbitrary dimension by adapting Drinfeld's arguments, but the foundational theorem is external.
  • domain assumption The canonical flat G-bundle is cohomologically rigid: H^1(Γ, ξ0)=0.
    This follows from Margulis superrigidity (Mar91, IX, 5.9) and implies the point [V(ξ0)_Ev] is isolated in the moduli stack of flat connections, which is required for the Frobenius pullback argument in Lemma 5.1.
  • domain assumption The Frobenius pullback functor of EG25, Proposition 3.3 requires p > 2 and p unramified in E; such primes are excluded.
    Remark 4.6 states that p=2 and primes ramified in E are excluded. This is a scope restriction rather than a flaw, but it is a technical assumption on which the overconvergence proof depends.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Compatibility of $F$-isocrystals on adjoint Shimura varieties." pith.science (2026). https://pith.science/paper/7UBNFJFZ

@misc{pith2026250504492,
  author       = {Pith},
  title        = {Pith review of: Compatibility of $F$-isocrystals on adjoint Shimura varieties},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7UBNFJFZ}},
  note         = {Machine review of arXiv:2505.04492}
}
abstract

In this article, we extend past results of the last two authors to include compatibility of canonical $\ell$-adic local systems and canonical $F$-isocrystals on adjoint Shimura varieties in the superrigid regime. Our method relies on the crystallinity of canonical $p$-adic local systems due to Esnault--Groechenig as well as Margulis superrigidity and the crystalline-to-\'etale companion construction of Drinfeld, Abe--Esnault, and Kedlaya.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

39 extracted references · 30 canonical work pages

  1. [1]

    A. Ash, D. Mumford, M. Rapoport, and Y.-S. Tai, Smooth compactification of locally symmetric varieties, Math. Sci. Press, Brookline, Mass., 1975

    work page 1975

  2. [2]

    Institut de Recherche Math \'e matique de Rennes [IRMAR], 1996

    Pierre Berthelot, Cohomologie rigide et cohomologie rigide \`a supports propres , Universit \'e de Rennes 1. Institut de Recherche Math \'e matique de Rennes [IRMAR], 1996

    work page 1996

  3. [3]

    Thorne, G -local systems on smooth projective curves are potentially automorphic , Acta Math

    Gebhard B\" o ckle, Michael Harris, Chandrashekhar Khare, and Jack A. Thorne, G -local systems on smooth projective curves are potentially automorphic , Acta Math. 223 (2019), no. 1, 1--111. 4018263

    work page 2019

  4. [4]

    Olivier Brinon, Repr \'e sentations p-adiques cristallines et de de Rham dans le cas relatif , Soci \'e te Math \'e matique de France, 2008

    work page 2008

  5. [5]

    9, 1893--1934

    Anna Cadoret and Arno Kret, Galois-generic points on Shimura varieties , Algebra Number Theory 10 (2016), no. 9, 1893--1934. 3576114

    2016

  6. [6]

    Brian Conrad, Lifting global representations with local properties, Preprint, available at http://math.stanford.edu/conrad/ (2011)

    work page 2011

  7. [7]

    18, 14008--14033

    Marco D’Addezio and H \'e l \`e ne Esnault, On the universal extensions in Tannakian categories , International Mathematics Research Notices 2022 (2022), no. 18, 14008--14033

    work page 2022

  8. [8]

    Pierre Deligne, Vari\'et\'es de S himura: interpr\'etation modulaire, et techniques de construction de mod\`eles canoniques , Automorphic forms, representations and L -functions ( P roc. S ympos. P ure M ath., O regon S tate U niv., C orvallis, O re., 1977), P art 2, Proc. Sympos. Pure Math., XXXIII, Amer. Math. Soc., Providence, R.I., 1979, pp. 247--289....

    work page 1977

Show all 39 references
  1. [9]

    2, 483--562

    Hansheng Diao, Kai-Wen Lan, Ruochuan Liu, and Xinwen Zhu, Logarithmic Riemann -- Hilbert correspondences for rigid varieties , Journal of the American Mathematical Society 36 (2023), no. 2, 483--562

    2023

  2. [10]

    Deligne and James S

    P. Deligne and James S. Milne, Tannakian categories (corrected texed version), http://www.jmilne.org/math/xnotes/index.html (2011)

    2011

  3. [11]

    Vladimir Drinfeld, On the pro-semisimple completion of the fundamental group of a smooth variety over a finite field, Adv. Math. 327 (2018), 708--788. 3762002

    2018

  4. [12]

    1, 1--38

    H \'e l \`e ne Esnault and Michael Groechenig, Crystallinity of rigid flat connections revisited, Selecta Mathematica 31 (2025), no. 1, 1--38

    2025

  5. [13]

    Press, 1989, pp

    Gerd Faltings, Crystalline cohomology and p-adic Galois -representations , Algebraic analysis, geometry, and number theory, Proceedings of the JAMI Inaugural Conference, Johns Hopkins Univ., Baltimore, MD, 1988, Johns Hopkins Univ. Press, 1989, pp. 25--80

    1988

  6. [14]

    1, 17--164

    Haoyang Guo and Emanuel Reinecke, A prismatic approach to crystalline local systems, Inventiones mathematicae 236 (2024), no. 1, 17--164

    2024

  7. [15]

    Haoyang Guo and Ziquan Yang, Pointwise criteria of p-adic local systems, arXiv preprint arXiv:2409.19742 (2024)

    2024 arXiv

  8. [16]

    London Math

    Michael Harris, Functorial properties of toroidal compactifications of locally symmetric varieties, Proc. London Math. Soc. (3) 59 (1989), no. 1, 1--22. 997249

    1989

  9. [17]

    Katz, Nilpotent connections and the monodromy theorem: Applications of a result of Turrittin , Publications math \'e matiques de l'IHES 39 (1970), 175--232

    Nicholas M. Katz, Nilpotent connections and the monodromy theorem: Applications of a result of Turrittin , Publications math \'e matiques de l'IHES 39 (1970), 175--232

    1970

  10. [18]

    Kedlaya, Full faithfulness for overconvergent F -isocrystals , Geometric aspects of Dwork theory

    Kiran S. Kedlaya, Full faithfulness for overconvergent F -isocrystals , Geometric aspects of Dwork theory. Vol . I , II , Walter de Gruyter, Berlin, 2004, pp. 819--835. 2099088

    2004

  11. [19]

    , Semistable reduction for overconvergent F -isocrystals. I . U nipotence and logarithmic extensions , Compos. Math. 143 (2007), no. 5, 1164--1212. 2360314

    2007

  12. [20]

    , \'E tale and crystalline companions, I , \'E pijournal de G \'e om \'e trie Alg \'e brique 6 (2022)

    2022

  13. [21]

    Kiran S Kedlaya, Monodromy representations of p -adic differential equations in families, arXiv preprint arXiv:2209.00593 (2022)

    2022 arXiv

  14. [22]

    Kedlaya, Notes on isocrystals, J

    Kiran S. Kedlaya, Notes on isocrystals, J. Number Theory 237 (2022), 353--394. 4410030

    2022

  15. [23]

    , \'E tale and crystalline companions, II , arXiv preprint arXiv:2008.13053v7 (2025)

    2025

  16. [24]

    4, 967--1012

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

    2010

  17. [25]

    3, 819--914

    , Mod- p points on Shimura varieties of abelian type , Journal of the American Mathematical Society 30 (2017), no. 3, 819--914

    2017

  18. [26]

    Christian Klevdal and Stefan Patrikis, G -cohomologically rigid local systems are integral , Trans. Amer. Math. Soc. 375 (2022), no. 6, 4153--4175. 4419055

    2022

  19. [27]

    , Compatibility of canonical -adic local systems on adjoint Shimura varieties , arXiv preprint arXiv:2303.03863v2 (2024)

    2024 arXiv

  20. [28]

    Kedlaya and Daxin Xu, Drinfeld's lemma for F -isocrystals, II : T annakian approach , Compos

    Kiran S. Kedlaya and Daxin Xu, Drinfeld's lemma for F -isocrystals, II : T annakian approach , Compos. Math. 160 (2024), no. 1, 90--119. 4673063

    2024

  21. [29]

    Bernard Le Stum, Rigid Cohomology , Cambridge University Press, 2007

    2007

  22. [30]

    Kai-Wen Lan and Junecue Suh, Vanishing theorems for torsion automorphic sheaves on general PEL -type Shimura varieties , Advances in Mathematics 242 (2013), 228--286

    2013

  23. [31]

    1, 291--343

    Ruochuan Liu and Xinwen Zhu, Rigidity and a Riemann -- Hilbert correspondence for p-adic local systems , Inventiones mathematicae 207 (2017), no. 1, 291--343

    2017

  24. [32]

    G. A. Margulis, Discrete subgroups of semisimple L ie groups , Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 17, Springer-Verlag, Berlin, 1991. 1090825

    1991

  25. [33]

    Milne, Canonical models of (mixed) Shimura varieties and automorphic vector bundles , Automorphic forms, Shimura varieties, and L-functions 1 (1990), 283--414

    James S. Milne, Canonical models of (mixed) Shimura varieties and automorphic vector bundles , Automorphic forms, Shimura varieties, and L-functions 1 (1990), 283--414

    1990

  26. [34]

    Stefan Patrikis, Compatibility of canonical -adic local systems on Shimura varieties , arXiv preprint arXiv:2504.00305 (2025)

    2025 arXiv

  27. [35]

    at Bonn, Mathematisches Institut, Bonn, 1990, Dissertation, Rheinische Friedrich-Wilhelms-Universit\

    Richard Pink, Arithmetical compactification of mixed S himura varieties , Bonner Mathematische Schriften [Bonn Mathematical Publications], vol. 209, Universit\"at Bonn, Mathematisches Institut, Bonn, 1990, Dissertation, Rheinische Friedrich-Wilhelms-Universit\"at Bonn, Bonn, 1...

    1990

  28. [36]

    Jonathan Pila, Ananth N. Shankar, Jacob Tsimerman, H \'e l \`e ne Esnault, and Michael Groechenig, Canonical heights on Shimura varieties and the Andr \'e - Oort conjecture , arXiv preprint arXiv:2109.08788v4 (2024)

    2024 arXiv

  29. [37]

    Pi 1 (2013), e1, 77

    Peter Scholze, p -adic H odge theory for rigid-analytic varieties , Forum Math. Pi 1 (2013), e1, 77. 3090230

    2013

  30. [38]

    Atsushi Shiho, On logarithmic extension of overconvergent isocrystals, Mathematische Annalen 348 (2010), 467--512

    2010

  31. [39]

    7, 1509--1581

    Fucheng Tan and Jilong Tong, Crystalline comparison isomorphisms in p-adic Hodge theory: the absolutely unramified case , Algebra & Number Theory 13 (2019), no. 7, 1509--1581

    2019

Pith tools

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