{"id":"fb4d5f2c-a825-443e-af9f-49972abc4fc2","arxiv_id":"1908.02438","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Finite group schemes of essential dimension one are exactly those that act generically freely on the projective line, with explicit classification for infinitesimal groups.","lead":"This paper proves that a finite group scheme with essential dimension one embeds in PGL_2, and classifies all infinitesimal group schemes with this property. It gives researchers a clean structural test and explicit lists of such groups.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The char-2 classification of multiplicative groups rests on the unproved external bound [6, Prop. 6.1] for twisted μ_{2^n}; this is the only genuinely load-bearing dependency.","rationale":"The reader's weakest assumption correctly identifies the only substantial unresolved dependency. The note's structural theorem, the embedding into PGL_{2/k}, and the Lie-algebra bound are derived internally; the lift-to-GL_2 criterion for infinitesimal groups is supported by the extension argument and the unipotent fixed-point claim. The classification of multiplicative groups in characteristic 2 is the one place where the proof calls on a nontrivial published bound that is not demonstrated in the paper. Since [6, Prop. 6.1] is a published result and the citation appears to be the standard reference for exactly this phenomenon, this dependency does not by itself undermine acceptance. The concern is genuine but external: if the cited proposition were misapplied or false, the classification would lose the exclusion of twisted μ_{2^n}, but I have no evidence that this is the case. Therefore the reader's ACCEPT verdict stands, with the caveat that the char-2 multiplicative case should be verified against the source. My read agrees with the reader's weakest_assumption; I would not adjust the verdict.","tokens_in":8232,"tokens_out":37042,"duration_ms":444187,"concrete_test":"Pull up the exact statement of [6, Proposition 6.1] and verify that it applies to the finite flat group scheme μ_{2^n} and its quadratic twists, not only to algebraic tori. If it is a torus statement, prove the reduction from ed_k(G;2) for the twisted finite subgroup to the corresponding 2-dimensional affine torus. As a direct cross-check, compute the 2-essential dimension of a nontrivial quadratic twist of μ_{2^n} in characteristic 2 by testing whether its versal torsor admits a one-dimensional compression; if such a compression exists, the exclusion in Theorem 1.1(2)(c) fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The single most load-bearing point is the exclusion of non-split quadratic twists of μ_{2^n} in characteristic 2 in Theorem 1.1(2)(c). The proof reduces this exclusion to [6, Proposition 6.1], cited without proof, asserting that a nontrivial quadratic twist of μ_{2^n} has 2-essential dimension 2. The note does not reproduce the proposition or indicate how the essential dimension of the finite flat subgroup scheme μ_{2^n} is obtained from the essential dimension of its ambient algebraic torus. If [6, Prop. 6.1] actually concerns only tori, or if its hypotheses do not cover the finite group scheme of multiplicative type, then the conclusion that ed_k(G;2)=2 need not follow, and a non-split twisted μ_{2^n} could have essential dimension one, invalidating the classification. I reviewed the internal arguments, including Proposition 2.2 and the unipotent fixed-point claim; they are terse but coherent, and I found no internal inconsistency that would threaten the main theorem independently of this external result.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies finite group schemes of essential dimension one over a field k. Theorem 1.1 states that if ed_k(G)=1, then G embeds in PGL_{2/k} and dim_k Lie(G) ≤ 1. For infinitesimal G, it gives an if-and-only-if criterion in terms of an embedding into PGL_2, a one-dimensional Lie algebra, and a lift to GL_2, and it lists the possible groups: α_{p^n}, μ_{p^n}, and, for p ≠ 2, quadratic twists of μ_{p^n} that become split over a quadratic extension. The paper also proves Theorem 4.1, a characterization for perfect fields when the étale quotient is constant, and applies the main theorem to show that the p-torsion of a supersingular elliptic curve has essential dimension two. The main technical novelty is an extension criterion, Proposition 2.2, for rational actions of infinitesimal group schemes on curves.","tokens_in":8321,"tokens_out":12227,"duration_ms":144987,"significance":"If correct, the paper gives a clean and explicit classification of a previously only partially understood class of objects, and it reduces the essential-dimension-one condition to an embedding problem in PGL_2. The proof is concise and mostly self-contained, with the p=2 case explicitly addressed and an earlier error acknowledged. The extension criterion in Proposition 2.2 is a useful tool in its own right. The external result used for the characteristic-2 multiplicative case is, however, a load-bearing dependency that needs to be made fully transparent; with that resolved, the main theorem would be a significant contribution to the essential dimension literature.","major_comments":[{"comment":"The exclusion of nontrivial quadratic twists of μ_{2^n} in characteristic 2 is delegated to [6, Proposition 6.1], which is neither stated nor reproduced. Since reference [6] is a paper on algebraic tori, it is not evident from the present text that its hypotheses apply to finite flat group schemes of multiplicative type such as a twisted μ_{2^n}. If that proposition concerns only tori, then the assertion ed_k(G;2)=2 for twisted μ_{2^n}, and hence part (2)(c) of Theorem 1.1, has no proof in the paper. Please state the proposition explicitly, verify its applicability to these finite group schemes, or supply a direct proof.","section":"§3, proof of Theorem 1.1(2)(c), char(k)=2 case"},{"comment":"The sentence 'Since Lie(G) is one dimensional, the action of G on V ... is generically free' is used to invoke versality and obtain a rational equivariant map V → P^1, but no justification is given. The assertion is plausible and likely true, but it is a load-bearing step for the unipotent case; a short argument, for example showing that a nontrivial generic stabilizer would act trivially on k(V) and contradict faithfulness, should be included.","section":"§3, proof of the Claim in the unipotent case"}],"minor_comments":[{"comment":"The word 'embeded' should be 'embedded'.","section":"§1, Theorem 1.1(1)"},{"comment":"The assertion that the restriction f|_U is surjective is compressed into a parenthetical about complete intersection curves; since this is the only place the curve hypothesis is used, one sentence explaining why f|_C is both proper and dominant would improve clarity.","section":"§2.1, Proposition 2.2"},{"comment":"The phrase 'ed_k(G0)=1 and ed_k(Get)' should read 'ed_k(G0)=1 and ed_k(Get)=1'.","section":"§4.1, proof of Theorem 4.1"},{"comment":"The paper uses p-essential dimension ed_k(G;p) in §3 but does not define it; a one-line definition or an explicit pointer to [7, §3d] would make the note more self-contained.","section":"§1.1"},{"comment":"There are typographical artifacts such as '/axisshort/axisshort/arrowaxisright' in the displayed statement; these should be replaced by proper arrow notation in the published version.","section":"§2.1, Proposition 2.2"}],"recommendation":"major_revision","confidential_remarks":"The paper is suitable for the journal and the main theorem is likely correct, but the characteristic-2 exclusion of twisted μ_{2^n} depends on an external result whose applicability to finite group schemes is not demonstrated. If the author can quote or prove the needed statement, the paper should be acceptable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The headline result is exactly what the title says: a finite group scheme of essential dimension one embeds in PGL_2, and for infinitesimal groups this gives a complete list: α_{p^n}, μ_{p^n}, and — for p≠2 — quadratic twists of μ_{p^n}. The proof is clear and mostly self-contained, with the structure theory of group schemes used in a straightforward way. Proposition 2.2, an extension criterion for rational actions on curves, is the key new tool, and it is nicely motivated by the example showing why the hypothesis is needed.\n\nWhat the paper does well: it states the limitations honestly, fixes the earlier p=2 error mentioned in the acknowledgements, and gives a useful application (the p-torsion of a supersingular elliptic curve has essential dimension two). The classification of infinitesimal groups is genuinely new; prior work covered constant groups only. The proofs are written out in enough detail that I could follow them without filling in gaps, which is rare for this subject.\n\nSoft spots: the main one is the char-2 multiplicative case. Theorem 1.1(2)(c) excludes non-split quadratic twists of μ_{2^n} by invoking [6, Proposition 6.1], which is cited without being stated or proved. The referee should verify that this proposition really applies to finite flat group schemes of multiplicative type and not just to the ambient torus. If it applies, the classification is safe. If it does not, then part (c) collapses. I have no reason to think the citation is wrong, but because the argument rides entirely on that single external result, it deserves a careful check. The other 2-essential dimension result used in Theorem 4.1 is also cited rather than proved, but that is a less central point.\n\nI did not find circularity. The arguments reduce the classification to standard structure theory and to the cited external results; they do not assume what they are trying to prove. The only genuinely load-bearing external dependency is the char-2 twisted μ_{2^n} bound.\n\nWho this is for: anyone working on essential dimension, finite group schemes, or rational actions on curves. It is a well-written research note, not a survey, and it would serve as a good starting point for further classification work. It deserves a serious referee rather than a desk rejection. I would accept the paper with the expectation that the referee checks the [6] dependency and possibly asks the author to state the needed proposition in the text. No rewrite is needed; the paper is already in publishable shape.","headline":"A short, careful proof that essential dimension one forces PGL_2 embeddings and yields a clean classification of infinitesimal groups; the one thing to check in refereeing is the char-2 twisted μ_{2^n} dependency.","tokens_in":8926,"tokens_out":1669,"would_cite":true,"duration_ms":21300,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14L20","14L30","12F05"],"pacs":[],"model":"deepseek-v4-flash","headline":"A finite group scheme with essential dimension one must embed into $PGL_2$, and all infinitesimal examples are $\\alpha_{p^n}$, $\\mu_{p^n}$, and (for odd $p$) quadratic twists of $\\mu_{p^n}$.","keywords":["essential dimension","finite group schemes","infinitesimal group schemes","PGL_2","group actions on curves","alpha_{p^n}","mu_{p^n}","quadratic twists"],"falsifier":"Take $k$ of characteristic $2$ and a non-split quadratic twist $G$ of $\\mu_4$ embedded in $PGL_2$ as a subgroup of the non-split torus. Compute $\\mathrm{ed}_k(G)$ directly by looking for a one-dimensional compression of its versal torsor: if a $G$-torsor over a rational curve dominates all others, then $\\mathrm{ed}_k(G) = 1$ and Theorem 1.1(2) is false; the cited result predicts $\\mathrm{ed}_k(G) = 2$, so the computation would settle the matter.","tokens_in":7922,"feed_emoji":"🧮","tokens_out":6786,"duration_ms":64592,"temperature":0.7,"pith_summary":"The paper establishes a structural constraint: any finite group scheme over a field whose essential dimension is one embeds into the projectivized general linear group $PGL_{2/k}$ and has Lie algebra of dimension at most one. For infinitesimal group schemes, those supported entirely at the identity, this condition is also sufficient, yielding a complete classification: they exist only in positive characteristic and are the groups $\\alpha_{p^n}$, the $p$-power roots of unity $\\mu_{p^n}$, and, when $p \\neq 2$, quadratic twists of $\\mu_{p^n}$. Over algebraically closed fields the same criterion classifies all finite group schemes of essential dimension one. The payoff is that a subtle invariant measuring the complexity of group actions is pinned down completely for an entire class of groups.","feed_headline":"Essential dimension one forces finite group schemes into PGL2","feed_subtitle":"The paper classifies all infinitesimal groups of essential dimension one: only α_{p^n}, μ_{p^n}, and their quadratic twists.","key_machinery":"The load-bearing mechanism is Proposition 2.2, an extension criterion: if an infinitesimal group scheme $G$ has a generically defined action on a normal projective curve $Y$, and there exists a normal projective variety $X$ with a regular $G$-action together with a dominant $G$-equivariant rational map $X \\dashrightarrow Y$, then the action extends uniquely to a regular action on $Y$. This lets the author pass from a versal $G$-torsor over a curve to an honest embedding $G \\hookrightarrow \\mathrm{Aut}(Y) \\cong PGL_{2/k}$. The second ingredient is the structure theory of infinitesimal group schemes with one-dimensional Lie algebra: such a $G$ is either multiplicative or unipotent (Proposition 2.9), and in each case the $PGL_2$ embedding forces a normal form, containment in a torus for multiplicative groups and containment in a Borel subgroup for unipotent groups.","core_discovery":"The central theorem (Theorem 1.1) has two parts. First, if a finite group scheme $G$ over $k$ has $\\mathrm{ed}_k(G) = 1$, then $G$ embeds in $PGL_{2/k}$ and $\\dim_k \\mathrm{Lie}(G) \\leq 1$. Second, for infinitesimal $G$, $\\mathrm{ed}_k(G) = 1$ exactly when $G$ embeds in $PGL_{2/k}$, $\\dim_k \\mathrm{Lie}(G) = 1$, and $G$ lifts to a subgroup scheme of $GL_{2/k}$. The resulting list is $\\alpha_{p^n}$ for all $n > 0$, $\\mu_{p^n}$ for all $n > 0$, and, for $p \\neq 2$, any form of $\\mu_{p^n}$ that becomes isomorphic to $\\mu_{p^n}$ over a quadratic extension. In characteristic $2$, non-split quadratic twists are excluded by a cited computation showing their $2$-essential dimension is $2$. The proof combines a new extension criterion for rational actions on curves with standard structure theory of finite group schemes.","pith_inferences":["The same extension criterion is a natural tool for the open question the paper leaves: whether every finite group scheme action on a function field of transcendence degree one extends to a proper model.","If the lift-to-$GL_2$ condition is necessary for every finite group scheme, as the paper shows for constant and infinitesimal groups, then combining Theorem 1.1 with published lists of constant groups would yield a full classification over arbitrary fields; this is the author's stated next step, not carried out here.","The classification suggests a testable pattern: essential dimension one is equivalent to the existence of a faithful action on a rational curve whose quotient has dimension one, a perspective that may transfer to other low-dimensional group actions."],"forward_implications":["If $\\mathrm{ed}_k(G) = 1$, the group $G$ acts generically freely on $\\mathbb{P}^1_k$, so all essential-dimension-one groups arise from curve quotients $\\mathbb{P}^1 \\to \\mathbb{P}^1/G$.","For infinitesimal groups, essential dimension one can occur only in characteristic $p > 0$; in characteristic $0$ no nontrivial infinitesimal group scheme has essential dimension one.","The $p$-torsion of a supersingular elliptic curve has essential dimension $2$, since it is an extension of $\\alpha_p$ by $\\alpha_p$ but is not isomorphic to $\\alpha_{p^2}$; this answers a question in earlier work on almost-special group schemes.","Any finite commutative unipotent group whose Verschiebung morphism has nilpotence order at least $2$ has essential dimension at least $2$, confirming a conjectured lower bound in that range.","Over a perfect field, a finite group scheme with constant étale quotient has essential dimension at most one exactly when it embeds in $PGL_2$, has Lie algebra dimension at most one, and lifts to $GL_2$ (Theorem 4.1)."],"supporting_citations":[{"why":"Defines essential dimension and versal torsors, the setting in which the theorem is formulated.","marker":"[7]"},{"why":"Survey giving the definition of essential dimension and basic facts used throughout.","marker":"[8]"},{"why":"Supplies the structure theory of finite group schemes: semidirect decompositions, height-one subgroups, and unipotent filtrations.","marker":"[4]"},{"why":"Shows that constant finite groups of essential dimension one are exactly those that embed in $PGL_2$ and lift to $GL_2$, the model for Theorem 1.1.","marker":"[5]"},{"why":"Provides background and bounds on essential dimension of infinitesimal group schemes, used in the supersingular torsion example.","marker":"[10]"},{"why":"Supplies Proposition 6.1: a non-trivial quadratic twist of $\\mu_{2^n}$ has $2$-essential dimension $2$, excluding non-split twists in characteristic $2$.","marker":"[6]"},{"why":"Computes $\\mathrm{ed}(\\mu_2 \\times \\mathbb{Z}/2\\mathbb{Z}) = 2$, used to show lifts exist in the perfect-field classification.","marker":"[2]"}],"fun_headline_variants":["Essential dimension one forces finite group schemes into PGL2","Only α_{p^n}, μ_{p^n}, and quadratic twists in essential dimension one","Infinitesimal group schemes of essential dimension one are classified","PGL2 embedding characterizes essential dimension one"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The classification in characteristic $2$ depends on a cited result, not proved in this paper: a non-trivial quadratic twist of the group of $2^n$-th roots of unity has $2$-essential dimension $2$, and if that computation were wrong some twisted $\\mu_{2^n}$ would have essential dimension one and the list in Theorem 1.1(2) would be incomplete.","fun_headline_variants_meta":{"raw":{"variants":["Essential dimension one forces finite group schemes into PGL2","Only α_{p^n}, μ_{p^n}, and quadratic twists in essential dimension one","Infinitesimal group schemes of essential dimension one are classified","PGL2 embedding characterizes essential dimension one"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000819,"raw_usage":{"total_tokens":3531,"prompt_tokens":836,"completion_tokens":2695,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":452,"completion_tokens_details":{"reasoning_tokens":2623}},"tokens_in":452,"tokens_out":2695,"duration_ms":19652,"temperature":1.0,"reasoning_tokens":2623,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:43:39.062689+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take $k$ of characteristic $2$ and a non-split quadratic twist $G$ of $\\mu_4$ embedded in $PGL_2$ as a subgroup of the non-split torus. Compute $\\mathrm{ed}_k(G)$ directly by looking for a one-dimensional compression of its versal torsor: if a $G$-torsor over a rational curve dominates all others, then $\\mathrm{ed}_k(G) = 1$ and Theorem 1.1(2) is false; the cited result predicts $\\mathrm{ed}_k(G) = 2$, so the computation would settle the matter.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines essential dimension and versal torsors, the setting in which the theorem is formulated."},{"cited_title":"Reichstein , Essential dimension , in Proceedings of the International Congress of Mathematicians","cited_arxiv_id":null,"evidence_quote":"Survey giving the definition of essential dimension and basic facts used throughout."},{"cited_title":"Demazure and P","cited_arxiv_id":null,"evidence_quote":"Supplies the structure theory of finite group schemes: semidirect decompositions, height-one subgroups, and unipotent filtrations."},{"cited_title":"Ledet , Finite groups of essential dimension one , J","cited_arxiv_id":null,"evidence_quote":"Shows that constant finite groups of essential dimension one are exactly those that embed in $PGL_2$ and lift to $GL_2$, the model for Theorem 1.1."},{"cited_title":"Tossici and A","cited_arxiv_id":null,"evidence_quote":"Provides background and bounds on essential dimension of infinitesimal group schemes, used in the supersingular torsion example."},{"cited_title":"L ¨otscher, M","cited_arxiv_id":null,"evidence_quote":"Supplies Proposition 6.1: a non-trivial quadratic twist of $\\mu_{2^n}$ has $2$-essential dimension $2$, excluding non-split twists in characteristic $2$."},{"cited_title":"Babic and V","cited_arxiv_id":null,"evidence_quote":"Computes $\\mathrm{ed}(\\mu_2 \\times \\mathbb{Z}/2\\mathbb{Z}) = 2$, used to show lifts exist in the perfect-field classification."}],"review_version":1}