Related papers: Noether's problem for \hat{S}_4 and \hat{S}_5
Let $k$ be a nonperfect separably closed field. Let $G$ be a connected reductive algebraic group defined over $k$. We study rationality problems for Serre's notion of complete reducibility of subgroups of $G$. In particular, we present the…
We show that for any square-free natural number $n$ and any global field $K$ with $(\text{char}(K), n)=1$ containing the $n$th roots of unity, the pairs $(x,y)\in K^*\times K^*$ such that $x$ is not a norm of $K(\sqrt[n]{y})/K$ form a…
This is a survey on the ancient question : Let G be a reductive group over an algebraically closed field k and let V be a vector space over k with an almost free linear action of G on V. Let k(V) denote the field of rational functions on V.…
Let $k$ be a commutative Noetherian ring, and $k[S]$ the polynomial ring whose indeterminates are parameterized by elements in a set $S$. We show that $k[S]$ is Noetherian up to highly homogenous actions of groups. In particular, there is a…
Let $R$ be a commutative $k-$algebra over a field $k$. Assume $R$ is a noetherian, infinite, integral domain. The group of $k-$automorphisms of $R$,i.e.$Aut_k(R)$ acts in a natural way on $(R-k)$.In the first part of this article, we study…
A well known conjecture asserts that a cubic fourfold X is rational if it has a cohomologically associated K3 surface. G.Ouchi proved that if X admits a finite group G of symplectic automorphisms, whose order is different from 2, then X has…
Let $k$ be a nonperfect separably closed field. Let $G$ be a connected reductive algebraic group defined over $k$. We study rationality problems for Serre's notion of complete reducibility of subgroups of $G$. In particular, we present a…
Let G be a reductive group over a commutative ring R. We say that G has isotropic rank >=n, if every normal semisimple reductive R-subgroup of G contains (G_m)^n. We prove that if G has isotropic rank >=1 and R is a regular domain…
For any field K and any transitive subgroup G of S_8, let G acts naturally on K(x_1, . . ., x_8) by permutations of the variables, we prove that under some minor conditions K(x_1, . . ., x_8)^G is always K-rational except G is A_8 or G is…
For any prime number $p$ and field $k$, we characterize the $p$-retract rationality of an algebraic $k$-torus in terms of its character lattice. We show that a $k$-torus is retract rational if and only if it is $p$-retract rational for…
Let $M$ be a finitely generated skew field over a ground field $k$, and let $G$ be a finite group of $k$-linear automorphisms of $M$. This paper investigates finite generation of the skew subfield $M^G$ of $G$-invariants in $M$, and…
In this paper, we give a brief survey of recent developments on Noether's problem and rationality problem for multiplicative invariant fields including author's recent papers Hoshi [Hos15] about Noether's problem over Q, Hoshi, Kang and…
Let $G$ be a group and $H\leqslant G$ a subgroup. The free extension of an $H$-subshift $X$ to $G$ is the $G$-subshift $\widetilde{X}$ whose configurations are those for which the restriction to every coset of $H$ is a configuration from…
Let $k$ be a finitely generated field, let $X$ be an algebraic variety and $G$ a linear algebraic group, both defined over $k$. Suppose $G$ acts on $X$ and every element of a Zariski-dense semigroup $\Gamma \subset G(k)$ has a rational…
Let K be a p-adic field (a finite extension of some Q_p) and let K(t) be the field of rational functions over K. We define a kind of quadratic reciprocity symbol for polynomials over K and apply it to prove isotropy for a certain class of…
Let $k({\bf x})=k(x_1,\ldots ,x_n)$ be the rational function field, and $k\subsetneqq L\subsetneqq k({\bf x})$ an intermediate field. Then, Hilbert's fourteenth problem asks whether the $k$-algebra $A:=L\cap k[x_1,\ldots ,x_n]$ is finitely…
We introduce a general notion of solution for a Noetherian differential $k$-algebra and study its relationship with simplicity, where k is an algebraically closed field; then we analyze conditions under which such solutions may exist and be…
We develop the $n$-dimensional cosmology for $f(\mathcal{G})$ gravity, where $\mathcal{G}$ is the \emph{Gauss-Bonnet} topological invariant. Specifically, by the so-called Noether Symmetry Approach, we select $f(\mathcal{G})\simeq…
Given a field $k$ and a finite group $G$, the Beckmann--Black problem asks whether every Galois field extension $F/k$ with group $G$ is the specialization at some $t_0 \in k$ of some Galois field extension $E/k(T)$ with group $G$ and $E…
We prove a generalization of the Hochster-Roberts-Boutot-Kawamata Theorem conjectured by Aschenbrenner and the author: let $R\to S$ be a pure homomorphism of equicharacteristic zero Noetherian local rings. If $S$ is regular, then $R$ is…