Motives, cohomological invariants and Freudenthal magic square

Alexander Henke; Maksim Zhykhovich; Nikita Geldhauser

arxiv: 2603.10617 · v2 · submitted 2026-03-11 · 🧮 math.AG

Motives, cohomological invariants and Freudenthal magic square

Nikita Geldhauser , Alexander Henke , Maksim Zhykhovich This is my paper

Pith reviewed 2026-05-15 13:22 UTC · model grok-4.3

classification 🧮 math.AG

keywords cohomological invariantsRost invariantFreudenthal magic squaremotivic cohomologyE7 groups2E6 groupsisotropyalgebraic groups

0 comments

The pith

If the Rost invariant of a strongly inner E7 group is a sum of at most two symbols modulo 2, then the group is isotropic over an odd-degree field extension.

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

The paper studies cohomological invariants and their motivic versions for semisimple algebraic groups connected by the Freudenthal magic square. It proves that a Rost invariant of a strongly inner E7 group that equals a sum of at most two symbols modulo 2 forces the group to become isotropic after base change to an odd-degree extension. This supplies a different proof of a theorem of Petrov and Rigby. It also gives a motivic interpretation of a degree-5 cohomological invariant for groups of type 2E6 that detects whether they are isotropic.

Core claim

If the Rost invariant of a strongly inner group of type E7 is a sum of at most two symbols modulo 2, then it is isotropic over an odd degree field extension. This fact is used to give a different proof of a result of Petrov and Rigby. A motivic interpretation is also given for a degree-5 cohomological invariant of certain groups of type 2E6 that detects their isotropy.

What carries the argument

The Rost invariant modulo 2 for E7 groups and the degree-5 cohomological invariant for 2E6 groups, both arising from the Freudenthal magic square and interpreted through motivic cohomology.

If this is right

Such an E7 group with a Rost invariant of at most two symbols modulo 2 becomes isotropic after an odd-degree field extension.
The result supplies an alternative proof of the Petrov-Rigby theorem on isotropy of these groups.
The degree-5 invariant for certain 2E6 groups acquires a motivic meaning that directly links it to detection of isotropy.

Where Pith is reading between the lines

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

The same techniques may extend to invariants of other groups appearing in the Freudenthal magic square.
Motivic methods could clarify isotropy criteria for additional families of exceptional algebraic groups.

Load-bearing premise

The standard properties of the Rost invariant, motivic cohomology, and the Freudenthal magic square constructions hold without additional restrictions on the base field or the groups considered.

What would settle it

A concrete counterexample would consist of a field and a strongly inner E7 group whose Rost invariant is a sum of two symbols modulo 2, yet the group remains anisotropic over every extension of odd degree.

read the original abstract

We investigate cohomological invariants and motivic invariants of semisimple algebraic groups arising in the Freudenthal magic square. Besides, we show that if the Rost invariant of a strongly inner group of type $E_7$ is a sum of at most two symbols modulo $2$, then it is isotropic over an odd degree field extension, and use this fact to give a different proof of a result of Petrov and Rigby. Moreover, we give a motivic interpretation of a result of Garibaldi and Petersson about a cohomological invariant of degree $5$ for certain groups of type $^2E_6$ which detects their isotropy.

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

This paper gives a new proof of the E7 isotropy criterion when the Rost invariant is a sum of at most two symbols mod 2, plus a motivic reinterpretation of the degree-5 invariant for 2E6 groups; both are incremental but cleanly executed.

read the letter

This paper's main points are a different proof that a strongly inner E7 group becomes isotropic over an odd-degree extension if its Rost invariant is a sum of at most two symbols modulo 2, and a motivic-cohomology reading of the Garibaldi-Petersson degree-5 invariant that detects isotropy for certain 2E6 groups. Both results sit inside the Freudenthal magic square setup for exceptional groups. The new proof of the Petrov-Rigby statement follows directly from the isotropy criterion, and the motivic reinterpretation recasts the existing invariant without adding new parameters. The arguments use standard functoriality of the Rost invariant and the usual ring structure on motivic cohomology, staying within characteristic-zero fields and classical magic-square constructions. This keeps the work self-contained and avoids circularity. The presentation is direct, and the connections across E6 and E7 via the square are handled without extra machinery. Minor soft spots include the implicit reliance on base-change properties for the invariants, which are standard but could be checked more explicitly for non-split forms or specific extensions. The paper does not claim results outside the strongly inner case or odd-degree extensions, so those limits are clear. No load-bearing gaps appear in the stated theorems. The work is aimed at specialists already using cohomological invariants or motivic methods on exceptional groups. Readers working on E6/E7 isotropy questions or looking for alternative proofs will find the reinterpretations useful for their own calculations. It deserves a serious referee because the alternative proof and motivic view are concrete, verifiable additions to the literature even if they refine rather than overhaul existing results. Recommendation: send it to peer review.

