[论文解读] Weyl elements in isotropic reductive groups

Egor Voronetsky|arXiv (Cornell University)|Jan 20, 2026

Advanced Algebra and Geometry被引用 0

一句话总结

本文为等距约简群在可交换环上的 alpha-Weyl 元提供了一个显式平方公式，并研究其在不同类型中的存在性与性质。

ABSTRACT

We study Weyl elements in isotropic reductive groups over commutative rings. Our main result in an explicit formula for squares of such elements.

研究动机与目标

• Motivate the study of Weyl elements in isotropic reductive groups over commutative rings.
• Provide an explicit square formula for alpha-Weyl elements and describe its dependence on root data.
• Describe existence and basic properties of alpha-Weyl elements across different root types.
• Construct canonical split tori and root data for isotropic reductive groups.
• Extend known results from Chevalley groups to the broader isotropic setting.

提出的方法

• Define Phi-graded groups and the notion of alpha-Weyl elements.
• Prove the square formula for w^2 acting on U_beta according to the parity of 2(alpha·beta)/(alpha·alpha).
• Classify and construct alpha-Weyl elements for 2alpha not in Phi and establish their local existence.
• Describe normalizers of long root subgroups in rank 1 and construct a canonical split torus with a root datum.
• Generalize group scheme constructions, including E7^sc, via root graded and Jordan algebra frameworks.
• Discuss braid relations and extended Weyl groups in the isotropic setting.

实验结果

研究问题

• RQ1 What is the explicit expression for the square of an alpha-Weyl element acting on root subgroups U_beta?
• RQ2 Under which conditions do alpha-Weyl elements exist for 2alpha not in Phi, and what are their basic properties?
• RQ3 How can one construct a canonical split torus and a root datum in isotropic reductive groups?
• RQ4 How do braid relations and the extended Weyl group structure translate to Phi-graded and isotropic reductive groups?
• RQ5 What are the normalizers of long root subgroups in low-rank cases and how do they relate to Weyl elements?

主要发现

• An explicit square formula for alpha-Weyl elements is established, describing the action on U_beta by three cases tied to the parity of 2(alpha·beta)/(alpha·alpha) and inclusion of 2beta in Phi.
• Existence of alpha-Weyl elements is demonstrated (locally in Zariski topology) for 2alpha not in Phi, along with basic properties.
• Theorem 1 constructs a canonical split torus of rank equal to the root system rank and embeds Phi into the torus character group, detailing the action on root subgroups.
• Theorem 2 shows that certain exceptional and classical groups yield split reductive groups of types including E7^sc with corresponding parabolic and Levi structures.
• The paper extends known square formulas from rank at least 3 or simply laced cases to the broader isotropic setting, and discusses extended Weyl groups and braid relations.
• It also provides constructions related to E7^sc and links to cubes and Jordan algebras in the grading framework.