An arithmetic analog of Klein's classification of finite subgroups of $\mathrm{SL}_2(\mathbb{C})$

Christian Liedtke; Matthew Satriano

REVIEW 3 major objections 4 minor 32 references

An arithmetic analog of Klein's classification of finite subgroups of $\mathrm{SL}_2(\mathbb{C})$

T0 review · 3 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read Over the ring of integers of a number field, every finite flat linearly reductive subgroup scheme of SL2 is, up to a flat cover, conjugate to the standard embedding of the n-th roots of unity.

desk verdict A genuine extension of Klein's classification to rings of integers, but the quantitative lower bound rests on a false left-exactness in a split nonabelian cohomology sequence. read the letter →

arxiv 2506.21210 v1 pith:S6DZSICQ submitted 2025-06-26 math.AG math.NT

Christian Liedtke , Matthew Satriano This is my paper

classification math.AGmath.NT MSC 11E5711E7214L1514L3014J17

keywords finitegroupschemeslinearalgebraicgroupsarithmeticbasequotientsingularitiesrationaldoublepointsflatcohomologyclassquadratictwists

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 proves that over the ring of integers of a number field, every finite flat linearly reductive subgroup scheme of SL2 of length n is, after a flat cover, conjugate to the standard diagonal embedding of the n-th roots of unity. It then turns this geometric statement into a cohomological count: the set of such subgroup schemes up to GL2-conjugacy is finite, has size independent of n for n at least 3, and is at least as large as the class number of the field. The associated quotient singularities form arithmetic families of rational double points, whose fiber types split evenly between type $A_{n-1}$ and type $B_{\beta(n)}$ according to an unramified quadratic twist. This gives an arithmetic counterpart to the classical complex classification, with only one infinite family surviving because residue characteristic 2 forces the special fiber to be cyclic.

What carries the argument

The argument is carried by a rigidity theorem for finite flat linearly reductive group schemes over an excellent Dedekind scheme: if two such subgroup schemes of $\mathrm{GL}_{n,S}$ are conjugate at one fiber, then they are conjugate after an fppf cover of the base. Applied to a point of residue characteristic 2, where the classification of linearly reductive subgroup schemes of $\mathrm{SL}_2$ over an algebraically closed field contains only the cyclic $\mu_n$, rigidity forces every $G$ to be an fppf twisted form of the standard embedding. The twisted forms are then classified by the kernel of $H^1_{\mathrm{fppf}}(\mathcal{O}_K,N_{\mathrm{GL}_2}(\mu_n)) \to H^1_{\mathrm{fppf}}(\mathcal{O}_K,\mathrm{GL}_2)$, with the normalizer sitting in a split exact sequence $1 \to \mathbb{G}_m^2 \to N \to \mathbb{Z}/2\mathbb{Z} \to 1$. Zariski-local forms correspond to pairs of line bundles on $\mathrm{Spec}\,\mathcal{O}_K$, controlled by a classical structure theorem for Dedekind domains, while the $\mathbb{Z}/2\mathbb{Z}$ part corresponds to unramified quadratic extensions, controlled by the ray class group of modulus 1.

What would settle it

For a number field with class number greater than 1, such as $K = \mathbb{Q}(\sqrt{-5})$, compute the flat cohomology of the normalizer and check whether the two pairs $([\mathfrak{p}],[\mathcal{O}_K])$ and $([\mathcal{O}_K],[\mathfrak{p}])$ in $\mathrm{Cl}_K^2$ become equal in $H^1_{\mathrm{fppf}}(\mathcal{O}_K,N_{\mathrm{GL}_2}(\mu_n))$; equality would reduce the size of the conjugacy set below the class number and refute the lower bound.

Watch

Extended reading notes

Core claim

The central claim is that a finite flat linearly reductive subgroup scheme $G \subset \mathrm{SL}_{2,\mathcal{O}_K}$ of length $n$ is an fppf locally trivial conjugate of the standard embedding $\mu_n \subset \mathrm{SL}_{2,\mathcal{O}_K}$. In particular, the set of such subgroup schemes up to $\mathrm{GL}_2$-conjugacy is finite for every $n$; for $n \ge 3$ its cardinality is independent of $n$ and at least the class number $h_K$, and it is a singleton exactly when the ray class group of modulus 1 is trivial. When $G$ is not the standard $\mu_n$, it is the quadratic twist of $\mu_n$ with respect to inversion over an unramified quadratic extension of $K$; fibers over primes split or inert in that extension give rational double points of type $A_{n-1}$ or $B_{\beta(n)}$, respectively, each set of primes having Dirichlet density $1/2$.

