Given a Hamiltonian torus action on a symplectic manifold, Teleman and Fukaya have proposed that the Fukaya category of each symplectic quotient should be equivalent to an equivariant Fukaya category of the original manifold. We lay out new conjectures that extend this story – in certain situations – to singular values of the moment map. These include a proposal for how, in some cases, we can recover the non-equivariant Fukaya category of the original manifold starting from data on the quotient.

To justify our conjectures, we pass through the mirror and work out numerous examples, using well-established heuristics in toric mirror symmetry. We also discuss the algebraic and categorical structures that underlie our story.

We classify finite groups that act faithfully by symplectic birational transformations on an irreducible holomorphic symplectic (IHS) manifold of $OG10$ type. In particular, if X is an IHS manifold of $OG10$ type and G a finite subgroup of symplectic birational transformations of X, then the action of G on $H^2(X,\mathbb {Z})$ is conjugate to a subgroup of one of 375 groups of isometries. We prove a criterion for when such a group is determined by a group of automorphisms acting on a cubic fourfold, and apply it to our classification. Our proof is computer aided, and our results are available in a Zenodo dataset.

We determine the geometric monodromy groups attached to various families, both one-parameter and multi-parameter, of exponential sums over finite fields, or, more precisely, the geometric monodromy groups of the $\ell $-adic local systems on affine spaces in characteristic $p> 0$ whose trace functions are these exponential sums. The exponential sums here are much more general than we previously were able to consider. As a byproduct, we determine the number of irreducible components of maximal dimension in certain intersections of Fermat surfaces. We also show that in any family of such local systems, say parameterized by an affine space S, there is a dense open set of S over which the geometric monodromy group of the corresponding local system is a fixed known group.

In the first part of the paper, we prove a mirror symmetry isomorphism between integral tropical homology groups of a pair of mirror tropical Calabi-Yau hypersurfaces. We then apply this isomorphism to prove that a primitive patchworking of a central triangulation of a reflexive polytope gives a connected real Calabi-Yau hypersurface if and only if the corresponding divisor class on the mirror is not zero.

Let X be a smooth threefold over an algebraically closed field of positive characteristic. We prove that an arbitrary flop of X is smooth. To this end, we study Gorenstein curves of genus one and two-dimensional elliptic singularities defined over imperfect fields.

We prove that the minimal exponent for local complete intersections satisfies an Inversion-of-Adjunction property. As a result, we also obtain the Inversion of Adjunction for higher Du Bois and higher rational singularities for local complete intersections.

In this note, we study the asymptotic Chow stability of symmetric reflexive toric varieties. We provide examples of symmetric reflexive toric varieties that are not asymptotically Chow semistable. On the other hand, we also show that any weakly symmetric reflexive toric varieties which have a regular triangulation (so are special) are asymptotically Chow polystable. Furthermore, we give sufficient criteria to determine when a toric variety is asymptotically Chow polystable. In particular, two examples of toric varieties are given that are asymptotically Chow polystable, but not special. We also provide some examples of special polytopes, mainly in two or three dimensions, and some in higher dimensions.

Let R be a commutative ring. One may ask when a general R-module P that satisfies $P \oplus R \cong R^n$ has a free summand of a given rank. M. Raynaud translated this question into one about sections of certain maps between Stiefel varieties: if $V_r(\mathbb {A}^n)$ denotes the variety $\operatorname {GL}(n) / \operatorname {GL}(n-r)$ over a field k, then the projection $V_r(\mathbb {A}^n) \to V_1(\mathbb {A}^n)$ has a section if and only if the following holds: any module P over any k-algebra R with the property that $P \oplus R \cong R^n$ has a free summand of rank $r-1$. Using techniques from $\mathbb {A}^1$-homotopy theory, we characterize those n for which the map $V_r(\mathbb {A}^n) \to V_1(\mathbb {A}^n)$ has a section in the cases $r=3,4$ under some assumptions on the base field.

We conclude that if $P \oplus R \cong R^{24m}$ and R contains the field of rational numbers, then P contains a free summand of rank $2$. If R contains a quadratically closed field of characteristic $0$, or the field of real numbers, then P contains a free summand of rank $3$. The analogous results hold for schemes and vector bundles over them.

