Strongly compatible systems associated to semistable abelian varieties

Mark Kisin; Rong Zhou

REVIEW 2 major objections 3 minor 14 references

Strongly compatible systems associated to semistable abelian varieties

T0 review · 2 major / 3 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 The paper proves that for an abelian variety over a number field, the local Weil–Deligne representation at a semistable place is independent of the auxiliary prime ℓ and is defined over Q, after a finite base extension.

desk verdict Substantial, significant result with a real gap in §5.3: the reduction to Shimura varieties needs an integrality condition on the inertial monodromy that is not proven. read the letter →

arxiv 2505.02165 v1 pith:ONSIRWYH submitted 2025-05-04 math.NT math.AG

Mark Kisin , Rong Zhou This is my paper · ORCID

classification math.NTmath.AG MSC 11G1011G1814G3511F80

keywords abelianvarietiessemistablereductionMumford–TategroupWeil–DelignerepresentationsindependenceofℓcompatiblesystemsShimuratoroidalcompactifications

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 establishes a motivic version of the classical result of Weil, Deligne, and Raynaud on strongly compatible systems. For an abelian variety $A$ over a number field, it shows that, after a finite extension of the base field, the $\ell$-adic Galois representations on $H^1_{\mathrm{ét}}(A_{\overline{E}},\mathbb{Q}_\ell)$ form a strongly compatible system valued in the Mumford–Tate group $G$ of $A$. The new content is at places of semistable reduction: the local Weil–Deligne representation attached to $A$ at such a place $v$ is, up to $G$-conjugacy, independent of the auxiliary prime $\ell$, and it is defined over $\mathbb{Q}$. This includes the case $\ell\mid v$, where the comparison uses crystalline data. The interest is that the local Galois invariant at $v$ is a property of the abelian variety itself, not of the prime chosen to compute it.

What carries the argument

The machinery has three layers. First, a $G$-valued Weil–Deligne representation that is unipotently ramified and Frobenius-semisimple (URFS) is determined by the pair $(s,N)$ with $s\in G(\mathbb{C})_{\mathrm{ss}}$ semisimple and $N\in\mathrm{Lie}(G)$ nilpotent satisfying $\mathrm{Ad}(s)N=qN$; the equivalence class depends only on the residue-field size $q$, not on the characteristic of the local field. Second, Proposition 4.1.9 shows that for URFS representations, $G$-conjugacy is detected by composing with all representations $r:G\to \mathrm{GL}_n$, reducing the comparison to $\mathrm{GL}_n$. Third, the geometric bridge is Theorem 3.2.3, which produces, from a semistable abelian variety, a smooth curve mapping into a toroidal compactification of an integral Shimura variety with the given point on the boundary and generic fiber in the interior; pullback of the $G$-local systems to this curve lets the authors invoke Lafforgue's and Abe's theorems on compatible systems over finite fields.

What would settle it

For a concrete semistable abelian variety at a place $v$ lying over $p=2$, compute the pair $(s,N)$ attached to the $\ell=2$ crystalline Weil–Deligne representation and the pair attached to an $\ell\neq2$ Tate module in a non-standard representation of $G$; if their images in $\Phi(q,G,\mathbb{C})$ are not $G(\mathbb{C})$-conjugate, Theorem 1.2 fails. A more direct check would be to find a point in the special fiber of a strongly admissible Shimura variety whose isogeny class contains no lift to a special point, contradicting Theorem 2.2.7.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.2: if $v$ is a place where $A$ has semistable reduction, there exists a $G$-valued Weil–Deligne representation $\rho^{\mathrm{WD},G}_{A,v}$ defined over $\mathbb{Q}$ such that $\rho^{\mathrm{WD},G}_{A,v}\sim_G \rho^{\mathrm{WD},G}_{A,\ell,v}$ for every prime $\ell$, including $\ell$ dividing $v$. Here $G$ is the Mumford–Tate group of $A$, and $\sim_G$ is conjugacy by an element of $G(\mathbb{C})$ after fixing isomorphisms $\overline{\mathbb{Q}}_\ell\cong\mathbb{C}$. The proof passes from the mixed-characteristic local field at $v$ to an equal-characteristic field $\mathbb{F}_q((u))$ by placing the abelian variety on a smooth curve inside a toroidal compactification, then uses compatible systems on curves over finite fields to compare the resulting Weil–Deligne representations for every $\ell$. It also shows that each isogeny class in the special fiber of a strongly admissible Shimura variety contains a point lifting to a special point, and that Frobenius conjugacy classes on such integral models are independent of $\ell$.

