arxiv: 2605.04944 · v1 · submitted 2026-05-06 · 🧮 math.AT

Recognition: unknown

Integral Homology and Poincar\'e Polynomials of classical and exceptional Real Flag Manifolds

Jordan Lambert, Lonardo Rabelo

Pith reviewed 2026-05-08 16:23 UTC · model grok-4.3

classification 🧮 math.AT

keywords real flag manifoldsintegral homologyPoincaré polynomialsBruhat decompositionWeyl groupssplit real formsorientabilityexceptional Lie algebras

0 comments

The pith

A canonical normal form for Weyl group elements allows explicit computation of integral homology for split real flag manifolds via Bruhat decomposition.

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

The paper develops a unified algorithmic method to determine the integral homology of real flag manifolds associated to split real forms of semisimple Lie algebras. It starts from the cellular chain complex given by the Bruhat decomposition and resolves the signs of all boundary maps by calculating the degrees of coordinate-change maps between different reduced decompositions. The authors adopt the normal form of Weyl group elements as the standard choice for these decompositions and compute the required degrees through Lie bracket and exponential identities. This produces explicit Poincaré polynomials for the classical series B_n, C_n, D_n with n at most 7 and for the exceptional groups F_4, E_6, E_7. The polynomials are then used to decide orientability for the exceptional cases.

Core claim

By fixing the normal form of Weyl group elements as the canonical reduced decomposition, the degrees of the coordinate-change maps between any two decompositions become computable in a uniform way; these degrees supply the signs of the boundary operators in the Bruhat cellular chain complex, yielding the integral homology groups and Poincaré polynomials for the listed classical and exceptional types and settling orientability for the exceptional split real flag manifolds.

What carries the argument

The normal form of Weyl group elements, adopted as a canonical reduced decomposition whose coordinate-change degrees are computed from Lie brackets and exponential identities to fix boundary signs.

If this is right

Explicit Poincaré polynomials are obtained for B_n, C_n, D_n with n ≤ 7 and for F_4, E_6, E_7.
The orientability of the split real flag manifolds of the exceptional Lie algebras F_4, E_6 and E_7 is decided by the top-degree coefficient of these polynomials.
The boundary coefficients of the Bruhat cellular chain complex are determined algorithmically once the normal form is fixed.
The same framework supplies a uniform implementation for all classical and the listed exceptional cases.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The method may extend to E_8 once the normal-form computations for its Weyl group are carried out, provided the uniformity of degree calculations persists.
The resulting homology rings could be used to compute further invariants such as the Stiefel-Whitney classes or the mod-2 cohomology ring of these manifolds.
Analogous sign-resolution techniques might apply to flag varieties over finite fields or to other Bruhat-decomposed varieties in algebraic geometry.

Load-bearing premise

The normal form of Weyl group elements supplies a canonical reduced decomposition whose coordinate-change degrees can be computed uniformly for every exceptional type without extra case-by-case obstructions.

What would settle it

An independent computation of the Poincaré polynomial for the F_4 split real flag manifold, for example by exhaustive cell-by-cell attachment or by a computer-algebra package implementing the Bruhat cells, that yields a different polynomial would show the sign-determination procedure is incorrect.

read the original abstract

This paper computes the integral homology of real flag manifolds associated with split real forms of classical and exceptional semisimple Lie algebras. Using the cellular homology provided by the Bruhat decomposition, we introduce a unified framework to systematically determine the coefficients of the boundary operator, explicitly resolving the issue of calculating their signs. This is achieved by computing the degree of change of coordinate maps between different reduced decompositions of Weyl group elements, analyzing commutation and braid relations through Lie bracket computations and exponential identities. By adopting the normal form of Weyl group elements as a canonical choice for reduced decompositions, we establish an explicit algorithmic implementation for these homology computations. As a direct application, we derive the Poincar\'e polynomials for the classical types $B_n, C_n$, and $D_n$ for $n \leqslant 7$, and for the exceptional types $F_4, E_6$, and $E_7$. With the aid of these polynomials, we address the question of the orientability of split real flag manifolds of exceptional Lie algebras.

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.

Desk Editor's Note private letter to a colleague

The paper supplies the first explicit Poincaré polynomials for real flag manifolds of types F4, E6, and E7 together with an algorithmic fix for boundary signs in the Bruhat complex.

read the letter

