Pith. sign in

REVIEW 5 minor 13 references

Cellular $\mathbb{A}^1$-Homology from Bruhat Boundary Matrices of Split Semisimple Flag Varieties

T0 review · 0 major / 5 minor · reviewed 2026-07-12 · grok-4.5

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

Pith's one-line read Cellular A1-homology of split flag varieties is the Bruhat boundary matrix times η.

desk verdict Clean, usable lift of known Bruhat boundary matrices into cellular A1-homology; the comparison is the real contribution, and the range restriction is honest. read the letter →

arxiv 2607.02985 v1 pith:7LJSKN6M submitted 2026-07-03 math.AG

Haoyang Liu , Tianle Liu This is my paper · ORCID
classification math.AG MSC 14F4214M1555N1020F36
keywords cellularA1-homologysplitflagvarietiesBruhatdecompositionMilnor–WittK-theorySmithnormalformrealmanifolds
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 lifts the signed integer boundary matrices of real Bruhat cells to the cellular $\mathbb{A}^1$-homology of split flag varieties over perfect fields of characteristic not 2. For flag varieties $G/P_\Theta$ in type A, classical types $B_n, C_n, D_n$ with $n$ at most 7, and exceptional types $F_4, E_6, E_7$, the oriented cellular $\mathbb{A}^1$-differential is multiplication by $\eta$ of a reindexed half of the ordinary real Bruhat boundary matrix. Real realization recovers the classical integral homology of real flag manifolds, so topological 2-torsion becomes the sheaf summands $K^M$ and $\eta K^{MW}$. The result turns existing tables of Poincaré polynomials and torsion ranks into concrete sheaf decompositions of cellular $\mathbb{A}^1$-homology, with full worked examples for $SL_3/B$ and the full $F_4$ flag.

What carries the argument

The Bruhat–Milnor–Witt comparison: local attaching maps of Bruhat covers, written in normalized Chevalley coordinates, produce the Milnor–Witt coefficient $\langle -1 \rangle^I \, \deg^{\mathbb{A}^1}(\Phi^{-1} \Phi^I) (\operatorname{ht}(\gamma^\vee)+1)_\epsilon \eta$, which equals $(c/2) \eta$ of the ordinary real boundary entry.

What would settle it

For any cover in the $SL_3/B$ table or the $F_4$ tables, recompute the $\mathbb{A}^1$-local degree of the Chevalley face map and the height factor; if the product is not exactly half the ordinary real coefficient times $\eta$, the main comparison fails.

Watch

Extended reading notes

Core claim

For a split flag variety $X_\Theta = G/P_\Theta$ satisfying the boundary-data hypothesis, the Morel–Sawant cellular $\mathbb{A}^1$-differential is $\partial^{\mathbb{A}^1}_i = \eta E^\Theta_i$ for $i \ge 2$ and vanishes in degree 1, where $E^\Theta_i$ is the length-reversing reindexing of one half of the ordinary signed Bruhat boundary matrix. Equivalently each attaching coefficient is the product of a deletion sign, an $\mathbb{A}^1$-local degree of the Chevalley coordinate change, and the Milnor–Witt height factor $(\operatorname{ht}(\gamma^\vee)+1)_\epsilon \eta$.

Load-bearing premise

The signed integer Bruhat boundary matrices and normal-form deletion data are taken as external input from existing type-A formulas and tables for $B_n$–$D_n$ ($n \le 7$) and $F_4, E_6, E_7$; the paper does not recompute those integers and excludes $G_2$ and non-split forms.

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

0 major / 5 minor

Summary. The paper lifts known integral Bruhat boundary matrices of split flag varieties G/P_Θ to the Morel–Sawant cellular A^{1}-chain complex over a perfect field k of characteristic ≠ 2. Under the boundary-data hypothesis (Def. 2.1), which takes as input the type-A coefficient formula and the normal-form matrices of [6,7] for B_n,C_n,D_n (n≤7) and F_4,E_6,E_7, the main theorem (Thm 4.11 / Cor 4.12) identifies the oriented cellular A^{1}-differential with ∂^{A^{1}}_i = η E^Θ_i for i≥2 and ∂^{A^{1}}_1 = 0, where E^Θ_i is the length-reversing reindexing of half the ordinary signed Bruhat boundary matrix. The coefficient of a cover is ⟨-1⟩^I deg^{A^{1}}(Φ^{-1} Φ^{\I}) (ht(γ^∨)+1)_ϵ η. Smith normal form of the integer complex then yields an explicit description of H^{cell}_i in terms of free K^{MW}_i summands and kernels/cokernels of multiplication by qη. Real realization recovers the known 2-torsion pattern of real flag manifolds; detailed checks are given for SL_3/B and the full F_4 flag.