Load-bearing premise

The proof depends on the auxiliary construction in Proposition 5.3.8: for each semistable abelian variety and place $v$ one must find a totally real field $F$ making $H=\mathrm{Res}_{F/\mathbb{Q}}G_F$ quasi-split at $p$ with a strongly admissible integral group model whose Frobenius element lies in its $\mathbb{Z}_p$-points; if that construction is impossible for some $A$, the reduction to Shimura varieties does not go through.

Editorial extensions

If this is right

At every place of semistable reduction, the local $G$-valued Weil–Deligne representation is defined over $\mathbb{Q}$ and its class in $\Phi(q,G,\mathbb{C})$ is the same for all primes $\ell$, including the prime below $v$.
The global $\ell$-adic representations $\rho^G_{A,\ell}$ form a strongly compatible system valued in the Mumford–Tate group, giving the motivic refinement of the Weil–Deligne–Raynaud theorem.
The good-reduction case is extended to $p=2$ and to $\ell=p$, and the verification of the van Hoften hypothesis implies instances of the Chai–Oort Hecke orbit conjecture for Shimura varieties of Hodge type.
For strongly admissible triples with $G_{\mathbb{Q}_p}$ quasi-split, each isogeny class in the special fiber contains a point lifting to a special point, confirming a conjecture stated in the paper.
For arbitrary Hodge-type Shimura varieties, sufficiently divisible powers of the Frobenius conjugacy classes at points of the special fiber are independent of $\ell$, including $\ell=p$.

Reading between the lines

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

Editorial inference: if Proposition 5.3.8 could be replaced by a more direct construction, the same curve-on-the-boundary argument might prove the overarching compatibility conjecture for broader classes of motives, not just abelian varieties.
Editorial inference: the failure of Proposition 4.1.9 without the unipotent-ramified condition suggests that any extension to places of non-semistable reduction will need genuinely new input, since element-conjugate non-conjugate representations already occur for groups such as $\mathrm{SO}_6$.
Editorial inference: the equal-characteristic comparison via log geometry suggests a testable pattern: semistable degeneration over a $p$-adic field and over the function field $\mathbb{F}_q((u))$ should carry identical local Galois data, so either side could be computed in small examples.

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.

Desk Editor's Note

read the letter

Punchline: the main theorem is significant, but the proof has a gap in §5.3 that is load-bearing and needs repair. The paper deserves a serious referee, not a desk reject.

What's new: the G-valued strong compatibility for abelian varieties at places of semistable reduction, including ℓ=p and p=2. Noot only had a coarser equivalence and extra conditions; Raynaud did the GL_{2g} version. The method—using p-adic shtukas and toroidal compactifications, producing a curve through the boundary point, then comparing local systems via Lafforgue/Abe—is thoughtful and more powerful than earlier work. Many auxiliary propositions are proved rather than cited, and the organization is clear.

The soft spot, and it's real: in §5.3, Proposition 5.3.8 only tells you that the geometric Frobenius σ_q maps into H(Z_p). The proof then states that after finite extension the whole representation ρ_{A,p} factors through H(Z_p). For a semistable p-adic representation, inertia maps to exp(t_p N); controlling one Frobenius element does not put the inertial unipotent subgroup into H(Z_p). You need an integrality condition on the monodromy operator N with respect to the parahoric, and no such condition is established. The subsequent use of K=H(Z_p) as the level structure for the Shimura variety depends on exactly this containment, so the reduction to the Shimura variety doesn't start as written. The stress-test note is right.

Is this fatal? Probably not. A repair could choose the base field so that both Frobenius and N are integral, or first perform a base change to make the representation crystalline, then argue. But it is not a typo; it is a missing argument in the central proof. The rest of the paper—the boundary monodromy, the equal-characteristic comparison, the GL_n-detection criterion—looks solid and is genuinely useful.

Bottom line: this is a serious paper for specialists in Shimura varieties and compatible systems. It should go to an expert referee who can either verify the missing integrality or suggest the repair. I would not cite the semistable theorem until the gap is fixed, but the geometric machinery in §§2–4 is worth knowing. Bring it to reading group only if your group can stomach a 40-page chain with a few to-appear references.

