Related papers: Localizing Virtual Cycles by Cosections

For a smooth projective curve, the cycles of subordinate or, more generally, secant divisors to a given linear series are among some of the most studied objects in classical enumerative geometry. We consider the intersection of two such…

Using equivariant obstruction theory we construct equivariant maps from certain classifying spaces to representation spheres for cyclic groups, product of elementary Abelian groups and dihedral groups. Restricting them to finite skeleta…

We study the geometry of the space of rational curves on smooth complete intersections of low degree, which pass through a given set of points on the variety. The argument uses spreading out to a finite field, together with an adaptation to…

By engineering laser-atom interactions, both Hall ribbons and Hall cylinders as fundamental theoretical tools in condensed matter physics have recently been synthesized in laboratories. Here, we show that turning a synthetic Hall ribbon…

For $Y \subset X$ a locally complete intersection of codimension p, Spencer Bloch [2] constructed the semi-regularity map $\pi: H^{1}(\mathcal{N}_{Y/X}) \to H^{p+1}(\Omega_{X/k}^{p-1})$. As an analogue, we construct a map $\tilde{\pi}:…

The existence and uniqueness of fixed points of both the cyclic self-mapping and its associate composite self-mappings on each of the subsets are investigated if the subsets in the cyclic disposal are nonempty, bounded and of nonempty…

Recent work by Abramsky and Brandenburger used sheaf theory to give a mathematical formulation of non-locality and contextuality. By adopting this viewpoint, it has been possible to define cohomological obstructions to the existence of…

We show that moduli spaces of stable maps admits virtual orbifold structure. The symplectic version of virtual localization formula is obtained.

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…

Let $T$ be a split torus acting on an algebraic scheme $X$ with fixed locus $Z$. Edidin and Graham showed that on localized $T$-equivariant Chow groups, (a) push-forward $i_*$ along $i : Z \to X$ is an isomorphism, and (b) when $X$ is…

We study the moduli of G-local systems on smooth but not necessarily proper complex algebraic varieties. We show that, when suitably considered as derived algebraic stacks, they carry natural Poisson structures, generalizing the well known…

This article is the first in a series of two in which we study the vanishing cycles of curves in toric surfaces. We give a list of possible obstructions to contract vanishing cycles within a given complete linear system. Using tropical…

The cosection lemma proved by J. Li and Y.H. Kiem said the intrinsic normal cone lies inside the kernel of any cosection of the obstruction sheaf when the moduli has a perfect obstruction theory. With a definition of higher tangent vectors…

We prove a symmetric version of B\'ezout's theorem. More precisely, we show that the symmetric orbit type of a transverse intersection of complex symmetric hypersurfaces in projective space is determined by the degrees. In the projective…

We introduce a non-associative model for the Hilbert scheme of points in arbitrary dimension. We define a smooth ambient space, which we call the non-associative Hilbert scheme, containing the classical nested Hilbert scheme…

In this paper, we investigate the order algebraic structure in the category of sheaves on a given locale $X$. Since every localic topos has a generating set formed by its subterminal objects, we define a "point" of a partially ordered sheaf…

The paper presents a strategy for robotic exploration problems using Space-Filling curves (SFC). The region of interest is first tessellated, and the tiles/cells are connected using some SFC. A robot follows the SFC to explore the entire…

We give a new proof of Ciocan-Fontanine and Kim's wall-crossing formula relating the virtual classes of the moduli spaces of $\epsilon$-stable quasimaps for different $\epsilon$ in any genus, whenever the target is a complete intersection…

Given a finite set $V$, a convexity $\mathscr{C}$, is a collection of subsets of $V$ that contains both the empty set and the set $V$ and is closed under intersections. The elements of $\mathscr{C}$ are called convex sets. The digital…

We develop a theory of residues for arithmetic surfaces, establish the reciprocity law around a point, and use the residue maps to explicitly construct the dualizing sheaf of the surface. These are generalisations of known results for…