Deligne-Lusztig varieties whose canonical divisors have negativity
Pith reviewed 2026-05-08 17:53 UTC · model grok-4.3
The pith
Compactified Deligne-Lusztig varieties with negative canonical divisors explicitly realize supersingular K3 surfaces and Ree curves in small characteristics.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We investigate compactified Deligne-Lusztig varieties whose canonical divisor, when expressed as a linear combination of boundary divisors, has all coefficients strictly negative or zero. In dimension two we obtain explicit descriptions: the case C2 gives the supersingular K3 surface with Artin invariant sigma=1 in characteristic two. The twisted cases 2A2 and 2C2 and 2G2 yield particular ruled surfaces, attached in a canonical way to supersingular elliptic curves in characteristic two, or the Ree curve in characteristic three. To obtain such results we develop a new general framework for Deligne-Lusztig varieties that relies on the Isogeny Theorem and works over prime fields rather than ихr
What carries the argument
A new general framework for Deligne-Lusztig varieties that relies on the Isogeny Theorem, works over prime fields rather than algebraic closures, and includes the Suzuki-Ree cases without effort.
Load-bearing premise
The arguments depend on properties of the Tutte-Coxeter graph and on the Isogeny Theorem applying directly over prime fields rather than algebraic closures.
What would settle it
A computation showing that the compactified Deligne-Lusztig variety of type C2 in characteristic two is not isomorphic to the supersingular K3 surface with Artin invariant one, or that its canonical divisor has a positive coefficient.
Figures
read the original abstract
We investigate compactified Deligne-Lusztig varieties whose canonical divisor, when expressed as a linear combination of boundary divisors, has all coefficients strictly negative or zero. In dimension two we obtain explicit descriptions: The case $C_2$ gives the supersingular K3 surface with Artin invariant $\sigma=1$ in characteristic two. The arguments rely on properties of the Tutte-Coxeter graph; in this connection we also gain some insight into the arithmetic of quasi-elliptic Weierstrass equations and rational double points. The twisted cases ${}^2A_2$ and ${}^2C_2$ and ${}^2G_2$ yield particular ruled surfaces, attached in a canonical way to supersingular elliptic curves in characteristic two, or the Ree curve in characteristic three. The latter is a curve of genus fifteen with outstanding symmetries. In the former cases, the surfaces can also be expressed as symmetric squares. To obtain such results, we develop a new general framework for Deligne-Lusztig varieties that relies on the Isogeny Theorem, and works over prime fields rather than their algebraic closures, and includes the notorious Suzuki-Ree cases without effort.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies compactified Deligne-Lusztig varieties whose canonical divisor, when expressed as a linear combination of boundary divisors, has all coefficients strictly negative or zero. In dimension two it supplies explicit descriptions: the C_2 case is identified with the supersingular K3 surface of Artin invariant σ=1 in characteristic two; the twisted cases ^2A_2, ^2C_2 and ^2G_2 yield ruled surfaces canonically attached to supersingular elliptic curves (char. 2) or the Ree curve of genus 15 (char. 3). The arguments rely on properties of the Tutte-Coxeter graph and on a new general framework that invokes the Isogeny Theorem over prime fields rather than algebraic closures and accommodates the Suzuki-Ree cases without additional effort. Additional arithmetic insights are obtained for quasi-elliptic Weierstrass equations and rational double points.
Significance. If the identifications hold, the work supplies concrete geometric models linking Deligne-Lusztig varieties to supersingular K3 surfaces and to curves of exceptional symmetry, while the new Isogeny-Theorem framework operating directly over prime fields constitutes a methodological advance that may simplify future computations in positive-characteristic algebraic geometry. The combinatorial input from the Tutte-Coxeter graph yields independent arithmetic information on Weierstrass models and rational double points.
minor comments (2)
- The abstract states that the surfaces in the ^2A_2 and ^2C_2 cases 'can also be expressed as symmetric squares'; a brief indication of the precise construction (or a reference to the relevant proposition) would help the reader connect this description to the ruled-surface realization.
- The reliance on the Tutte-Coxeter graph is invoked for both the C_2 identification and the arithmetic insights; a short subsection summarizing the precise graph-theoretic properties used (e.g., which subgraphs or automorphisms appear) would improve readability for readers less familiar with the graph.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of our manuscript, including the accurate summary of our results on compactified Deligne-Lusztig varieties and the recognition of the methodological contribution of the Isogeny Theorem framework over prime fields. We appreciate the recommendation for minor revision and the acknowledgment of the links to supersingular K3 surfaces and curves of exceptional symmetry such as the Ree curve.
Circularity Check
No significant circularity detected
full rationale
The paper constructs a new framework for Deligne-Lusztig varieties over prime fields using the external Isogeny Theorem and combinatorial properties of the Tutte-Coxeter graph. The explicit geometric identifications (e.g., the C2 case yielding the supersingular K3 surface with Artin invariant 1) are presented as derived outcomes rather than inputs or self-definitions. No load-bearing steps reduce by construction to fitted parameters, self-citations, or renamed known results; the derivation remains independent of the target claims and relies on externally verifiable tools.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Properties of the Tutte-Coxeter graph
- standard math Isogeny Theorem
Lean theorems connected to this paper
-
Foundation/AlexanderDuality.lean (D=3 forcing) — RS opines on dimension via circle linking, not on K3 classificationalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The case C_2 gives the supersingular K3 surface with Artin invariant σ=1 in characteristic two. The arguments rely on properties of the Tutte-Coxeter graph...
-
Cost/FunctionalEquation.lean — RS canonical 'cost' is J(x)=½(x+x⁻¹)−1 with unique zero at x=1; the paper's λ_j ≤ 0 condition is a disjoint, root-combinatorial inequality.washburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Hansen's Canonical Bundle Formula: mK_X̄(w) = Σ (⟨μ, α̃_j∨⟩ − 1) D_j ... we then say that the canonical divisor K_X has negativity (including here the case that all the λ_j vanish).
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
-
[1]
E. Arbarello, M. Cornalba, P. Griffiths, J. Harris: Geometry of algebraic curves. I. Springer, New York, 1985. 5.2
work page 1985
-
[2]
Artin: SupersingularK3 surfaces
M. Artin: SupersingularK3 surfaces. Ann. Sci. ´Ecole Norm. Sup. 7 (1974), 543–567. 6.3
work page 1974
-
[3]
Atiyah: Vector bundles over an elliptic curve
M. Atiyah: Vector bundles over an elliptic curve. Proc. London Math. Soc. 7 (1957), 414–452. Introduction, 5.2
work page 1957
-
[4]
A. Bj¨ orner, F. Brenti: Combinatorics of Coxeter groups. Springer, New York, 2005. 1.4, 1.6, 1.5
work page 2005
-
[5]
E. Bombieri, D. Mumford: Enriques’ classification of surfaces in char.p, II. In: W. Baily, T. Shioda (eds.), Complex analysis and algebraic geometry, pp. 23–42. Cambridge University Press, London, 1977. 5.1
work page 1977
-
[6]
C. Bonnaf´ e, J.-F. Dat, R. Rouquier: Derived categories and Deligne-Lusztig varieties II. Ann. of Math. 185 (2017), 609–670. Introduction
work page 2017
-
[7]
C. Bonnaf´ e, R. Rouquier: Cat´ egories d´ eriv´ ees et vari´ et´ es de Deligne–Lusztig. Publ. Math. Inst. Hautes ´Etudes Sci. 97 (2003), 1–59. Introduction
work page 2003
-
[8]
C. Bonnaf´ e, R. Rouquier: On the irreducibility of Deligne–Lusztig varieties. C. R. Math. Acad. Sci. Paris 343 (2006), 37–39. 1.9, 1.9
work page 2006
-
[9]
R. Bott, H. Samelson: Applications of the theory of Morse to symmetric spaces. Amer. J. Math. 80 (1958), 964–1029. 1.8
work page 1958
-
[10]
N. Bourbaki: Algebra II. Chapters 4–7. Springer, Berlin, 1990. 6.4, 8.5
work page 1990
-
[11]
Bourbaki: Groupes et alg` ebres de Lie
N. Bourbaki: Groupes et alg` ebres de Lie. Chapitres 4, 5 et 6. Masson, Paris, 1981. 1.9, 7.1, 9.1
work page 1981
-
[12]
Bourbaki: Groupes et alg` ebres de Lie
N. Bourbaki: Groupes et alg` ebres de Lie. Chapitres 7 et 8. Springer, Berlin, 2006. 8.2, 8.2
work page 2006
-
[13]
P. Brosnan, J. Hong, D. Lee: Geometry of regular semisimple Lusztig varieties. Preprint, arXiv:2504.15868. Introduction
-
[14]
Carter: Simple groups of Lie type
R. Carter: Simple groups of Lie type. Wileys, London–New York–Sydney, 1972. 1.3, 1.11
work page 1972
- [15]
- [16]
-
[17]
Coxeter: The chords of the non-ruled quadric in PG(3,3)
H. Coxeter: The chords of the non-ruled quadric in PG(3,3). Canadian J. Math. 10 (1958), 484–488. 1.24
work page 1958
-
[18]
Deligne: Courbes elliptiques: formulaire d’apr` es J
P. Deligne: Courbes elliptiques: formulaire d’apr` es J. Tate. In: B. Birch, W. Kuyk (eds.), Modular functions of one variable IV, pp. 53–73. Springer, Berlin, 1975. 6.4, 8.5, 9.2
work page 1975
-
[19]
P. Deligne, G. Lusztig: Representations of reductive groups over finite fields. Ann. of Math. 103 (1976), 103–161. Introduction, 1.3, 1.6, 1.7, 1.8, 1.10, 2.1, 4.1, 4.2, 6.1, 6.2
work page 1976
-
[20]
Demazure: D´ esingularisation des vari´ et´ es de Schubert
M. Demazure: D´ esingularisation des vari´ et´ es de Schubert. Ann. Sci.´Ecole Norm. Sup. (4), 7 (1974), 53–88. 1.8
work page 1974
-
[21]
M. Demazure, A. Grothendieck,Sch´ emas en groupes (SGA 3) III, ´Ed. recompos´ ee et annot´ ee, SMF (2011). Introduction, 1.2, 1.2
work page 2011
-
[22]
Dieudonn´ e: La g´ eom´ etrie des groupes classiques
J. Dieudonn´ e: La g´ eom´ etrie des groupes classiques. Springer, Berlin, 1971. 8.2
work page 1971
- [23]
-
[24]
I. Dolgachev, S. Kondo: A supersingular K3 surface in characteristic 2 and the Leech lattice. Int. Math. Res. Not. 2003, 1–23. Introduction, 5.1
work page 2003
-
[25]
Duncan: An automorphism of the symplectic group Sp 4(2n)
A. Duncan: An automorphism of the symplectic group Sp 4(2n). Proc. Cambridge Philos. Soc. 64 (1968), 5–9. 8.2
work page 1968
-
[26]
Ekedahl: On non-liftable Calabi–Yau threefolds
T. Ekedahl: On non-liftable Calabi–Yau threefolds. Preprint,math.AG/0306435. Introduction
-
[27]
Everitt: A (very short) introduction to buildings
B. Everitt: A (very short) introduction to buildings. Expo. Math. 32 (2014), 221–247. 1.24
work page 2014
-
[28]
Faber: Finitep-irregular subgroups of PGL 2(k)
X. Faber: Finitep-irregular subgroups of PGL 2(k). Matematica 2 (2023), 479–522. 9.3
work page 2023
-
[29]
A. Fanelli, S. Schr¨ oer: Del Pezzo surfaces and Mori fiber spaces in positive characteristic. Trans. Amer. Math. Soc. 373 (2020), 1775–1843. 6.4, 6.5, 7.4
work page 2020
-
[30]
Genestier: Espaces sym´ etriques de Drinfeld
A. Genestier: Espaces sym´ etriques de Drinfeld. Ast´ erisque 234 (1996). 4.1
work page 1996
-
[31]
B. Gouthier, D. Tossici: Unexpected subgroup schemes of PGL 2,k in characteristic 2. Preprint, arXiv:2403.09469. 8.1 DELIGNE–LUSZTIG V ARIETIES 76
-
[32]
Grove: Classical groups and geometric algebra
L. Grove: Classical groups and geometric algebra. American Mathematical Society, Provi- dence, RI, 2002. 8.2
work page 2002
-
[33]
Haastert: Die Quasiaffinit¨ at der Deligne-Lusztig-Variet¨ aten
B. Haastert: Die Quasiaffinit¨ at der Deligne-Lusztig-Variet¨ aten. J. Algebra 102 (1986), 186–
work page 1986
-
[34]
Hansen: Deligne–Lusztig varieties and group codes
J. Hansen: Deligne–Lusztig varieties and group codes. In: H. Stichtenoth, M. Tsfasman (eds.), Coding theory and algebraic geometry, pp. 63–81. Springer, Berlin, 1992. Introduction, 1.3, 2.2
work page 1992
-
[35]
J. P. Hansen, J. Pedersen: Automorphism groups of Ree type, Deligne-Lusztig curves and function fields. J. Reine Angew. Math. 440 (1993), 99–109. Introduction, 9.2
work page 1993
-
[36]
Hansen: Canonical bundles of Deligne–Lusztig varieties
S. Hansen: Canonical bundles of Deligne–Lusztig varieties. Manuscripta Math. 98 (1999), 363–375. Introduction, 2, 2.1, 2.1, 4.2
work page 1999
-
[37]
Hartshorne: Algebraic geometry
R. Hartshorne: Algebraic geometry. Springer, Berlin, 1977. 8.5, 8.5, 9.3
work page 1977
-
[38]
Henn: Funktionenk¨ orper mit grosser Automorphismengruppe
H.-W. Henn: Funktionenk¨ orper mit grosser Automorphismengruppe. J. Reine Angew. Math. 302 (1978), 96–115. Introduction
work page 1978
-
[39]
C. Hilario, S. Schr¨ oer: Generalizations of quasielliptic curves. ´Epijournal Geom. Alg´ ebrique 7 (2024), Article 23, 31 pp. 8.1
work page 2024
-
[40]
J. Hirschfeld, G. Korchm´ aros, F. Torres: Algebraic Curves over a Finite Field. Princeton Series in Appl. Math. Princeton University Press (2008). 9.2, 9.2, 9.3
work page 2008
-
[41]
H¨ older: Bildung zusammengesetzter Gruppen
O. H¨ older: Bildung zusammengesetzter Gruppen. Math. Ann. 46 (1895), 321–422. 8.2
-
[42]
Hua: On the automorphisms of the symplectic group over any field
L.K. Hua: On the automorphisms of the symplectic group over any field. Ann. of Math. 49 (1948), 739–759. 8.2
work page 1948
-
[43]
D. Husem¨ oller: Elliptic curves. Springer, New York, 1987. 5.3
work page 1987
-
[44]
Huybrechts: Lectures on K3 Surfaces
D. Huybrechts: Lectures on K3 Surfaces. Cambridge Univ. Press, 2016. 5.1
work page 2016
-
[45]
Ito: The Mordell–Weil groups of unirational quasi-elliptic surfaces in characteristic 2
H. Ito: The Mordell–Weil groups of unirational quasi-elliptic surfaces in characteristic 2. Tohoku Math. J. 46 (1994), 221–251. 6.3, 6.4, 6.4, 6.5
work page 1994
-
[46]
J. C. Jantzen: Representations of Algebraic Groups. 2nd ed., AMS, 2003. 2.1
work page 2003
- [47]
-
[48]
Koll´ ar: Rational curves on algebraic varieties
J. Koll´ ar: Rational curves on algebraic varieties. Springer, Berlin, 1995. 7.4
work page 1995
- [49]
-
[50]
S. Kond¯ o, S. Schr¨ oer: Kummer surfaces associated with group schemes. Manuscripta Math. 166 (2021), 323–342. Introduction, 5.1
work page 2021
-
[51]
Lang: Algebraic groups over finite fields
S. Lang: Algebraic groups over finite fields. Amer. J. Math. 78 (1956), 555–563. 1.6
work page 1956
-
[52]
Langer: Birational geometry of compactifications of Drinfeld half-spaces over a finite field
A. Langer: Birational geometry of compactifications of Drinfeld half-spaces over a finite field. Adv. Math. 345 (2019), 861–908. Introduction, 4.1
work page 2019
-
[53]
B. Laurent, S. Schr¨ oer: Para-abelian varieties and Albanese maps. Bull. Braz. Math. Soc. 55 (2024), 1–39. Introduction, 5.2, 7.4, 8.1, 9.3
work page 2024
-
[54]
Lipman: Rational singularities, with applications to algebraic surfaces and unique factor- ization
J. Lipman: Rational singularities, with applications to algebraic surfaces and unique factor- ization. Inst. Hautes ´Etudes Sci. Publ. Math. 36 (1969), 195–279. 6.5, 6.5
work page 1969
-
[55]
Lusztig: Coxeter orbits and eigenspaces of Frobenius
G. Lusztig: Coxeter orbits and eigenspaces of Frobenius. Invent. Math. 38 (1976), 101–159. Introduction
work page 1976
-
[56]
Lusztig: Irreducible representations of finite classical groups
G. Lusztig: Irreducible representations of finite classical groups. Invent. Math. 43 (1977), 125–175. Introduction
work page 1977
-
[57]
Lusztig: Characters of reductive groups over a finite field
G. Lusztig: Characters of reductive groups over a finite field. Princeton University Press, Princeton, NJ, 1984. Introduction
work page 1984
- [58]
-
[59]
J. Milne: Algebraic groups. Cambridge University Press, Cambridge, 2017. 1.2
work page 2017
-
[60]
Miyanishi: Unirational quasi-elliptic surfaces
N. Miyanishi: Unirational quasi-elliptic surfaces. Japan. J. Math. 3 (1977), 395–416. 6.4
work page 1977
-
[61]
V. Nikulin: On Kummer surfaces. Math. USSR Izv. 9 (1975), 261–275. Introduction
work page 1975
-
[62]
Ono: An Identification of Suzuki Groups With Groups of Generalized Lie Type
T. Ono: An Identification of Suzuki Groups With Groups of Generalized Lie Type. Annals of Math. 75, (1962), 251–259. 8.2
work page 1962
-
[63]
Ono: Correction to ”An identification of Suzuki groups with groups of generalized Lie type”
T. Ono: Correction to ”An identification of Suzuki groups with groups of generalized Lie type”. Ann. of Math. 77 (1963), 413. 8.2 DELIGNE–LUSZTIG V ARIETIES 77
work page 1963
-
[64]
Pedersen: A function field related to the Ree group
J. Pedersen: A function field related to the Ree group. In: H. Stichtenoth and M. Tsfasman (eds.), Coding theory and algebraic geometry, pp. 122–131. Springer, Berlin, 1992. 9.2
work page 1992
-
[65]
Ree: A family of simple groups associated with the simple Lie algebra of type (G 2)
R. Ree: A family of simple groups associated with the simple Lie algebra of type (G 2). Amer. J. Math. 83 (1961), 432–462. 8.2, 9.1
work page 1961
-
[66]
Rodier: Nombre de points des surfaces de Deligne et Lusztig
F. Rodier: Nombre de points des surfaces de Deligne et Lusztig. J. Alg.227, 706–766 (2000). Introduction, 6.1
work page 2000
-
[67]
Schoof: Nonsingular plane cubic curves over finite fields
R. Schoof: Nonsingular plane cubic curves over finite fields. J. Combin. Theory Ser. A 46 (1987), 183–211. 7.3
work page 1987
-
[68]
Schr¨ oer: There is no Enriques surface over the integers
S. Schr¨ oer: There is no Enriques surface over the integers. Ann. of Math. 197 (2023), 1–63. Introduction, 5.1, 6.3
work page 2023
-
[69]
J.-P. Serre: A course in arithmetic. Springer, New York-Heidelberg, 1973. 6.3
work page 1973
- [70]
- [71]
-
[72]
Steinberg: Endomorphisms of linear algebraic groups
R. Steinberg: Endomorphisms of linear algebraic groups. American Mathematical Society, Providence, RI, 1968. 1.6, 1.11
work page 1968
-
[73]
Steinberg: The isomorphism and isogeny theorems for reductive algebraic groups
R. Steinberg: The isomorphism and isogeny theorems for reductive algebraic groups. J. Alge- bra 216 (1999), 366–383. 1.2
work page 1999
-
[74]
H. Stichtenoth: ¨Uber die Automorphismengruppe eines algebraischen Funktionenk¨ orpers von Primzahlcharakteristik. I. Arch. Math. 24 (1973), 527–544. Introduction
work page 1973
-
[75]
H. Stichtenoth: ¨Uber die Automorphismengruppe eines algebraischen Funktionenk¨ orpers von Primzahlcharakteristik II. Arch. Math. 24 (1973), 615–631. Introduction
work page 1973
-
[76]
Suzuki: A new type of simple groups of finite order
M. Suzuki: A new type of simple groups of finite order. Proc. Nat. Acad. Sci. U.S.A. 46 (1960), 868–870. 8.2
work page 1960
-
[77]
Tate: Algorithm for determining the type of a singular fiber in an elliptic pencil
J. Tate: Algorithm for determining the type of a singular fiber in an elliptic pencil. In: B. Birch, W. Kuyk (eds.), Modular functions of one variable IV, pp. 33–52. Springer, Berlin,
-
[78]
Tits: Ovo¨ ıdes et groupes de Suzuki
J. Tits: Ovo¨ ıdes et groupes de Suzuki. Arch. Math. 13 (1962), 187–198. 8.2
work page 1962
-
[79]
Tits: Les groupes simples de Suzuki et de Ree
J. Tits: Les groupes simples de Suzuki et de Ree. S´ eminaire Bourbaki, Vol. 6, Exp. No. 210, 65–82. Soc. Math. France, Paris, 1995. 9.1
work page 1995
-
[80]
J. Todd: As it might have been. Bull. London Math. Soc. 2 (1970), 1–4. 8.2
work page 1970
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.