Pith. sign in

REVIEW 3 minor 21 references

The trianguline variety for reductive groups

T0 review · 0 major / 3 minor · reviewed 2026-07-03 · grok-4.3

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

Pith's one-line read For split connected reductive groups the trianguline variety is smooth over loci set by regularity conditions on the triangulation parameter and normal at certain points outside those loci.

desk verdict Straightforward extension of the Breuil-Hellmann-Schraen local structure theorem to split connected reductive groups, plus a crystallinity criterion. read the letter →

arxiv 2607.02215 v1 pith:WHOIIVIZ submitted 2026-07-02 math.NT

Andrea Conti , Mohamed Moakher , Julian Quast This is my paper · ORCID
classification math.NT
keywords triangulinevarietyreductivegroupslocalstructuresmoothnessnormalitycrystallinitycriterionGaloisrepresentations
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 studies the trianguline variety attached to split connected reductive groups. It extends an existing theorem on local structure by proving smoothness of the variety precisely over the loci where the triangulation parameter meets various regularity conditions. It also establishes normality at selected points that lie outside those smooth loci. A separate crystallinity criterion is shown for (φ, Γ_K)-modules carrying G-structure. These local properties describe the geometry of a space that encodes structured Galois representations.

What carries the argument

The trianguline variety for split connected reductive groups, whose local smoothness and normality are controlled by regularity conditions on the triangulation parameter.

What would settle it

An explicit split connected reductive group together with a triangulation parameter satisfying the regularity conditions at which the corresponding point of the trianguline variety is singular would disprove the smoothness statement.

Watch

Extended reading notes

Core claim

The trianguline variety for split connected reductive groups is smooth over the loci determined by various regularity conditions on the triangulation parameter, and is normal at certain points outside of these smooth loci. Along the way a crystallinity criterion is proved for (φ, Γ_K)-modules with G-structure.

Load-bearing premise

The groups under study are split and connected reductive groups.

Editorial extensions

If this is right

  • Smoothness holds over all loci fixed by the listed regularity conditions on the triangulation parameter.
  • Normality is obtained at the indicated points lying outside the smooth loci.
  • The crystallinity criterion applies directly to (φ, Γ_K)-modules equipped with G-structure.

Reading between the lines

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

  • The local smoothness results may simplify the computation of irreducible components or dimensions of the variety in concrete cases.
  • The crystallinity criterion could be tested on explicit filtered phi-modules with group actions arising from known Galois representations.
  • Methods used here might be adapted to study analogous local properties for trianguline varieties attached to groups that are not split.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 3 minor

Summary. The manuscript studies the trianguline variety for split connected reductive groups. It generalizes a theorem of Breuil, Hellmann, and Schraen on the local structure of this variety by establishing smoothness over loci determined by regularity conditions on the triangulation parameter and normality at certain points outside those loci. It also proves an auxiliary crystallinity criterion for (ϕ, Γ_K)-modules with G-structure.

Significance. If the results hold, the generalization of the Breuil–Hellmann–Schraen local-structure theorem to split connected reductive groups, together with the crystallinity criterion, strengthens the geometric understanding of trianguline varieties in p-adic Hodge theory and supplies a useful technical tool for working with G-structured (ϕ, Γ)-modules. The explicit restriction to the split connected case is clearly stated and avoids overclaiming.

minor comments (3)
  1. [§1] §1 (Introduction): the statement of the main theorem could explicitly reference the precise regularity conditions on the triangulation parameter that appear in the smoothness loci, to make the comparison with Breuil–Hellmann–Schraen immediate.
  2. Notation for the trianguline variety and the G-structure on (ϕ, Γ_K)-modules should be fixed at the first appearance and used consistently thereafter; occasional shifts between script and sans-serif fonts for G appear in the setup sections.
  3. The crystallinity criterion (stated in the abstract and proved along the way) would benefit from a short remark on whether the proof adapts verbatim when the group is not split, even if the main results do not.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading and positive assessment of the manuscript. The report recommends minor revision but lists no specific major comments or points requiring clarification or correction. Accordingly, we have no revisions to propose at this stage.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity; derivation builds on external theorem under explicit hypotheses

full rationale

