Related papers: Smooth $\mathbb{Q}$-homology planes satisfying the…

Let $f(\bf z,\bar{\bf z})$ be a strongly mixed homogeneous polynomial of 3 variables $\bf z=(z_1,z_2,z_3)$ of polar degree $q$ with an isolated singularity at the origin. It defines a smooth Riemann surface $C$ in the complex projective…

Let $G$ be a complex connected reductive algebraic group that acts on a smooth complex algebraic variety $X$, and let $E$ be a $G$-equivariant algebraic vector bundle over $X$. A section of $E$ is regular if it is transversal to the zero…

For each nonnegative integer m we show that any closed, oriented topological four-manifold with fundamental group Z_{4m+2} and odd intersection form, with possibly seven exceptions, either admits no smooth structure or admits infinitely…

Using the theory of cohomology support locus, we give a necessary condition for the Albanese map of a smooth projective surface being a submersion. More precisely, assuming the cohomology support locus of any finite abelian cover of a…

We prove that the equisingular deformation type of a simple real plane sextic curve with smooth real part is determined by its real homological type, \ie, the polarization, exceptional divisors, and real structure recorded in the homology…

In 1932 F. Severi claimed, with an incorrect proof, that every smooth minimal projective surface $S$ such that the bundle $\Omega^1_S$ is generically generated by global sections satisfies the topological inequality $2c_1^2(S)\ge c_2(S)$.…

We introduce a qualitative conjecture, in the spirit of Campana, to the effect that certain subsets of rational points on a variety over a number field, or a Deligne-Mumford stack over a ring of S-integers, cannot be Zariski dense. The…

We prove that a complex surface S with irregularity q(S)=5 that has no irrational pencil of genus >1 has geometric genus p_g(S)>7. As a consequence, one is able to classify minimal surfaces S of general type with q(S)=5 and p_g(S)<8. This…

We give an affirmative answer to a conjecture of Ma. Kato, namely that every compact complex surface $S$ in Kodaira's class $VII_0$ with $b_2(S) > 0$ and $b_2(S)$ rational curves, admits a global spherical shell.

This paper proposes a new notion of smoothness of algebras, termed differential smoothness, that combines the existence of a top form in a differential calculus over an algebra together with a strong version of the Poincar\'e duality…

We compute some numerical invariants of the lines on hyperplane sections of a smooth cubic threefold over complex numbers. We also prove that for any smooth hypersurface $X\subset \mathbb P^{n+1}$ of degree $d$ over an algebraically closed…

We say a smooth projective surface $X$ satisfies the bounded cohomology property if there exists a positive constant $c_X$ such that $h^1(\mathcal O_X(C))\le c_Xh^0(\mathcal O_X(C))$ for every prime divisor $C$ on $X$. Let the closed Mori…

Let $ 1 \rightarrow N \rightarrow G \rightarrow Q \rightarrow 1$ be an exact sequence of finitely presented groups where Q is infinite and not virtually cyclic, and is the fundamental group of some closed 3-manifold. If G is Kaehler, we…

We start to study the problem of classifying smooth proper varieties over a field k from the standpoint of A^1-homotopy theory. Motivated by the topological theory of surgery, we discuss the problem of classifying up to isomorphism all…

For a two-dimensional surface in the four-dimensional Euclidean space we introduce an invariant linear map of Weingarten type in the tangent space of the surface, which generates two invariants k and kappa. The condition k = kappa = 0…

Let $\mathfrak{g}$ be a simple Lie algebra, and let $W_\kappa$ be the affine ${W}$-algebra associated to a principal nilpotent element of $\mathfrak{g}$ and level $\kappa$. We explain a duality between the categories of smooth ${W}$ modules…

Working in the context of symmetric spectra, we describe and study a homotopy completion tower for algebras and left modules over operads in the category of modules over a commutative ring spectrum (e.g., structured ring spectra). We prove…

We explicitly describe the KSBA/Hacking compactification of a moduli space of log surfaces of Picard rank 2. The space parametrizes log pairs $(S, D)$ where $S$ is a degeneration of $\mathbb{P}^1 \times \mathbb{P}^1$ and $D \subset S$ is a…

A good canonical projection of a surface $S$ of general type is a morphism to the 3-dimensional projective space P^3 given by 4 sections of the canonical line bundle. To such a projection one associates the direct image sheaf F of the…

In this paper, we define the $K$-theoretic Hall algebra for $0$-dimensional coherent sheaves on a smooth projective surface, prove that the algebra is associative and construct a homomorphism to a redefined shuffle algebra analogous to…