# Algebraic Geometry (math.AG)

• We present a new family of monads whose cohomology is a stable rank two vector bundle on $\mathbb{P}^3$. We also study the irreducibility and smoothness together with a geometrical description of some of these families. Such facts are used to prove that the moduli space of stable rank two vector bundles with trivial determinant and second Chern class equal to 5 has exactly three irreducible components.
• Motivated by questions in real enumerative geometry we investigate the problem of the number of flats simultaneously tangent to several convex hypersurfaces in real projective space from a probabilistic point of view. More precisely, we say that smooth convex hypersurfaces $X_1, \ldots, X_{d_{k,n}}\subset \mathbb{R}\textrm{P}^n$, where $d_{k,n}=(k+1)(n-k)$, are in random position if each one of them is randomly translated by elements $g_1, \ldots, g_{{d_{k,n}}}$ sampled independently from the Orthogonal group with the uniform distribution; we denote by $\tau_k(X_1, \ldots, X_{d_{k,n}})$ the average number of $k$-dimensional projective subspaces (flats) which are simultaneously tangent to all the hypersurfaces. We prove that $$\tau_k(X_1, \ldots, X_d_k,n)=\delta_k,n ⋅\prod_i=1^d_k,n\frac|\Omega_k(X_i)||\textrmSch(k,n)|,$$ where ${\delta}_{k,n}$ is the expected degree (the average number of $k$-flats incident to $d_{k,n}$ many random $(n-k-1)$-flats), $|\textrm{Sch}(k,n)|$ is the volume of the Special Schubert variety of $k$-flats meeting a $(n-k-1)$-flat and $|\Omega_k(X)|$ is the volume of the manifold of all $k$-flats tangent to $X$. We give a formula for the evaluation of $|\Omega_k(X)|$ in term of some curvature integral of the embedding $X\hookrightarrow \mathbb{R}\textrm{P}^n$ and we relate it with the classical notion of intrinsic volumes of a convex set: $$\frac|\Omega_k(∂C)||\textrmSch(k, n)|=4|V_n-k-1(C)|,\quad k=0, \ldots, n-1.$$ As a consequence we prove that $$\tau_k(X_1, \ldots, X_d_k,n)≤\delta_k, n⋅4^d_k,n$$
• We consider the closed locus of $r$-tuples of hypersurfaces in $\mathbb{P}^r$ with positive dimensional intersection, and show in a large range of degrees that its largest component is the locus of $r$-tuples of hypersurfaces whose intersection contains a line. We then apply our methods to obtain new results on the largest components of the locus of hypersurfaces with positive dimensional singular locus and the locus of smooth hypersurfaces with a higher dimensional family of lines through a point than expected.
• We revisit some of the basic results of generic vanishing theory, as pioneered by Green and Lazarsfeld, in the context of constructible sheaves. Using the language of perverse sheaves, we give new proofs of some of the basic results of this theory. Our approach is topological/arithmetic, and avoids Hodge theory.
• We give a framework to produce constructible functions from natural functors between categories, without need of a morphism of moduli spaces to model the functor. We show using the Riemann-Hilbert correspondence that any natural (derived) functor on constructible sheaves on smooth complex algebraic varieties can be used to construct a special kind of constructible sets, called absolute sets, generalizing a notion introduced by Simpson in presence of moduli. We conjecture that the absolute sets of local systems satisfy a "special varieties package", among which is an analog of the Manin-Mumford, Mordell-Lang, and André-Oort conjectures. The conjecture gives a simple proof of the Decomposition Theorem for all semi-simple perverse sheaves, assuming the Decomposition Theorem for the geometric ones. We prove the conjecture in the rank one case by showing that the closed absolute sets in this case are finite unions of torsion-translated affine tori. This extends a structure result of the authors for cohomology jump loci to any other natural jump loci. For example, to jump loci of intersection cohomology and Leray filtrations. We also show that the Leray spectral sequence for the open embedding in a good compactification degenerates for all rank one local systems at the usual page, not just for unitary local systems.
• Let $X$ be a smooth complex projective variety. In 2002, Bridgeland defined a notion of stability for the objects in $D^b(X)$, the bounded derived category of coherent sheaves on $X$, which generalized the notion of slope stability for vector bundles on curves. There are many nice connections between stability conditions on $X$ and the geometry of the variety. We construct new stability conditions for surfaces containing a curve $C$ whose self-intersection is negative. We show that these stability conditions lie on a wall of the geometric chamber of ${\rm Stab}(X)$, the stability manifold of $X$. We then construct the moduli space $M_{\sigma}(\mathcal{O}_X)$ of $\sigma$-semistable objects of class $[\mathcal{O}_X]$ in $K_0(X)$ after wall-crossing.
• We present an algorithm for explicitly computing the number of generators of the stable cohomology algebra of any rationally smooth partial toroidal compactification of ${\mathcal A}_g$, satisfying certain additivity and finiteness properties, in terms of the combinatorics of the corresponding toric fans. In particular the algorithm determines the stable cohomology of the matroidal partial compactification, in terms of simple regular matroids that are irreducible with respect to the 1-sum operation, and their automorphism groups. The algorithm also applies to compute the stable Betti numbers in close to top degree for the perfect cone toroidal compactification. This suggests the existence of an algebra structure on the stable cohomology of the perfect cone compactification in close to top degree.
• This paper is devoted to study multiplicity and regularity as well as to present some classifications of complex analytic sets. We present an equivalence for complex analytical sets, namely blow-spherical equivalence and we receive several applications with this new approach. For example, we reduce to homogeneous complex algebraic sets a version of Zariski's multiplicity conjecture in the case of blow-spherical homeomorphism, we give some partial answers to the Zariski's multiplicity conjecture, we show that a blow-spherical regular complex analytic set is smooth and we give a complete classification of complex analytic curves.
• Algebraic surfaces of general type with $q=0$, $p_g=2$ and $K^2=1$ have been studied by Horikawa. In this paper we consider a $16$-dimensional family of special Horikawa surfaces which are certain bidouble covers of $\mathbb{P}^2$. The construction is motivated by that of special Kunev surfaces which are counterexamples for infinitesimal Torelli and generic global Torelli problem. The main result of the paper is a generic global Torelli theorem for special Horikawa surfaces. To prove the theorem, we relate the periods of special Horikawa surfaces to the periods of certain lattice polarized $K3$ surfaces using eigenperiod maps and then apply a Torelli type result proved by Laza.
• We consider the population of critical points generated from the critical point of the master function with no variables, which is associated with the trivial representation of the twisted affine Lie algebra $A^{(2)}_{2n}$. The population is naturally partitioned into an infinite collection of complex cells $\mathbb{C}^m$, where $m$ are some positive integers. For each cell we define an injective rational map $\mathbb{C}^m \to M(A^{(2)}_{2n})$ of the cell to the space $M(A^{(2)}_{2n})$ of Miura opers of type $A^{(2)}_{2n}$. We show that the image of the map is invariant with respect to all mKdV flows on $M(A^{(2)}_{2n})$ and the image is point-wise fixed by all mKdV flows $\frac\partial{\partial t_r}$ with index $r$ greater than $4m$.