Related papers: Cancellation for surfaces revisited. II

We consider the Zariski-Lipman Conjecture on free module of derivations for algebraic surfaces. Using the theory of non-complete algebraic surfaces, and some basic results about ruled surfaces, we will prove the conjecture for several…

An algebraic variety is called $\mathbb{A}^{1}$-cylindrical if it contains an $\mathbb{A}^{1}$-cylinder, i.e. a Zariski open subset of the form $Z\times\mathbb{A}^{1}$ for some algebraic variety Z. We show that the generic fiber of a family…

We propose and study a generalized version of the Lipman-Zariski conjecture: let $(x \in X)$ be an $n$-dimensional singularity such that for some integer $1 \le p \le n - 1$, the sheaf $\Omega_X^{[p]}$ of reflexive differential $p$-forms is…

Let $(X,B)$ be a pair of a normal surface over a perfect field of characteristic $p>0$ and an effective $\mathbb{Q}$-divisor $B$ on $X$. We prove that Steenbrink-type vanishing holds for $(X,B)$ if it is log canonical and $p>5$, or it is…

Let A be a ring of dimension d and let P be a projective A-module of rank d. We prove that if for every finite extension R of A, R^d is cancellative, then P is cancellative. This gives an alternate proof of Bhatwadekar's result: every…

The purpose of this article is to study the deformations of smooth surfaces $X$ of general type whose canonical map is a finite, degree 2 morphism onto a minimal rational surface or onto $\mathbf F_1$, embedded in projective space by a very…

Given a smooth affine curve X over a field k of positive characteristic, and an overconvergent F-isocrystal on X, we prove after replacing k by a finite purely inseparable extension, there exists a finite separable cover of X, the pullback…

We study the Zariski cancellation problem for Poisson algebras asking whether $A[t]\cong B[t]$ implies $A\cong B$ when $A$ and $B$ are Poisson algebras. We resolve this affirmatively in the cases when $A$ and $B$ are both connected graded…

We classify smooth surfaces whose higher cohomologies of i-forms for all i vanish. We show that if such a surface is not affine, then it has essentially two possibilities.

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…

This is an expanded version of the talk by the author at the conference Polynomial Rings and Affine Algebraic Geometry, February 12--16, 2018, Tokyo Metropolitan University, Tokyo, Japan. Considering a local version of the Zariski…

We prove that cancellation of reflexive modules over affine rings holds under some restrictions. We construct examples to show that this is false even over polynomial rings without the extra assumptions.

Zariski decompositions play an important role in the theory of algebraic surfaces. For making geometric use of the decomposition of a given divisor, one needs to pass to a multiple of the divisor in order to clear denominators. It is…

If $n \equiv 0,1~mod~4$, we prove a sum formula $V_{\theta_{0}} (a_{0},a_{R}^{n}) = n \cdot V_{\theta_{0}} (a_{0},a_{R})$ for the generalized Vaserstein symbol whenever $R$ is a smooth affine algebra over a perfect field $k$ with $char(k)…

We give a cohomological classification of vector bundles of rank $2$ on a smooth affine threefold over an algebraically closed field having characteristic unequal to $2$. As a consequence we deduce that cancellation holds for rank $2$…

In this Thesis we study surfaces of general type with maximal Albanese dimension for which the quantity $K_X^2-4\chi(\mathcal{O}_X)-4(q-2)$ vanishes or is "small", that is surfaces close to the Severi lines. Over the complex numbers, it is…

We show that the category of motivic spaces with transfers along finite flat morphisms, over a perfect field, satisfies all the properties we have come to expect of good categories of motives. In particular we establish the analog of…

The Zariski cancellation problem plays a central role in affine algebraic geometry and noncommutative algebra, with locally nilpotent derivations providing a fundamental invariant-theoretic approach. This article presents a unified survey…

For a smooth subvariety $X\subset\Bbb P^N$, consider (analogously to projective normality) the vanishing condition $H^1(\Bbb P^N,\Cal I^2_X(k))=0$, $k\ge3$. This condition is shown to be satisfied for all sufficiently large embeddings of a…

We develop a new method to deal with the Cancellation Conjecture of Zariski in different environments. We prove the conjecture for free associative algebras of rank two. We also produce a new proof of the conjecture for polynomial algebras…