A real variety whose real locus achieves the Smith–Thom equality is called maximal. This paper introduces new constructions of maximal real varieties, by using moduli spaces of geometric objects. We establish the maximality of the following real varieties:

• – moduli spaces of stable vector bundles of coprime rank and degree over a maximal real curve (recovering Brugallé–Schaffhauser’s theorem with a short new proof), which extends to moduli spaces of parabolic vector bundles;

• – moduli spaces of stable Higgs bundles of coprime rank and degree over a maximal real curve, providing maximal hyper-Kähler manifolds in every even dimension;

• – if a real variety has maximal Hilbert square, then the variety and its Hilbert cube are maximal, which happens for all maximal real cubic 3-folds, but never for maximal real cubic 4-folds;

• – punctual Hilbert schemes on a maximal real surface with vanishing first $\mathbb {F}_2$-Betti number and connected real locus, such as $\mathbb {R}$-rational maximal real surfaces and some generalized Dolgachev surfaces;

• – moduli spaces of stable sheaves on an $\mathbb {R}$-rational maximal Poisson surface (e.g. the real projective plane).

Let S be a minimal irregular surface of general type, whose Albanese map induces a hyperelliptic fibration $f:\,S \to B$ of genus g. We prove a quadratic upper bound on the genus g (i.e., $g\leq h\big (\chi (\mathcal {O}_S)\big )$, where h is a quadratic function). We also construct examples showing that the quadratic upper bounds cannot be improved to linear ones. In the special case when $p_g(S)=q(S)=1$, we show that $g\leq 14$.

Let $\mathcal {X}\to \mathbb {D}$ be a flat family of projective complex 3-folds over a disc $\mathbb {D}$ with smooth total space $\mathcal {X}$ and smooth general fibre $\mathcal {X}_t,$ and whose special fiber $\mathcal {X}_0$ has double normal crossing singularities, in particular, $\mathcal {X}_0=A\cup B$, with A, B smooth threefolds intersecting transversally along a smooth surface $R=A\cap B.$ In this paper, we first study the limit singularities of a $\delta $-nodal surface in the general fibre $S_t\subset \mathcal {X}_t$, when $S_t$ tends to the central fibre in such a way its $\delta $ nodes tend to distinct points in R. The result is that the limit surface $S_0$ is in general the union $S_0=S_A\cup S_B$, with $S_A\subset A$, $S_B\subset B$ smooth surfaces, intersecting on R along a $\delta $-nodal curve $C=S_A\cap R=S_B\cap B$. Then we prove that, under suitable conditions, a surface $S_0=S_A\cup S_B$ as above indeed deforms to a $\delta $-nodal surface in the general fibre of $\mathcal {X}\to \mathbb {D}$. As applications, we prove that there are regular irreducible components of the Severi variety of degree d surfaces with $\delta $ nodes in $\mathbb {P}^3$, for every $\delta \leqslant {d-1\choose 2}$ and of the Severi variety of complete intersection $\delta $-nodal surfaces of type $(d,h)$, with $d\geqslant h-1$ in $\mathbb {P}^4$, for every $\delta \leqslant {{d+3}\choose 3}-{{d-h+1}\choose 3}-1.$

We study the problem of the irreducibility of the Hessian variety ${\mathcal {H}}_f$ associated with a smooth cubic hypersurface $V(f)\subset {\mathbb {P}}^n$. We prove that when $n\leq 5$, ${\mathcal {H}}_f$ is normal and irreducible if and only if f is not of Thom-Sebastiani type (i.e., if one cannot separate its variables by changing coordinates). This also generalizes a result of Beniamino Segre dealing with the case of cubic surfaces. The geometric approach is based on the study of the singular locus of the Hessian variety and on infinitesimal computations arising from a particular description of these singularities.

Let k be an algebraically closed field of characteristic $p>0$. Let X be a normal projective surface over k with canonical singularities whose anticanonical divisor is nef and big. We prove that X is globally F-regular except for the following cases: (1) $K_X^2=4$ and $p=2$, (2) $K_X^2=3$ and $p \in \{2, 3\}$, (3) $K_X^2=2$ and $p \in \{2, 3\}$, (4) $K_X^2=1$ and $p \in \{2, 3, 5\}$. For each degree $K_X^2$, the assumption of p is optimal.

