Recognition: unknown
Birational invariance of higher Amitsur groups
Pith reviewed 2026-05-08 17:30 UTC · model grok-4.3
The pith
The nth Amitsur group is a stable G-birational invariant of smooth projective G-varieties for every n at least 2.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove that for all n≥2, the nth Amitsur group is a stable G-birational invariant of smooth projective G-varieties over k. For smooth projective G-varieties with free and finitely generated Picard group, we also prove that the vanishing of the G-equivariant universal torsor obstruction implies the vanishing of the nth Amitsur group, for all n≥2. Our approach allows for effective computations of these obstructions; we illustrate this with several examples.
What carries the argument
The nth Amitsur group, which acts as a higher-order equivariant birational invariant that generalizes lower-degree obstructions arising from torsors.
If this is right
- Any computation of the nth Amitsur group can be performed on a simpler representative of the stable G-birational class.
- When the Picard group is free and finitely generated, a single torsor obstruction controls the vanishing of all Amitsur groups of degree at least 2.
- Explicit calculations of the groups become feasible once a convenient model in the birational class is chosen.
Where Pith is reading between the lines
- The result supplies a practical test for stable rationality questions involving finite group actions by reducing them to birational models.
- Similar invariance statements might hold for other equivariant cohomological invariants that share the same obstruction-theoretic origin.
- The effective-computation method could be applied to concrete families of varieties arising in classification problems.
Load-bearing premise
The base field has characteristic zero and the varieties are smooth and projective with a finite group action.
What would settle it
A pair of stably G-birationally equivalent smooth projective G-varieties over a characteristic-zero field for which the nth Amitsur group takes different values for some n at least 2.
read the original abstract
Let $k$ be a field of characteristic zero and $G$ a finite group. We prove that for all $n\geq 2$, the $n$th Amitsur group is a stable $G$-birational invariant of smooth projective $G$-varieties over $k$. This was previously known for $n=2,3$. For smooth projective $G$-varieties with free and finitely generated Picard group, we also prove that the vanishing of the $G$-equivariant universal torsor obstruction implies the vanishing of the $n$th Amitsur group, for all $n\geq 2$. This was known for $n=2$. Our approach allows for effective computations of these obstructions; we illustrate this with several examples.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves that for all n ≥ 2, the nth Amitsur group is a stable G-birational invariant of smooth projective G-varieties over a field k of characteristic zero. This extends prior results known only for n=2 and n=3. Additionally, for such varieties with free and finitely generated Picard group, the vanishing of the G-equivariant universal torsor obstruction implies vanishing of the nth Amitsur group for all n ≥ 2 (previously known for n=2). The approach is claimed to permit effective computations, illustrated by examples.
Significance. If the proofs hold, this provides a uniform extension of birational invariance results for higher Amitsur groups under finite group actions, strengthening tools for studying rationality obstructions in equivariant algebraic geometry. The computational aspect and examples add practical value for explicit calculations in the field.
minor comments (3)
- The abstract and introduction should explicitly reference the sections containing the main proofs (e.g., the extension from n=2,3 cases) to improve navigation for readers.
- Clarify the precise definition of 'stable G-birational invariant' early in the manuscript, including any dependence on the characteristic-zero assumption, to avoid ambiguity in the statement of Theorem 1.1.
- In the examples section, ensure all computations of Amitsur groups are accompanied by explicit references to the relevant lemmas or propositions used, for reproducibility.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of the manuscript, the recognition of its significance in extending birational invariance results for higher Amitsur groups, and the recommendation for minor revision.
Circularity Check
No significant circularity detected
full rationale
The paper establishes the birational invariance of higher Amitsur groups for n≥2 via a direct proof that extends the known cases n=2,3 using properties of G-equivariant birational maps on smooth projective G-varieties over char-0 fields. No equations, definitions, or results in the abstract or described structure reduce the claimed invariance to a fitted parameter, self-referential quantity, or load-bearing self-citation chain by construction. The second statement on universal torsor obstructions follows analogously under the free finitely generated Picard assumption. The derivation is self-contained against external benchmarks with explicit computations illustrated by examples, satisfying the criteria for an honest non-finding.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption k is a field of characteristic zero
- domain assumption G is a finite group acting on smooth projective varieties
Reference graph
Works this paper leans on
-
[1]
Abramovich, D. and Temkin, M. , TITLE =. Algebra Number Theory , FJOURNAL =. 2019 , NUMBER =. doi:10.2140/ant.2019.13.379 , URL =
-
[2]
Alekhin, A. P. and Volkov, Yu. V. and Generalov, A. I. , TITLE =. Algebra i Analiz , FJOURNAL =. 2014 , NUMBER =. doi:10.1090/s1061-0022-2014-01328-3 , URL =
-
[3]
Amitsur, S. A. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1955 , PAGES =. doi:10.2307/2007098 , URL =
-
[4]
Duncan, A. , TITLE =. Eur. J. Math. , FJOURNAL =. 2016 , NUMBER =. doi:10.1007/s40879-016-0117-1 , URL =
-
[5]
Ayoub, J. , TITLE =. Ann. Sci. \'Ec. Norm. Sup\'er. (4) , FJOURNAL =. 2014 , NUMBER =. doi:10.24033/asens.2210 , URL =
-
[6]
, TITLE =
Ayoub, J. , TITLE =. Proceedings of the. 2014 , ISBN =
2014
-
[7]
Batyrev, V. V. , title =
-
[8]
Beauville, A. and Colliot-Th\'. Vari\'. Ann. of Math. (2) , FJOURNAL =. 1985 , NUMBER =. doi:10.2307/1971174 , URL =
-
[9]
, TITLE =
Beauville, A. , TITLE =. Ann. Sci. \'. 1977 , NUMBER =
1977
-
[10]
Benoist, O. and Ottem, J. C. , TITLE =. Duke Math. J. , FJOURNAL =. 2021 , NUMBER =. doi:10.1215/00127094-2021-0055 , URL =
-
[11]
Benoist, O. and Wittenberg, O. , TITLE =. Algebr. Geom. , FJOURNAL =. 2020 , NUMBER =. doi:10.14231/ag-2020-025 , URL =
-
[12]
Benoist, O. and Wittenberg, O. , TITLE =. Ann. Sci. \'Ec. Norm. Sup\'er. (4) , FJOURNAL =. 2023 , NUMBER =. doi:10.24033/asens.2549 , URL =
-
[13]
Baek and A
S. Baek and A. Merkurjev , title =. 2025 , note =
2025
-
[14]
Hassett and Yu
B. Hassett and Yu. Tschinkel , title =
-
[15]
Blanc, J. and Cheltsov, I. and Duncan, A. and Prokhorov, Yu. , TITLE =. Math. Proc. Cambridge Philos. Soc. , FJOURNAL =. 2023 , NUMBER =. doi:10.1017/S030500412200041X , URL =
-
[16]
Blanc, J. , TITLE =. Groups Geom. Dyn. , FJOURNAL =. 2009 , NUMBER =. doi:10.4171/GGD/55 , URL =
-
[18]
Bogomolov, F. and Prokhorov, Yu. , TITLE =. Cent. Eur. J. Math. , FJOURNAL =. 2013 , NUMBER =. doi:10.2478/s11533-013-0314-9 , URL =
-
[19]
Bogomolov, F. , TITLE =. Mat. Sb. , FJOURNAL =. 1992 , NUMBER =. doi:10.1070/SM1993v076n01ABEH003398 , URL =
-
[20]
and Shramov, C
Cheltsov, I. and Shramov, C. , TITLE =. 2016 , PAGES =
2016
-
[21]
Cheltsov, I. and Shramov, C. , TITLE =. Transform. Groups , FJOURNAL =. 2012 , NUMBER =. doi:10.1007/s00031-012-9183-8 , URL =
-
[22]
and Kontsevich, M
Chambert-Loir, A. and Kontsevich, M. and Tschinkel, Yu. , TITLE =
-
[23]
Cheltsov, I. and Shramov, C. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2014 , NUMBER =. doi:10.1090/S0002-9947-2013-05768-6 , URL =
-
[24]
Cheltsov and A
I. Cheltsov and A. Dubouloz and T. Kishimoto , title =
-
[26]
and Gallauer Alves de Souza, M
Choudhury, U. and Gallauer Alves de Souza, M. , TITLE =. Comm. Algebra , FJOURNAL =. 2019 , NUMBER =. doi:10.1080/00927872.2018.1554744 , URL =
-
[27]
Clemens, C. H. and Griffiths, P. A. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1972 , PAGES =. doi:10.2307/1970801 , URL =
-
[28]
, TITLE =
Colliot-Th\'el\`ene, J.-L. , TITLE =. Birational geometry of hypersurfaces , SERIES =. 2019 , ISBN =
2019
-
[29]
and Mumford, D
Deligne, P. and Mumford, D. , TITLE =. Inst. Hautes \'Etudes Sci. Publ. Math. , FJOURNAL =. 1969 , PAGES =
1969
-
[30]
Duncan, A. and Reichstein, Z. , TITLE =. J. Algebraic Geom. , FJOURNAL =. 2015 , NUMBER =. doi:10.1090/S1056-3911-2015-00644-0 , URL =
-
[31]
Deninger, Ch. , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 1988 , NUMBER =. doi:10.1016/0022-4049(88)90102-8 , URL =
-
[32]
, TITLE =
Giraud, J. , TITLE =. 1971 , PAGES =
1971
-
[33]
Hypersurfaces quartiques de dimension 3: non-rationalit\'
Colliot-Th\'. Hypersurfaces quartiques de dimension 3: non-rationalit\'. Ann. Sci. \'. 2016 , NUMBER =. doi:10.24033/asens.2285 , URL =
-
[34]
Florence, M. and Reichstein, Z. , TITLE =. Bull. Lond. Math. Soc. , FJOURNAL =. 2018 , NUMBER =. doi:10.1112/blms.12126 , URL =
-
[35]
Fulton, W. , TITLE =. 1993 , PAGES =. doi:10.1515/9781400882526 , URL =
-
[36]
Garner, R. and K. Lifting accessible model structures , JOURNAL =. 2020 , NUMBER =. doi:10.1112/topo.12123 , URL =
-
[37]
Kresch and S
A. Kresch and S. Tanimoto and Yu. Tschinkel , year=. Intermediate
-
[38]
2026 , note =
Invariants in equivariant birational geometry , author=. 2026 , note =
2026
-
[39]
2025 , note =
Atoms meet symbols , author=. 2025 , note =
2025
-
[40]
Edidin, D. and Graham, W. , TITLE =. Invent. Math. , FJOURNAL =. 1998 , NUMBER =. doi:10.1007/s002220050214 , URL =
-
[41]
Kahn, B. and Ngan, Nguyen T. K. , TITLE =. J. Math. Pures Appl. (9) , FJOURNAL =. 2014 , NUMBER =. doi:10.1016/j.matpur.2014.03.006 , URL =
-
[42]
Cyclic covers that are not stably rational , JOURNAL =
Ko. Cyclic covers that are not stably rational , JOURNAL =. 2016 , NUMBER =. doi:10.4213/im8429 , URL =
-
[43]
and Pirutka, A
Hassett, B. and Pirutka, A. and Tschinkel, Yu. , TITLE =. Surveys in differential geometry 2017. 2018 , ISBN =
2017
-
[44]
Hassett, B. and Pirutka, A. and Tschinkel, Yu. , TITLE =. Acta Math. , FJOURNAL =. 2018 , NUMBER =. doi:10.4310/ACTA.2018.v220.n2.a4 , URL =
-
[45]
Hassett, B. and Pirutka, A. and Tschinkel, Yu. , TITLE =. Algebr. Geom. , FJOURNAL =. 2019 , NUMBER =. doi:10.14231/ag-2019-004 , URL =
-
[46]
and Tschinkel, Yu
Hassett, B. and Tschinkel, Yu. , journal =. 2025 , number =
2025
-
[47]
Hassett, B. and Tschinkel, Yu. , TITLE =. Nagoya Math. J. , FJOURNAL =. 2023 , PAGES =. doi:10.1017/nmj.2022.29 , URL =
-
[48]
Hassett, B. and Tschinkel, Yu. , TITLE =. Enseign. Math. , FJOURNAL =. 2021 , NUMBER =. doi:10.4171/lem/1001 , URL =
-
[49]
Hassett, B. and Tschinkel, Yu. , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 2021 , NUMBER =. doi:10.1002/cpa.21967 , URL =
-
[50]
and Kresch, A
Hassett, B. and Kresch, A. and Tschinkel, Yu. , TITLE =. Rationality of varieties , SERIES =. 2021 , MRCLASS =
2021
-
[51]
Hoshi, A. and Yamasaki, A. , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2017 , NUMBER =. doi:10.1090/memo/1176 , URL =
-
[52]
Huber, A. and Kahn, B. , TITLE =. Compos. Math. , FJOURNAL =. 2006 , NUMBER =. doi:10.1112/S0010437X06002107 , URL =
-
[53]
Iskovskikh, V. A. , TITLE =. Algebraic geometry in. 2008 , MRCLASS =. doi:10.2969/aspm/05010251 , URL =
-
[54]
, title =
Kameko, M. , title =. 2025 , note =
2025
-
[55]
Kontsevich, M. and Pestun, V. and Tschinkel, Yu. , TITLE =. J. Eur. Math. Soc. (JEMS) , FJOURNAL =. 2023 , NUMBER =. doi:10.4171/jems/1170 , URL =
-
[56]
and Tschinkel, Yu
Kresch, A. and Tschinkel, Yu. , title =. 2023 , note =
2023
-
[57]
Kresch, A. and Tschinkel, Yu. , TITLE =. Rend. Circ. Mat. Palermo (2) , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s12215-022-00829-5 , URL =
-
[58]
Kresch, A. and Tschinkel, Yu. , TITLE =. Mat. Sb. , FJOURNAL =. 2021 , NUMBER =. doi:10.4213/sm9386 , URL =
-
[59]
and Tschinkel, Yu
Kresch, A. and Tschinkel, Yu. , TITLE =
-
[60]
Kresch, A. and Tschinkel, Yu. , TITLE =. Manuscripta Math. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s00229-018-1087-z , URL =
-
[61]
and Tschinkel, Yu
Kresch, A. and Tschinkel, Yu. , journal =. Equivariant. 2025 , number =
2025
-
[62]
Kresch, A. and Tschinkel, Yu. , TITLE =. Selecta Math. (N.S.) , FJOURNAL =. 2022 , NUMBER =. doi:10.1007/s00029-022-00797-9 , URL =
-
[63]
Kuznetsov, A. and Prokhorov, Yu. , TITLE =. Amer. J. Math. , FJOURNAL =. 2023 , NUMBER =. doi:10.1353/ajm.2023.0008 , URL =
-
[64]
Kuznetsov, A. and Prokhorov, Yu. , TITLE =. J. Inst. Math. Jussieu , FJOURNAL =. 2024 , NUMBER =. doi:10.1017/s1474748022000378 , URL =
-
[65]
Larsen, M. and Lunts, V. A. , TITLE =. Mosc. Math. J. , FJOURNAL =. 2003 , NUMBER =. doi:10.17323/1609-4514-2003-3-1-85-95 , URL =
-
[66]
Li, Li , TITLE =. Michigan Math. J. , FJOURNAL =. 2009 , NUMBER =. doi:10.1307/mmj/1250169076 , URL =
-
[67]
, TITLE =
Looijenga, E. , TITLE =. Ast\'. 2002 , PAGES =
2002
-
[68]
Manin, Yu. I. , TITLE =. Inst. Hautes \'. 1966 , PAGES =
1966
-
[69]
Nicaise, J. and Shinder, E. , TITLE =. Invent. Math. , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s00222-019-00869-2 , URL =
-
[70]
Peyre, E. , TITLE =. Duke Math. J. , FJOURNAL =. 1995 , NUMBER =. doi:10.1215/S0012-7094-95-07904-6 , URL =
-
[71]
, TITLE =
Prokhorov, Yu. , TITLE =. European. 2023 , ISBN =
2023
-
[72]
Prokhorov, Yu. and Shramov, C. , TITLE =. Amer. J. Math. , FJOURNAL =. 2016 , NUMBER =. doi:10.1353/ajm.2016.0017 , URL =
-
[73]
Reichstein, Z. and Youssin, B. , TITLE =. Canad. J. Math. , FJOURNAL =. 2000 , NUMBER =. doi:10.4153/CJM-2000-043-5 , URL =
-
[74]
Reichstein, Z. and Youssin, B. , TITLE =. Pacific J. Math. , FJOURNAL =. 2002 , NUMBER =. doi:10.2140/pjm.2002.204.223 , URL =
-
[75]
Hassett, B. and Tschinkel, Yu. , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2019 , PAGES =. doi:10.1515/crelle-2016-0058 , URL =
-
[76]
Sakovics, D. , TITLE =. Eur. J. Math. , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s40879-018-0261-x , URL =
-
[77]
, TITLE =
Serre, J.-P. , TITLE =. Ast\'. 2010 , PAGES =
2010
-
[78]
Voisin, C. , TITLE =. Invent. Math. , FJOURNAL =. 2015 , NUMBER =. doi:10.1007/s00222-014-0551-y , URL =
-
[79]
Abramovich, D. and Graber, T. and Vistoli, A. , TITLE =. Amer. J. Math. , FJOURNAL =. 2008 , NUMBER =. doi:10.1353/ajm.0.0017 , URL =
-
[80]
and Fantechi, B
Abramovich, D. and Fantechi, B. , TITLE =. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) , FJOURNAL =. 2016 , NUMBER =
2016
-
[81]
Abramovich, D. and Olsson, M. and Vistoli, A. , TITLE =. J. Algebraic Geom. , FJOURNAL =. 2011 , NUMBER =. doi:10.1090/S1056-3911-2010-00569-3 , URL =
-
[82]
Abramovich, D. and Temkin, M. and W. Toroidal orbifolds, destackification, and. Algebra Number Theory , FJOURNAL =. 2020 , NUMBER =. doi:10.2140/ant.2020.14.2001 , URL =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.