Pith. sign in

REVIEW 2 major objections 3 minor 23 references

The cyclicity problem for Albert algebras

T0 review · 2 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read The paper proves that every Albert division algebra over a field of arbitrary characteristic has an isotope containing a cyclic cubic extension of the base field.

desk verdict New isotope-cyclicity theorem for Albert algebras; short proof, but the characteristic-free normalization step needs a stricter referee. read the letter →

arxiv 1908.02942 v2 pith:LAGZAWPQ submitted 2019-08-08 math.GR

Maneesh Thakur This is my paper · ORCID
classification math.GR MSC 17C4020G15
keywords AlbertalgebrasJordancycliccubicsubfieldsisotopesTitsconstructionsstructuregroupschemesGaloiscohomologyinvariantsexceptionalalgebraicgroups
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

The paper attacks the cyclicity problem for Albert algebras, the 27-dimensional exceptional Jordan algebras that carry a cubic norm form: does every division Albert algebra contain a cyclic cubic extension of the base field? It proves the affirmative answer up to isotopy: for every Albert division algebra $A$ over a field $k$ of arbitrary characteristic, some isotope of $A$ — the same underlying vector space with the Jordan product redefined by an invertible element — contains a cyclic cubic extension of $k$. This matters because cyclic cubic subfields are the structural handle that lets one decide whether an Albert algebra is reduced or a division algebra, and they connect the theory to algebraic groups of types $F_4$, $E_6$, and $^3D_4$.

What carries the argument

The proof is carried by the second Tits construction $A = J(B,\sigma,u,\mu)$, which builds an Albert algebra from a degree-$3$ central simple algebra with unitary involution $(B,\sigma)$ and an admissible pair $(u,\mu)$ with $N_B(u)=N_K(\mu)$. After normalizing so both norms equal $1$, the proof produces $v \in B^\times$ such that the conjugate involution $\sigma_v$ is distinguished, and forms $A' = J(B,\sigma_v,1,\mu)$. The mod-$3$ invariant $g_3$ is unchanged by this passage, the mod-$2$ invariant $f_3$ becomes hyperbolic, and a theorem on Jordan algebras of degree three says $A'$ is a first Tits construction, the split form that visibly contains a cyclic cubic subfield. The invariant $g_3$ then transfers that conclusion back to an isotope of the original $A$.

What would settle it

Exhibit an Albert division algebra over a field that has no cyclic cubic extensions; the paper's corollary says none can exist, so any such construction refutes the theorem. Alternatively, in characteristic 2 or 3, produce a second Tits construction input whose admissible pair cannot be scaled to make both norms equal 1, which would break the proof's opening normalization.

Watch

Extended reading notes

Core claim

The central claim is the theorem: to every Albert division algebra $A$ over a field $k$ of arbitrary characteristic there exists an isotope of $A$ that contains a cyclic cubic extension $L/k$; equivalently, for some cyclic cubic extension $L$, the base change $A_L$ is reduced. A corollary of the proof is that if $k$ has no cyclic cubic extensions, then every Albert algebra over $k$ is reduced, which generalizes an earlier cyclicity result for local fields. When $\operatorname{char}(k) \neq 2,3$, the same argument shows that the structure group scheme of $A$ contains a subgroup of type $^3D_4$ defined over $k$.

Load-bearing premise

The load-bearing premise is the unproved characteristic-free normalization, taken from [6, (39.2)(2)], that every second Tits construction input can be scaled so both norms equal 1; if that fails in characteristic 2 or 3, the isotope built in the proof need not be admissible.

Editorial extensions

If this is right

  • Over any field with no cyclic cubic extensions, every Albert algebra is reduced: Albert division algebras cannot exist there.
  • Every Albert division algebra has an isotope that contains a cyclic cubic subfield and whose mod-2 5-invariant $f_5$ is hyperbolic.
  • When the characteristic is not 2 or 3, the structure group scheme of every Albert division algebra contains a subgroup of type $^3D_4$ defined over $k$.
  • The earlier cyclicity result for Albert division algebras over local fields, and its dependence on the classification of such algebras, is subsumed by a uniform proof in all characteristics.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A concrete next question suggested by the proof: can the isotope in the theorem be replaced by an isomorphic copy whenever the base field already contains a cubic extension, effectively measuring the isotopy obstruction to Albert's original question?
  • The unproved characteristic-free normalization could be checked directly in characteristic 2 or 3 on explicit Tits construction inputs; if it holds, the proof becomes self-contained, and if it fails, the theorem still might be true but needs a new route.
  • Because isotopes leave the structure group scheme unchanged, the $^3D_4$ subgroup guaranteed by the corollary may be reachable in constructions of exceptional groups of type $E_8$, where cyclic cubic subfields have been used in the Tits-Weiss conjecture arguments.
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