Referee Report

2 major / 3 minor

Summary. The paper proves a motivic refinement of the Weil–Deligne–Raynaud theorem on compatible systems for abelian varieties. For an abelian variety A over a number field E ⊂ C with Mumford–Tate group G, it establishes that after a finite base change the ℓ-adic Galois representations on H^1_{ét}(A, Q_ℓ) factor through G(Q_ℓ) and that, at every place v of semistable reduction, the associated G-valued Weil–Deligne representations ρ^{WD,G}_{A,ℓ,v} are all equivalent over G to a single representation ρ^{WD,G}_{A,v} defined over Q; this independence is claimed for all ℓ, including ℓ | v (Theorem 1.2 and Theorem 5.3.10). The strategy is to embed the Mumford–Tate group in an auxiliary quasi-split group H = Res_{F/Q} G_F, to view A as a point of a Hodge-type Shimura variety with parahoric level structure, to pass through a boundary curve in a toroidal compactification, and then to reduce the comparison to equal-characteristic function fields where Lafforgue's theorem and its p-adic analogue by Abe apply. Along the way, the paper proves new results on CM lifts in isogeny classes, local monodromy at the boundary, and G-valued Weil–Deligne representations, and it derives a version of ℓ-independence for points in the special fibers of Hodge-type Shimura varieties.

Significance. If the main theorem is correct, it is a substantial advance: it extends the authors' previous good-reduction result [KZ] to semistable reduction and to the p-adic place, includes the case p = 2, and verifies [vH24, Hypothesis 2.3.1], thereby yielding new instances of the Chai–Oort Hecke-orbit conjecture. The paper is organized as a coherent chain of theorems, and many auxiliary statements are proved in detail rather than merely cited: Proposition 1.4 on GL_n-detection of G-conjugacy, Theorem 3.2.3 on existence of boundary curves, and the log-crystalline comparison in §4.3 are notable examples. The use of Lafforgue–Abe companions and of function-field local–global compatibility is a convincing route to the desired independence. The main reservation is that two load-bearing points in §5.3 are not fully justified as written: the level-structure reduction for ℓ = p controls only a single Frobenius element, and the comparison at the boundary for ℓ = p is asserted rather than proved. These are concrete gaps, but they appear repairable within the scope of the paper's methods.

major comments (2)

[5.3, Theorem 5.3.10] In the proof of Theorem 5.3.10, immediately after Proposition 5.3.8, the authors write: “By construction, ρ^G_{A,p}(eσ_q) lies in K_p := H(Z_p). Hence there is a finite extension E′/E such that ρ^G_{A,p}|_{Γ_E′} factors through K_p.” This inference is not justified. Proposition 5.3.8(A) controls only the single Frobenius lift eσ_q. For a semistable p-adic Galois representation, Γ_E′ is topologically generated by Frobenius together with inertia, and the inertia image is typically an infinite pro-p unipotent subgroup determined by the monodromy operator N. An integral Frobenius element does not force this unipotent subgroup to lie in H(Z_p): one additionally needs an integrality condition on N, or on the full image of inertia, with respect to the parahoric H. This missing containment is load-bearing because K_p = H(Z_p) is the level structure used to view A_F as a point of Sh_K(E′), and Case (2) of Theorem 5.3.10 then requires this point to extend to an O_{E′}-point of S^Σ_K whose special fiber lies on the boundary. The proof of Proposition 5.3.8 cites [KZ, Lemma 6.2.1] only for the Frobenius element and gives no argument for the inertia image. This is a concrete gap, possibly repairable, in the reduction to Shimura varieties.
[5.3, Case (2), ℓ = p] At the end of the proof of Theorem 5.3.10, the equality [ξ ∘ ρ^{WD}_{A,p,v}] = [ρ^{log}_{E^H_C}] is asserted to be “part of Lemma 5.2.3”. Lemma 5.2.3, however, only states an isomorphism x^*(E^G_C) ≃ E^G_x for points x ∈ C̄(O_{E″}) ∩ C(E″) in the interior; the representation ρ^{log}_{E^H_C} is formed at the boundary point c of the special fiber. The needed comparison between D_st of A over E′ at the specialization δ and the log-isocrystal stalk at c is neither stated nor proved. Since this equality is precisely the ℓ = p part of Theorem 1.2 for places of bad reduction, the proof requires an explicit log-crystalline specialization or monodromy comparison along C̄ from δ to c, or a precise reference for it. As written, the ℓ = p case of Case (2) rests on an unproved assertion.

