pith. sign in

arxiv: 2410.17023 · v2 · submitted 2024-10-22 · 🧮 math.RT · math.GR

The relatively universal cover of the natural embedding of the long root geometry for the group SL(n+1,mathbb{K})

I. Cardinali , L. Giuzzi , A. Pasini This is my paper

Pith reviewed 2026-05-23 19:26 UTC · model grok-4.3

classification 🧮 math.RT math.GR
keywords long root geometryrelatively universal embeddingnatural embeddingSL(n+1,K)adjoint moduletraceless matricesChevalley groups
0
0 comments X

The pith

The relatively universal cover of the natural embedding for the long root geometry of SL(n+1, K) has dimension d + n² + 2n.

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

The paper gives an explicit description of the relatively universal embedding that covers the natural embedding of the long root geometry A_{n,{1,n}}(K) into the space of traceless (n+1) by (n+1) matrices. It proves that this cover has vector dimension exactly d plus n squared plus 2n, where d is the transcendence degree of K over its minimal subfield in characteristic zero or the minimal generating rank of K over its p-th powers in positive characteristic p. This shows that the natural embedding is relatively universal precisely when d equals zero. The result extends the Smith-Völklein characterization, previously known only for n=2, to every n at least 2 by combining the new dimension count with an earlier result of Völklein.

Core claim

The relatively universal embedding covering the natural one has vector dimension d + n² + 2n, where d is the transcendence degree of K over its minimal subfield if char(K)=0 or the generating rank of K over K^p if char(K)=p>0. Consequently both the if and only if parts of the Smith-Völklein result hold for every n ≥ 2.

What carries the argument

The relatively universal cover of the natural embedding into traceless matrices, obtained by adjoining a d-dimensional space that encodes the field extensions of K.

If this is right

  • The natural embedding is relatively universal if and only if d equals zero.
  • Smith-Völklein's if-and-only-if statement holds for all n ≥ 2.
  • The dimension of the cover is determined explicitly for any field K by the value of d.
  • The adjoint module of SL(n+1,K) admits a proper cover of known dimension precisely when d is positive.

Where Pith is reading between the lines

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

  • The same dimension formula may apply to the adjoint modules of other Chevalley groups whose long-root geometries admit natural embeddings into matrix spaces.
  • For fields with positive transcendence degree the construction supplies an explicit proper cover whose existence was previously only known abstractly.

Load-bearing premise

The argument relies on Völklein's earlier result that the natural embedding is relatively universal whenever K satisfies the algebraic-over-minimal-subfield or perfect-positive-characteristic conditions.

What would settle it

An explicit computation for a field K with d>0 (for example a transcendental extension of the prime field) showing that the minimal cover dimension differs from d + n² + 2n, or that the natural embedding admits no proper cover despite d>0.

read the original abstract

The long root geometry $A_{n,\{1,n\}}(\mathbb{K})$ for the special linear group $\mathrm{SL}(n+1,\mathbb{K})$ admits an embedding in the (projective space of) the vector space of the traceless square matrices of order $n+1$ with entries in the field $\mathbb{K}$, usually regarded as the {\em natural} embedding of $A_{n,\{1,n\}}(\mathbb{K})$. S. Smith and H. V\"{o}lklein (A geometric presentation for the adjoint module of $\mathrm{SL}_3(\mathbb{K})$, {\em J. Algebra}, vol. 127) have proved that the natural embedding of $A_{2,\{1,2\}}(\mathbb{K})$ is relatively universal if and only if $\mathbb{K}$ is either algebraic over its minimal subfield or perfect with positive characteristic. They also give some information on the relatively universal embedding of $A_{2,\{1,2\}}(\mathbb{K})$ which covers the natural one, but that information is not sufficient to exhaustively describe it. The "if" part of Smith-V\"{o}lklein's result also holds true for any $n$, as proved by V\"{o}lklein in his investigation of the adjoint modules of Chevalley groups (H. V\"{o}lklein, On the geometry of the adjoint representation of a Chevalley group, {\em J. Algebra}, vol. 127). In this paper we give an explicit description of the relatively universal embedding of $A_{n,\{1,n\}}(\mathbb{K})$ which covers the natural one. In particular, we prove that this relatively universal embedding has (vector) dimension equal to $\mathfrak{d}+n^2+2n$ where $\mathfrak{d}$ is the transcendence degree of $\mathbb{K}$ over its minimal subfield (if $\mathrm{char}(\mathbb{K}) = 0$) or the generating rank of $\mathbb{K}$ over ${\mathbb K}^p$ (if $\mathrm{char}(\mathbb{K}) = p > 0$). Accordingly, both the "if" and the "only if" part of Smith-V\"{o}lklein's result hold true for every $n \geq 2$.

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

Summary. The manuscript provides an explicit description of the relatively universal embedding of the long root geometry A_{n,{1,n}}(K) for SL(n+1,K) that covers the natural embedding into the projective space of traceless (n+1)×(n+1) matrices. It proves that this embedding has vector dimension d + n² + 2n, where d is the transcendence degree of K over its minimal subfield (char 0) or the generating rank of K over K^p (char p > 0). This establishes both the 'if' and 'only if' directions of the Smith–Völklein criterion for all n ≥ 2, building on Völklein's prior result for the 'if' direction.

Significance. If the result holds, the work completes the characterization of relative universality for these natural embeddings across all n, supplying the missing explicit construction and dimension bound for n > 2. The direct connection between the geometric dimension and the field-theoretic invariant d is a clear strength, as is the reduction to the already-established 'if' direction from Völklein.

