pith. machine review for the scientific record. sign in

arxiv: 2605.02763 · v1 · submitted 2026-05-04 · 🧮 math.AG

Recognition: unknown

Birational invariance of higher Amitsur groups

Federico Scavia, Yuri Tschinkel, Zhijia Zhang

Pith reviewed 2026-05-08 17:30 UTC · model grok-4.3

classification 🧮 math.AG
keywords Amitsur groupsbirational invariantsG-varietiesequivariant torsorsstable rationalityalgebraic geometry
0
0 comments X

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.

The paper establishes that over a field of characteristic zero the nth Amitsur group attached to a smooth projective variety equipped with a finite group action stays unchanged when the variety is replaced by any stably G-birationally equivalent one. This extends earlier results that were known only for n equal to 2 and 3. When the Picard group is free and finitely generated, the vanishing of a G-equivariant universal torsor obstruction forces the vanishing of every higher Amitsur group. A reader would care because these groups supply concrete obstructions that help decide whether varieties with symmetries are stably rational or birationally equivalent.

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

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

  • 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.

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

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)
  1. 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.
  2. 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.
  3. 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

0 responses · 0 unresolved

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

0 steps flagged

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

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard assumptions of algebraic geometry over fields of characteristic zero together with the definition of Amitsur groups and G-actions on varieties.

axioms (2)
  • domain assumption k is a field of characteristic zero
    Invoked to ensure properties of smooth projective varieties and finite group actions hold as stated.
  • domain assumption G is a finite group acting on smooth projective varieties
    The objects of study; used throughout the statements on birational invariance.

pith-pipeline@v0.9.0 · 5421 in / 1266 out tokens · 21833 ms · 2026-05-08T17:30:20.965715+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

