pith. sign in

arxiv: 2601.14419 · v2 · submitted 2026-01-20 · 🧮 math.RT · math.GR

Weyl elements in isotropic reductive groups

Egor Voronetsky This is my paper

Pith reviewed 2026-05-16 11:55 UTC · model grok-4.3

classification 🧮 math.RT math.GR
keywords Weyl elementsisotropic reductive groupscommutative ringssquares of elementsrank one groupsgroup loci
0
0 comments X

The pith

Weyl elements in isotropic reductive groups over commutative rings satisfy an explicit formula for their squares.

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

The paper examines Weyl elements inside isotropic reductive groups defined over commutative rings. Its central result supplies an explicit formula that computes the square of any such element directly. This gives a concrete handle on the multiplicative structure of these elements, which generalize Weyl-group representatives beyond the case of fields. The work further classifies all Weyl elements when the group has rank one and establishes basic properties of the loci consisting of all such elements.

Core claim

The main result is an explicit formula for squares of Weyl elements in isotropic reductive groups over commutative rings. These elements are classified completely in rank-one groups, and basic properties of the loci they occupy are proved.

What carries the argument

Weyl elements, defined by the paper's specific conditions inside isotropic reductive groups, together with the explicit formula that computes their squares.

If this is right

  • The formula permits direct calculation of squares and products involving Weyl elements without case-by-case analysis.
  • Complete classification in rank one gives an exhaustive list of all possible Weyl elements in those groups.
  • Description of the loci shows precisely where Weyl elements exist inside the group scheme.
  • The results supply a uniform tool for working with Weyl-group-like elements over arbitrary commutative bases.

Where Pith is reading between the lines

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

  • The formula may streamline calculations of Bruhat decompositions or K-theory invariants over rings.
  • It offers a test case for how Weyl-group actions behave when the base is no longer a field.
  • Verification on explicit groups such as SL_2 or Sp_4 over polynomial rings would confirm or refute the formula.

Load-bearing premise

The groups are isotropic reductive groups over commutative rings and the elements satisfy the definition of Weyl elements used in the paper.

What would settle it

A concrete isotropic reductive group over a commutative ring together with a Weyl element whose square fails to equal the value given by the explicit formula.

read the original abstract

We study Weyl elements in isotropic reductive groups over commutative rings. Our main result in an explicit formula for squares of such elements. We also classify these elements in rank one groups and prove basic properties of their loci.

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

Summary. The paper studies Weyl elements in isotropic reductive groups over commutative rings. The main result is an explicit formula for the squares of such elements. It also classifies these elements in rank one groups and proves basic properties of their loci.

Significance. If the explicit formula holds, the result would be a useful contribution to the structure theory of reductive groups over rings, with potential applications in algebraic K-theory and computations involving Weyl group lifts. The rank-one classification supplies concrete verification and a foundation for the general case.