Load-bearing premise

The counting argument assumes that the two line-bundle parameters that describe a class in the normalizer cohomology are not identified with each other by the swap symmetry of the normalizer; if they are identified, the lower bound would become a smaller quotient of the class group.

Editorial extensions

If this is right

The set for length 2 is a singleton, so the only length-2 finite flat linearly reductive subgroup scheme is the standard $\mu_2$ up to conjugacy.
For $n \ge 3$, the size of the conjugacy set is independent of $n$ and is at least the class number, so it is unbounded as the number field varies.
The conjugacy set is a singleton exactly when the ray class group of modulus 1 is trivial; this includes the rational numbers and imaginary quadratic fields of class number 1.
A non-standard subgroup scheme yields an arithmetic family of rational double points over $\mathcal{O}_K$ in which half the closed fibers are of type $A_{n-1}$ and half of type $B_{\beta(n)}$, with both sets of primes infinite.
Removing a finite set of primes while keeping at least one prime above 2 preserves finiteness and $n$-independence; removing all primes above 2 brings additional group-scheme types such as binary dihedral ones into play.

Reading between the lines

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

The count $|\mathrm{Klein}(n,\mathcal{O}_K)|$ likely admits a formula in terms of the class numbers of $K$ and of each unramified quadratic extension $L/K$, with the split or inert distinction entering through a quotient by the inversion action; the paper only sketches this formula.
The rigidity mechanism suggests a broader principle: over any base with a fiber of characteristic 2, finite linearly reductive subgroups of $\mathrm{SL}_2$ collapse to twisted $\mu_n$, so similar finiteness should hold for more general arithmetic bases than rings of integers.
The worked examples show that the invariant ring can need more than three generators even when a degree bound holds; a natural testable extension is to determine the minimal number of generators for the quadratic-twist families.
The predicted density $1/2$ for inert versus split primes could be checked computationally for a fixed number field and a fixed non-standard $G$, by counting primes below a large bound.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

First, what you should know: this is a real step beyond [LS25]. The authors move the classification of finite linearly reductive subgroup schemes of SL_2 from fields to rings of integers, show that over O_K every such scheme is fppf-locally conjugate to the standard μ_n, and give a cohomological classification. Finiteness and density results are new, and the paper is carefully organized.

The proof architecture is sound in the main. The rigidity theorem over Dedekind schemes, the reduction to μ_n using characteristic 2, the normalizer computation, and the Steinitz-based analysis of Zariski-local forms all work. Section 8's explicit non-standard embedding and invariant ring computation is careful and informative.

The soft spot is real and affects one theorem. The paper claims (6)/(13) is a short exact sequence of pointed sets 1→H^1(G_m^2)→H^1(N_GL2(μ_n))→H^1(Z/2)→1. It is not exact on the left. The splitting matrix w=[[0,1],[-1,0]] acts on H^1(G_m^2) by swapping the two line-bundle factors, and in nonabelian cohomology this identifies (L1,L2) with (L2,L1) in the fiber over the trivial class. So H^1(G_m^2) does not inject when Pic(O_K) is nontrivial.

This undermines the proof of Theorem 9.5(2). The lower bound |Klein(n,O_K)| ≥ h_K comes from identifying a fiber with Cl_K via pairs (L,L^{-1}); after quotienting by the swap action, the contribution is (h_K+|Cl_K[2]|)/2. For K=Q(√-23), h_K=3 but the corrected count is 2, so the inequality is false as stated.

The rest survives. Finiteness, n-independence, the singleton criterion, and the density statements do not rely on that lower bound; the singleton proof can be reworked using h_K=1 once the correct count is in place. This is a conditionally acceptable paper: the structure is right, the quantitative statement needs repair.

I would send it to a serious referee. The flaw is subtle and the authors are well positioned to fix it. Readers interested in arithmetic quotient singularities should use the main classification and examples, but should not quote the lower bound from the current version.

Recommendation: accept for peer review, expect a substantive revision.

Referee Report

3 major / 4 minor