The paper generalizes the Breuil–Hellmann–Schraen local-structure theorem for the trianguline variety, proving smoothness on regularity loci for the triangulation parameter and normality at selected exterior points, plus a crystallinity criterion for (ϕ,Γ_K)-modules with G-structure. All statements are explicitly restricted to split connected reductive groups (title, abstract, setup). The cited prior theorem is by distinct authors and functions as independent external input rather than a self-citation chain or definitional reduction. No equations or steps in the provided claims reduce by construction to fitted parameters, self-definitions, or load-bearing self-citations; the central results add new content under the declared scope.

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

Abstract supplies no information on free parameters, axioms, or invented entities.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The trianguline variety for reductive groups." pith.science (2026). https://pith.science/paper/WHOIIVIZ

@misc{pith2026260702215,
  author       = {Pith},
  title        = {Pith review of: The trianguline variety for reductive groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/WHOIIVIZ}},
  note         = {Machine review of arXiv:2607.02215}
}
abstract

We study the trianguline variety for split connected reductive groups. We generalize a theorem of Breuil, Hellmann, and Schraen about its local structure, establishing smoothness over the loci determined by various regularity conditions on the triangulation parameter, and normality at certain points outside of these smooth loci. Along the way, we prove a crystallinity criterion for $(\varphi,\Gamma_K)$-modules with $\mathsf G$-structure.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages

  1. [1]

    G-valued potentially semistable deformation rings, PhD thesis

    arXiv: 2407.17005 [math.NT]. [Bal12] S. Balaji. “ G-valued potentially semistable deformation rings, PhD thesis”. PhD thesis. University of Chicago,

    work page arXiv

  2. [2]

    A generalization of Greenberg’s L-invariant

    [Ben11] D. Benois. “A generalization of Greenberg’s L-invariant”.Am. J. Math.133.6 (2011), pp. 1573–1632. [Ber02] L. Berger. “Repr´ esentationsp-adiques et ´ equations diff´ erentielles”.Invent. Math.148.2 (2002), pp. 219–284. [Ber08a] L. Berger. “Construction de ( ϕ, Γ)-modules: repr´ esentationsp-adiques et B-paires”.Algebra Number Theory2.1 (2008), pp....

    work page 2011

  3. [3]

    Soci´ et´ e math´ ematique de France, 2008, pp. 13–38. [Ber25] L. Berger.Errata for my articles

    work page 2008

  4. [4]

    Smoothness and classicality on eigenvarieties

    [BHS17a] C. Breuil, E. Hellmann, and B. Schraen. “Smoothness and classicality on eigenvarieties”.Invent. Math.209.1 (2017), pp. 197–274. [BHS17b] C. Breuil, E. Hellmann, and B. Schraen. “Une interpr´ etation modulaire de la vari´ et´ e trianguline”. Math. Ann.367.3-4 (2017), pp. 1587–1645. [BHS19] C. Breuil, E. Hellmann, and B. Schraen. “A local model for...

    work page 2017

  5. [5]

    Berlin: Springer,

    Reprint of the 1968 original. Berlin: Springer,

    work page 1968

  6. [6]

    Affine braid group actions on derived categories of Springer resolutions

    [BR12] R. Bezrukavnikov and S. Riche. “Affine braid group actions on derived categories of Springer resolutions.” English.Ann. Sci. ´Ec. Norm. Sup´ er. (4)45.4 (2012), pp. 535–599. [B¨ uh10] T. B¨ uhler. “Exact categories”. English.Expo. Math.28.1 (2010), pp. 1–69. [Che10] G. Chenevier.Sur la densit´ e des repr´ esentations cristallines du groupe de Galoi...

    work page 2012

  7. [7]

    Sur la densit\'e des repr\'esentations cristallines du groupe de Galois absolu de Q_p

    arXiv:1012.2852 [math.NT]. [Col08] P. Colmez. “Repr´ esentations triangulines de dimension 2”

    work page Pith review arXiv

  8. [8]

    Weil and Grothendieck approaches to adelic points

    Repr´ esentationsp-adiques de groupes p-adiques. I. Repr´ esentations galoisiennes et (ϕ,Γ)-modules. 2008, pp. 213–258. [Con12] B. Conrad. “Weil and Grothendieck approaches to adelic points”. en.L’Enseignement Math´ ematique 58.1 (2012), pp. 61–97. [Con22] A. Conti.Lifting trianguline Galois representations along isogenies

    work page 2008

