Related papers: Enriques' classification in characteristic $ p >0$…

Based on the compatible pair theory of principal bundle constraint systems, this paper discovers and establishes a complete Spencer differential degeneration theory. We prove that when symmetric tensors satisfy a $\lambda$-dependent kernel…

In this paper we study areas (called p-areas) and volumes for parametric surfaces in the 3D-Heisenberg group $\mathbb{H}_1$, which is considered as a flat model of pseudo-hermitian manifolds. We derive the formulas of p-areas and volumes…

We work over an algebraically closed field of arbitrary characteristic. Ellingsrud-Peskine proved that smooth surfaces in P^4 are subject to strong limitations. Their whole argument is derived from the fact that the sectional genus of…

In this work we present new results to produce an algorithm that returns, for any fixed pair of natural integers $K^2$ and $\chi$, all regular surfaces $S$ of general type with self-intersection $K_S^2=K^2$ and Euler characteristic…

In this short note we prove two theorems, the first one is a sharpening of a result of Lange and Sernesi: the discriminant curve W of a general Abelian surface $A$ endowed with an irreducible polarization $D$ of type $(1,3)$ is an…

We show that a characteristic $0$ model $X_R\to \Spec R$, with Picard number $1$ over a geometric generic point, of a K3 surface in characteristic $p\ge 3$, essentially kills all automorphisms (Theorem 5.1). We show that there is an…

This note contains preliminary calculation of topological types or real Enriques surfaces. We realize 59 topological types of real Enriques surfaces (Theorem 6) and show that all other topological types belong to the list of 21 topological…

Since the work of Ellingsrud and Peskine at the end of 1980s, it has been known that, with the exception of a finite number of families, smooth compact complex surfaces in $\mathbb{P}^4$ with prescribed Chern classes must lie on…

The framework of algebraically natural proofs was independently introduced in the works of Forbes, Shpilka and Volk (2018), and Grochow, Kumar, Saks and Saraf (2017), to study the efficacy of commonly used techniques for proving lower…

We conjecture an explicit formula for the $K$-theoretically refined Vafa-Witten invariants of the Enriques surface. By a wall-crossing argument the conjecture is equivalent to a new conjectural formula for the K-theoretically refined…

We consider flat families of reduced curves on a smooth surface S such that each member C has the same number of singularities of fixed singularity types and the corresponding (locally closed) subscheme H of the Hilbert scheme of S. We are…

This note describes minimal surfaces $S$ of general type satisfying $p_g\geq 5$ and $K^2=2p_g$. For $p_g\geq 8$ the canonical map of such surfaces is generically finite of degree 2 and the bulk of the paper is a complete characterization of…

Let $k$ be an algebraically closed field of characteristic $p>0$. Let $c,d,m$ be positive integers. Let $D$ be a $p$-divisible group of codimension $c$ and dimension $d$ over $k$. Let $\scrD$ be a versal deformation of $D$ over a smooth…

Using Dwork's theory, we prove a broad generalisation of his famous p-adic formal congruences theorem. This enables us to prove certain p-adic congruences for the generalized hypergeometric series with rational parameters; in particular,…

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)$.…

Let $k$ be an algebraically closed field of characteristic $p>0$. Let $X$ be a normal projective surface over $k$ with canonical singularities whose anti-canonical divisor is nef and big. We prove that $X$ is globally $F$-regular except for…

We construct a surface of general type with canonical map of degree 12 which factors as a triple cover and a bidouble cover of $\mathbb P^2$. We also show the existence of a smooth surface with $q=0,$ $\chi=13$ and $K^2=9\chi$ such that its…

This paper uses a relative of BP-cohomology to prove a theorem in characteristic p algebra. Specifically, we obtain some new necessary conditions for the existence of sums-of-squares formulas over fields of characteristic p > 2. These…

In this expository article, we prove a birational classification of smooth projective models of surfaces with negative Kodaira dimension over $\mathbb{Z}$ and over more general rings of integers $\mathcal{O}_K$, depending on their…

Fix integers $r,d,s,\pi$ with $r\geq 4$, $d\gg s$, $r-1\leq s \leq 2r-4$, and $\pi\geq 0$. Refining classical results for the genus of a projective curve, we exhibit a sharp upper bound for the arithmetic genus $p_a(C)$ of an integral…