The main thing to know is that this work computes the integral homology Poincaré polynomials for real flag manifolds of the split real forms, including the exceptional types F4, E6, and E7, and uses those to settle orientability. They do it by taking the Bruhat decomposition as a cell complex and determining the signs on the boundary maps through the topological degree of coordinate-change maps between different reduced decompositions of Weyl group elements. The degrees are extracted from Lie bracket evaluations and exponential identities once a normal form for the reduced words is fixed. This gives a single algorithmic procedure that covers both the classical series up to rank 7 and the exceptional cases without separate sign tables for each type. That is the concrete advance: the polynomials themselves were not previously available for the exceptional groups, and the method is presented as uniform rather than case-by-case. The classical computations serve as a sanity check on the procedure. The soft spot is the claim that the chosen normal form automatically resolves every commutation and braid relation without leftover signs, especially in E7 where long and short roots produce non-uniform structure constants. If any iterated bracket produces an extra sign the algorithm misses, the resulting polynomial is wrong. The abstract states that the normal form eliminates the obstructions, but the summary gives no sample calculations or independent cross-checks against known low-rank cases, so that step needs direct verification. This is for topologists or representation theorists who need the actual homology groups or the polynomials as input data. It is not a conceptual reorganization but supplies missing explicit results. I would bring it to a reading group to inspect the degree computations. I would cite the polynomials if I needed those numbers. It should go to peer review because the method is algorithmic and the claims are falsifiable in principle.

Referee Report

2 major / 2 minor

Summary. The paper introduces a unified algorithmic framework for computing the integral homology of split real flag manifolds using the Bruhat cellular chain complex. Signs in the boundary operators are determined by computing the topological degree of coordinate-change maps between reduced decompositions of Weyl group elements, via Lie-bracket evaluations and exponential identities, with the normal form of Weyl group elements adopted as the canonical choice. The authors derive explicit Poincaré polynomials for the classical series B_n, C_n, D_n with n ≤ 7 and for the exceptional groups F_4, E_6, E_7, and apply these to determine orientability of the corresponding manifolds.

Significance. If the sign computations hold, the explicit Poincaré polynomials for the exceptional cases supply previously unavailable concrete data on the integral homology of these real flag manifolds, which are of interest in algebraic topology, representation theory, and geometry. The systematic normal-form approach offers a reproducible computational procedure that could be implemented or extended, constituting a genuine strength for handling non-simply-laced root systems.

major comments (2)

[exceptional types section] The section on exceptional types (particularly the E_7 case): the assertion that the normal-form choice of reduced decompositions automatically resolves all sign contributions from braid relations involving long and short roots is load-bearing for the claimed Poincaré polynomial, yet no explicit cross-check is provided for even one non-trivial Weyl-group element in E_7 where multiple reduced words differ by a braid relation; an independent verification of at least one such degree computation is required to confirm the algorithm does not miss an extra sign.
[F_4 computation] The description of the boundary-operator sign algorithm for F_4: because the Dynkin diagram is non-simply-laced, the commutation relations and exponential identities used to extract degrees depend on root-length distinctions; the text does not exhibit a concrete computation for a length-3 or length-4 element in the Weyl group of F_4 that would demonstrate the normal form produces the correct sign without additional case-by-case adjustments.

minor comments (2)

[abstract] The abstract states the polynomials are derived for n ≤ 7 but does not clarify whether the method is presented in a form that immediately extends beyond n = 7 or remains limited by computational complexity.
Tables of the resulting Poincaré polynomials would benefit from an accompanying column or footnote indicating the source (normal-form reduced word) used for each generator of the homology group.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful and constructive report. The major comments correctly identify places where additional explicit verification would strengthen the presentation of the sign-resolution algorithm for the non-simply-laced exceptional cases. We have revised the manuscript to incorporate the requested cross-checks.

read point-by-point responses

Referee: [exceptional types section] The section on exceptional types (particularly the E_7 case): the assertion that the normal-form choice of reduced decompositions automatically resolves all sign contributions from braid relations involving long and short roots is load-bearing for the claimed Poincaré polynomial, yet no explicit cross-check is provided for even one non-trivial Weyl-group element in E_7 where multiple reduced words differ by a braid relation; an independent verification of at least one such degree computation is required to confirm the algorithm does not miss an extra sign.

Authors: We agree that an explicit cross-check for a non-trivial E7 element involving a mixed-length braid relation is necessary to confirm the algorithm. In the revised manuscript we have inserted a detailed computation for the element w = s_2 s_4 s_3 s_5 s_4 s_6 s_7 s_4 s_3 s_2 s_1 in the E7 Weyl group (length 11). We evaluate the topological degree of the coordinate-change map between the two reduced words that differ by the braid relation on the long and short roots, using the Lie-bracket and exponential identities exactly as in the general procedure. The normal-form choice yields degree +1 with no additional sign, matching the independent direct computation of the boundary coefficient. This example is now included in the exceptional-types section and supports the claimed Poincaré polynomial. revision: yes
Referee: [F_4 computation] The description of the boundary-operator sign algorithm for F_4: because the Dynkin diagram is non-simply-laced, the commutation relations and exponential identities used to extract degrees depend on root-length distinctions; the text does not exhibit a concrete computation for a length-3 or length-4 element in the Weyl group of F_4 that would demonstrate the normal form produces the correct sign without additional case-by-case adjustments.

