Searcharxiv⌕ Search

arXiv subjects

Shigeru Kuroda

Publications and source records attributed to Shigeru Kuroda.

At least 19 recordsLinked to original sources
arXiv2024

On exponentiality of automorphisms of ${\bf A}^n$ of order $p$ in characteristic $p>0$

Let $X$ be an integral affine scheme of characteristic $p>0$, and $\sigma $ a non-identity automorphism of $X$. If $\sigma $ is $\textit{exponential}$, i.e., induced from a ${\bf G}_a$-action on $X$, then $\sigma $ is obviously of order $p$. It is easy to see that the converse is not true in general. In fact, there exists $X$ which admits an automorphism of order $p$, but admits no non-trivial ${\bf G}_a$-actions. However, the situation is not clear in the case where $X$ is the affine space ${\bf A}_R^n$, because ${\bf A}_R^n$ admits various ${\bf G}_a$-actions as well as automorphisms of order $p$. In this paper, we study exponentiality of automorphisms of ${\bf A}_R^n$ of order $p$, where the difficulty stems from the non-uniqueness of ${\bf G}_a$-actions inducing an exponential automorphism. Our main results are as follows. (1) We show that the triangular automorphisms of ${\bf A}_R^n$ of order $p$ are exponential in some low-dimensional cases. (2) We construct a non-exponential automorphism of ${\bf A}_R^n$ of order $p$ for each $n\ge 2$. Here, $R$ is any UFD which is not a field. (3) We investigate the ${\bf G}_a$-actions inducing an elementary automorphism of ${\bf A}_R^n$.

math.AG↗
arXiv2022

Polynomial automorphisms of characteristic order and their invariant rings

Let $k$ be a field of characteristic $p>0$. We discuss the automorphisms of the polynomial ring $k[x_1,\ldots ,x_n]$ of order $p$, or equivalently the ${\bf Z}/p{\bf Z}$-actions on the affine space ${\bf A}_k^n$. When $n=2$, such an automorphism is know to be a conjugate of an automorphism fixing a variable. It is an open question whether the same holds when $n\ge 3$. In this paper, (1) we give the first counterexample to this question when $n=3$. In fact, we show that every ${\bf G}_a$-action on ${\bf A}_k^3$ of rank three yields counterexamples for $n=3$. We give a family of counterexamples by constructing a family of rank three ${\bf G}_a$-actions on ${\bf A}_k^3$. (2) For the automorphisms induced by this family of ${\bf G}_a$-actions, we show that the invariant ring is isomorphic to $k[x_1,x_2,x_3]$ if and only if the plinth ideal is principal, under some mild assumptions. (3) We study the Nagata type automorphisms of $R[x_1,x_2]$, where $R$ is a UFD of characteristic $p>0$. This type of automorphisms are of order $p$. We give a necessary and sufficient condition for the invariant ring to be isomorphic to $R[x_1,x_2]$. This condition is equivalent to the condition that the plinth ideal is principal.

math.AC↗
arXiv2021

Linearization of holomorphic families of algebraic automorphisms of the affine plane

Let $G$ be a reductive group. We prove that a family of polynomial actions of $G$ on $\mathbb{C}^2$, holomorphically parametrized by an open Riemann surface, is linearizable. As an application, we show that a particular class of reductive group actions on $\mathbb{C}^3$ is linearizable. The main step of our proof is to establish a certain restrictive Oka property for groups of equivariant algebraic automorphisms of $\mathbb{C}^2$.

math.AG↗
arXiv2021

A new class of finitely generated polynomial subalgebras without finite SAGBI bases

The notion of initial ideal for an ideal of a polynomial ring appears in the theory of Gröbner basis. Similarly to the initial ideals, we can define the initial algebra for a subalgebra of a polynomial ring, or more generally of a Laurent polynomial ring, which is used in the theory of SAGBI (Subalgebra Analogue to Gröbner Bases for Ideals) basis. The initial algebra of a finitely generated subalgebra is not always finitely generated, and no general criterion for finite generation is known. The aim of this paper is to present a new class of finitely generated subalgebras having non-finitely generated initial algebras. The class contains a subalgebra for which the set of initial algebras is continuum, as well as a subalgebra with finitely many distinct initial algebras.

math.AC↗
arXiv2018

