Related papers: Virtual normalization and virtual fundamental clas…

Isotropic Quot schemes parameterize rank $r$ isotropic subsheaves of a vector bundle equipped with symplectic or symmetric quadratic form. We define a virtual fundamental class for isotropic Quot schemes over smooth projective curves. Using…

For an arbitrary smooth hypersurface X in a projective space, we construct its LG moduli of quasimaps with P fields. Apply Kiem-Li's cosection localization we obtain a virtual fundamental class. We show the class coincides, up to sign, with…

We construct a proper moduli space which is a Deligne-Mumford stack parametrising quasimaps relative to a simple normal crossings divisor in any genus using logarithmic geometry. We show this moduli space admits a virtual fundamental class…

The moduli space of stable relative maps to the projective line combines features of stable maps and admissible covers. We prove all standard Gromov-Witten classes on these moduli spaces of stable relative maps have tautological…

We compute the rational stable homology of the automorphism groups of free nilpotent groups. These groups interpolate between the general linear groups over the ring of integers and the automorphism groups of free groups, and we employ…

We prove a localization formula for virtual fundamental classes in the context of torus equivariant perfect obstruction theories. As an application, the higher genus Gromov-Witten invariants of projective space are expressed as graph sums…

Let $M$ denote the moduli space of stable vector bundles of rank $n$ and fixed determinant of degree coprime to $n$ on a non-singular projective curve $X$ of genus $g \geq 2$. Denote by $\cU$ a universal bundle on $X \times M$. We show…

Let $X$ be a projective K3 surfaces. In two examples where there exists a fine moduli space $M$ of stable vector bundles on $X$, isomorphic to a Hilbert scheme of points, we prove that the universal family $\mathcal{E}$ on $X\times M$ can…

This paper is part of an ongoing series of works on the study of foliations on algebraic varieties via derived algebraic geometry. We focus here on the specific case of globally defined vector fields and the global behaviour of their…

We give a characterization of genuinely ramified maps of formal orbifolds in the Tannakian framework. In particular we show that a morphism is genuinely ramified if and only if the pullback of every stable bundle remains stable in the…

We construct a natural branch divisor for equidimensional projective morphisms where the domain has lci singularities and the target is nonsingular. The method involves generalizing a divisor contruction of Mumford from sheaves to…

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…

We show that two natural cycle classes on the moduli space of compact type stable maps to a varying elliptic curve agree. The first is the virtual fundamental class from Gromov-Witten theory, and the second is the Torelli pullback of the…

We generalize the construction of a moduli space of semistable pairs parametrizing isomorphism classes of morphisms from a fixed coherent sheaf to any sheaf with fixed Hilbert polynomial under a notion of stability to the case of projective…

Normalizing flows model complex probability distributions by combining a base distribution with a series of bijective neural networks. State-of-the-art architectures rely on coupling and autoregressive transformations to lift up invertible…

Curves of genus g which admit a map to CP1 with specified ramification profile mu over 0 and nu over infinity define a double ramification cycle DR_g(mu,nu) on the moduli space of curves. The study of the restrictions of these cycles to the…

Let f: X -> Z be a separated essentially-finite-type flat map of noetherian schemes, and \delta: X --> X \times_Z X the diagonal map. The fundamental class C_f (globalizing residues) is a map from the relative Hochschild functor…

We present a method for formal safety verification of learning-based generative motion planners. Generative motion planners (GMPs) offer advantages over traditional planners, but verifying the safety and dynamic feasibility of their outputs…

Let $X$ and $Y$ be irreducible normal projective varieties, of same dimension, defined over an algebraically closed field, and let $f : Y \rightarrow X$ be a finite generically smooth morphism such that the corresponding homomorphism…

We compactify the moduli stack of maps from curves to certain quotient stacks $\mathcal{X}=[W/G]$ with a projective good moduli space, extending previous results from quasimap theory. For doing so, we introduce a new birational…