2 major / 3 minor

Summary. The paper addresses Albert's problem for Albert division algebras: whether every such algebra contains a cyclic cubic subfield. The main theorem states that, over a field of arbitrary characteristic, every Albert division algebra has an isotope containing a cyclic cubic extension of the base field. The proof represents A as a second Tits construction J(B,σ,u,μ), normalizes the admissible pair to NB(u)=NK(μ)=1, finds v∈B× making σv distinguished, and forms A′=J(B,σ_v,1,μ). It then uses the mod 3 invariant to show A′_L splits for a cyclic cubic L, forcing L into an isotope of A. A corollary asserts that if char(k)≠2,3, the structure group scheme of A contains a subgroup of type ^3D4.

Significance. If the proof is correct, the theorem is a substantial advance: it resolves the cyclicity question up to isotopy in all characteristics, and it yields a characteristic-free construction of a ^3D4 subgroup of the structure group of any Albert division algebra. The argument is concise and makes effective use of the mod 2 and mod 3 invariants, the second Tits construction, and Petersson's structure theorems. It also generalizes Petersson's earlier results and simplifies previous proofs. The paper is creditworthy for reducing a long-standing problem to a short argument based on published theorems and for clearly stating its dependence on external results. The main caveat is the unproved normalization step, which is load-bearing and prevents the proof from being fully convincing as written.

major comments (2)
  1. [§3, Proof of the theorem] The proof begins by asserting that, by [6, (39.2)(2)], whose proof 'obviously works in any characteristic', one may assume NB(u)=NK(μ)=1. This normalization is load-bearing: A′=J(B,σ_v,1,μ) is an Albert algebra only when NK(μ)=1, and the equality g3(A′)=g3(A) requires the same μ. The paper neither states the normalization result nor proves its characteristic-free extension. The reduced norm of a degree-3 division algebra need not be surjective onto K^×, so the existence of an isomorphism-preserving transformation that makes both norms 1 while keeping μ is not evident. If the normalization is unavailable, the constructed A′ may not be admissible, and the proof collapses. Please provide the precise statement from [6] and a complete proof of the arbitrary-characteristic version, or a direct reference where this is proved.
  2. [§3, Proof of the theorem] The sentence 'σv being distinguished and 2.(c)-(iv) imply that f3(A) is hyperbolic' appears to contain a typo: it should read 'f3(A′) is hyperbolic'. Literally, the sentence is false for an Albert division algebra A, whose f3 invariant is non-hyperbolic, and the subsequent application of [9, 4.10] requires the hyperbolicity of f3(A′), not f3(A). Please correct this.
minor comments (3)
  1. [Abstract and Introduction] There are several typographical errors: 'dating back t o 1965' has a spurious space, and 'the a forementioned question' should be 'the aforementioned question'.
  2. [§3, Proof of the theorem] The phrase 'whose proof obviously works in any characteristic' is too informal for a journal article; please replace it with a precise statement and argument.
  3. [References] Reference [4] lists 'Israel Journal of Mathematics TBD (2019)' without a final volume or page range; if the paper is in press, please update the reference to its final form.

Circularity Check

0 steps flagged · score 1.0 of 10

No circularity: the proof constructs a new Albert algebra with the same mod-3 invariant and invokes external Petersson-Racine results for the final isotope step; the self-citations are not load-bearing in a circular sense.

full rationale