Hilbert's fourteenth problem and field modifications

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 generated. Various counterexamples to this problem were already given, but the case $[k({\bf x}):L]=2$ was open when $n=3$. In this paper, we study the problem in terms of the field-theoretic properties of $L$. We say that $L$ is minimal if the transcendence degree $r$ of $L$ over $k$ is equal to that of $A$. We show that, if $r\ge 2$ and $L$ is minimal, then there exists $σ\in {\mathop{\rm Aut}\nolimits}_kk(x_1,\ldots ,x_{n+1})$ for which $σ(L(x_{n+1}))$ is minimal and a counterexample to the problem. Our result implies the existence of interesting new counterexamples including one with $n=3$ and $[k({\bf x}):L]=2$.

math.AC↗
arXiv2016

Stably co-tame polynomial automorphisms over commutative rings

We say that a polynomial automorphism $ϕ$ in $n$ variables is stably co-tame if the tame subgroup in $n$ variables is contained in the subgroup generated by $ϕ$ and affine automorphisms in $n+1$ variables. In this paper, we give conditions for stably co-tameness of polynomial automorphisms.

math.AC↗
arXiv2015

Cable algebras and rings of $G_a$-invariants

For a field $k$, the ring of invariants of an action of the unipotent $k$-group $G_a$ on an affine $k$-variety is quasi-affine, but not generally affine. Cable algebras are introduced as a framework for studying these invariant rings. It is shown that the ring of invariants for the $G_a$-action on $A^5_k$ constructed by Daigle and Freudenburg is a monogenetic cable algebra. A generating cable is constructed for this ring, and a complete set of relations is given as a prime ideal in the infinite polynomial ring over $k$. In addition, it is shown that the ring of invariants for the well-known $G_a$-action on $A^7_k$ due to Roberts is a cable algebra.

math.AG↗
arXiv2014

A generalization of Nakai's theorem on locally finite iterative higher derivations

Let $k$ be a field of arbitrary characteristic. Nakai (1978) proved a structure theorem for $k$-domains admitting a nontrivial locally finite iterative higher derivation when $k$ is algebraically closed. In this paper, we generalize Nakai's theorem to cover the case where $k$ is not algebraically closed. As a consequence, we obtain a cancellation theorem of the following form: Let $A$ and $A'$ be finitely generated $k$-domains with $A[x]\simeq _kA'[x]$. If $A$ and $\bar{k}\otimes _kA$ are UFDs and $\mathop{\rm trans.deg}\nolimits_kA=2$, then we have $A\simeq _kA'$. This generalizes the cancellation theorem of Crachiola (2009).

math.AC↗
arXiv2014

Subgroups of polynomial automorphisms with diagonalizable fibers

Let $R$ be an integral domain over a field $k$, and $G$ a subgroup of the automorphism group of the polynomial ring $R[x_1,..., x_n]$ over $R$. In this paper, we discuss when $G$ is diagonalizable under the assumption that $G$ is diagonalizable over the field of fractions of $R$. We are particularly interested in the case where $G$ is a finite abelian group. Kraft-Russell (2014) implies that every finite abelian subgroup of ${\rm Aut}_R(R[x_1,x_2])$ is diagonalizable if $R$ is an affine PID over $k={\bf C}$. One of the main results of this paper says that the same holds for a PID $R$ over any field $k$ containing enough roots of unity.

math.AC↗
arXiv2013

Weighted multidegrees of polynomial automorphisms over a domain

The notion of the weighted degree of a polynomial is a basic tool in Affine Algebraic Geometry. In this paper, we study the properties of the weighted multidegrees of polynomial automorphisms by a new approach which focuses on stable coordinates. We also present some applications of the generalized Shestakov-Umirbaev theory.

math.AC↗
arXiv2013

On the Karaś type theorems for the multidegrees of polynomial automorphisms

To solve Nagata's conjecture, Shestakov-Umirbaev constructed a theory for deciding wildness of polynomial automorphisms in three variables. Recently, Karaś and others study multidegrees of polynomial automorphisms as an application of this theory. They give various necessary conditions for triples of positive integers to be multidegrees of tame automorphisms in three variables. In this paper, we prove a strong theorem unifying these results using the generalized Shestakov-Umirbaev theory.

math.AC↗