Summary. The paper proposes an arithmetic analogue of Klein's classification. For a number field K, the authors study the set Klein(n,O_K) of finite flat linearly reductive subgroup schemes of SL_{2,O_K} of length n modulo GL_2-conjugacy. Their main theorem asserts that every such subgroup scheme is fppf locally conjugate to the standard embedding μ_n, that Klein(n,O_K) is finite and independent of n for n≥3, that its cardinality is at least the class number h_K, and that it is a singleton exactly when the ray class group Cl^1_K is trivial. The proof combines rigidity of finite flat group schemes over Dedekind schemes, a torsor-theoretic description of locally conjugate subgroups, and an analysis of the normalizer N_{GL_2}(μ_n) and its flat cohomology.

Significance. The result is significant if the counting statements are corrected: it gives a new arithmetic classification theorem in which the Klein set is governed by the class group and by unramified quadratic twists, and it yields concrete density statements for the associated families of rational double point singularities. The paper has genuine strengths: the rigidity theorem (Theorem 4.7), the cohomological dictionary (Theorem 5.2), the explicit examples of non-standard embeddings in Section 8, and the divisor-density results in Section 9 are all valuable contributions. However, the proof of the lower bound |Klein(n,O_K)| ≥ h_K relies on a left-exactness assertion that is false in general, so the main numerical claim is not established as stated.

major comments (3)

[Section 7.2, Eq. (6); also Eqs. (2) and (13)] The displayed 'short exact sequence of pointed cohomology sets' is not exact on the left. In the split extension 1 → G_m^2 → N_{GL_2}(μ_n) → Z/2 → 1, the nontrivial element of Z/2 acts on G_m^2 by interchanging the two diagonal entries, i.e., by the swap matrix w = [[0,1],[1,0]] (or its SL_2 analogue). Consequently H^1(S,G_m^2) need not inject into H^1(S,N_{GL_2}(μ_n)): a class (L,M) and the class (M,L), which are distinct in H^1(S,G_m^2) when Pic(S) is nontrivial, become cohomologous after the pushforward to the normalizer. The correct description of the fiber over the trivial class of H^1(S,Z/2) is a quotient of H^1(S,G_m^2) by this twisting action, not H^1(S,G_m^2) itself. This affects the literal exactness claims in Eqs. (2), (6), and (13).
[Section 9.1, proof of Theorem 9.5(2); Theorem 1.3(2)(b)] The lower bound |Klein(n,O_K)| ≥ h_K is obtained by identifying the contribution of the trivial Z/2-fiber with Cl_K via the injectivity that fails. After taking the swap action into account, the contribution of pairs (L,L^{-1}) with L ∈ Cl_K is the number of orbits under L ↔ L^{-1}, namely (h_K + |Cl_K[2]|)/2, not h_K. For K = Q(√-23) one has Cl_K ≅ Z/3, so Cl_K[2] is trivial and Cl^1_K has odd order; hence H^1(O_K,Z/2) = 0 and the only contribution is from the trivial fiber. The corrected count gives (3+1)/2 = 2 classes, whereas h_K = 3. Thus the inequality asserted in Theorem 1.3(2)(b) and Theorem 9.5(2) is false as stated. Finiteness and n-independence may survive, but the proof of the singleton criterion in Theorem 9.5(3) also uses the false lower bound to conclude h_K = 1, so that part needs a different argument.
[Section 4.2, Theorem 4.7(3)] The proof of Theorem 4.7(3), which is the rigidity statement for conjugate closed subgroup schemes of GL_{n,S}, is deferred with 'we leave it to the reader.' This statement is load-bearing for Theorem 6.1, the reduction of all Klein(n,S) to twisted forms of μ_n, and hence for the whole paper. A full proof, or a precise reference to a result that contains it, should be supplied.

minor comments (4)

[Theorem 1.4(2)] There is a typo: 'such such that' should read 'such that'.
[Proof of Theorem 9.5(2)] In the chain H^1(O_K,G_m^2) → H^1(O_K,N_{GL_2}(μ_n)) → H^1(O_K,GL_{1,O_K}), the final displayed target should be GL_{2,O_K}, not GL_{1,O_K}.
[Proposition 7.1 and Eq. (5)] The matrix (5), namely [[0,1],[-1,0]], has square -I and therefore does not give a group-theoretic splitting of the exact sequence for the SL_2 normalizer; for the GL_2 normalizer one can use [[0,1],[1,0]], which has order 2. The statement in the introduction that both sequences in (1) are split should be adjusted accordingly.
[Section 9.3] The treatment of the infinite places is summarized with 'we leave this to the reader.' Since this material is part of Theorem 1.4, a brief argument or a reference for the three listed cases would be desirable.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main theorem follows from an external characteristic-2 classification and an internally proved rigidity theorem.

