Related papers: Cosection localization and the Quot scheme $\mathr…

The $D$-graded Proj construction provides a general framework for constructing schemes from rings graded by finitely generated abelian groups $D$, yet its properties and applications remain underdeveloped compared to the classical…

The purpose of this paper is to present a mathematical theory of the half-twisted $(0,2)$ gauged linear sigma model and its correlation functions that agrees with and extends results from physics. The theory is associated to a smooth…

We prove that for Noetherian, smooth, separated, integral, finite type schemes $X$ and $Y$ over an excellent Dedekind domain $R$, that are properly birational over $R$, we have $R^if_{*}\mathcal{O}_X \cong R^ig_{*} \mathcal{O}_Y$ and $R^i…

We prove embeddings of adelic groups on an excellent scheme of special type and a flat quasicoherent sheaf on it. For a normal excellent scheme of special type we establish the equality…

This paper presents the first purely numerical (i.e., non-algebraic) subdivision algorithm for the isotopic approximation of a simple arrangement of curves. The arrangement is "simple" in the sense that any three curves have no common…

Let $X$ be a quasiprojective scheme. In this expository note we collect a series of useful structural results on the stack $\mathscr{C}oh^n(X)$ parametrising $0$-dimensional coherent sheaves of length $n$ over $X$. For instance, we discuss…

B. Kim and the first author proved a result comparing the virtual fundamental classes of the moduli spaces of stable quasimaps and stable LG-quasimaps by studying localized Chern characters for 2-periodic complexes. In this paper, we study…

This paper is concerned with a non-compact GIT quotient of a vector space, in the presence of an abelian group action and an equivariant regular function (potential) on the quotient. We define virtual counts of quasimaps from prestable…

For an Abelian surface $A$ with a symplectic action by a finite group $G$, one can define the partition function for $G$-invariant Hilbert schemes \[Z_{A, G}(q) = \sum_{d=0}^{\infty} e(\text{Hilb}^{d}(A)^{G})q^{d}.\] We prove the reciprocal…

In this paper the author provides a generalization of classical linkage, i.e. linkage by a complete intersection of dim. 0 or 1 on arithmetically Cohen-Macaulay schemes of any dimension. Namely she looks at residuals in the scheme theoretic…

We study rational Lagrangian immersions in a cotangent bundle, based on the microlocal theory of sheaves. We construct a sheaf quantization of a rational Lagrangian immersion and investigate its properties in Tamarkin category. Using the…

This note extends some recent results on the derived category of a geometric invariant theory quotient to the setting of derived algebraic geometry. Our main result is a structure theorem for the derived category of a derived local quotient…

The moduli space of stable maps with divisible ramification uses $r$-th roots of a canonical ramification section to parametrise stable maps whose ramification orders are divisible by a fixed integer $r$. In this article, a virtual…

Classical simulation of quantum computation has often been viewed as the method to determine where the horizon of quantum supremacy is located---that is, where quantum computation can no longer be simulated by classical methods. As of now,…

In this paper, we study equivariant real cycle class maps for group actions on real schemes, with a view toward Witt-sheaf characteristic classes. The cycle class maps take values in singular cohomology of the real points of the quotient…

We construct virtual fundamental classes for dg-manifolds whose tangent sheaves have cohomology only in degrees 0 and 1. This condition is analogous to the existence of a perfect obstruction theory in the approach of Behrend-Fantechi [BF]…

Let $V$ be a possibly singular scheme-theoretic complete intersection subscheme of $\mathbb{P}^n$ over an algebraically closed field of characteristic zero. Using a recent result of Fullwood ("On Milnor classes via invariants of singular…

Homotopy continuation provides a numerical tool for computing the equivalence of a smooth variety in an intersection product. Intersection theory provides a theoretical tool for relating the equivalence of a smooth variety in an…

Let $X_0$ be a generic quintic threefold in projective space $\mathbf P^4$ over the complex numbers. For a fixed natural number $d$, let $R_d(X_0)$ be the open sub-scheme of the Hilbert scheme, parameterizing irreducible rational curves of…

We study intersection theory on the relative Hilbert scheme of a family of nodal-or-smooth curves, over a base of arbitrary dimension. We introduce an additive group called 'discriminant module', generated by diagonal loci, node scrolls,…