代数几何

The complete list of connected components of the set of Morse functions in the deformations of function singularities of class $J_{10}$ is given. Thus, the isotopy classification of Morse perturbations of parabolic real function…

We show the analogue of the Serre-Swan theorem in a context of supergeometry. This theorem gives an equivalence of the category of locally free supersheaves of bounded rank over locally ringed superspace with the category of finitely…

We construct abelian categories of integral Nori motivic sheaves over a scheme of characteristic zero. The first step is to study the presentable derived category of Nori motives over a field. Next we construct an algebra in \'etale motives…

We introduce a system of invariants of isotopy classes of Morse polynomials ${\mathbb R}^2 \to {\mathbb R}^1$, prove its completeness for polynomials of degrees $\leq 4$, calculate all 71 possible values of these invariants for the case of…

In the search of a projective analog of Kunz's theorem and a Frobenius-theoretic analog of Mori--Hartshorne's theorem, we investigate the positivity of the kernel of the Frobenius trace (equivalently, the negativity of the cokernel of the…

We prove the Hard Lefschetz theorem and Hodge-Riemann relations for certain rings which resemble the cohomology rings of projectivizations of globally generated vector bundles over toric varieties. This proves new cases of the standard…

We study the generalized Lam\'e equation on an elliptic curve $E$ with multiple singularities. By restricting to the locus admitting solutions with quasi-periodic properties, we construct two curves: (i) The generalized Lam'e curve: with…

Let $[C]$ be a general point in the moduli space of curves $M_g$ with $g > 1$. Let $G \subset J(C)$ be a connected compact subgroup of real dimension $1$ of the Jacobian, and let $L$ be an even theta characteristic on $C$. We prove that…

The cross-ratio degree problem is about counting rational curves with $n$ marked points satisfying $n-3$ cross-ratio conditions. This problem has a tropical analogue which provides the same number, as shown by a correspondence theorem. In…

Let $X$ be a smooth complex projective curve. We prove that there exists a surjective commutative forgetful diagram from the chain of $\mathbb{C}^{*}$-flips of the moduli spaces of $\mathcal{O}_{X}$-twisted rank 2 constrained framed Hitchin…

Let Y be a compact Riemann surface, phi:Y -> CP^1 a meromorphic function, and Gamma in Y a ribbon graph avoiding the critical points of phi. Then phi(Gamma) is an immersed graph in CP^1. Conversely, given an immersion im:Theta to bCP^1 of…

Let $C$ be a smooth projective curve of genus $g \geq 2$ over $\mathbb C$, and let $E^0$ be a vector bundle on $C$. We investigate the birational geometry of the Quot scheme ${\rm Quot}_C(E^0, k, n)$, which parametrizes quotients of $E^0$…

Reider's Theorem on the very ampleness of adjoint linear series on a complex projective algebraic surface is extended in two new directions. First, Reider-type inequalities are shown to imply nefness of linear series of the form dH - E on…

We produce infinitely many local systems on (level covers of) the moduli space of smooth cubic threefolds, with algebraic monodromy group equal to the exceptional group $E_6$. These local systems arise in the middle cohomology of abelian…

This paper introduces four matrix normal distributions on analytic bundles of flag varieties, extending the separable covariance $\varPhi \otimes \varPsi$ with potentially variable-level ($\varPsi$) and/or sample-level ($\varPhi$)…

We introduce a new criterion providing a sufficient condition for a hypersurface in an unramified regular local ring to be perfectoid pure. The criterion is formulated in terms of an explicitly computable sequence of integers, called the…

All arithmetic non-compact ball quotients by Deligne-Mostow's unitary monodromy group arise as sub-ball quotients of either of two spaces called ancestral cases, corresponding to Gaussian or Eisenstein Hermitian forms respectively. In a…

We study transverse equivariant Hilbert schemes of affine hypertoric varieties equipped with a symplectic action of a Weyl group. In particular, we show that the Coulomb branches of Braverman, Finkelberg, and Nakajima can be obtained either…

It is a long-standing problem in Hodge theory to generalize the Satake--Baily--Borel (SBB) compactification of a locally Hermitian symmetric space to arbitrary period maps. A proper topological SBB-type completion has been constructed, and…

We classify birational involutions of the real projective plane up to conjugation. In contrast with an analogous classification over the complex numbers (due to E. Bertini, G. Castelnuovo, F. Enriques, L. Bayle and A. Beauville), which…