204 extracted references · 131 canonical work pages

  1. [1]

    and Temkin, M

    Abramovich, D. and Temkin, M. , TITLE =. Algebra Number Theory , FJOURNAL =. 2019 , NUMBER =. doi:10.2140/ant.2019.13.379 , URL =

  2. [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. [3]

    Amitsur, S. A. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1955 , PAGES =. doi:10.2307/2007098 , URL =

  4. [4]

    , TITLE =

    Duncan, A. , TITLE =. Eur. J. Math. , FJOURNAL =. 2016 , NUMBER =. doi:10.1007/s40879-016-0117-1 , URL =

  5. [5]

    , TITLE =

    Ayoub, J. , TITLE =. Ann. Sci. \'Ec. Norm. Sup\'er. (4) , FJOURNAL =. 2014 , NUMBER =. doi:10.24033/asens.2210 , URL =

  6. [6]

    , TITLE =

    Ayoub, J. , TITLE =. Proceedings of the. 2014 , ISBN =

  7. [7]

    Batyrev, V. V. , title =

  8. [8]

    and Colliot-Th\'

    Beauville, A. and Colliot-Th\'. Vari\'. Ann. of Math. (2) , FJOURNAL =. 1985 , NUMBER =. doi:10.2307/1971174 , URL =

  9. [9]

    , TITLE =

    Beauville, A. , TITLE =. Ann. Sci. \'. 1977 , NUMBER =

  10. [10]

    and Ottem, J

    Benoist, O. and Ottem, J. C. , TITLE =. Duke Math. J. , FJOURNAL =. 2021 , NUMBER =. doi:10.1215/00127094-2021-0055 , URL =

  11. [11]

    and Wittenberg, O

    Benoist, O. and Wittenberg, O. , TITLE =. Algebr. Geom. , FJOURNAL =. 2020 , NUMBER =. doi:10.14231/ag-2020-025 , URL =

  12. [12]

    and Wittenberg, O

    Benoist, O. and Wittenberg, O. , TITLE =. Ann. Sci. \'Ec. Norm. Sup\'er. (4) , FJOURNAL =. 2023 , NUMBER =. doi:10.24033/asens.2549 , URL =

  13. [13]

    Baek and A

    S. Baek and A. Merkurjev , title =. 2025 , note =

  14. [14]

    Hassett and Yu

    B. Hassett and Yu. Tschinkel , title =

  15. [15]

    and Cheltsov, I

    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. [16]

    , TITLE =

    Blanc, J. , TITLE =. Groups Geom. Dyn. , FJOURNAL =. 2009 , NUMBER =. doi:10.4171/GGD/55 , URL =

  17. [18]

    and Prokhorov, Yu

    Bogomolov, F. and Prokhorov, Yu. , TITLE =. Cent. Eur. J. Math. , FJOURNAL =. 2013 , NUMBER =. doi:10.2478/s11533-013-0314-9 , URL =

  18. [19]

    , TITLE =

    Bogomolov, F. , TITLE =. Mat. Sb. , FJOURNAL =. 1992 , NUMBER =. doi:10.1070/SM1993v076n01ABEH003398 , URL =

  19. [20]

    and Shramov, C

    Cheltsov, I. and Shramov, C. , TITLE =. 2016 , PAGES =

  20. [21]

    Transform

    Cheltsov, I. and Shramov, C. , TITLE =. Transform. Groups , FJOURNAL =. 2012 , NUMBER =. doi:10.1007/s00031-012-9183-8 , URL =

  21. [22]

    and Kontsevich, M

    Chambert-Loir, A. and Kontsevich, M. and Tschinkel, Yu. , TITLE =

  22. [23]

    and Shramov, C

    Cheltsov, I. and Shramov, C. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2014 , NUMBER =. doi:10.1090/S0002-9947-2013-05768-6 , URL =

  23. [24]

    Cheltsov and A

    I. Cheltsov and A. Dubouloz and T. Kishimoto , title =

  24. [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 =

  25. [27]

    Clemens, C. H. and Griffiths, P. A. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1972 , PAGES =. doi:10.2307/1970801 , URL =

  26. [28]

    , TITLE =

    Colliot-Th\'el\`ene, J.-L. , TITLE =. Birational geometry of hypersurfaces , SERIES =. 2019 , ISBN =

  27. [29]

    and Mumford, D

    Deligne, P. and Mumford, D. , TITLE =. Inst. Hautes \'Etudes Sci. Publ. Math. , FJOURNAL =. 1969 , PAGES =

  28. [30]

    and Reichstein, Z

    Duncan, A. and Reichstein, Z. , TITLE =. J. Algebraic Geom. , FJOURNAL =. 2015 , NUMBER =. doi:10.1090/S1056-3911-2015-00644-0 , URL =

  29. [31]

    , TITLE =

    Deninger, Ch. , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 1988 , NUMBER =. doi:10.1016/0022-4049(88)90102-8 , URL =

  30. [32]

    , TITLE =

    Giraud, J. , TITLE =. 1971 , PAGES =

  31. [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 =

  32. [34]

    and Reichstein, Z

    Florence, M. and Reichstein, Z. , TITLE =. Bull. Lond. Math. Soc. , FJOURNAL =. 2018 , NUMBER =. doi:10.1112/blms.12126 , URL =

  33. [35]

    1993 , PAGES =

    Fulton, W. , TITLE =. 1993 , PAGES =. doi:10.1515/9781400882526 , URL =

  34. [36]

    Garner, R. and K. Lifting accessible model structures , JOURNAL =. 2020 , NUMBER =. doi:10.1112/topo.12123 , URL =

  35. [37]

    Kresch and S

    A. Kresch and S. Tanimoto and Yu. Tschinkel , year=. Intermediate

  36. [38]

    2026 , note =

    Invariants in equivariant birational geometry , author=. 2026 , note =

  37. [39]

    2025 , note =

    Atoms meet symbols , author=. 2025 , note =

  38. [40]

    and Graham, W

    Edidin, D. and Graham, W. , TITLE =. Invent. Math. , FJOURNAL =. 1998 , NUMBER =. doi:10.1007/s002220050214 , URL =

  39. [41]

    and Ngan, Nguyen T

    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 =

  40. [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 =

  41. [43]

    and Pirutka, A

    Hassett, B. and Pirutka, A. and Tschinkel, Yu. , TITLE =. Surveys in differential geometry 2017. 2018 , ISBN =

  42. [44]

    and Pirutka, A

    Hassett, B. and Pirutka, A. and Tschinkel, Yu. , TITLE =. Acta Math. , FJOURNAL =. 2018 , NUMBER =. doi:10.4310/ACTA.2018.v220.n2.a4 , URL =

  43. [45]

    and Pirutka, A

    Hassett, B. and Pirutka, A. and Tschinkel, Yu. , TITLE =. Algebr. Geom. , FJOURNAL =. 2019 , NUMBER =. doi:10.14231/ag-2019-004 , URL =

  44. [46]

    and Tschinkel, Yu

    Hassett, B. and Tschinkel, Yu. , journal =. 2025 , number =

  45. [47]

    and Tschinkel, Yu

    Hassett, B. and Tschinkel, Yu. , TITLE =. Nagoya Math. J. , FJOURNAL =. 2023 , PAGES =. doi:10.1017/nmj.2022.29 , URL =

  46. [48]

    and Tschinkel, Yu

    Hassett, B. and Tschinkel, Yu. , TITLE =. Enseign. Math. , FJOURNAL =. 2021 , NUMBER =. doi:10.4171/lem/1001 , URL =

  47. [49]

    and Tschinkel, Yu

    Hassett, B. and Tschinkel, Yu. , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 2021 , NUMBER =. doi:10.1002/cpa.21967 , URL =

  48. [50]

    and Kresch, A

    Hassett, B. and Kresch, A. and Tschinkel, Yu. , TITLE =. Rationality of varieties , SERIES =. 2021 , MRCLASS =

  49. [51]

    and Yamasaki, A

    Hoshi, A. and Yamasaki, A. , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2017 , NUMBER =. doi:10.1090/memo/1176 , URL =

  50. [52]

    and Kahn, B

    Huber, A. and Kahn, B. , TITLE =. Compos. Math. , FJOURNAL =. 2006 , NUMBER =. doi:10.1112/S0010437X06002107 , URL =

  51. [53]

    Iskovskikh, V. A. , TITLE =. Algebraic geometry in. 2008 , MRCLASS =. doi:10.2969/aspm/05010251 , URL =

  52. [54]

    , title =

    Kameko, M. , title =. 2025 , note =

  53. [55]

    and Pestun, V

    Kontsevich, M. and Pestun, V. and Tschinkel, Yu. , TITLE =. J. Eur. Math. Soc. (JEMS) , FJOURNAL =. 2023 , NUMBER =. doi:10.4171/jems/1170 , URL =

  54. [56]

    and Tschinkel, Yu

    Kresch, A. and Tschinkel, Yu. , title =. 2023 , note =

  55. [57]

    and Tschinkel, Yu

    Kresch, A. and Tschinkel, Yu. , TITLE =. Rend. Circ. Mat. Palermo (2) , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s12215-022-00829-5 , URL =

  56. [58]

    and Tschinkel, Yu

    Kresch, A. and Tschinkel, Yu. , TITLE =. Mat. Sb. , FJOURNAL =. 2021 , NUMBER =. doi:10.4213/sm9386 , URL =

  57. [59]

    and Tschinkel, Yu

    Kresch, A. and Tschinkel, Yu. , TITLE =

  58. [60]

    and Tschinkel, Yu

    Kresch, A. and Tschinkel, Yu. , TITLE =. Manuscripta Math. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s00229-018-1087-z , URL =

  59. [61]

    and Tschinkel, Yu

    Kresch, A. and Tschinkel, Yu. , journal =. Equivariant. 2025 , number =

  60. [62]

    and Tschinkel, Yu

    Kresch, A. and Tschinkel, Yu. , TITLE =. Selecta Math. (N.S.) , FJOURNAL =. 2022 , NUMBER =. doi:10.1007/s00029-022-00797-9 , URL =

  61. [63]

    and Prokhorov, Yu

    Kuznetsov, A. and Prokhorov, Yu. , TITLE =. Amer. J. Math. , FJOURNAL =. 2023 , NUMBER =. doi:10.1353/ajm.2023.0008 , URL =

  62. [64]

    and Prokhorov, Yu

    Kuznetsov, A. and Prokhorov, Yu. , TITLE =. J. Inst. Math. Jussieu , FJOURNAL =. 2024 , NUMBER =. doi:10.1017/s1474748022000378 , URL =

  63. [65]

    and Lunts, V

    Larsen, M. and Lunts, V. A. , TITLE =. Mosc. Math. J. , FJOURNAL =. 2003 , NUMBER =. doi:10.17323/1609-4514-2003-3-1-85-95 , URL =

  64. [66]

    Michigan Math

    Li, Li , TITLE =. Michigan Math. J. , FJOURNAL =. 2009 , NUMBER =. doi:10.1307/mmj/1250169076 , URL =

  65. [67]

    , TITLE =

    Looijenga, E. , TITLE =. Ast\'. 2002 , PAGES =

  66. [68]

    Manin, Yu. I. , TITLE =. Inst. Hautes \'. 1966 , PAGES =

  67. [69]

    and Shinder, E

    Nicaise, J. and Shinder, E. , TITLE =. Invent. Math. , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s00222-019-00869-2 , URL =

  68. [70]

    , TITLE =

    Peyre, E. , TITLE =. Duke Math. J. , FJOURNAL =. 1995 , NUMBER =. doi:10.1215/S0012-7094-95-07904-6 , URL =

  69. [71]

    , TITLE =

    Prokhorov, Yu. , TITLE =. European. 2023 , ISBN =

  70. [72]

    and Shramov, C

    Prokhorov, Yu. and Shramov, C. , TITLE =. Amer. J. Math. , FJOURNAL =. 2016 , NUMBER =. doi:10.1353/ajm.2016.0017 , URL =

  71. [73]

    and Youssin, B

    Reichstein, Z. and Youssin, B. , TITLE =. Canad. J. Math. , FJOURNAL =. 2000 , NUMBER =. doi:10.4153/CJM-2000-043-5 , URL =

  72. [74]

    and Youssin, B

    Reichstein, Z. and Youssin, B. , TITLE =. Pacific J. Math. , FJOURNAL =. 2002 , NUMBER =. doi:10.2140/pjm.2002.204.223 , URL =

  73. [75]

    and Tschinkel, Yu

    Hassett, B. and Tschinkel, Yu. , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2019 , PAGES =. doi:10.1515/crelle-2016-0058 , URL =

  74. [76]

    , TITLE =

    Sakovics, D. , TITLE =. Eur. J. Math. , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s40879-018-0261-x , URL =

  75. [77]

    , TITLE =

    Serre, J.-P. , TITLE =. Ast\'. 2010 , PAGES =

  76. [78]

    , TITLE =

    Voisin, C. , TITLE =. Invent. Math. , FJOURNAL =. 2015 , NUMBER =. doi:10.1007/s00222-014-0551-y , URL =

  77. [79]

    and Graber, T

    Abramovich, D. and Graber, T. and Vistoli, A. , TITLE =. Amer. J. Math. , FJOURNAL =. 2008 , NUMBER =. doi:10.1353/ajm.0.0017 , URL =

  78. [80]

    and Fantechi, B

    Abramovich, D. and Fantechi, B. , TITLE =. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) , FJOURNAL =. 2016 , NUMBER =

  79. [81]

    and Olsson, M

    Abramovich, D. and Olsson, M. and Vistoli, A. , TITLE =. J. Algebraic Geom. , FJOURNAL =. 2011 , NUMBER =. doi:10.1090/S1056-3911-2010-00569-3 , URL =

  80. [82]

    and Temkin, M

    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 =

Showing first 80 references.