arXiv subjects

Kayo Masuda

Publications and source records attributed to Kayo Masuda.

3 recordsLinked to original sources

arXiv2025

Faithfully flat quotient morphisms by $G_a$-actions on factorial affine varieties

Let $X$ be a factorial complex affine variety of dimension $\ge 3$ with an algebraic action of the additive group $G_a$. Let $\pi : X \to Y$ be the algebraic quotient morphism where we assume $Y$ is an affine variety. When $\pi$ is faithfully flat, we investigate $\pi$ by $G_a$-equivariant affine modifications and give criteria for $\pi$ to be a trivial $\mathbb A^1$-bundle. For a smooth acyclic fourfold $X$ with a free $G_a$-action and a $G_a$-equivariant $\mathbb A^3$-fibration $f : X \to \mathbb A^1$ where $G_a$ acts trivially on $\mathbb A^1$, we give a criterion for the algebraic quotient $Y$ to be isomorphic to $\mathbb A^3$ with $f$ as a coordinate. Together with a criterion for $\pi : X \to Y$ to be a trivial $\mathbb A^1$-bundle, we obtain a sufficient condition for $X\cong Y\times \mathbb A^1\cong \mathbb A^4$.

math.AG↗

arXiv2023

Factorial affine $G_a$-varieties with principal plinth ideals

Let $X={\rm Spec}\: B$ be a factorial affine variety defined over an algebraically closed field $k$ of characteristic zero with a nontrivial action of the additive group $G_a$ associated to a locally nilpotent derivation $\delta$ on $B$. Suppose that $A={\rm Ker}\: \delta$ is an affine $k$-domain. The quotient morphism $\pi : X \to Y={\rm \Spec}\: A$ splits to a composite ${\rm pr} \circ p$ of the projection ${\rm pr} : Y\times \mathbb A^1 \to Y$ and a $G_a$-equivariant birational morphism $p : X \to Y\times \mathbb A^1$ where $G_a$ acts on $\mathbb A^1$ by translation. In this article, we study $X$ of dimension $\ge 3$ under the assumption that the plinth ideal $\delta(B)\cap A$ is a principal ideal generated by a non-unit element $a$ of $A$. By decomposing $p : X \to Y\times \mathbb A^1$ to a sequence of $G_a$-equivariant affine modifications, we investigate the structure of $X$. We show in algebraic way that the general closed fiber of $\pi$ over the closed set $V(a)$ of $Y$ consists of a disjoint union of affine lines. The $G_a$-action on $X$ and the fixed-point locus $X^{G_a}$ are studied with particular interest.

math.AG↗

arXiv2013

Algebraic derivations on affine domains

We observe algebraic derivations on an affine domain B defined over an algebraically closed field of characteristic 0, which are called locally finite derivations in commutative and non-commutative contexts in other references. We observe the graded ring structure which the algebraic derivation defines on B, and give characterizations of a polynomial ring in two variables in terms of algebraic derivations.

math.AG↗