Related papers: Three-dimensional purely quasi-monomial actions
Let $G$ be a finite group acting on $k(x_1,...,x_n)$, the rational function field of $n$ variables over a field $k$. The action is called a purely monomial action if $\sigma...x_j=\prod_{1\le i\le n} x_i^{a_{ij}}$ for all $\sigma \in G$,…
The rationality problem of two-dimensional purely quasi-monomial actions was solved completely by Hoshi, Kang and Kitayama [HKK]. As a generalization, we solve the rationality problem of two-dimensional quasi-monomial actions under the…
Let $K$ be a field of characteristic not two and $K(x,y,z)$ the rational function field over $K$ with three variables $x,y,z$. Let $G$ be a finite group of acting on $K(x,y,z)$ by monomial $K$-automorphisms. We consider the rationality…
Let $G$ be a finite 2-group and $K$ be a field satisfying that (i) $\fn{char}K\ne 2$, and (ii) $\sqrt{a}\in K$ for any $a\in K$. If $G$ acts on the rational function field $K(x,y,z)$ by monomial $K$-automorphisms, then the fixed field…
Let $G$ be a finite subgroup of $GL_4(\bm{Q})$. The group $G$ induces an action on $\bm{Q}(x_1,x_2,x_3,x_4)$, the rational function field of four variables over $\bm{Q}$. Theorem. The fixed subfield…
Let $K$ be a field, $G$ a finite group. Let $G$ act on the function field $L = K(x_{\sigma} : \sigma \in G)$ by $\tau \cdot x_{\sigma} = x_{\tau\sigma}$ for any $\sigma, \tau \in G$. Denote the fixed field of the action by $K(G) = L^{G} =…
Let $k$ be a field, $G$ be a finite group, $k(x(g):g\in G)$ be the rational function field with the variables $x(g)$ where $g\in G$. The group $G$ acts on $k(x(g):g\in G)$ by $k$-automorphisms where $h\cdot x(g)=x(hg)$ for all $h,g\in G$.…
Let $G$ be a subgroup of $S_n$, the symmetric group of degree $n$. For any field $k$, $G$ acts naturally on the rational function field $k(x_1,x_2,\ldots,x_n)$ via $k$-automorphisms defined by $\sigma\cdot x_i=x_{\sigma(i)}$ for any…
For any finite $k$-group scheme $G$ acting rationally on a $k$-variety, if the action is generically free then the dimension of $\mathrm{Lie} (G)$ is upper bounded by the dimension of the variety. We show that this is the only obstruction…
Let $G$ be a subgroup of $S_{n}$, the symmetric group of degree $n$. For any field $k$, $G$ acts naturally on the rational function field $k(x_{1},\cdots,x_{n})$ via $k$-automorphisms defined by $\sigma\cdot x_{i}:=x_{\sigma\cdot i}$ for…
We present a solution to the real multidimensional rational K-moment problem, where K is defined by finitely many polynomial inequalities. More precisely, let S be a finite set of real polynomials in X=(X_1,...,X_n) such that the…
Let $G$ be a finite group and $k$ be a field. Let $G$ act on the rational function field $k(x_g:g\in G)$ by $k$-automorphisms defined by $g\cdot x_h=x_{gh}$ for any $g,h\in G$. Noether's problem asks whether the fixed field $k(G)=k(x_g:g\in…
We establish a one-to-one correspondence between rational multiplicative group actions on an algebraic variety $X$ and derivations $\partial\colon K_X\to K_X$ of the field of fractions $K_X$ of $X$ satisfying that there exists a generating…
We define and develop the notion of a discretisable quasi-action. It is shown that a cobounded quasi-action on a proper non-elementary hyperbolic space $X$ not fixing a point of $\partial X$ is quasi-conjugate to an isometric action on…
Let $K$ be any field and $G$ be a finite group. Let $G$ act on the rational function field $K(x_g: \ g \in G)$ by $K$-automorphisms defined by $g \cdot x_h=x_{gh}$ for any $g, \ h \in G$. Denote by $K(G)$ the fixed field $K(x_g: \ g \in…
Let $k$ be a field, $x_1, \dots, x_n$ be independent variables and $L_n = k(x_1, \dots, x_n)$. The symmetric group $\Sigma_n$ acts on $L_n$ by permuting the variables, and the projective linear group $\text{PGL}_2$ acts by \[…
Let $k$ be a field and $G$ be a finite group acting on the rational function field $k(x_g : g\in G)$ by $k$-automorphisms defined as $h(x_g)=x_{hg}$ for any $g,h\in G$. We denote the fixed field $k(x_g : g\in G)^G$ by $k(G)$. Noether's…
Let $G$ be a finite group and $k$ be a field. Let $G$ act on the rational function field $k(x_g:g\in G)$ by $k$-automorphisms defined by $g\cdot x_h=x_{gh}$ for any $g,h\in G$. Noether's problem asks whether the fixed field $k(G)=k(x_g:g\in…
Let k be an algebraically closed field of characteristic zero. An element F from k(x_1,...,x_n) is called a closed rational function if the subfield k(F) is algebraically closed in the field k(x_1,...,x_n). We prove that a rational function…
Let $k$ be a field, $n \geqslant 5$ be an integer, $x_1, \dots, x_n$ be independent variables and $L_n = k(x_1, \dots, x_n)$. The symmetric group $S_n$ acts on $L_n$ by permuting the variables, and the projective linear group ${\rm PGL}_2$…