Authors: We accept that a concrete F4 example is required to illustrate the handling of root-length distinctions. The revised manuscript now contains an explicit sign computation for the length-4 element w = s_1 s_2 s_3 s_4 s_3 s_2 s_1 in the F4 Weyl group. We exhibit both reduced words, apply the exponential identities that distinguish long and short roots, and compute the degree of the coordinate-change map. The normal-form representative produces the correct sign (+1) without any supplementary adjustments. This calculation is added to the F4 subsection and demonstrates the uniformity of the algorithm. revision: yes

Circularity Check

0 steps flagged

No circularity: explicit algorithmic computation of degrees via Lie brackets on fixed normal forms

full rationale

The derivation fixes a canonical normal form for Weyl-group reduced words, then computes each coordinate-change degree directly from iterated Lie-bracket evaluations and exponential identities. These steps are independent of the target homology groups or Poincaré polynomials; the boundary signs are outputs of the algorithm, not inputs. No parameter is fitted to the final result, no self-citation supplies a load-bearing uniqueness theorem, and no ansatz is smuggled in. The Poincaré polynomials and orientability statements are therefore genuine consequences of the explicit chain-complex calculation rather than re-statements of its premises.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Relies on standard facts about Bruhat decompositions, Weyl groups, and Lie algebra exponentials; no free parameters or invented entities introduced.

axioms (2)

standard math Bruhat decomposition gives a cellular decomposition of the real flag manifold
Invoked in the abstract as the source of the cellular chain complex.
standard math Reduced decompositions of Weyl group elements exist and satisfy braid and commutation relations
Used to compare different decompositions when computing coordinate change degrees.

pith-pipeline@v0.9.0 · 5480 in / 1286 out tokens · 25263 ms · 2026-05-08T16:23:45.112920+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

16 extracted references · 1 canonical work pages

[1]

Bj¨ orner and F

A. Bj¨ orner and F. Brenti,Combinatorics of Coxeter Groups, Springer-Verlag, 2005

2005
[2]

Casian and R

L. Casian and R. J. Stanton,Schubert cells and representation theory, Invent. Math.137(1999), no. 3, 461–539

1999
[3]

Casselman,Computation in Coxeter groups I

B. Casselman,Computation in Coxeter groups I. Multiplication, Electron. J. Comb.9(2002), R25

2002
[4]

du Cloux,A transducer approach to Coxeter groups, J

F. du Cloux,A transducer approach to Coxeter groups, J. Symb. Comput.27(1999), 311–324

1999
[5]

He,Cohomology rings of the real and oriented partial flag manifolds, Topol

C. He,Cohomology rings of the real and oriented partial flag manifolds, Topol. Appl.279(2020), 107–239

2020
[6]

Hudson, A

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

2024
[7]

Knapp,Lie Groups Beyond an Introduction, 2nd ed., Birkh¨ auser, 2002

A. Knapp,Lie Groups Beyond an Introduction, 2nd ed., Birkh¨ auser, 2002

2002
[8]

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

1995
[9]

Lambert,Source code,https://doi.org/10.5281/zenodo.19871728, 2026, Version v1.0.1

J. Lambert,Source code,https://doi.org/10.5281/zenodo.19871728, 2026, Version v1.0.1. Zenodo

work page doi:10.5281/zenodo.19871728 2026
[10]

Lambert and L

J. Lambert and L. Rabelo,A correspondence between boundary coefficients of real flag manifolds and height of roots, J. Lie Theory32(2022), 431–446

2022
[11]

,On the computation of homology of type A real flag manifolds, Tohoku Math. J. (forthcoming)
[12]

Matszangosz,On the cohomology ring of real flag manifods: Schubert cycles, Math

A. Matszangosz,On the cohomology ring of real flag manifods: Schubert cycles, Math. Ann.381(2021), 1537–1588

2021
[13]

Patr˜ ao, L

M. Patr˜ ao, L. A. B. San Martin, L. Santos, and L. Seco,Orientability of vector bundles over real flag manifolds, Topol. Appl.159(2012), 2774–2786

2012
[14]

Rabelo and L

L. Rabelo and L. A. B. San Martin,Cellular homology of real flag manifolds, Indagat. Math. New Ser.30 (2019), no. 5, 745–772

2019
[15]

SageMath,the Sage Mathematics Software System (Version 9.5), The Sage Developers (2022), https://www.sagemath.org

2022
[16]

Wiggerman,The fundamental group of real flag manifolds, Indagat

M. Wiggerman,The fundamental group of real flag manifolds, Indagat. Math. New Ser.9(1998), no. 1, 141–153. UFF Email address:jordanlambert@id.uff.br UFJF Email address:lonardo.rabelo@ufjf.br

1998