代数几何
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…
We develop the geometric theory of equivariant quasisymmetry via a new ``quasisymmetric flag variety''. This is a toric complex in the flag variety whose fixed point set is the set of noncrossing partitions, and whose cohomology ring is the…
We develop a general framework for Abel maps associated with a family $X/S$ of integral curves using derived algebraic geometry. For compactified Picard schemes, our approach yields relative quasi-smooth derived enhancements of the Quot…
This paper introduces the concept of supermanifolds, viewed as the super-analogues of classical manifolds. Instead of treating supermanifolds as sets of points, we adopt an algebraic-geometric perspective, emphasizing the algebra of…
We construct an explicit, embedded degeneration of the general torus orbit closure in the maximal orthogonal Grassmannian OG(n,2n+1) into a union of Richardson varieties. In particular, we deduce a formula for the cohomology class of the…
Using the addition technique, we present polynomial identities for the Betti and Poincar\'e polynomials of reduced plane curves.
We establish the minimal model theory for normal pairs along log canonical locus in the complex analytic setting. This is the complex analytic analog of the previous result by the author.
We define a combinatorial object that can be associated with any conic-line arrangement with ordinary singularities, which we call the combinatorial Poincar\'e polynomial. We prove a Terao-type factorization statement on the splitting of…
Buchweitz-Greuel-Schreyer conjectured in 1987 a lower bound on the ranks of matrix factorizations over certain local hypersurface rings. We study a graded version of this conjecture, and we show that it implies a novel conjecture concerning…
Given a complex affine hypersurface with isolated singularity determined by a homogeneous polynomial, we identify the noncommutative Hodge structure on the periodic cyclic homology of its singularity category with the classical Hodge…
We construct explicit dominant, rational morphisms from projective bundles over rational varieties to relevant moduli spaces, showing their unirationality. These constructions work for $U_{r,d,g}$; for all ranks, degrees and genus $2\leq g…
For good minimal models with klt singularities, polarized by Weil divisors that are relatively nef and big over the bases of the Iitaka fibration, we show that, after fixing appropriate numerical invariants, they form a bounded family. As…
The aim of this note is threefold. The first is to obtain a simple characterization of relative constructible sheaves when the parameter space is projective. The second is to study the relative Fourier-Mukai for relative constructible…
We show that cubic fourfolds with lattice of algebraic 2-cycles of rank greater than 19 have abelian and finite dimensional (in the sense of Kimura) Chow motive. This also implies Abelianity and finite dimensionality of the motive of…
We revisit the classical constructions of tensor-triangular geometry in the setting of stably symmetric monoidal idempotent-complete $\infty$-categories, henceforth referred to as 2-rings. In this setting, we produce a Zariski topology, a…
We give a simple geometric characterization of the locus where the inscribed Banach--Colmez Tangent Spaces of moduli of mixed characteristic local shtukas with one leg and fixed determinant are connected. We conjecture that the structure…
We classify $G$-Mori fibre spaces equivariantly birational to smooth quadric threefolds with fixed-point free actions of the alternating group $G=\mathfrak A_5$. We deduce that such quadric threefolds are $G$-solid and the $G$-actions on…
Let $P$ be a planar $n$-gon with the sidelengths $a_1, \ldots, a_n$ and let us denote by $L=L(P)$ the corresponding planar polygonal linkage. We are concerned with the problem of finding conditions on the sidelengths $a_i$ which guarantee…
We construct standard resolutions for analytic local modules on complex hypersurfaces using standard basis methods, with extensions to complete intersections. The algebraic version over arbitrary infinite fields is also suggested.…
Consider a smooth proper holomorphic fibration of complex manifolds. It is known that the semipositivity of the curvature of the direct image of the relative canonical bundle can be read in terms of the cup product with the Kodaira-Spencer…