Related papers: Hypersurfaces in projective schemes and a moving l…

We study quotients of quasi-affine schemes by unipotent groups over fields of characteristic 0. To do this, we introduce a notion of stability which allows us to characterize exactly when a principal bundle quotient exists and, together…

Let X be a separated finite type scheme over a noetherian base ring K. There is a complex C(X) of topological O_X-modules on X, called the complete Hochschild chain complex of X. To any O_X-module M - not necessarily quasi-coherent - we…

We prove that, for a generic set of smooth prescription functions $h$ on a closed ambient manifold, there always exists a nontrivial, smooth, closed hypersurface of prescribed mean curvature $h$. The solution is either an embedded minimal…

The classical fiber product in algebraic geometry provides a powerful tool for studying loci where two morphisms to a base scheme, $\phi: X \to S$ and $\psi: Y \to S$, coincide exactly. This condition of strict equality, however, is…

I consider the class of surfaces $X$ over algebraically closed fields with numerical invariants given in the title. In characteristic zero, this class contains fake projective planes which were introduced by David Mumford. I prove that in…

Let $X$ be a smooth projective variety defined over a finite field. We show that any algebraic $1$-cycle on $X$ is rationally equivalent to a smooth $1$-cycle, which is a $\mathbb{Z}$-linear combination of smooth curves on $X$. We also…

For a finite group acting on a polynomial ring, the Chevalley-Shephard-Todd Theorem proves that the fixed subring is isomorphic to a polynomial ring if and only if the group is generated by pseudo-reflections. In recent years, progress was…

We provide sufficient conditions for two subgroups of a hierarchically hyperbolic group to generate an amalgamated free product over their intersection. The result applies in particular to certain geometric subgroups of mapping class groups…

In this article, we introduce the notion of uniformly S-projective (u-S-projective) relative to a module. Let S be a multiplicative subset of a ring R and M an R-module. An R-module P is said to be u-S-projective relative to M if for any…

Let X be a smooth quasi-projective variety over the algebraic closure of the rational number field. We show that the cycle map of the higher Chow group to Deligne cohomology is injective and the higher Hodge cycles are generated by the…

Let $k$ be an algebraically closed field of characteristic $p > 3$. Let $X$ be an irreducible smooth projective surface over $k$. Fix an integer $n \geq 1$ and let ${\mathcal{H}{\it ilb}}_X^n$ be the Hilbert scheme parameterizing effective…

We explicate a number of notions of algebraic laminations existing in the literature, particularly in the context of an exact sequence $$1\to H\to G \to Q \to 1 $$ of hyperbolic groups. These laminations arise in different contexts:…

We construct a smooth rational affine surface S with finite automorphism group but with the property that the group of automorphisms of the cylinder SxA^2 acts infinitely transitively on the complement of a closed subset of codimension at…

We consider surjective endomorphisms f of degree > 1 on projective manifolds X of Picard number one and their f^{-1}-stable hypersurfaces V, and show that V is rationally chain connected. Also given is an optimal upper bound for the number…

Given a graph of groups $\mathcal{G} = (\Gamma, \{G_v\}, \{G_e\})$ with certain conditions on vertex groups and $G$ acts acylindrically on its Bass-Serre tree $T$. Let $H$ be a finitely generated subgroup of $G$. We prove the following…

Let $X$ be a smooth complex quasi-projective variety and $\Gamma=\pi_1(X)$. Let $\chi \colon \Gamma \to \mathbb{R}$ be an additive character. We prove that the ray $[\chi]$ does not belong to the BNS set $\Sigma(\Gamma)$ if and only if it…

Let A be a finitely generated algebra over a field K of characteristic p >0. We introduce a subring of the ring of Witt vectors W(A). We call it the ring of overconvergent Witt vectors. We prove that on a scheme X of finite type over K the…

In this article we prove a sufficient condition of quasi-normality in higher dimension for a family of meromorphic mappings in which each pair of functions of family shares some moving hypersurfaces. We also prove a normality criterion…

For $E$ a presheaf of spectra on the category of smooth $k$-schemes satisfying Nisnevich excision, we prove that the canonical map from the algebraic singular complex of the theory $E$ with quasi-finite supports to the theory $E$ with…

Let $f \colon X \to X$ be a surjective endomorphism of a normal projective surface. When $\operatorname{deg} f \geq 2$, applying an (iteration of) $f$-equivariant minimal model program (EMMP), we determine the geometric structure of $X$.…