Related papers: On set-theoretic complete intersections for smooth…

Any smooth projective curve embeds into $\mathbb{P}^3$. More generally, any curve embeds into a rationally connected variety of dimension at least three. We prove conversely that if every curve embeds in a threefold $X$, then $X$ is…

The main goal of this work is to prove that every entire curve in a smooth hypersurface of degree greater than or equal to 97 in the complex projective space of dimension 4 must satisfy an algebraic differential equation of order 3. A…

Let $R$ be a commutative Noetherian ring of dimension $d$. First, we define the "geometric subring" $A$ of a polynomial ring $R[T]$ of dimension $d+1$ (the definition of geometric subring is more general, see (1.2)). Then we prove that…

We study complexes of finite complete intersection dimension in the derived category of a local ring. Given such a complex, we prove that the thick subcategory it generates contains complexes of all possible complexities. In particular, we…

A ring with a test module of finite upper complete intersection dimension is complete intersection.

It is a well-known result that, in projective space over a field, every set-theoretical complete intersection of positive dimension in connected in codimension one (Hartshorne [H1,3.4.6] or [H2, Theorem 1.3]). Another important…

Let $(R,\fm)$ be commutative Noetherian local ring. It is shown that $R$ is Cohen--Macaulay ring if there exists a Cohen--Macaulay finite (i.e. finitely generated) $R$--module with finite upper Gorenstein dimension. In addition, we show…

In the paper \cite{Lau16}, it was shown that the restriction of a pseudoeffective divisor $D$ to a subvariety $Y$ with nef normal bundle is pseudoeffective. Assuming the normal bundle is ample and that $D|_Y$ is not big, we prove that the…

We prove that any smooth rational projective surface over the field of complex numbers has an open covering consisting of 3 subsets isomorphic to affine planes.

For every even number $n$, and every $n$-dimensional smooth hypersurface of $\mathbb{P}^{n+1}$ of degree $d$, we compute the periods of all its $\frac{n}{2}$-dimensional complete intersection algebraic cycles. Furthermore, we determine the…

We prove that if $C$ is a reflexive smooth plane curve of degree $d$ defined over a finite field $\mathbb{F}_q$ with $d\leq q+1$, then there is an $\mathbb{F}_q$-line $L$ that intersects $C$ transversely. We also prove the same result for…

We make a systematic study of the infinitesimal lifting conditions of a pseudo finite type map of noetherian formal schemes. We recover the usual general properties in this context, and, more importantly, we uncover some new phenomena. We…

Let $A$ be a commutative noetherian ring and $I$ an ideal in $A$. We characterize algebraically when all the minimal primes of the associated graded ring $G_I A$ contract to minimal primes of $A/I$. This, applied to intersection theory,…

We prove that if $f:R \rightarrow S$ is a local homomorphism of noetherian local rings of finite flat dimension and $M$ is a non-zero finitely generated $S$-module whose Gorenstein flat dimension over $R$ is bounded by the difference of the…

We prove that a set $\mathcal X\subset \mathbb{C}^2,\ \#{\mathcal X}=mn,\ m\le n, $ is the set of intersection points of some two plane algebraic curves of degrees $m$ and $n,$ respectively, if and only if the following conditions are…

In this paper, we develop basic results of algebraic geometry over abelian symmetric monoidal categories. Let $A$ be a commutative monoid object in an abelian symmetric monoidal category $(\mathbf C,\otimes,1)$ satisfying certain conditions…

We study completely the Hilbert scheme and punctual Hilbert scheme of a nodal curve, and the relative Hilbert scheme of a family of curves acquiring a node. The results are then extended, less completely, to flag Hilbert schemes,…

Given a smooth subscheme of a projective space over a finite field, we compute the probability that its intersection with a fixed number of hypersurface sections of large degree is smooth of the expected dimension. This generalizes the case…

We prove that a general determinantal hypersurface of dimension 3 is nodal. Moreover, in terms of Chern classes associated with bundle morphisms, we derive a formula for the intersection homology Euler characteristic of a general…

It is shown that a formal mapping between two real-analytic hypersurfaces in complex space is convergent provided that neither hypersurface contains a nontrivial holomorphic variety. For higher codimensional generic submanifolds,…