BZPEER

preprint2016arXiv

A note on Plans's paper of Noether's problem

Let $p$ be a prime number and $ζ_p$ be a primitive $p$ -th root of unity in $\bm{C}$ . Let $k$ be a field and $k(x_0,\ldots,x_{p-1})$ be the rational function field of $p$ variables over $k$ . Suppose that $G=\langleσ\rangle \simeq C_p$ acts on $k(x_0,\ldots,x_{p-1})$ by $k$ -automorphisms defined as $σ:x_0\mapsto x_1\mapsto\cdots\mapsto x_{p-1}\mapsto x_0$ . Denote by $P$ the set of all prime numbers and define $P_0=\{p\in P:\bm{Q}(ζ_p)$ is of class number one $\}$ . Theorem. If $k$ is an algebraic number field and $p\in P\backslash (P_0\cup P_k)$ , then $k(x_0,\ldots,x_{p-1})^G$ is not stably rational over $k$ where $P_k=\{p\in P: p$ is ramified in $k\}$ .

preprint2015arXiv

Algebraic tori revisited

Let $K/k$ be a finite Galois extension and $π= \fn{Gal}(K/k)$. An algebraic torus $T$ defined over $k$ is called a $π$ -torus if $T\times_{\fn{Spec}(k)} \fn{Spec}(K)\simeq \bm{G}_{m,K}^n$ for some integer $n$ . The set of all algebraic $π$ -tori defined over $k$ under the stably isomorphism form a semigroup, denoted by $T(π)$ . We will give a complete proof of the following theorem due to Endo and Miyata \cite{EM5}. Theorem. Let $π$ be a finite group. Then $T(π)\simeq C(Ω_{\bm{Z}π})$ where $Ω_{\bm{Z}π}$ is a maximal $\bm{Z}$ -order in $\bm{Q}π$ containing $\bm{Z}π$ and $C(Ω_{\bm{Z}π})$ is the locally free class group of $Ω_{\bm{Z}π}$ , provided that $π$ is isomorphic to the following four types of groups : $C_n$ ( $n$ is any positive integer), $D_m$ ( $m$ is any odd integer $\ge 3$ ), $C_{q^f}\times D_m$ ( $m$ is any odd integer $\ge 3$ , $q$ is an odd prime number not dividing $m$ , $f\ge 1$ , and $(\bm{Z}/q^f\bm{Z})^{\times}=\langle \bar{p}\rangle$ for any prime divisor $p$ of $m$ ), $Q_{4m}$ ( $m$ is any odd integer $\ge 3$ , $p\equiv 3 \pmod{4}$ for any prime divisor $p$ of $m$ ).

preprint2015arXiv

Cartan maps and projective modules

Let $R$ be a commutative ring, $π$ be a finite group, $Rπ$ be the group ring of $π$ over $R$ . Theorem 1. If $R$ is a commutative artinian ring and $π$ is a finite group. Then the Cartan map $c:K_0(Rπ)\to G_0(Rπ)$ is injective. Theorem 2. Suppose that $R$ is a Dedekind domain with $\fn{char}R=p>0$ and $π$ is a $p$ -group. Then every finitely generated projective $Rπ$ -module is isomorphic to $F \oplus cA$ where $F$ is a free module and $cA$ is a projective ideal of $Rπ$ . Moreover, $R$ is a principal ideal domain if and only if every finitely generated projective $Rπ$ -module is isomorphic to a free module. Theorem 3. Let $R$ be a commutative noetherian ring with total quotient ring $K$ , $A$ be an $R$ -algebra which is a finitely generated $R$ -projective module. Suppose that $I$ is an ideal of $R$ such that $R/I$ is artinian. Let $\{cM_1,\ldots,cM_n\}$ be the set of all maximal ideals of $R$ containing $I$ . Assume that the Cartan map $c_i: K_0(A/cM_iA)\to G_0(A/cM_iA)$ is injective for all $1\le i\le n$ . If $P$ and $Q$ are finitely generated $A$ -projective modules with $KP\simeq KQ$ , then $P/IP\simeq Q/IQ$ .

preprint2015arXiv

Degree Three Unramified Cohomology Groups

Let $p$ be an odd prime number. Peyre shows that there is a group $G$ of order $p^{12}$ such that $H_{nr}^3(\bm{C}(G), \bm{Q}/\bm{Z})$ is non-trivial. Using Peyre's method, we are able to prove that the same conclusion is true for some groups of order $p^9$ .