full rationale

The paper's central chain is not circular. Theorem 1.1 derives the fppf-local conjugacy of every G in Klein(n, O_K) to the standard μ_n embedding from two ingredients: Theorem 3.2, which is the external classification of Hashimoto and Klein over algebraically closed fields of characteristic 2, and Theorem 4.7, a rigidity statement proved in the present paper using deformation theory and cited results [AOV08, LMM]. The cohomological parametrization in Corollary 6.2 is obtained from Theorem 5.2, whose proof is given via torsor constructions rather than assumed. The self-citations [LS25] and [LMM] supply field-level classifications and lifting/rigidity facts that are prior, independently published results and are not used as inputs already containing the O_K classification. The suspected failure of left-exactness in the split sequence (2)/(6)/(13), involving the swap action of the normalizer on H^1(G_m^2), is a mathematical correctness concern about the lower bound |Klein(n,O_K)| ≥ h_K, not a circularity: the paper does not define its conclusion into its hypotheses, and a correction to the quotient by the swap action would still leave the main structural derivation intact. Accordingly, no step reduces by construction to its own inputs.

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

The central claims rest on established classification, rigidity, and arithmetic theorems from the prior literature; no new free parameters or postulated entities enter.

assumptions (5)

standard math Classification of finite linearly reductive subgroup schemes of SL2 over algebraically closed fields (Theorem 3.2, Hashimoto/Klein), in particular only μ_n in characteristic 2.
Used in Theorem 6.1 to reduce to μ_n via a residue field of characteristic 2.
domain assumption Rigidity and lifting results for finite flat linearly reductive group schemes over complete DVRs and excellent Dedekind schemes (Proposition 4.3, Theorem 4.7, based on [LMM, Prop 2.4] and [AOV08, Thm 2.16]).
This is the key mechanism that turns an isomorphism over one geometric fiber into fppf local conjugacy over the base.
standard math Steinitz theorem on decompositions of projective modules over Dedekind domains (Theorem 7.13).
Used to translate the kernel of H^1(G_m^2)→H^1(GL_2) into the class group.
standard math Class field theory and Chebotarev density theorem for unramified quadratic extensions (Propositions 9.4, 9.10).
Gives finiteness of H^1(O_K,Z/2) and density 1/2 for inert and split primes.
standard math Linearly reductive quotient singularities over nonclosed fields of type B_β(n) from [LS25, Theorem 1.1].
Used in Proposition 9.8 to identify split-fiber singularities as B_β(n).

how reviews work

0 comments

Cite this review

Pith. "Pith review of An arithmetic analog of Klein's classification of finite subgroups of $\mathrm{SL}_2(\mathbb{C})$." pith.science (2026). https://pith.science/paper/S6DZSICQ

