On maximal proper subgroups of field automorphism groups

Let $G$ be the automorphism group of an extension $F|k$ of algebraically closed fields of characteristic zero and of transcendence degree $n$, $1\le n\le\infty$. In this paper we (i) construct some maximal closed non-open subgroups $G_v$, and some (all, in the case of countable transcendence degree) maximal open proper subgroups of $G$; (ii) describe, in the case of countable transcendence degree, the automorphism subgroups over the intermediate subfields (a question of Krull, \cite[\S4, question 3b)]{krull}); (iii) construct, in the case $n=\infty$, a fully faithful subfunctor $(-)_v$ of the forgetful functor from the category of smooth representations of $G$ to the category of smooth representations of $G_v$; (iv) construct, using the functors $(-)_v$, a subfunctor $\Gamma$ of the identity functor on the category of smooth representations of $G$, coincident (via the forgetful functor) with the functor $\Gamma$ on the category of smooth admissible semilinear representations of $G$ constructed in \cite{adm} in the case $n=\infty$ and $k=\bar{{\mathbb Q}}$. The study of open subgroups is motivated by the study of (the stabilizers of the) smooth representations undertaken in \cite{repr,adm}. The functor $\Gamma$ is an analogue of the global sections functor on the category of sheaves on a smooth proper algebraic variety. Another result is that `interesting' semilinear representations are `globally generated'.Comment: final versio

On semilinear representations of the infinite symmetric group

In this note the smooth (i.e. with open stabilizers) linear and {\sl semilinear} representations of certain permutation groups (such as infinite symmetric group or automorphism group of an infinite-dimensional vector space over a finite field) are studied. Many results here are well-known to the experts, at least in the case of {\sl linear representations} of symmetric group. The presented results suggest, in particular, that an analogue of Hilbert's Theorem 90 should hold: in the case of faithful action of the group on the base field the irreducible smooth semilinear representations are one-dimensional (and trivial in appropriate sense).Comment: 19 pages, significant changes; an analogue of Hilbert's Theorem 90 for infinite symmetric groups moved to arXiv:1508.0226

Stable birational invariants with Galois descent and differential forms

a