Birational classification of fields of invariants for groups of order 128

DOI10.1016/J.JALGEBRA.2015.05.035MaRDI QIDQ891469zbMATH OpenOpenAlexFDO

Publication date 17 November 2015

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

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

Noether's problem rationality problem unramified cohomology group retract rationality isoclinism family birational classification unramified 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)

Abstract: Let

G

be a finite group acting on the rational function field

m a t h b b C (x_{g} : g i n G)

by

m a t h b b C

-automorphisms

h (x_{g}) = x_{h g}

for any

g, h i n G

. Noether's problem asks whether the invariant field

m a t h b b C (G) = k (x_{g} : g i n G)^{G}

is rational (i.e. purely transcendental) over

m a t h b b C

. 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

m a t h b b C (G)

is not rational over

m a t h b b C

by showing the non-vanishing of the unramified Brauer group:

B r_{n r} (m a t h b b C (G)) e q 0

. For

p = 2

, Chu, Hu, Kang and Prokhorov proved that if

G

is a 2-group of order

l e q 32

, then

m a t h b b C (G)

is rational over

m a t h b b C

. Chu, Hu, Kang and Kunyavskii showed that if

G

is of order 64, then

m a t h b b C (G)

is rational over

m a t h b b C

except for the groups

G

belonging to the two isoclinism families

P h i_{13}

and

P h i_{16}

. Bogomolov and B"ohning's theorem claims that if

G_{1}

and

G_{2}

belong to the same isoclinism family, then

m a t h b b C (G_{1})

and

m a t h b b C (G_{2})

are stably

m a t h b b C

-isomorphic. We investigate the birational classification of

m a t h b b C (G)

for groups

G

of order 128 with

B r_{n r} (m a t h b b C (G)) e q 0

. Moravec showed that there exist exactly 220 groups

G

of order 128 with

B r_{n r} (m a t h b b C (G)) e q 0

forming 11 isoclinism families

P h i_{j}

. We show that if

G_{1}

and

G_{2}

belong to

P h i_{16}, P h i_{31}, P h i_{37}, P h i_{39}, P h i_{43}, P h i_{58}, P h i_{60}

or

P h i_{80}

(resp.

P h i_{106}

or

P h i_{114}

), then

m a t h b b C (G_{1})

and

m a t h b b C (G_{2})

are stably

m a t h b b C

-isomorphic with

B r_{n r} (m a t h b b C (G_{i})) s i m e q C_{2}

. Explicit structures of non-rational fields

m a t h b b C (G)

are given for each cases including also the case

P h i_{30}

with

B r_{n r} (m a t h b b C (G)) s i m e q C_{2} i m e s C_{2}

.

Recommendations

Cites work

Cited in

(5)

Describes a project that uses

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)