Related papers: Retract rationality and algebraic tori

Let $k$ be a field. Let $A=\prod_{i=1}^r K_i$ and $B=\prod_{j=1}^s E_j$ be \'etale $k$-algebras where $K_i$ and $E_j$ are finite separable field extensions of $k$ with $[K_i:k]=m_i$ and $[E_j:k]=n_j$. Let…

We prove that nonsingular retract rational algebraic varieties over any infinite field are uniformly retract rational. As a consequence, every rational, projective, nonsingular complex variety is algebraically elliptic.

Let $p$ be an odd prime and $G$ be a nonabelian group of order $p^{n}$ with the presentation $$<\alpha,\beta,\gamma\mid \alpha^{p^{a}}=\beta^{p^{b}}=\gamma^{p^{c}}=1,…

We investigate the stable and retract rationality of multinorm one tori associated to finite {\'e}tale algebras. Our results are organized according to the greatest common divisor $d$ of the degrees of the factors. We show that these tori…

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 $h(x_g)=x_{hg}$ for any $g,h\in G$. Noether's problem asks whether the invariant field $k(G)=k(x_g\,|\,g\in G)^G$ is…

Let $p$ be an odd prime number, $D_p$ be the dihedral group of order $2p$, $h_p$ and $h^+_p$ be the class numbers of $\bm{Q}(\zeta_p)$ and $\bm{Q}(\zeta_p+ \zeta_p^{-1})$ respectively. Theorem. $h_p^+=1$ if and only if, for any field $k$…

Let G be the product of an abelian variety and a torus defined over a number field K. Let R_1,..., R_n be points in G(K). Let l be a rational prime and let a_1,..., a_n be non-negative integers. Consider the set of primes p of K satisfying…

Let $K$ be a 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 G)^G$. Noether's…

Let $R$ be a complete valuation ring of mixed characteristic $(0,p)$ with algebraically closed fraction field $K$ and residue field $k$. Let $X/R$ be a smooth projective morphism. We show that if $X_k$ is stably rational, then $H^3(X_K,…

We give a positive solution to Noether's rationality problem for certain index $p$ subgroups of the $p$-Sylow subgoups of symmetric groups.

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 R be an affine PI-algebra over an algebraically closed field k and let G be an affine algebraic k-group that acts rationally by algebra automorphisms on R. For R prime and G a torus, we show that R has only finitely many G-prime ideals…

Let $A$ be the product of an abelian variety and a torus defined over a number field $K$. Fix some prime number $\ell$. If $\alpha \in A(K)$ is a point of infinite order, we consider the set of primes $\mathfrak p$ of $K$ such that the…

In the present paper, we prove the retract rationality of the classifying spaces $BG$ for several types of finite connected group schemes $G$ over algebraically closed fields of positive characteristic $p>0$. In particular, we prove the…

Let $k$ be any field, $G$ be a finite group acing on the rational function field $k(x_g:g\in G)$ by $h\cdot x_g=x_{hg}$ for any $h,g\in G$. Define $k(G)=k(x_g:g\in G)^G$. Noether's problem asks whether $k(G)$ is rational (= purely…

Let $k$ be a nonperfect separably closed field. Let $G$ be a (possibly non-connected) reductive group defined over $k$. We study rationality problems for Serre's notion of complete reducibility of subgroups of $G$. In our previous work, we…

Let $K_i$ be a number field for all $i \in \mathbb{Z}_{> 0}$ and let $\mathcal{E}$ be a family of elliptic curves containing infinitely many members defined over $K_i$ for all $i$. Fix a rational prime $p$. We give sufficient conditions for…

Let k be an algebraically closed field of characteristic zero. We show that the centre of a homologically homogeneous, finitely generated k-algebra has rational singularities. In particular if a finitely generated normal commutative…

Let G be a connected linear algebraic group over a field k. We say that G is toric-friendly if for any field extension K/k and any maximal K-torus T in G the group G(K) has only one orbit in (G/T)(K). Our main result is a classification of…

We give a complete answer to the local-global divisibility problem for algebraic tori. In particular, we prove that given an odd prime $p$, if $T$ is an algebraic torus of dimension $r< p-1$ defined over a number field $k$, then the…