The central theorem is not obtained by assuming its own conclusion. Starting from an arbitrary division Albert algebra A = J(B, sigma, u, mu), the proof constructs A' = J(B, sigma_v, 1_B, mu), obtains g3(A') = g3(A) from the external invariant theorem cited as [16] 3.5 and [15] 8., and then uses the external Petersson result [9] 4.10 to recognize A' as a first Tits construction. The final implication 'A_L is reduced, forcing L to be a subfield of some isotope of A ([12], Thm. 2)' is not circular: [12] is a prior theorem of Petersson-Racine, and the paper's own contribution is precisely to produce a cyclic cubic L for which A_L is reduced via the invariant computation. The cited results [20] and [4] are self-citations, but [20] supplies an earlier published construction/invariant fact and [4] is a separate published corollary on F4 subgroups; neither simply restates the present theorem. The unproved characteristic-free normalization 'whose proof obviously works in any characteristic' is a possible correctness gap, not a circular step: it does not define the conclusion in terms of the input or fit the conclusion into the assumptions. Overall, no load-bearing step reduces by construction to its own inputs.

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

The central claim rests on several imported structure theorems for Albert algebras, the characteristic-free normalization of the admissible pair, and standard Wedderburn cyclicity. No free parameters or invented entities appear.

assumptions (9)
  • domain assumption Every Albert division algebra over k admits a second Tits construction realization A=J(B,σ,u,μ).
    Invoked in §2(c) and used at the start of §3 as the universal model for A.
  • ad hoc to paper The admissible pair can be normalized to NB(u)=NK(μ)=1, and this normalization remains valid in arbitrary characteristic.
    Stated at the start of §3 via [6, (39.2)(2)] with 'obviously works in any characteristic', but no proof or characteristic-free reference is provided.
  • domain assumption There exists v in B× such that the conjugate involution σv is distinguished.
    Imported from [9, 2.10] and used to construct A' in §3.
  • domain assumption The mod 3 invariant g3(A) depends only on μ, not on σ or u.
    Used in §3 to conclude g3(A')=g3(A); cited to [16, 3.5] and [15, 8.].
  • domain assumption An Albert algebra with hyperbolic f3 is a first Tits construction.
    Used in §3 to identify A' as a first Tits construction via [9, 4.10].
  • standard math Wedderburn's theorem: a degree 3 central division algebra over a field contains a cyclic cubic subfield.
    Used in §3 to obtain the cyclic cubic L inside D+ of A'.
  • domain assumption A first Tits construction J(D,γ) contains D+ as a cubic Jordan subalgebra, so a cyclic subfield of D embeds in A'.
    Used in §3 via §2(c)(iii) to transfer the associative cyclicity to A'.
  • domain assumption If A_L is reduced for a field extension L/k, then L is a subfield of some isotope of A.
    Final step in §3, cited to Petersson-Racine [12, Thm 2].
  • domain assumption If A contains a cyclic cubic subfield and char(k) is not 2 or 3, the structure group scheme of A contains a subgroup of type ^3D4.
    Used for the final corollary; cited to Hooda-Thakur [4, Cor 3.2], a result co-authored by the present author.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The cyclicity problem for Albert algebras." pith.science (2026). https://pith.science/paper/LAGZAWPQ

@misc{pith2026190802942,
  author       = {Pith},
  title        = {Pith review of: The cyclicity problem for Albert algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LAGZAWPQ}},
  note         = {Machine review of arXiv:1908.02942}
}
abstract

