Related papers: Virtual classes via vanishing cycles
A theory of dg schemes is developed so that it becomes a homotopy site, and the corresponding infinity category of stacks is equivalent to the infinity category of stacks, as constructed by Toen and Vezzosi, on the site of dg algebras whose…
This paper continues the study of Fourier transforms on finite inverse semigroups, with a focus on Fourier inversion theorems and FFTs for new classes of inverse semigroups. We begin by introducing four inverse semigroup generalizations of…
We prove that the bounded derived category of coherent sheaves with proper support is equivalent to the category of locally-finite, cohomological functors on the perfect derived category of a quasi-projective scheme over a field. We…
Local normal form theorems for smooth equivariant maps between infinite-dimensional manifolds are established. These normal form results are new even in finite dimensions. The proof is inspired by the Lyapunov-Schmidt reduction for…
We discuss four different constructions of vector space bases associated to vanishing ideals of points. We show how to compute normal forms with respect to these bases and give new complexity bounds. As an application, we improve the…
We compute tautological integrals over Quot schemes on curves and surfaces. After obtaining several explicit formulas over Quot schemes of dimension 0 quotients on curves (and finding a new symmetry), we apply the results to tautological…
Levine has constructed motivic analogues of virtual fundamental classes, living in cohomology of Witt sheaves. We use this to define motivic Donaldson-Thomas invariants $\tilde{I}_n$ for $\mathbb{P}^3$ over $\mathbb{R}$. We show that for…
We study a system of nonlinear elliptic PDEs associated with a quasi-homogeneous polynomial. These equations were proposed by Witten as the replacement for the Cauchy-Riemann equation in the singularity (Landau-Ginzburg) setting. We…
We observe that the classical Grauert-Riemenschneider Vanishing Theorem is a direct consequence of basic results from the theory of modulus sheaves with transfers as developed by Kahn-Saito-Yamazaki. We also obtain a new characterization of…
We conjecture a formula for the virtual elliptic genera of moduli spaces of rank 2 sheaves on minimal surfaces $S$ of general type. We express our conjecture in terms of the Igusa cusp form $\chi_{10}$ and Borcherds type lifts of three…
We build an infinite dimensional scheme parametrizing isomorphism classes of coherent quotients of a quasi-coherent sheaf on a projective scheme. The main tool to achieve the construction is a version of Grothendieck's Grassmannian…
Perverse schobers are categorifications of perverse sheaves. We construct a perverse schober on a partial compactification of the stringy K\"ahler moduli space (SKMS) associated by Halpern-Leistner and Sam to a quasi-symmetric…
A general scheme for construction of flat pencils of contravariant metrics and Frobenius manifolds as well as related solutions to WDVV associativity equations is formulated. The advantage is taken from the Rota-Baxter identity and some…
In this article, we establish the logarithmic foundation for compactifying the moduli stacks of the gauged linear sigma model using stable log maps of Abramovich-Chen-Gross-Siebert. We then illustrate our method via the key example of…
In this paper, we construct a lax monoidal Topological Quantum Field Theory that computes virtual classes, in the Grothendieck ring of algebraic varieties, of $G$-representation varieties over manifolds with conic singularities, which we…
We construct the topological Laplace transform functor from Stokes structures of exponential type to constructible sheaves on $\mathbb C$ with vanishing cohomology. We show that it is compatible with the Fourier transform of $D$-modules,…
We consider a higher-derivative generalization of disformal transformations in $D$-dimensional spacetime and clarify the conditions under which they form a group with respect to the matrix product and the functional composition. These…
We use multiplication maps to give a characteristic-free approach to vanishing theorems on toric varieties. Our approach is very elementary but is enough powerful to prove vanishing theorems.
We construct a fully-faithful functor of $\infty$-categories from complexes of D-cap modules with Fr\'echet cohomology to quasi-coherent sheaves on an analytic stack. We prove various descent results for $\infty$-categories of D-cap modules…
We establish a relative Bertini type theorem for multiplier ideal sheaves. Then we prove a relative version of the Koll\'ar--Nadel type vanishing theorem as an application.