minor comments (1)
  1. [Abstract] Abstract: the sentence 'Our main result in an explicit formula for squares of such elements' is grammatically incomplete and should read 'Our main result is an explicit formula for squares of such elements.'

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our work on Weyl elements in isotropic reductive groups over commutative rings and for recommending minor revision. We appreciate the recognition that an explicit formula for the squares of such elements, together with the rank-one classification, would constitute a useful contribution with potential applications in algebraic K-theory and Weyl-group computations.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper states an explicit formula for squares of Weyl elements (defined via the paper's own definition) in isotropic reductive groups over commutative rings, supported by a rank-one classification and locus properties. No equations, fitted parameters, self-citations, or ansatzes are visible in the abstract or description that would reduce the claimed result to its inputs by construction. The derivation chain remains self-contained against external group-theoretic benchmarks with no load-bearing reductions of the enumerated kinds.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on standard definitions of isotropic reductive groups and Weyl elements from prior algebraic group theory; no new free parameters or invented entities are indicated in the abstract.

axioms (1)
  • domain assumption Standard definition and properties of isotropic reductive groups over commutative rings
    The paper studies these groups and therefore relies on their established definition in the literature.

pith-pipeline@v0.9.0 · 5304 in / 1014 out tokens · 37827 ms · 2026-05-16T11:55:45.871775+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages · 1 internal anchor

  1. [1]

    D. Allcock. Steinberg groups as amalgams.Algebra Number Theory, 10(18):1791–1843, 2016

    work page 2016

  2. [2]

    S. Alsaody. Groups of typeE 6 andE 7 over rings via brown algebras and related torsors.J. Algebra, 656:24–46, 2024

    work page 2024

  3. [3]

    Berg and T

    L. Berg and T. Wiedemann. Root graded groups of typeH 3 andH 4.J. Algebra, 682:481–544, 2025

    work page 2025

  4. [4]

    Borel and J

    A. Borel and J. Tits. Groupes r´ eductifs.Inst. Hautes ´Etudes Sci. Publ. Math., pages 55–150, 1965

    work page 1965

  5. [5]

    Demazure and A

    M. Demazure and A. Grothendieck.S´ eminaire de g´ eom´ etrie alg´ ebrique du Bois Marie III. Sch´ emas en groupes I, II, III. Springer-Verlag, 1970

    work page 1970

  6. [6]

    Garibaldi, Petersson H

    S. Garibaldi, Petersson H. P., and Racine M. L. Albert algebras overZand other rings.Forum Math. Sigma, 11:e18, 2023

    work page 2023

  7. [7]

    Garibaldi, H

    S. Garibaldi, H. P. Petersson, and M. L. Racine.Albert algebras over com- mutative rings—the last frontier of Jordan systems. Cambridge University Press, 2024

    work page 2024

  8. [8]

    Gvozdevsky

    P. Gvozdevsky. Abstract isomorphisms of isotropic root graded groups over rings. Preprint, ArXiv:2505.04749, 2025

    work page arXiv 2025

  9. [9]

    Loos and E

    O. Loos and E. Neher.Steinberg groups for Jordan pairs. Birkh¨ auser, New York, 2019

    work page 2019

  10. [10]

    M¨ uhlherr and R

    B. M¨ uhlherr and R. M. Weiss. Freudenthal triple systems in arbitrary characteristic.J. Algebra, 520:237–275, 2019

    work page 2019

  11. [11]

    M¨ uhlherr and R

    B. M¨ uhlherr and R. M. Weiss. Root graded groups of rank 2.J. Comb. Algebra, 3(2):189–214, 2019

    work page 2019

  12. [12]

    M¨ uhlherr and R

    B. M¨ uhlherr and R. M. Weiss. Tits pentagons and the root systemGH 2. J. Korean Math. Soc., 61(6):1095–1126, 2024. 20

    work page 2024

  13. [13]

    M¨ uhlherr, R

    B. M¨ uhlherr, R. M. Weiss, and H. P. Petersson. Tits polygons.Mem. Am. Math. Soc., 275(1352), 2022

    work page 2022

  14. [14]

    Petrov and A

    V. Petrov and A. Stavrova. The Tits indices over semilocal rings.Trans- form. Groups, 16:193–217, 2011

    work page 2011

  15. [15]

    Plotkin, A

    E. Plotkin, A. Semenov, and N. Vavilov. Visual basic representations: an atlas.Int. J. Algebra Comput., 8(1):61–95, 1998

    work page 1998

  16. [16]

    Z. Shi. Groups graded by finite root systems.Tohoku Math. J., 45:89–108, 1993

    work page 1993

  17. [17]

    F. G. Timmesfeld.Abstract root subgroups and simple groups of Lie-type. Birkh¨ auser Verlag, 2001

    work page 2001

  18. [18]

    J. Tits. Classification of algebraic semisimple groups. InAlgebraic groups and discontinuous subgroups, volume 9 ofProc. Sympos. Pure Math., pages 33–62, Providence RI, 1966. Amer. Math. Soc

    work page 1966

  19. [19]

    N. A. Vavilov and A. Yu. Luzgarev. Chevalley group of typeE 7 in the 56-dimensional representation.J. Math. Sci., 180(3):197–251, 2012

    work page 2012

  20. [20]

    Voronetsky

    E. Voronetsky. Twisted forms of classical groups.St. Petersburg Math. J., 34(2):179–204, 2023

    work page 2023

  21. [21]

    Locally isotropic elementary groups

    E. Voronetsky. Locally isotropic elementary groups.Algebra i Analiz, 36(2):1–26, 2024. In Russian, English version is ArXiv:2310.01592

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  22. [22]

    Voronetsky

    E. Voronetsky. Root graded groups revisited.Eur. J. Math., 10(50), 2024

    work page 2024

  23. [23]

    Voronetsky

    E. Voronetsky. The Diophantine problem in isotropic reductive groups. Preprint, arXiv:2504.14364, 2025

    work page arXiv 2025

  24. [24]

    Wiedemann.Root graded groups

    T. Wiedemann.Root graded groups. PhD thesis, Justus Liebig University Giessen, 2024

    work page 2024

  25. [25]

    Zhang.Groups, nonassociative algebras, and property (T)

    Z. Zhang.Groups, nonassociative algebras, and property (T). PhD thesis, UC San Diego, 2014. 21

    work page 2014