preprint2014arXiv

Class Numbers and Algebraic Tori

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}(ζ_p)$ and $\bm{Q}(ζ_p+ ζ_p^{-1})$ respectively. Theorem. $h_p^+=1$ if and only if, for any field $k$ admitting a $D_p$ -extension, all the algebraic $D_p$ -tori over $k$ are stably rational. A similar result for $h_p=1$ and $C_p$ -tori is valid also.

preprint2014arXiv

Invertible Lattices

Theorem. Let $π$ be a finite group of order $n$ , $R$ be a Dedekind domain satisfying that (i) $\fn{char}R=0$, (ii) every prime divisor of $n$ is not invertible in $R$ , and (iii) $p$ is unramified in $R$ for any prime divisor $p$ of $n$ . Then all the flabby (resp.\ coflabby) $Rπ$ -lattices are invertible if and only if all the Sylow subgroups of $π$ are cyclic. The above theorem was proved by Endo and Miyata when $R=\bm{Z}$ \cite[Theorem 1.5]{EM}. As applications of this theorem, we give a short proof and a partial generalization of a result of Torrecillas and Weigel \cite[Theorem A]{TW}, which was proved using cohomological Mackey functors.

preprint2014arXiv

Noether's problems for groups of order 243

Let $k$ be any field, $G$ be a finite group. Let $G$ act on the rational function field $k(x_g:g\in G)$ by $k$ -automorphisms defined by $h\cdot x_g=x_{hg}$ for any $g,h\in G$ . Denote by $k(G)=k(x_g:g\in G)^G$ the fixed field. Noether's problem asks, under what situations, the fixed field $k(G)$ will be rational (= purely transcendental) over $k$ . According to the data base of GAP there are $10$ isoclinism families for groups of order $243$ . It is known that there are precisely $3$ groups $G$ of order $243$ (they consist of the isoclinism family $Φ_{10}$ ) such that the unramified Brauer group of $\bm{C}(G)$ over $\bm{C}$ is non-trivial. Thus $\bm{C}(G)$ is not rational over $\bm{C}$ . We will prove that, if $ζ_9 \in k$ , then $k(G)$ is rational over $k$ for groups of order $243$ other than these $3$ groups, except possibly for groups belonging to the isoclinism family $Φ_7$ .

preprint2013arXiv

Action of dihedral groups

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 G)^G$ . Noether's problem asks whether $K(G)$ is rational (=purely transcendental) over $K$ . We will give a brief survey of Noether's problem for abelian groups and dihedral groups, and will show that $\Bbb Q(D_n)$ is rational over $\Bbb Q$ for $n \le 10$ .

preprint2013arXiv

Invariants of wreath products and subgroups of S_6

Let $G$ be a subgroup of $S_6$ , the symmetric group of degree 6. For any field $k$ , $G$ acts naturally on the rational function field $k(x_1,...,x_6)$ via $k$ -automorphisms defined by $σ\cdot x_i=x_{σ(i)}$ for any $σ\in G$ , any $1\le i\le 6$ . Theorem. The fixed field $k(x_1,...,x_6)^G$ is rational (=purely transcendental) over $k$ , except possibly when $G$ is isomorphic to $PSL_2(\bm{F}_5)$ , $PGL_2(\bm{F}_5)$ or $A_6$ . When $G$ is isomorphic to $PSL_2(\bm{F}_5)$ or $PGL_2(\bm{F}_5)$ , then $\bm{C}(x_1,...,x_6)^G$ is $\bm{C}$ -rational and $k(x_1,...,x_6)^G$ is stably $k$ -rational for any field $k$ . The invariant theory of wreath products will be investigated also.

preprint2013arXiv

Rational invariants for subgroups of S_5 and S_7

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 $σ\cdot x_i=x_{σ(i)}$ for any $σ\in G$ , any $1\le i\le n$ . Theorem. If $n\le 5$ , then the fixed field $k(x_1,\ldots,x_n)^G$ is purely transcendental over $k$ . We will show that $\bm{C}(x_1,\ldots,x_7)^G$ is also purely transcendental over $\bm{C}$ if $G$ is any transitive subgroups of $S_7$ other than $A_7$ ; a similar result is valid for solvable transitive subgroups of $S_{11}$ .

preprint2013arXiv

