BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
In this article, we shall discuss the solution to the Zariski Cancellation Problem in positive characteristic, various approaches taken so far towards the possible solution in characteristic zero, and several other questions related to this problem.
Let R be a complete regular local ring with an algebraically closed residue field and let A be a Noetherian R-subalgebra of the polynomial ring R[X]. It has been shown in \cite{DO2} that if dimR=1, then A is necessarily finitely generated over R. In this paper, we give necessary and sufficient conditions for A to be finitely generated over R when dimR=2 and present an example of a Noetherian normal non-finitely generated R-subalgebra of R[X] over R=C[[u,v]].
In this paper, we first consider the relationship between a polynomial ring B over a Noetherian domain R and the ring of invariants A of a Ga-action on B, when A occurs as a retract of B. Next, we study retracts of a polynomial ring in general and address the questions of D. L. Costa raised in \cite{C}. Finally, we examine the behaviour of ideals and certain properties of rings under retractions.
Let k be an algebraically closed field of characteristic zero, D a locally nilpotent derivation on the polynomial ring k[X_1, X_2,X_3,X_4] and A the kernel of D. A question of M. Miyanishi asks whether projective modules over A are necessarily free. Implicit is a subquestion: whether the Grothendieck group K_0(A) is trivial. In this paper we shall demonstrate an explicit k[X_1]-linear fixed point free locally nilpotent derivation D of k[X_1,X_2, X_3, X_4] whose kernel A has an isolated singularity and whose Grothendieck group K_0(A) is not finitely generated; in particular, there exists an infinite family of pairwise non-isomorphic projective modules over the kernel A. We shall also show that, although Miyanishi's original question does not have an affirmative answer in general, suitably modified versions of the question do have affirmative answers when D annihilates a variable. For instance, we shall establish that in this case the groups G_0(A) and G_1(A) are indeed trivial. Further, we shall see that if the above kernel A is a regular ring, then A is actually a polynomial ring over k; in particular, by the Quillen-Suslin theorem, Miyanishi's question has an affirmative answer. Our construction involves rings defined by the relation u^mv=F(z,t), where F(Z,T) is an irreducible polynomial in k[Z,T]. We shall show that a necessary and sufficient condition for such a ring to be the kernel of a k[X_1]-linear locally nilpotent derivation D of a polynomial ring k[X_1,...,X_4] is that F defines a polynomial curve.
We show that the Cancellation Conjecture does not hold for the affine space A^3_k over any field k of positive characteristic. We prove that an example of T. Asanuma provides a three-dimensional k-algebra A for which A is not isomorphic to k[X_1,X_2,X_3] although A[T] is isomorphic to k[X_1, X_2, X_3, X_4].
In this paper we shall show that when k is a field of positive characteristic the affine space A^n_k is not cancellative for any n greater than 2.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.