minor comments (3)

[3, opening paragraph] The paragraph after the announcement of Theorem 3.2.3 contains a visibly corrupted fragment: “Thm. 3.3.10]KZ, Mloc G,{μ} satisfies the Scholze–Weinstein conjecture ... fundamental group π1(Gder)...”. This appears to be an editing artifact and should be removed or rewritten.
[5.3.4] The last sentence of §5.3.4 contains the duplicated phrase “good reduction reduction at v”; it should read “good reduction at v”.
[5.3.7–5.3.10] In Proposition 5.3.8 and Theorem 5.3.10, the same symbol H is used both for the reductive group H = Res_{F/Q} G_F and for the parahoric group scheme H (for example, “there exists a parahoric group scheme H for H”). This makes the statements harder to read; a distinct symbol such as H_p or H for the parahoric would help.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorem 1.2 is a genuine extension of [KZ] to semistable reduction, built from independent auxiliary constructions and external theorems.

full rationale

The paper's central claim, Theorem 1.2, asserts that for a place of semistable reduction the G-valued Weil-Deligne representation attached to an abelian variety is independent of the auxiliary prime l. The proof does not presuppose this independence. It first constructs an auxiliary totally real field F and a group H = Res_{F/Q}G_F with a strongly admissible parahoric model (Proposition 5.3.8); this uses lemmas from the authors' previous paper [KZ], but those lemmas are established results with independent proofs and do not assume the semistable compatibility being proved. The l-independence on the special fiber of Shimura varieties (Corollary 2.3.5) is derived from the existence of CM lifts in isogeny classes (Theorem 2.2.7), which is proved using p-adic shtuka comparisons and earlier results of Kisin, Zhou, and others; this does not reduce to the target statement. The bad-reduction case is handled by constructing a boundary curve via toroidal compactifications (Theorem 3.2.3), comparing Weil-Deligne representations over mixed and equal characteristic local fields via tame fundamental groups and isocrystal functors (§4.2-4.3), and then invoking Lafforgue's and Abe's external companion theorems (§4.4). Proposition 4.1.9, which reduces G-conjugacy to GL_n-conjugacy for URFS representations, is proved in the paper using Steinberg's theorem and Imai's lemma, not by importing the conclusion. The final element [rho^WD_{A,v}] is constructed from the boundary-curve local systems and then shown to agree with every [rho^WD_{A,l,v}]; it is not defined as that common value. Thus no equation or construction in the paper makes the output equivalent to the input. The self-citations to [KZ] are load-bearing in the sense that prior lemmas are used, but they are independent, machine-checkable-style external results rather than an unverified premise; this does not constitute circularity. The reviewer's flagged concern that Proposition 5.3.8 controls only Frobenius, not the full inertia image, is a possible proof gap, but it is a correctness issue and not an instance of circular reasoning. Overall, the derivation is self-contained relative to its cited external inputs and receives a score of 0.

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

The ledger is empty of free parameters and invented entities because this is a proof paper, not a phenomenological model. The axioms listed are the external theorems on which the argument rests; they are standard or established in the literature, and the paper is explicit about which results it imports.

assumptions (5)

standard math Deligne's theorem that Hodge cycles are absolutely Hodge, used to factor l-adic representations through the Mumford-Tate group.
Invoked in Section 5.3.3 via [Del82] and [Noo09, Remarque 1.9]; it is a deep theorem, not proved in this paper.
standard math Pappas-Rapoport integral models and the p-adic shtuka description of formal neighborhoods, including Theorem 2.1.12 from [PR21].
The proof of Theorem 1.3 in Section 2 relies on this input; conditions (1)-(4) of strong admissibility are needed for the results to apply.
standard math Madapusi Pera's toroidal compactifications of integral models of Hodge type Shimura varieties, together with Lan's Condition 6.2.5.25.
Used in Section 3 to obtain the boundary curve theorem; the compactification machinery is cited, not redeveloped.
standard math Lafforgue's Langlands correspondence for GL_n over function fields and Abe's crystalline companions.
Theorem 4.4.5 is the heart of the independence-of-l argument on curves; the paper proves a refinement but inherits the theorem.
standard math Zarhin's semisimplicity of the l-adic monodromy of abelian schemes over curves over finite fields.
Assumed in Section 5.1.2 to know that pullback local systems are semisimple, so that compatibility of Frobenius characteristic polynomials forces isomorphism via Chebotarev.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Strongly compatible systems associated to semistable abelian varieties." pith.science (2026). https://pith.science/paper/ONSIRWYH