Show all 21 references
  1. [9]

    Irreducible components of rigid spaces

    arXiv: 2101 . 02189 [math.NT]. [Con99] B. Conrad. “Irreducible components of rigid spaces”.Ann. Inst. Fourier49.2 (1999), pp. 473–541. 84 REFERENCES [dD20] V. de Daruvar. “Repr´ esentations triangulines avec G-structure”. Th` ese de doctorat dirig´ ee par Schraen, Benjamin et ...

    1999

  2. [10]

    Deligne.Hodge cycles on abelian varieties

    [Del82] P. Deligne.Hodge cycles on abelian varieties. (Notes by J. S. Milne). English. Hodge cycles, motives, and Shimura varieties, Lect. Notes Math. 900, 9-100 (1982)

    1982

  3. [11]

    Deligne and J

    [DM82] P. Deligne and J. S. Milne.Tannakian categories. English. Hodge cycles, motives, and Shimura varieties, Lect. Notes Math. 900, 101-228 (1982)

    1982

  4. [12]

    A local-global compatibility conjecture in the p-adic Langlands programme for GL2/Q

    Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 2023, pp. ix+298. [Eme06] M. Emerton. “A local-global compatibility conjecture in the p-adic Langlands programme for GL2/Q”.Pure Appl. Math. Q.2 (2006). [FKP21] N. Fakhruddin, C. Khare, and S. Patrikis. ...

    2023

  5. [13]

    Families of p-adic Galois representations and ( ϕ, Γ)-modules

    arXiv: 1202.4408 [math.AG]. [Hel16] E. Hellmann. “Families of p-adic Galois representations and ( ϕ, Γ)-modules”. English.Comment. Math. Helv.91.4 (2016), pp. 721–749. [Her70] J. Herzog. “Generators and relations of abelian semigroups and semigroup rings”.Manuscr. Math. 3 (197...

    2016 arXiv

  6. [14]

    Density of potentially crystalline representations of fixed weight

    Israel Math. Conf. Proc. Bar-Ilan Univ., Ramat Gan, 1995, pp. 1–182. [HS16] E. Hellmann and B. Schraen. “Density of potentially crystalline representations of fixed weight”. English.Compos. Math.152.8 (2016), pp. 1609–1647. [Iye20] A. Iyengar. “Deformation Theory of the Trivia...

    1995

  7. [15]

    A system of quadrics describing the orbit of the highest weight vector

    [Lic82] W. Lichtenstein. “A system of quadrics describing the orbit of the highest weight vector”.Proc. Am. Math. Soc.84 (1982), pp. 605–608. [Lin22] Z. Lin. “Crystalline lifts and a variant of the Steinberg-Winter theorem”.Doc. Math.27 (2022), pp. 2441–2468. [Lin25] Z. Lin. “...

    1982

  8. [16]

    Tangent spaces on the trianguline variety at companion points

    [Mow24] S. Mowlavi. “Tangent spaces on the trianguline variety at companion points”.Indag. Math. (N.S.) 35.1 (2024), pp. 181–204. [Nak09] K. Nakamura. “Classification of two-dimensional split trianguline representations ofp-adic fields”. English.Compos. Math.145.4 (2009), pp. ...

    2024

  9. [17]

    Progr. Math. Birkh¨ auser Boston, Boston, MA, 1993, pp. 127–202. [NSW08] J. Neukirch, A. Schmidt, and K. Wingberg.Cohomology of number fields. English. 2nd ed. Vol

    1993

  10. [18]

    On local Galois deformation rings: generalised tori

    arXiv:2404.14622 [math.NT]. [PQ25] V. Paˇ sk¯ unas and J. Quast. “On local Galois deformation rings: generalised tori”.Forum Math. Sigma13 (2025), p

    2025 arXiv

  11. [19]

    Continuous cohomology and p-adic Galois representations

    [Sen80] S. Sen. “Continuous cohomology and p-adic Galois representations”.Invent. Math.62.1 (1980), pp. 89–116. [Ser97] J.-P. Serre.Galois cohomology. Transl. from the French by Patrick Ion. English. Berlin: Springer,

    1980

  12. [20]

    [Spr09] T. A. Springer.Linear algebraic groups.English. Reprint of the 1998 2nd ed. Mod. Birkh¨ auser Class. Basel: Birkh¨ auser,

    1998

  13. [21]

    Moduli spaces of principal F -bundles

    [Var04] Y. Varshavsky. “Moduli spaces of principal F -bundles”.Sel. Math., New Ser.10.1 (2004), pp. 131–

    2004

Pith tools

Reviewed July 3, 2026 · model on record in the stance chip above.