Significance. The result supplies a uniform, chain-level bridge from combinatorial Bruhat boundary data to cellular A^{1}-homology and, via the Morel–Sawant cochain complex, to additive Chow–Witt groups of split flag varieties. Within the stated range the comparison is concrete and immediately usable: every available matrix D^Θ_i lifts by multiplication by η after reindexing, and the Smith formula converts existing Poincaré polynomials and 2-torsion ranks into sheaf decompositions over any perfect k of char ≠ 2. The local analysis of normalized Chevalley coordinates, rank-two Jacobians, and vertical determinants is carefully restricted to A_1 imes A_1, A_2 and B_2=C_2, so the argument is self-contained once the external integer matrices are accepted. The SL_3/B cover-by-cover table and the F_4 application illustrate that the lift is computable and recovers the expected topological pattern. This is a solid, usable contribution to explicit A^{1}-homology computations.

minor comments (5)
  1. In the abstract and introduction the phrase “we compute the cellular A^{1}-homology” could be sharpened to “we identify the cellular A^{1}-chain complex with the reindexed half-boundary matrices of [6,7] and deduce the homology via Smith form,” so that the dependence on external integer input is visible at first reading.
  2. Section 6 (SL_3/B): the table of covers is clear, but a one-line statement of the chosen ordering of basis elements for the matrix of ∂^{A^{1}}_2 would make the displayed 2 imes2 matrix immediately reproducible without re-deriving the signs.
  3. Section 7 / Table 1: the recurrence T_i = c_i - β_i - T_{i-1} is standard, yet a brief citation or parenthetical reminder that it follows from rank-nullity for a complex with only unit elementary divisors would help readers who consult only the F_4 application.
  4. Notation: the symbols D^Θ_i, E^Θ_i, δ^Θ_i and c^Θ(w,w') are introduced across Sections 3–4; a short notational summary at the end of Section 3 would reduce the need to flip back when reading the main theorem.
  5. A few typographical inconsistencies appear (e.g., spacing around A^{1}, occasional missing thin spaces in K^{MW}_i). These are purely cosmetic.

Circularity Check

1 steps flagged · score 1.0 of 10

No significant circularity: integer Bruhat matrices are external inputs; the MW lift is an independent local calculation.

  1. self citation load bearing [Introduction / related work; Def 2.1 boundary-data hypothesis]
    "For the flag varieties considered here, as for the smooth toric varieties studied by Liu–Peng [9], the main issue is not the existence of cells but the orientation of their attaching maps."

    The only author-overlapping citation is the related toric paper [9]. It is used only as motivational parallel, not as a uniqueness theorem or as a source of the Bruhat boundary matrices. The load-bearing integer inputs come from external sources [6,7] (Lambert–Rabelo et al.), and the MW comparison is proved in Lemmas 4.1–4.8 of the present paper. This is a minor self-citation, not a circular reduction of the central claim.

full rationale

The paper's central claim (Main theorem / Thm 4.11 / Cor 4.12) is that the oriented cellular A^{1}-differential equals η times the length-reindexed half-boundary matrix E^Θ_i, with coefficients ⟨-1⟩^I deg^{A^{1}}(Φ^{-1} Φ^{\I}) (ht(γ^∨)+1)_ϵ η. Definition 2.1 and the algorithmic form (Sec 5.1) state explicitly that the signed integer matrices D^Θ_i, normal-form words, deletion positions and coordinate-change degrees are taken as external input from the type-A formula and the tables of [6,7]; the paper does not re-derive those integers. The load-bearing comparison is assembled from Lemmas 4.1–4.8 (purity model, rank-two Jacobians for A1 imes A1/A2/B2, normal power map t^{ht+1}, deletion sign, vertical determinant ⟨1⟩) and is restricted to types without G2 subsystems. Real realization is used only as a consistency check that the motivic coefficient specializes to the topological 0,±2, not as a definition of the A^{1}-complex. The Smith formula (Thm 5.1) and the SL3/B and F4 applications are then mechanical consequences of that lift. No equation reduces the MW coefficient to a quantity defined by fitting the same coefficient; self-citations are limited to related work (toric varieties) and are not load-bearing for the flag comparison. Score 1 for the minor, non-load-bearing self-citation pattern only.

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

The central claim rests on the Morel-Sawant oriented cellular formalism, standard Chevalley commutator relations over Z[1/2], and the external signed Bruhat matrices of [6,7]. No free parameters are fitted. No new physical or geometric entities are postulated; the only ad-hoc ingredient is the boundary-data hypothesis that restricts the range of types.

assumptions (5)
  • standard math Morel-Sawant cellular A1-homology and Thom isomorphisms for oriented affine pavings (cited [10])
    Used throughout §§2 and 4 to identify chain groups with MW sheaves and differentials with connecting maps of purity cofibers.
  • domain assumption Boundary-data hypothesis (Def 2.1): signed Bruhat matrices and normal-form data exist for type A and for Bn/Cn/Dn n≤7, F4/E6/E7 as computed in [6,7]
    The paper takes these integer matrices as black-box input; the MW lift is proved relative to them.
  • standard math Normalized Chevalley commutator formulas over Z[1/2] for rank-two subsystems A1×A1, A2, B2=C2 (Lemmas 2.2–2.3)
    Supply the local coordinate changes and the only possible coefficient 2, which is shown never to affect non-zero MW boundary units.
  • domain assumption char k ≠ 2 (needed for divided B2 coordinates and for 2 invertible)
    Stated on p.1 and used for the structure constants in B2 root strings.
  • domain assumption No G2 rank-two subsystems appear in the covered types
    Explicitly excludes G2 so that only the three rank-two cases above need be checked.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Cellular $\mathbb{A}^1$-Homology from Bruhat Boundary Matrices of Split Semisimple Flag Varieties." pith.science (2026). https://pith.science/paper/7LJSKN6M

@misc{pith2026260702985,
  author       = {Pith},
  title        = {Pith review of: Cellular $\mathbbA^1$-Homology from Bruhat Boundary Matrices of Split Semisimple Flag Varieties},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7LJSKN6M}},
  note         = {Machine review of arXiv:2607.02985}
}
abstract

