Related papers: Noether's problem and unramified Brauer groups

The Bogomolov multiplier $B_0(G)$ of a finite group $G$ is defined as the subgroup of the Schur multiplier consisting of the cohomology classes vanishing after restriction to all abelian subgroups of $G$. The triviality of the Bogomolov…

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…

For a finite abelian group $G$, let $\beta_{\mathrm{sep}}(G)$ denote its separating Noether number. We determine $\beta_{\mathrm{sep}}(G)$ exactly for every finite abelian group $ G \cong C_{n_1}\oplus \cdots \oplus C_{n_r}$ with $ 1<n_1…

We study the subgroup B_0(G) of H^2(G,Q/Z) consisting of all elements which have trivial restrictions to every Abelian subgroup of G. The group B_0(G) serves as the simplest nontrivial obstruction to stable rationality of algebraic…

A finite group $G$ is said to be rational if every character of $G$ is rational-valued. The Gruenberg-Kegel graph of a finite group $G$ is the undirected graph whose vertices are the primes dividing the order of $G$ and the edges join…

Noether's problem asks whether, for a given field K and finite group G, the fixed field L := K(x_h : h \in G)^G is a purely transcendental extension of K, where G acts on the x_h by gx_h = x_gh. The field L is naturally the function field…

Let $G$ be a finite group, $V$ a faithful finite-dimensional representation of $G$ over the complex field $\mathbb{C}$ and $\mathbb{C}(V)^{G}$ be the corresponding invariant field. The Bogomolov multiplier $B_{0}(G)$ of $G$ is canonically…

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 $G$ be a finitely generated abelian-by-finite group and $k$ a field of characteristic $p\ge 0$. The Euler class $[k_G]$ of $G$ over $k$ is the class of the trivial $kG$-module in the Grothendieck group $G_0(kG)$. We show that $[k_G]$…

A finite group G with center Z is of central type if there exists a fully ramified character $\lambda\in\mathrm{Irr}(Z)$, i.e. the induced character $\lambda^G$ is a multiple of an irreducible character. Howlett-Isaacs have shown that G is…

Let k be a field, G a finite group embedded in the k-group SL(n). For k an algebraically closed field, Bogomolov gave a formula for the unramified Brauer group of the quotient SL(n)/G. We develop his method over any characteristic zero…

In this project, we will study the Brauer group that was first defined by R. Brauer. The elements of the Brauer group are the equivalence classes of finite dimensional central simple algebra. Therefore understanding the structure of the…

We give several examples of finite groups $G$ for which the rank of the tensor product $\mathbb{Z} \otimes_{\mathbb{Z}\mathrm{Aut}(G)}$ Wh$(G)$ is or is not zero. This is motivated by an earlier theorem of the first author, which implies as…

Let $G$ be a finite group, and let $\mathrm{Irr}(G)$ denote the set of irreducible complex characters of $G$. An element $x$ of $G$ is said to be vanishing, if for some $\chi$ in $\mathrm{Irr}(G)$, we have $\chi(x)=0$. Also the element $x$…

Combining work of Peyre, Colliot-Th\'el\`ene and Voisin, we give the first example of a finite group $G$ such that the motivic class of its classifying stack $BG$ in Ekedahl's Grothendieck ring of stacks over $\mathbb{C}$ is non-trivial and…

For a group G and an element a in G let |a|_k denote the cardinality of the set of commutators [a,x_1,...,x_k], where x_1,...,x_k range over G. The main result of the paper states that a group G is finite-by-nilpotent if and only if there…

Let G be a finite group. A subgroup M of G is said to be an NR-subgroup if, whenever K is normal in M, then K^G\cap M=K, where K^G is the normal closure of K in G. Using the Classification of Finite Simple Groups, we prove that if every…

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…

In this paper we show that for a torsion-free abelian group $G$, $\operatorname{rank}_\mathbb{Z}G<\infty$ if and only if there exists a Noetherian $G$-graded ring $R$ such that the set $\{R_g \neq 0\}$ generates the group $G$. For every $G$…

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…