Invariant fields of rational functions and semilinear representations of symmetric groups over them

arXiv2205.15144MaRDI QIDQ6400568FDOQ6400568

Publication date: 30 May 2022

Abstract: Let

K

be a field and

G

be a group of its automorphisms endowed with the compact-open topology. There are many situations, where it is natural to study the category

S m_{K} (G)

of smooth (i.e. with open stabilizers)

K

-semilinear representations of

G

. The category

S m_{K} (G)

is semisimple (in which case

K

is a generator of

S m_{K} (G)

) if and only if

G

is precompact. In this note we study the case of the non-precompact group

G

of all permutations of an infinite set

S

. It is shown that the categories

S m_{K} (G)

are locally noetherian; the morphisms are `locally split'. Given a field

F

and a subfield

k e q F

algebraically closed in

F

, one of principal results describes the Gabriel spectra (and related objects) of the categories

S m_{K} (G)

for some of

G

-invariant subfields

K

of the fraction field

F_{k, S}

of the tensor product over

k

of the labeled by

S

copies of

F

. In particular, the object

F_{k, S}

turns out to be an injective cogenerator of the category

S m_{K} (G)

for any

G

-invariant subfield

K

of

F_{k, S}

. As an application, when transcendence degree of

F | k

is 1, a correspondence between the

G

-invariant subfields of

F_{k, S}

algebraically closed in

F_{k, S}

and certain systems of isogenies of `generically

F

-pointed' torsors over absolutely irreducible one-dimensional algebraic

k

-groups is constructed, so far only in characteristic 0. The only irreducible finite-dimensional smooth representation of

G

is trivial. However, there is an invariant `cross-ratio' subfield

K

of

k (S)

such that the irreducible finite-dimensional smooth

K

-semilinear representations of

G

correspond to the irreducible algebraic representations of

P G L_{2, k}

. In general, any smooth

G

-field

K

admits a smooth

G

-field extension

L | K

such that

L

is a cogenerator of

S m_{L} (G)

.

This page was built for publication: Invariant fields of rational functions and semilinear representations of symmetric groups over them

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