pith. sign in

arxiv: 2607.02215 · v1 · pith:WHOIIVIZnew · submitted 2026-07-02 · 🧮 math.NT

The trianguline variety for reductive groups

Andrea Conti , Mohamed Moakher , Julian Quast This is my paper

Pith reviewed 2026-07-03 06:41 UTC · model grok-4.3

classification 🧮 math.NT
keywords trianguline varietyreductive groupslocal structuresmoothnessnormalitycrystallinity criterionGalois representations
0
0 comments X

The pith

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.

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

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.

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.

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.

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.

Where Pith is reading between the lines

These are 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.

Load-bearing premise

The groups under study are split and connected reductive groups.

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.

read the original 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.

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 / 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

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.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

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

pith-pipeline@v0.9.1-grok · 5580 in / 1101 out tokens · 27778 ms · 2026-07-03T06:41:29.219270+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

21 extracted references · 4 canonical work pages · 3 internal anchors

  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....

    2011

  3. [3]

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

    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...

    2017

  5. [5]

    Berlin: Springer,

    Reprint of the 1968 original. Berlin: Springer,

    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...

    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 internal anchor Pith review Pith/arXiv 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

    2008

  9. [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 Stroh, Benoˆ ıt. PhD thesis. Institut Polytechnique de Paris,

    1999

  10. [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

  11. [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

  12. [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. “Relative deformation theory, relative Selmer groups, and lifting irreducible Ga...

    2023

  13. [13]

    Families of trianguline representations and finite slope spaces

    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 (1970), pp. 175–193. [HMS22] E. Hellmann, C. M. Margerin, and B. Schraen. “Density o...

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  14. [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 Trivial mod p Galois Representation for GLn”.International Mathematics Research Notice...

    1995

  15. [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. “The Lyndon-Demushkin method and crystalline lifts of G2-valued Galois representa...

    1982

  16. [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. 865–914. [Nak13] K. Nakamura. “Deformations of triangulineB-pairs and Zariski de...

    2024

  17. [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

  18. [18]

    On local Galois deformation rings: generalised reductive groups

    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

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  19. [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

  20. [20]

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

    1998

  21. [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