We prove a genus zero Givental-style mirror theorem for all complete intersections in toric Deligne-Mumford stacks, which provides an explicit slice called big I-function on Givental’s Lagrangian cone for such targets. In particular, we remove a technical assumption called convexity needed in the previous mirror theorem for such complete intersections. In the realm of quasimap theory, our mirror theorem can be viewed as solving the quasimap wall-crossing conjecture for big I-function [13] for these targets. In the proof, we discover a new recursive characterization of the slice on Givental’s Lagrangian cone, which may be of self-independent interests.

In this paper, we prove that if a three-dimensional quasi-projective variety X over an algebraically closed field of characteristic $p>3$ has only log canonical singularities, then so does a general hyperplane section H of X. We also show that the same is true for klt singularities, which is a slight extension of [15]. In the course of the proof, we provide a sufficient condition for log canonical (resp. klt) surface singularities to be geometrically log canonical (resp. geometrically klt) over a field.

For a smooth projective surface $X$ satisfying $H_1(X,\mathbb{Z}) = 0$ and $w \in H^2(X,\mu _r)$, we study deformation invariants of the pair $(X,w)$. Choosing a Brauer–Severi variety $Y$ (or, equivalently, Azumaya algebra $\mathcal{A}$) over $X$ with Stiefel–Whitney class $w$, the invariants are defined as virtual intersection numbers on suitable moduli spaces of stable twisted sheaves on $Y$ constructed by Yoshioka (or, equivalently, moduli spaces of $\mathcal{A}$-modules of Hoffmann–Stuhler).

We show that the invariants do not depend on the choice of $Y$. Using a result of de Jong, we observe that they are deformation invariants of the pair $(X,w)$. For surfaces with $h^{2,0}(X) \gt 0$, we show that the invariants can often be expressed as virtual intersection numbers on Gieseker–Maruyama–Simpson moduli spaces of stable sheaves on $X$. This can be seen as a ${\rm PGL}_r$–${\rm SL}_r$ correspondence.

As an application, we express ${\rm SU}(r) / \mu _r$ Vafa–Witten invariants of $X$ in terms of ${\rm SU}(r)$ Vafa–Witten invariants of $X$. We also show how formulae from Donaldson theory can be used to obtain upper bounds for the minimal second Chern class of Azumaya algebras on $X$ with given division algebra at the generic point.

We determine the cones of effective and nef divisors on the toroidal compactification of the ball quotient model of the moduli space of complex cubic surfaces with a chosen line. From this we also compute the corresponding cones for the moduli space of unmarked cubic surfaces.

Given a general polarized $K3$ surface $S\subset \mathbb P^g$ of genus $g\le 14$, we study projections of minimal degree and their variational structure. In particular, we prove that the degree of irrationality of all such surfaces is at most $4$, and that for $g=7,8,9,11$ there are no rational maps of degree $3$ induced by the primitive linear system. Our methods combine vector bundle techniques à la Lazarsfeld with derived category tools and also make use of the rich theory of singular curves on $K3$ surfaces.

Mukai’s program in [16] seeks to recover a K3 surface X from any curve C on it by exhibiting it as a Fourier–Mukai partner to a Brill–Noether locus of vector bundles on the curve. In the case X has Picard number one and the curve $C\in |H|$ is primitive, this was confirmed by Feyzbakhsh in [11, 13] for $g\geq 11$ and $g\neq 12$. More recently, Feyzbakhsh has shown in [12] that certain moduli spaces of stable bundles on X are isomorphic to the Brill–Noether locus of curves in $|H|$ if g is sufficiently large. In this paper, we work with irreducible curves in a nonprimitive ample linear system $|mH|$ and prove that Mukai’s program is valid for any irreducible curve when $g\neq 2$, $mg\geq 11$ and $mg\neq 12$. Furthermore, we introduce the destabilising regions to improve Feyzbakhsh’s analysis in [12]. We show that there are hyper-Kähler varieties as Brill–Noether loci of curves in every dimension.

We describe a geometric, stable pair compactification of the moduli space of Enriques surfaces with a numerical polarization of degree $2$, and identify it with a semitoroidal compactification of the period space.