The Bogomolov multiplier of rigid finite groups

The Bogomolov multiplier 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$ . This invariant of $G$ plays an important role in birational geometry of quotient spaces $V/G$ . We show that in many cases the vanishing of the Bogomolov multiplier is guaranteed by the rigidity of $G$ in the sense that it has no outer class-preserving automorphisms.

preprint2012arXiv

Bogomolov multipliers and retract rationality for semi-direct products

Let $G$ be a finite group. The Bogomolov multiplier $B_0(G)$ is constructed as an obstruction to the rationality of $\bm{C}(V)^G$ where $G\to GL(V)$ is a faithful representation over $\bm{C}$ . We prove that, for any finite groups $G_1$ and $G_2$ , $B_0(G_1\times G_2)\xrightarrow{\sim} B_0(G_1)\times B_0(G_2)$ under the restriction map. If $G=N\rtimes G_0$ with $\gcd\{|N|,|G_0|\}=1$ , then $B_0(G)\xrightarrow{\sim} B_0(N)^{G_0}\times B_0(G_0)$ under the restriction map. For any integer $n$ , we show that there are non-direct-product $p$ -groups $G_1$ and $G_2$ such that $B_0(G_1)$ and $B_0(G_2)$ contain subgroups isomorphic to $(\bm{Z}/p \bm{Z})^n$ and $\bm{Z}/p^n \bm{Z}$ respectively. On the other hand, if $k$ is an infinite field and $G=N\rtimes G_0$ where $N$ is an abelian normal subgroup of exponent $e$ satisfying that $ζ_e\in k$ , we will prove that, if $k(G_0)$ is retract $k$ -rational, then $k(G)$ is also retract $k$ -rational provided that certain "local" conditions are satisfied; this result generalizes two previous results of Saltman and Jambor \cite{Ja}.

preprint2012arXiv

Frobenius groups and retract rationality

Let $k$ be any field, $G$ be a finite group acting 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 transcendental) over $k$ . A weaker notion, retract rationality introduced by Saltman, is also very useful for the study of Noether's problem. We prove that, if $G$ is a Frobenius group with abelian Frobenius kernel, then $k(G)$ is retract $k$ -rational for any field $k$ satisfying some mild conditions. As an application, we show that, for any algebraic number field $k$ , for any Frobenius group $G$ with Frobenius complement isomorphic to $SL_2(\bm{F}_5)$ , there is a Galois extension field $K$ over $k$ whose Galois group is isomorphic to $G$ , i.e. the inverse Galois problem is valid for the pair $(G,k)$ . The same result is true for any non-solvable Frobenius group if $k(ζ_8)$ is a cyclic extension of $k$ .

preprint2012arXiv

Noether's problem and unramified Brauer groups

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 transcendental) over $k$ . It is known that, if $\bm{C}(G)$ is rational over $\bm{C}$ , then $B_0(G)=0$ where $B_0(G)$ is the unramified Brauer group of $\bm{C}(G)$ over $\bm{C}$ . Bogomolov showed that, if $G$ is a $p$ -group of order $p^5$ , then $B_0(G)=0$ . This result was disproved by Moravec for $p=3,5,7$ by computer calculations. We will prove the following theorem. Theorem. Let $p$ be any odd prime number, $G$ be a group of order $p^5$ . Then $B_0(G)\ne 0$ if and only if $G$ belongs to the isoclinism family $Φ_{10}$ in R. James's classification of groups of order $p^5$ .

preprint2011arXiv

Noether's problem for some 2-groups

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 G)^G$ is rational (i.e. purely transcendental) over $k$ . We will prove that, if $G$ is a group of order $2^n$ ( $n\ge 4$ ) and of exponent $2^e$ such that (i) $e\ge n-2$ and (ii) $ζ_{2^{e-1}} \in k$ , then $k(G)$ is $k$ -rational.13A50,14E08,14M20,12F12

preprint2011arXiv