In this paper we address the celebrated Albert problem for exceptional Jordan algebras (i.e. Albert algebras): Does every Albert division algebra contain a cubic cyclic subfield? We prove that for any Albert division algebra $A$ over a field $k$ of arbitrary characteristic, there is a suitable isotope that contains a cubic cyclic subfield. It follows from this that for any Albert division algebra $A$ over a field $k$, the structure group $\text{\bf Str}(A)$ always contains a subgroup of type $^3D_4$ defined over $k$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages

  1. [6]

    M. A. Knus, A. Merkurjev, M. Rost, J. P. Tignol, The Book of Involutions , AMS. Colloquium Publications, Vol. 44, 1998

    work page 1998

  2. [1]

    A. A. Albert, A construction of exceptional Jordan division algebras , Ann. of Math. (2) 67 (1958), 1-28

    work page 1958

  3. [2]

    A. A. Albert, On exceptional Jordan division algebras , Pacific J. Math. 15 (2) (1965), 377-404

    work page 1965

  4. [3]

    J. R. Faulkner and J. C. Ferrar, Exceptional Lie Algebras and Related Algebraic and Geometric Structures , Bull. London Math. Soc. 9 (1977), 1-35

    work page 1977

  5. [4]

    Hooda and Maneesh Thakur, Rational subgroups and invariants of F4, Israel Journal of Mathematics TBD (2019), 1-47

    N. Hooda and Maneesh Thakur, Rational subgroups and invariants of F4, Israel Journal of Mathematics TBD (2019), 1-47. DOI: 10.1007/s11856-019-1920-4

    work page doi:10.1007/s11856-019-1920-4 2019

  6. [5]

    Jacobson, Structure and representations of Jordan algebras , AMS

    N. Jacobson, Structure and representations of Jordan algebras , AMS. Providence, R. I., 1968, AMS. Colloquium Publications, Vol. XXXIX

    work page 1968

  7. [7]

    H. P. Petersson, A survey on Albert algebras , Transformations Groups 24 (2019), no. 1, 219-278

    work page 2019

  8. [8]

    H. P. Petersson, Albert division algebras in characteristic three contain c yclic cubic subfields, Arch. Math. 72 (1999), 40-42

    work page 1999

Show all 23 references
  1. [9]

    H. P. Petersson, Structure theorems for Jordan algebras of degree three over fields of arbitrary characteristic , Comm. Alg. Vol. ( 32) (2004), no. 3, 1019-1049

    2004

  2. [10]

    H. P. Petersson, Exceptional Jordan division algebras over a field with a disc rete valuation, J. Reine Angew. Math. 274/275 (1975), 1-20 ( Collection or articles dedicated to Helmut Hasse on his seventy-fifth birthday)

    1975

  3. [11]

    H. P. Petersson, Cyclic compositions and trisotopies , J. Algebra 307 (2007), no. 1, 49-96

    2007

  4. [12]

    H. P. Petersson, M. L. Racine, Cubic subfields of exceptional simple Jordan alge- bras, Proc. AMS. Vol 91, no. 1 (1984), 31-36

    1984

  5. [13]

    H. P. Petersson, M. Racine, Reduced models of Albert algebras , Math. Zeit. 223 (1996), no. 1, 367-385

    1996

  6. [14]

    H. P. Petersson, M. Racine, Springer forms and the first Tits construction of exceptional Jordan division algebras , Manuscripta Math. ( 45) (1984), 249-272

    1984

  7. [15]

    H. P. Petersson, M. Racine, The Serre-Rost invariant for Albert algebras in char- acteristic three, Indag. Math. (N.S.) 8 (1997), no. 4, 543-548

    1997

  8. [16]

    H. P. Petersson, M. Racine, An elementary approach to the Serre-Rost invariant of Albert algebras , Indag. Math. (N.S.) 7 (1996), no. 3, 343-365. 6

    1996

  9. [17]

    H. P. Petersson, M. Racine, On the invariants mod 2 of Albert algebras, J. Algebra 174 (1995), no. 3, 1049-1072

    1995

  10. [18]

    T. A. Springer, Oktaven, Jordan algebren und Ausnahmegruppen , Universit¨ at G¨ ottingen, 1963

    1963

  11. [19]

    T. A. Springer and F. D. Veldkamp, Octonions, Jordan Algebras and Exceptional Groups, Springer Monographs in Mathematics, Springer-Verlag, Berlin, (2 000)

  12. [20]

    Thakur, Isotopy and invariants of Albert algebras , Comment

    M. Thakur, Isotopy and invariants of Albert algebras , Comment. Math. Helv. 74 (1999), 297-305

    1999

  13. [21]

    Maneesh Thakur, Automorphisms of Albert algebras and a conjecture of Tits an d Weiss, Trans. AMS. 365 (2013), no. 6., 3041-3068

    2013

  14. [22]

    Maneesh Thakur, Automorphisms of Albert algebras and a conjecture of Tits and Weiss II , Trans. AMS. 372 (2019), no. 7, 4701-4728., https://doi.org/10.1090/tran/7850

    2019 doi

  15. [23]

    J. Tits, R. M. Weiss, Moufang Polygons , Springer Monographs in Mathematics, Springer Verlag, 2002

    2002

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.