minor comments (2)
  1. [Abstract] Abstract: the definition of the invariant d is stated clearly but would benefit from an explicit cross-reference to its first appearance in the main text (e.g., the section introducing the field invariants).
  2. The bibliographic entries for Smith–Völklein (J. Algebra 127) and Völklein (J. Algebra 127) should be checked for consistency in volume, year, and page numbers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, the clear summary of its contributions, and the recommendation to accept. There are no major comments requiring a point-by-point response.

Circularity Check

0 steps flagged

No circularity; explicit construction extends independent prior results

full rationale

The derivation rests on the standard natural embedding of A_{n,{1,n}}(K) into traceless matrices (a definition external to the paper) together with Völklein's independently established 'if' direction. The new content is an explicit description of the relatively universal cover and a direct proof that its vector dimension equals d + n² + 2n; this bound is then used to obtain the 'only if' direction for n ≥ 2. No step equates a claimed prediction to a fitted input by construction, renames a known result, or reduces the central claim to a self-citation chain. The cited Völklein result is external and not load-bearing for the dimension calculation itself.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard linear-algebra and field axioms plus the definitions of long-root geometry and natural embedding; no free parameters or invented entities are introduced.

axioms (2)
  • standard math Standard axioms of vector spaces and fields (including characteristic-dependent generation properties)
    Invoked throughout the definition of the embedding space and the dimension count.
  • domain assumption The natural embedding of A_{n,{1,n}}(K) is the one into traceless matrices
    Stated as the starting point for the covering construction.

pith-pipeline@v0.9.0 · 5989 in / 1305 out tokens · 35728 ms · 2026-05-23T19:26:19.997469+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Linear codes arising from the point-hyperplane geometry -- Part II: the twisted embedding

    math.CO 2025-07 unverdicted novelty 5.0

    The authors analyze the linear code C(Λ_σ) from the twisted embedding ε_σ of the point-hyperplane geometry, determining its parameters, minimum distance, automorphism group, and characterizations of low-weight codewords.

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages · cited by 1 Pith paper

  1. [1]

    R. J. Blok and A. Pasini , Point-line geometries with a generating set that depends on the underlying field, in: Finite Geometries (eds. A. Blokhuis et al.), Kluwer, Dordrecth (2001), 1–25

    work page 2001

  2. [2]

    R. J. Blok and A. Pasini , On absolutely universal embeddings, Discr. Math. 267 (2003), 45–62

    work page 2003

  3. [3]

    Cardinali, L

    I. Cardinali, L. Giuzzi and A. Pasini , On the 1-cohomology of SL(n, K) on the dual of its adjoint module , preprint

    work page

  4. [4]

    B. N. Cooperstein , Generating long root subgroup geometries of classical groups ov er finite prime fields, Bull. Belg. Math. Soc. 5 (1998), 531–548

    work page 1998

  5. [5]

    M. Hall jr. The Theory of Groups, Macmillan, New York, 1959. 22

    work page 1959

  6. [6]

    Kasikova and E

    A. Kasikova and E. E. Shult , Absolute embeddings of point-line geometries, J. Algebra 238 (2001), 265–291

    work page 2001

  7. [7]

    Lang , Algebra, Springer-Verlag, New York 2002

    S. Lang , Algebra, Springer-Verlag, New York 2002

    work page 2002

  8. [8]

    Pasini , Embeddings and hyperplanes of the Lie geometry An, 1,n (F), Comb

    A. Pasini , Embeddings and hyperplanes of the Lie geometry An, 1,n (F), Comb. Theory, 4, No. 2 (2024), paper No. 5

    work page 2024

  9. [9]

    M. A. Ronan , Embeddings and hyperplanes of discrete geometries European J. Combin. 8 (1987), 179–185

    work page 1987

  10. [10]

    Shult , Embeddings and hyperplanes of Lie incidence geometries, in Groups of Lie Type and Their Geometries (ed

    E.E. Shult , Embeddings and hyperplanes of Lie incidence geometries, in Groups of Lie Type and Their Geometries (ed. W. M. Kantor and L. Di Martino), London Math. Soc. Lect. Notes 207, Cambridge Univ. Press, Cambridge 1995, 215-232

    work page 1995

  11. [11]

    Shult , Points and Lines, Springer-Verlag, Berlin 2011

    E.E. Shult , Points and Lines, Springer-Verlag, Berlin 2011

    work page 2011

  12. [12]

    Smith and H

    S.D. Smith and H. V¨ olklein, A geometric presentation for the adjoint module of SL 3(K), J. Algebra 127 (1989), 127–138

    work page 1989

  13. [13]

    V¨ olklein, On the geometry of the adjoint representation of a Chevalley gro up, J

    H. V¨ olklein, On the geometry of the adjoint representation of a Chevalley gro up, J. Algebra 127 (1989), 139–154

    work page 1989

  14. [14]

    V¨ olklein, The 1-Cohomology group of the Adjoint Module of a Chevalley Group , Form Math

    H. V¨ olklein, The 1-Cohomology group of the Adjoint Module of a Chevalley Group , Form Math. 1 (1989), 1-13

    work page 1989

  15. [15]

    Zariski and P

    O. Zariski and P. Samuel , Commutative Algebra, Van Nostrand, Princeton 1958. 23

    work page 1958