Let $k$ be a perfect field of characteristic different from 2, we compute the cellular $\mathbb{A}^1$-homology of the flag varieties $G/P_\Theta$ attached to split semisimple simply connected groups over $k$ and describe the differentials in the cellular $\mathbb{A}^1$-chain complex concretely. The construction applies uniformly to the type $A$ coefficient formula, to the type $B_n,C_n,D_n$ for $n\leq 7$, and to the exceptional types for $F_4,E_6,E_7$. Under real realization over $k=\mathbb{R}$, this computation recovers the corresponding results of real flag manifolds. We also provide a detailed computation for $SL_3/B$ and an application to the full split flag variety of type $F_4$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

13 extracted references · 3 linked inside Pith

  1. [1]

    Bj¨ orner and F

    A. Bj¨ orner and F. Brenti,Combinatorics of Coxeter Groups, Graduate Texts in Mathematics 231, Springer, 2005

    2005

  2. [2]

    R. W. Carter,Simple Groups of Lie Type, Pure and Applied Mathematics 28, Wiley, 1972

    1972

  3. [3]

    Hudson, A

    T. Hudson, A. Matszangosz, and M. Wendt,Chow–Witt rings and topology of flag varieties, Journal of Topology 17 (2024), no. 4, e70004

    2024

  4. [4]

    R. R. Kocherlakota,Integral homology of real flag manifolds and loop spaces of symmetric spaces, Advances in Mathematics 110 (1995), 1–46

    1995

  5. [5]

    Lambert and L

    J. Lambert and L. Rabelo,A correspondence between boundary coefficients of real flag man- ifolds and height of roots, Journal of Lie Theory 32 (2022), 431–446

    2022

  6. [6]

    Lambert and L

    J. Lambert and L. Rabelo,On the computation of homology of typeAreal flag manifolds, arXiv:2306.01127, 2024

    arXiv 2024

  7. [7]

    Lambert Silva and L

    J. Lambert Silva and L. Rabelo,Integral Homology and Poincar´ e Polynomials of classical and exceptional Real Flag Manifolds, arXiv:2605.04944, 2026

    arXiv 2026

  8. [8]

    Lambert,jlambert33/FlagManifoldTopology: v1.0.1, Zenodo, 2026.https://doi.org/10

    J. Lambert,jlambert33/FlagManifoldTopology: v1.0.1, Zenodo, 2026.https://doi.org/10. 5281/zenodo.19871728

    2026

Show all 13 references
  1. [9]

    Liu and K

    H. Liu and K. Peng,CellularA 1-Homology of Smooth Toric Varieties, arXiv:2505.04520, 2025

    2025 arXiv

  2. [10]

    Morel and A

    F. Morel and A. Sawant,CellularA 1-homology and the motivic version of Matsumoto’s theorem, Advances in Mathematics 434 (2023), 109346

    2023

  3. [11]

    Morel,A 1-Algebraic Topology over a Field, Lecture Notes in Mathematics 2052, Springer, 2012

    F. Morel,A 1-Algebraic Topology over a Field, Lecture Notes in Mathematics 2052, Springer, 2012

  4. [12]

    T. A. Springer,Linear Algebraic Groups, Second edition, Progress in Mathematics 9, Birkh¨ auser, 1998

    1998

  5. [13]

    Rabelo and L

    L. Rabelo and L. A. B. San Martin,Cellular homology of real flag manifolds, Indagationes Mathematicae 30 (2019), no. 5, 745–772. University of California, Santa Barbara Email address:haoyangliu@ucsb.edu University of Southern California Email address:tianleli@usc.edu

    2019

Pith tools

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