Birational classification of fields of invariants for groups of order 128

DOI10.1016/J.JALGEBRA.2015.05.035zbMATH Open1368.12003arXiv1404.0308OpenAlexW2962880300MaRDI QIDQ891469FDOQ891469

Authors: Akinari Hoshi 

Publication date: 17 November 2015

Published in: Journal of Algebra (Search for Journal in Brave)

Abstract: Let $G$ be a finite group acting on the rational function field $mathbbC(x_g:ginG)$ by $mathbbC$-automorphisms $h(x_g)=x_{hg}$ for any $g,hinG$. Noether's problem asks whether the invariant field $mathbbC(G)=k(x_g:ginG{)}^G$ is rational (i.e. purely transcendental) over $mathbbC$. Saltman and Bogomolov, respectively, showed that for any prime $p$ there exist groups $G$ of order $p^9$ and of order $p^6$ such that $mathbbC(G)$ is not rational over $mathbbC$ by showing the non-vanishing of the unramified Brauer group: $B{r}_{nr}(mathbbC(G))eq0$. For $p=2$, Chu, Hu, Kang and Prokhorov proved that if $G$ is a 2-group of order $leq32$, then $mathbbC(G)$ is rational over $mathbbC$. Chu, Hu, Kang and Kunyavskii showed that if $G$ is of order 64, then $mathbbC(G)$ is rational over $mathbbC$ except for the groups $G$ belonging to the two isoclinism families $Ph{i}_{13}$ and $Ph{i}_{16}$. Bogomolov and B"ohning's theorem claims that if $G_1$ and $G_2$ belong to the same isoclinism family, then $mathbbC(G_1)$ and $mathbbC(G_2)$ are stably $mathbbC$-isomorphic. We investigate the birational classification of $mathbbC(G)$ for groups $G$ of order 128 with $B{r}_{nr}(mathbbC(G))eq0$. Moravec showed that there exist exactly 220 groups $G$ of order 128 with $B{r}_{nr}(mathbbC(G))eq0$ forming 11 isoclinism families $Ph{i}_j$. We show that if $G_1$ and $G_2$ belong to $Ph{i}_{16},Ph{i}_{31},Ph{i}_{37},Ph{i}_{39},Ph{i}_{43},Ph{i}_{58},Ph{i}_{60}$ or $Ph{i}_{80}$ (resp. $Ph{i}_{106}$ or $Ph{i}_{114}$), then $mathbbC(G_1)$ and $mathbbC(G_2)$ are stably $mathbbC$-isomorphic with $B{r}_{nr}(mathbbC(G_i))simeq{C}_2$. Explicit structures of non-rational fields $mathbbC(G)$ are given for each cases including also the case $Ph{i}_{30}$ with $B{r}_{nr}(mathbbC(G))simeq{C}_{2}imes{C}_2$.

Full work available at URL: https://arxiv.org/abs/1404.0308

Recommendations

• Noether's Problem and the Unramified Brauer Group for Groups of Order 64
• Noether's problem for groups of order 243
• scientific article; zbMATH DE number 4043985
• Noether's problem and unramified Brauer groups
• Bogomolov multipliers of some groups of order p⁶

zbMATH Keywords

Noether's problemrationality problemunramified cohomology groupretract rationalityisoclinism familybirational classificationunramified Brauer group

Mathematics Subject Classification ID

Rationality questions in algebraic geometry (14E08) Brauer groups of schemes (14F22) Brauer groups (algebraic aspects) (16K50) Transcendental field extensions (12F20)

Cites Work

• Title not available (Why is that?)
• The rationality problem for fields of invariants under linear algebraic groups (with special regards to the Brauer group)
• Smooth varieties up to \(\mathbb A^1\)-homotopy and algebraic \(h\)-cobordisms
• Some Elementary Examples of Unirational Varieties Which are Not Rational
• Unramified cohomology of degree 3 and Noether's problem
• Title not available (Why is that?)
• Title not available (Why is that?)
• Noether's problem over an algebraically closed field
• Multiplicative field invariants
• Generic Galois extensions and problems in field theory
• Rationality of some projective linear actions
• Some actions of symmetric groups
• Noether's problem and unramified Brauer groups
• Unramified Brauer groups of finite and infinite groups.
• Unramified Brauer groups and isoclinism
• THE BRAUER GROUP OF QUOTIENT SPACES BY LINEAR GROUP ACTIONS
• Bogomolov multipliers and retract rationality for semidirect products
• On a Problem of Chevalley
• Noether's problem for \(p\)-groups with a cyclic subgroup of index \(p^{2}\)
• Variétés unirationelles non rationelles: Au-delà de l'exemple d'Artin et Mumford. (Non rational unirational varieties: Beyond the Artin-Mumford example)
• Unramified cohomology and rationality problems
• Quaternion Algebras with the Same Subfields
• Title not available (Why is that?)
• Rational varieties: algebra, geometry and arithmetic
• Rationality of \(P\)-group actions
• Noether's problem for groups of order 32
• Unramified elements in cycle modules
• Title not available (Why is that?)
• Retract rational fields and cyclic Galois extensions
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Groups of Order p 6 (p and Odd Prime)
• The Bogomolov multiplier of finite simple groups
• Isoclinism and stable cohomology of wreath products.
• Noether's problem for some \(p\)-groups
• Rational functions invariant under a finite Abelian group
• Noether's problem for the groups with a cyclic subgroup of index 4
• Noether's problem for dihedral 2-groups. II
• Noether's problem for groups of order 243
• The groups of order 128
• Rationality problem of three-dimensional monomial group actions
• On Noether's problem for central extensions of symmetric and alternating groups
• Noether's problem for \(A_ 5\)
• Invariant rational functions and a problem of Steenrod
• Noether's Problem and the Unramified Brauer Group for Groups of Order 64
• Multiplicative field invariants and the Brauer group
• Generic Structures and Field Theory
• On purely-transcendency of a certain field
• Rationality problems and conjectures of Milnor and Bloch-Kato
• Title not available (Why is that?)
• Fixkörper von \(p\)-Automorphismengruppen rein-transzendenter Körpererweiterungen von \(p\)-Charakteristik
• The Brauer group and the center of generic matrices
• On a Problem of Chevalley
• Application of the theory of the group of classes of projective modules to the existence problem of independent parameters of invariant
• Degree four cohomological invariants for quadratic forms
• On Noether's problem for cyclic groups of prime order

Cited In (5)

• The Arason invariant of orthogonal involutions of degree 12 and 8, and quaternionic subgroups of the Brauer group
• Cohomology of groups and twisted multiplicative fields of invariants
• Isoclinism classes of Galois groups of number fields
• Noether's Problem and the Unramified Brauer Group for Groups of Order 64
• Bogomolov multipliers of some groups of order p⁶

Uses Software

• GAP

This page was built for publication: Birational classification of fields of invariants for groups of order 128

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q891469)