@misc{pith2026250621210,
  author       = {Pith},
  title        = {Pith review of: An arithmetic analog of Klein's classification of finite subgroups of $\mathrmSL_2(\mathbbC)$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/S6DZSICQ}},
  note         = {Machine review of arXiv:2506.21210}
}

abstract

Let $K$ be a number field with ring of integers $\mathcal{O}_K$. We describe and classify finite, flat, and linearly reductive subgroup schemes of $\mathrm{SL}_2$ over $\mathrm{Spec}\:\mathcal{O}_K$. We also establish finiteness results for these group schemes, as well as density results for the associated quotient singularities.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

32 extracted references · 30 canonical work pages

[2]

Artin, Algebraic approximation of structures over complete local rings, Inst

M. Artin, Algebraic approximation of structures over complete local rings, Inst. Hautes \'Etudes Sci. Publ. Math. No. 36 (1969), 23--58

work page 1969
[1]

Abramovich, M

D. Abramovich, M. Olsson, A. Vistoli, Tame stacks in positive characteristic, Ann. Inst. Fourier (Grenoble) 58 (2008), no.4, 1057--1091

work page 2008
[3]

Artin, Coverings of the rational double points in characteristic p , Complex analysis and algebraic geometry, pp

M. Artin, Coverings of the rational double points in characteristic p , Complex analysis and algebraic geometry, pp. 11--22, Iwanami Shoten Publishers, Tokyo, 1977

work page 1977
[4]

Bosch, W

S. Bosch, W. L\"utkebohmert, M. Raynaud, N\'eron models, Ergeb. Math. Grenzgeb. (3), 21, Springer (1990)

work page 1990
[5]

ten komplexer Fl\

E. Brieskorn, Rationale Singularit\"ten komplexer Fl\"achen, Invent. Math. 4 (1967/68), 336--358

work page 1967
[6]

Chin, Crossed products of semisimple cocommutative Hopf algebras, Proc

W. Chin, Crossed products of semisimple cocommutative Hopf algebras, Proc. Amer. Math. Soc. 116 (1992), no. 2, 321--327

work page 1992
[7]

Conrad, Reductive group schemes, Autour des sch\'emas en groupes

B. Conrad, Reductive group schemes, Autour des sch\'emas en groupes. Vol. I, 93--444, Panor. Synth\`eses, 42/43, Soci\'et\'e Math\'ematique de France, 2014

work page 2014
[8]

Conrad, A non-free relative integral extension, notes available from https://kconrad.math.uconn.edu/blurbs/gradnumthy/notfree.pdf

K. Conrad, A non-free relative integral extension, notes available from https://kconrad.math.uconn.edu/blurbs/gradnumthy/notfree.pdf

work page

Show all 32 references

[9]

Curtis, I

C.W. Curtis, I. Reiner, Representation theory of finite groups and associative algebras, Reprint of the 1962 original, AMS Chelsea Publishing, 2006

1962
[10]

Durfee, Fifteen characterizations of rational double points and simple critical points, Enseign

A.H. Durfee, Fifteen characterizations of rational double points and simple critical points, Enseign. Math. (2) 25 (1979), no. 1-2, 131--163

1979
[11]

Fontaine, Il n'y a pas de vari\'et\'e ab\'elienne sur Z, Invent

J.-M. Fontaine, Il n'y a pas de vari\'et\'e ab\'elienne sur Z, Invent. Math. 81 (1985), no. 3, 515--538

1985
[12]

Fr\"ohlich, M.J

A. Fr\"ohlich, M.J. Taylor, Algebraic number theory, Cambridge studies in advanced mathematics 27, Cambridge University Press (1991)

1991
[13]

Giraud, Cohomologie non ab\'elienne Die Grundlehren der mathematischen Wissenschaften 179, Springer (1971)

J. Giraud, Cohomologie non ab\'elienne Die Grundlehren der mathematischen Wissenschaften 179, Springer (1971)

1971
[14]

Hashimoto, Classification of the linearly reductive finite subgroup schemes of SL_2 , Acta Math

M. Hashimoto, Classification of the linearly reductive finite subgroup schemes of SL_2 , Acta Math. Vietnam. 40 (2015), no.3, 527--534

2015
[15]

Kemper, C

G. Kemper, C. Liedtke, C. Ott, On Noether's Degree Bound for Finite Group Schemes, arXiv:2505.24752 (2025)

2025 arXiv
[16]

uber das Ikosaeder und die Aufl\

F. Klein, Vorlesungen \"uber das Ikosaeder und die Aufl\"osung der Gleichungen vom f\"unften Grade, Reprint of the 1884 original. Edited, with an introduction and commentary by Peter Slodowy. Birkh\"auser Verlag (1993)

1993
[17]

Lang, Algebraic Number Theory, Second edition, Grad

S. Lang, Algebraic Number Theory, Second edition, Grad. Texts in Math. 110, Springer (1994)

1994
[18]

Liedtke, A McKay Correspondence in Positive Characteristic, Forum Math

C. Liedtke, A McKay Correspondence in Positive Characteristic, Forum Math. Sigma 12 (2024), Paper No. e116, 36 pp

2024
[19]

Liedtke, G

C. Liedtke, G. Martin, Y. Matsumoto, Linearly Reductive Quotient Singularities, arXiv:2102.01067 (2021), to appear in Ast\'erisque

2021
[20]

Liedtke, M

C. Liedtke, M. Satriano, On the birational nature of lifting, Adv. Math. 254 (2014), 118--137

2014
[21]

Liedtke, M

C. Liedtke, M. Satriano, On rational double points over nonclosed fields, arXiv:2503.19787 (2025)

2025 arXiv
[22]

Lipman, Rational singularities, with applications to algebraic surfaces and unique factorization, Inst

J. Lipman, Rational singularities, with applications to algebraic surfaces and unique factorization, Inst. Hautes \'Etudes Sci. Publ. Math. No. 36, (1969), 195--279

1969
[23]

Milne, \'Etale Cohomology, PMS-33, Princeton University Press (1980)

J.S. Milne, \'Etale Cohomology, PMS-33, Princeton University Press (1980)

1980
[24]

Nagata, Complete reducibility of rational representations of a matric group, J

M. Nagata, Complete reducibility of rational representations of a matric group, J. Math. Kyoto Univ. 1 1961/1962, 87--99

1961
[25]

Neukirch, Algebraic number theory, Grundlehren Math

J. Neukirch, Algebraic number theory, Grundlehren Math. Wiss. 322, Springer (1999)

1999
[26]

Noether, Der Endlichkeitssatz der Invarianten endlicher Gruppen, Math

E. Noether, Der Endlichkeitssatz der Invarianten endlicher Gruppen, Math. Ann. 77 (1916), 89--92

1916
[27]

F. Oort, J. Tate, Group schemes of prime order, Ann. Sci. \'Ecole Norm. Sup. (4) 3 (1970), 1--21

1970
[28]

Satriano, The Chevalley--Shephard--Todd theorem for finite linearly reductive group schemes, Algebra Number Theory 6 (2012), no

M. Satriano, The Chevalley--Shephard--Todd theorem for finite linearly reductive group schemes, Algebra Number Theory 6 (2012), no. 1, 1--26

2012
[29]

Serre, Galois Cohomology, Corrected reprint of the 1997 English edition, Springer Monogr

J.-P. Serre, Galois Cohomology, Corrected reprint of the 1997 English edition, Springer Monogr. Math., Springer, 2002

1997
[30]

Steinitz, Rechteckige Systeme und Moduln in algebraischen Zahlk\"orpern

E. Steinitz, Rechteckige Systeme und Moduln in algebraischen Zahlk\"orpern. II, Math. Ann. 72 (1912), no. 3, 297--345

1912
[31]

Waterhouse, Introduction to Affine Group Schemes,

W.C. Waterhouse, Introduction to Affine Group Schemes,
[32]

J. A. Wolf, Spaces of constant curvature, Sixth edition. AMS Chelsea Publishing (2011)

2011

Pith tools

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

[1] [2]

Artin, Algebraic approximation of structures over complete local rings, Inst

M. Artin, Algebraic approximation of structures over complete local rings, Inst. Hautes \'Etudes Sci. Publ. Math. No. 36 (1969), 23--58

work page 1969

[2] [1]

Abramovich, M

D. Abramovich, M. Olsson, A. Vistoli, Tame stacks in positive characteristic, Ann. Inst. Fourier (Grenoble) 58 (2008), no.4, 1057--1091

work page 2008

[3] [3]

Artin, Coverings of the rational double points in characteristic p , Complex analysis and algebraic geometry, pp

M. Artin, Coverings of the rational double points in characteristic p , Complex analysis and algebraic geometry, pp. 11--22, Iwanami Shoten Publishers, Tokyo, 1977

work page 1977

[4] [4]

Bosch, W

S. Bosch, W. L\"utkebohmert, M. Raynaud, N\'eron models, Ergeb. Math. Grenzgeb. (3), 21, Springer (1990)

work page 1990

[5] [5]

ten komplexer Fl\

E. Brieskorn, Rationale Singularit\"ten komplexer Fl\"achen, Invent. Math. 4 (1967/68), 336--358

work page 1967

[6] [6]

Chin, Crossed products of semisimple cocommutative Hopf algebras, Proc

W. Chin, Crossed products of semisimple cocommutative Hopf algebras, Proc. Amer. Math. Soc. 116 (1992), no. 2, 321--327

work page 1992

[7] [7]

Conrad, Reductive group schemes, Autour des sch\'emas en groupes

B. Conrad, Reductive group schemes, Autour des sch\'emas en groupes. Vol. I, 93--444, Panor. Synth\`eses, 42/43, Soci\'et\'e Math\'ematique de France, 2014

work page 2014

[8] [8]

Conrad, A non-free relative integral extension, notes available from https://kconrad.math.uconn.edu/blurbs/gradnumthy/notfree.pdf

K. Conrad, A non-free relative integral extension, notes available from https://kconrad.math.uconn.edu/blurbs/gradnumthy/notfree.pdf

work page