@misc{pith2026250502165,
  author       = {Pith},
  title        = {Pith review of: Strongly compatible systems associated to semistable abelian varieties},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ONSIRWYH}},
  note         = {Machine review of arXiv:2505.02165}
}

abstract

We prove a motivic refinement of a result of Weil, Deligne and Raynaud on the existence of strongly compatible systems associated to abelian varieties. More precisely, given an abelian variety $A$ over a number field $\mathrm{E}\subset \mathbb C$, we prove that after replacing $\mathbb E$ by a finite extension, the action of $\mathrm{Gal}(\overline{\mathrm E}/\mathrm E)$ on the $\ell$-adic cohomology $\mathrm H^1_{\mathrm{\acute{e}t}}(A_{\overline{\mathrm E}},\mathbb Q_\ell)$ gives rise to a strongly compatible system of $\ell$-adic representations valued in the Mumford--Tate group $\mathbf G$ of $A$. This involves an independence of $\ell$-statement for the Weil--Deligne representation associated to $A$ at places of semistable reduction, extending previous work of ours at places of good reduction.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

14 extracted references · 10 canonical work pages

[1]

Abe, Langlands correspondence for isocrystals and the existence of crystalline com- panions for curves , J

[Abe18a] T. Abe, Langlands correspondence for isocrystals and the existence of crystalline com- panions for curves , J. Amer. Math. Soc. 31 (2018), no. 4, 921–1057. [Abe18b] , Langlands program for p-adic coefficients and the petits camarades conjecture, J. Reine Angew. Math. 734 (2018), 59–69. [AHR] J. Alper, J. Hall, and D. Rydh, The ´ etale local struc...

arXiv 2018
[4]

[Mad19] , Toroidal compactifications of integral models of Shimura varieties of Hodge type, Ann

, available at https://arxiv.org/abs/1211.1731v4. [Mad19] , Toroidal compactifications of integral models of Shimura varieties of Hodge type, Ann. Sci. ´Ecole Norm. Sup. 52 (2019), no. 2, 393–514. [Mar08] A. Marmora, Facteurs epsilon p-adiques, Compos. Math. 144 (2008), no. 2, 439–483. [Mil92] J. Milne, The points on a Shimura variety modulo a prime of go...

arXiv 2019
[7]

Illusie, An overview of the work of K

[Ill02] L. Illusie, An overview of the work of K. Fujiwara, K. Kato, and C. Nakayama on logarithmic ´ etale cohomology, no. 279, 2002, Cohomologies p-adiques et applications arithm´ etiques, II, pp. 271–322. [Ima24] N. Imai, Local langlands correspondences in ℓ-adic coefficients, Manuscripta Math. 175 (2024), no. 1-2, 345–364. [Kat87] K. Kato, On p-adic v...

work page 2024
[8]

Kisin, Crystalline representations and F -crystals, Algebraic geometry and number theory, Progr

[Kis06] M. Kisin, Crystalline representations and F -crystals, Algebraic geometry and number theory, Progr. Math., vol. 253, Birkh¨ auser Boston, Boston, MA, 2006, pp. 459–496. MR 2263197 (2007j:11163) [Kis10] , Integral models for Shimura varieties of abelian type, J. Amer. Math. Soc. 23 (2010), no. 4, 967–1012. MR 2669706 (2011j:11109) [Kis17] , Modp po...

arXiv 2010
[244]