Referee Report

0 major / 2 minor

Summary. The manuscript investigates cohomological invariants and motivic invariants of semisimple algebraic groups arising in the Freudenthal magic square. It proves that if the Rost invariant of a strongly inner group of type E7 is a sum of at most two symbols modulo 2, then the group is isotropic over an odd-degree field extension, and uses this to give an alternative proof of a result of Petrov and Rigby. It also provides a motivic interpretation of a degree-5 cohomological invariant for certain groups of type 2E6 that detects their isotropy.

Significance. If the central claims hold, the work strengthens links between motivic cohomology and classical invariants of algebraic groups, particularly through the isotropy criterion for E7 groups and the reinterpretation for 2E6 groups. The alternative proof of the Petrov-Rigby result and the motivic approach represent concrete advances, relying on standard functoriality of the Rost invariant and properties of motivic cohomology rings without introducing free parameters or ad-hoc constructions.

minor comments (2)

The abstract and introduction should explicitly state the characteristic assumption on the base field (implicitly zero for the classical Freudenthal square) to clarify the scope of the isotropy criterion in § on E7 groups.
Notation for the degree-5 invariant in the 2E6 case could be aligned more consistently with the motivic cohomology ring structure used in the interpretation, to aid readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their positive assessment of our manuscript and for recommending minor revision. We appreciate the recognition that our work strengthens connections between motivic cohomology and classical invariants of algebraic groups via the isotropy criterion for strongly inner E7 groups and the motivic reinterpretation for groups of type 2E6.

read point-by-point responses

Referee: The manuscript investigates cohomological invariants and motivic invariants of semisimple algebraic groups arising in the Freudenthal magic square. It proves that if the Rost invariant of a strongly inner group of type E7 is a sum of at most two symbols modulo 2, then the group is isotropic over an odd-degree field extension, and uses this to give an alternative proof of a result of Petrov and Rigby. It also provides a motivic interpretation of a degree-5 cohomological invariant for certain groups of type 2E6 that detects their isotropy.

Authors: We confirm that this accurately summarizes the main results. The isotropy criterion follows from standard properties of the Rost invariant and the structure of the motivic cohomology ring, without ad-hoc constructions. The alternative proof of the Petrov-Rigby result is obtained by combining this criterion with known results on the Rost invariant. The motivic interpretation for the degree-5 invariant of 2E6 groups is derived from the functoriality of the relevant characteristic classes in the Freudenthal magic square. We will incorporate any minor clarifications requested to make these arguments more explicit in the revised version. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation relies on standard functoriality of the Rost invariant for strongly inner E7 groups, established properties of motivic cohomology rings, and the classical Freudenthal magic square over characteristic zero fields. The isotropy criterion (Rost invariant as sum of at most two symbols mod 2 implies isotropy over odd-degree extension) and the degree-5 invariant reinterpretation for 2E6 groups follow directly from these without reducing to fitted parameters, self-definitions, or load-bearing self-citations. No equations or steps equate outputs to inputs by construction; the alternative proof of the Petrov-Rigby result is independent.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based solely on the abstract, no explicit free parameters, ad-hoc axioms, or invented entities are introduced; the work relies on standard background in motives and Galois cohomology.

axioms (1)

domain assumption Standard properties of the Rost invariant and motivic cohomology for semisimple algebraic groups hold over arbitrary fields.
Invoked implicitly when stating the isotropy criterion and motivic interpretation.

pith-pipeline@v0.9.0 · 5403 in / 1343 out tokens · 47700 ms · 2026-05-15T13:22:58.156362+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

if the Rost invariant of a strongly inner group of type E7 is a sum of at most two symbols modulo 2, then it is isotropic over an odd degree field extension
IndisputableMonolith/Foundation/ArithmeticFromLogic.lean LogicNat_equiv_Nat unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

motivic interpretation of a degree 5 cohomological invariant ... for groups of type 2E6

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.