Noether's problem for the groups with a cyclic subgroup of index 4

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 G)^G$ is rational (i.e. purely transcendental) over $k$ . Theorem 1. If $G$ is a group of order $2^n$ ( $n\ge 4$ ) and of exponent $2^e$ such that (i) $e\ge n-2$ and (ii) $ζ_{2^{e-1}} \in k$ , then $k(G)$ is $k$ -rational. Theorem 2. Let $G$ be a group of order $4n$ where $n$ is any positive integer (it is unnecessary to assume that $n$ is a power of 2). Assume that {\rm (i)} $\fn{char}k \ne 2$, $ζ_n \in k$ , and {\rm (ii)} $G$ contains an element of order $n$ . Then $k(G)$ is rational over $k$ , except for the case $n=2m$ and $G \simeq C_m \rtimes C_8$ where $m$ is an odd integer and the center of $G$ is of even order (note that $C_m$ is normal in $C_m \rtimes C_8$ ) ; for the exceptional case, $k(G)$ is rational over $k$ if and only if at least one of $-1, 2, -2$ belongs to $(k^{\times})^2$ .

preprint2011arXiv

Retract Rational Fields

Let $k$ be an infinite field. The notion of retract $k$ -rationality was introduced by Saltman in the study of Noether's problem and other rationality problems. We will investigate the retract rationality of a field in this paper. Theorem 1. Let $k\subset K\subset L$ be fields. If $K$ is retract $k$ -rational and $L$ is retract $K$ -rational, then $L$ is retract $k$ -rational. Theorem 2. For any finite group $G$ containing an abelian normal subgroup $H$ such that $G/H$ is a cyclic group, for any complex representation $G \to GL(V)$ , the fixed field $\bm{C}(V)^G$ is retract $\bm{C}$ -rational. Theorem 3. If $G$ is a finite group, then all the Sylow subgroups of $G$ are cyclic if and only if $\bm{C}_α(M)^G$ is retract $\bm{C}$ -rational for all $G$ -lattices $M$ , for all short exact sequences $α: 0 \to \bm{C}^{\times} \to M_α \to M \to 0$ . Because the unramified Brauer group of a retract $\bm{C}$ -rational field is trivial, Theorem 2 and Theorem 3 generalize previous results of Bogomolov and Barge respectively (see Theorem \ref{t5.9} and Theorem \ref{t6.1}).

preprint2011arXiv

Unramified Brauer groups for groups of order p^5

Let $k$ be any field, $G$ be a finite group acting 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 transcendental) over $k$ . It is known that, if $\bC(G)$ is rational over $\bC$, then $B_0(G)=0$ where $B_0(G)$ is the unramified Brauer group of $\bC(G)$ over $\bC$. Bogomolov showed that, if $G$ is a $p$ -group of order $p^5$ , then $B_0(G)=0$ . This result was disproved by Moravec for $p=3,5,7$ by computer computing. We will give a theoretic proof of the following theorem (i.e. by the traditional bare-hand proof without using computers). Theorem. Let $p$ be any odd prime number. Then there is a group $G$ of order $p^5$ satisfying $B_0(G)\neq 0$ and $G/[G,G] \simeq C_p \times C_p$ . In particular, $\bC(G)$ is not rational over $\bC$.

preprint2010arXiv

Noether's problem for p_groups with a cyclic subgroup of index p^2

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$ . Noether's problem asks whether the fixed field $K(G)=K(x_g:g\in G)^G$ is rational (=purely transcendental) over $K$ . We will prove that if $G$ is a non-abelian $p$ -group of order $p^n$ ( $n\ge 3$ ) containing a cyclic subgroup of index $p^2$ and $K$ is any field containing a primitive $p^{n-2}$ -th root of unity, then $K(G)$ is rational over $K$ . As a corollary, if $G$ is a non-abelian $p$ -group of order $p^3$ and $K$ is a field containing a primitive $p$ -th root of unity, then $K(G)$ is rational.

Ming-chang Kang

Research overview

Is this your work?

19 publications

A note on Plans's paper of Noether's problem

Algebraic tori revisited

Cartan maps and projective modules

Degree Three Unramified Cohomology Groups

Class Numbers and Algebraic Tori

Invertible Lattices

Noether's problems for groups of order 243

Action of dihedral groups

Invariants of wreath products and subgroups of S_6

Rational invariants for subgroups of S_5 and S_7

The Bogomolov multiplier of rigid finite groups

Bogomolov multipliers and retract rationality for semi-direct products

Frobenius groups and retract rationality

Noether's problem and unramified Brauer groups

Noether's problem for some 2-groups

Noether's problem for the groups with a cyclic subgroup of index 4

Retract Rational Fields

Unramified Brauer groups for groups of order p^5

Noether's problem for p_groups with a cyclic subgroup of index p^2

See the researcher in context

Building this map preview