MR 0498581 (58 #16675) [Del73] , Les constantes des ´ equations fonctionnelles des fonctionsl, Modular functions of one variable, II, Lecture Notes in Math., Springer, Berlin, 1973, pp. 501–597. [Del80] , La conjecture de Weil II, Publ. Math. Inst. Hautes ´Etudes Sci. (1980), no. 52, 137–252. [Del82] , Hodge cycles, motives, and Shimura varieties , Lectur...

work page 1980
[1972]

Emerton, Formal algebraic stacks , (unpublished), available at https://www.math.uchicago.edu/ emerton/pdffiles/formal-stacks.pdf

[Eme] M. Emerton, Formal algebraic stacks , (unpublished), available at https://www.math.uchicago.edu/ emerton/pdffiles/formal-stacks.pdf. [Fal02] G. Faltings, Almost ´ etale extensions, no. 279, 2002, Cohomologies p-adiques et appli- cations arithm´ etiques, II, pp. 185–270. [FC90] G. Faltings and C. L. Chai, Degeneration of abelian varieties , Ergebniss...

work page 2002
[1990]

[Fon94] J. M. Fontaine, Expos´ e VIII : Repr´ esentationsℓ-adiques potentiellement semi-stables , P´ eriodesp-adiques - S´ eminaire de Bures, 1988 (Jean-Marc Fontaine, ed.), Ast´ erisque, no. 223, Soci´ et´ e math´ ematique de France, 1994, talk:8, pp. 321–347 (fr). MR 1293977 [GLX] I. Gleason, D. Lim, and Y. Xu, The connected components of affine Deligne...

arXiv 1988
[1992]

Noot, Classe de conjugaison du Frobenius d’une vari´ et´ e ab´ elienne sur un corps de nombres, J

[Noo09] R. Noot, Classe de conjugaison du Frobenius d’une vari´ et´ e ab´ elienne sur un corps de nombres, J. Lond. Math. Soc. 79.1 (2009), 53–71. [Noo13] R. Noot, The system of representations of the Weil-Deligne group associated to an abelian variety, Algebra Number Theory 7 (2013), no. 2, 243–281. MR 3123639 [Pap23] G. Pappas, On integral models of Shi...

work page 2009

Show all 14 references

[1996]

Saito, Modular forms and p-adic Hodge theory , Invent

MR 1393439 (97f:14023) [Sai97] T. Saito, Modular forms and p-adic Hodge theory , Invent. Math. 129 (1997), no. 3, 607–620. [Ser94] J-P. Serre, Propri´ et´ es conjecturales des groupes de galois motivique et des repr´ esentationsℓ-adiques, Motives (J-P. Serre U. Jannsen, S. Kle...

1997
[2004]

Deligne, Travaux de Shimura , S´ eminaire Bourbaki, 23` eme ann´ ee (1970/71), Exp

[Del71] P. Deligne, Travaux de Shimura , S´ eminaire Bourbaki, 23` eme ann´ ee (1970/71), Exp. No. 389, Springer, Berlin, 1971, pp. 123–165. Lecture Notes in Math., Vol

1970
[2010]

Ansch¨ utz, Extending torsors on the punctured Spec(Ainf), J

[Ans22] J. Ansch¨ utz, Extending torsors on the punctured Spec(Ainf), J. Reine Angew. Math. 783 (2022), 227–268. MR 4373246 [BT84] F. Bruhat and J. Tits, Groupes r´ eductifs sur un corps local. II. sch´ emas en groupes. existence d’une donn´ ee radicielle valu´ ee, Inst. Haute...

2022
[2013]

Larsen, On the conjugacy of element-conjugate homomorphisms , Israel Journal of Mathematics 88 (1994), no

[Lar94] M. Larsen, On the conjugacy of element-conjugate homomorphisms , Israel Journal of Mathematics 88 (1994), no. 1–3, 253–277. [Mad] K. Madapusi Pera, Toroidal compactifications of integral models of Shimura varieties of Hodge type (version

1994
[2020]

Tate, Number theoretic background , Automorphic forms, representations and L- functions (Proc

MR 4446467 [Tat79] J. Tate, Number theoretic background , Automorphic forms, representations and L- functions (Proc. Sympos. Pure Math., Oregon State Univ., Corvallis, Ore., 1977), Part 2, Proc. Sympos. Pure Math., XXXIII, Amer. Math. Soc., Providence, R.I., 1979, pp. 3–26. [v...

2024
[2021]

Rapoport and E

[RV14] M. Rapoport and E. Viehmann, Towards a local theory of Shimura varieties, M¨ unster J. of Math 7 (2014), 273–326. [RZ96] M. Rapoport and Th. Zink, Period spaces for p-divisible groups, Annals of Mathemat- ics Studies, vol. 141, Princeton University Press, Princeton, NJ,

2014

Pith tools

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

[1] [1]

Abe, Langlands correspondence for isocrystals and the existence of crystalline com- panions for curves , J

[Abe18a] T. Abe, Langlands correspondence for isocrystals and the existence of crystalline com- panions for curves , J. Amer. Math. Soc. 31 (2018), no. 4, 921–1057. [Abe18b] , Langlands program for p-adic coefficients and the petits camarades conjecture, J. Reine Angew. Math. 734 (2018), 59–69. [AHR] J. Alper, J. Hall, and D. Rydh, The ´ etale local struc...

arXiv 2018

[2] [4]

[Mad19] , Toroidal compactifications of integral models of Shimura varieties of Hodge type, Ann

, available at https://arxiv.org/abs/1211.1731v4. [Mad19] , Toroidal compactifications of integral models of Shimura varieties of Hodge type, Ann. Sci. ´Ecole Norm. Sup. 52 (2019), no. 2, 393–514. [Mar08] A. Marmora, Facteurs epsilon p-adiques, Compos. Math. 144 (2008), no. 2, 439–483. [Mil92] J. Milne, The points on a Shimura variety modulo a prime of go...

arXiv 2019

[3] [7]

Illusie, An overview of the work of K

[Ill02] L. Illusie, An overview of the work of K. Fujiwara, K. Kato, and C. Nakayama on logarithmic ´ etale cohomology, no. 279, 2002, Cohomologies p-adiques et applications arithm´ etiques, II, pp. 271–322. [Ima24] N. Imai, Local langlands correspondences in ℓ-adic coefficients, Manuscripta Math. 175 (2024), no. 1-2, 345–364. [Kat87] K. Kato, On p-adic v...

work page 2024

[4] [8]

Kisin, Crystalline representations and F -crystals, Algebraic geometry and number theory, Progr

[Kis06] M. Kisin, Crystalline representations and F -crystals, Algebraic geometry and number theory, Progr. Math., vol. 253, Birkh¨ auser Boston, Boston, MA, 2006, pp. 459–496. MR 2263197 (2007j:11163) [Kis10] , Integral models for Shimura varieties of abelian type, J. Amer. Math. Soc. 23 (2010), no. 4, 967–1012. MR 2669706 (2011j:11109) [Kis17] , Modp po...

arXiv 2010

[5] [244]

MR 0498581 (58 #16675) [Del73] , Les constantes des ´ equations fonctionnelles des fonctionsl, Modular functions of one variable, II, Lecture Notes in Math., Springer, Berlin, 1973, pp. 501–597. [Del80] , La conjecture de Weil II, Publ. Math. Inst. Hautes ´Etudes Sci. (1980), no. 52, 137–252. [Del82] , Hodge cycles, motives, and Shimura varieties , Lectur...

work page 1980

[6] [1972]

Emerton, Formal algebraic stacks , (unpublished), available at https://www.math.uchicago.edu/ emerton/pdffiles/formal-stacks.pdf

[Eme] M. Emerton, Formal algebraic stacks , (unpublished), available at https://www.math.uchicago.edu/ emerton/pdffiles/formal-stacks.pdf. [Fal02] G. Faltings, Almost ´ etale extensions, no. 279, 2002, Cohomologies p-adiques et appli- cations arithm´ etiques, II, pp. 185–270. [FC90] G. Faltings and C. L. Chai, Degeneration of abelian varieties , Ergebniss...

work page 2002

[7] [1990]

[Fon94] J. M. Fontaine, Expos´ e VIII : Repr´ esentationsℓ-adiques potentiellement semi-stables , P´ eriodesp-adiques - S´ eminaire de Bures, 1988 (Jean-Marc Fontaine, ed.), Ast´ erisque, no. 223, Soci´ et´ e math´ ematique de France, 1994, talk:8, pp. 321–347 (fr). MR 1293977 [GLX] I. Gleason, D. Lim, and Y. Xu, The connected components of affine Deligne...

arXiv 1988

[8] [1992]

Noot, Classe de conjugaison du Frobenius d’une vari´ et´ e ab´ elienne sur un corps de nombres, J

[Noo09] R. Noot, Classe de conjugaison du Frobenius d’une vari´ et´ e ab´ elienne sur un corps de nombres, J. Lond. Math. Soc. 79.1 (2009), 53–71. [Noo13] R. Noot, The system of representations of the Weil-Deligne group associated to an abelian variety, Algebra Number Theory 7 (2013), no. 2, 243–281. MR 3123639 [Pap23] G. Pappas, On integral models of Shi...

work page 2009