Related papers: Cosection localization and the Quot scheme $\mathr…
We propose a variation of the classical Hilbert scheme of points - the double nested Hilbert scheme of points - which parametrizes flags of zero-dimensional subschemes whose nesting is dictated by a Young diagram. Over a smooth…
Virtual knots are defined diagrammatically as a collection of figures, called virtual knot diagrams, that are considered equivalent up to finite sequences of extended Reidemeister moves. By contrast, knots in $\mathbb{R}^3$ can be defined…
The quantum Lefschetz formula explains how virtual fundamental classes (or structure sheaves) of moduli stacks of stable maps behave when passing from an ambient target scheme to the zero locus of a section. It is only valid under special…
We construct an obstruction theory for relative Hilbert schemes in the sense of Behrend-Fantechi and compute it explicitly for relative Hilbert schemes of divisors on smooth projective varieties. In the special case of curves on a surface…
Given a locally free coherent sheaf on a smooth algebraic surface, we consider the Quot-scheme parametrizing zero-dimensional quotients of the sheaf and find the corresponding motivic class in the Grothendieck ring of algebraic varieties.
This paper shows that quantization induces a Lawvere-Tierney topology on (hence, a sheaf topos in) the quantum topos. We show that a quantization map from classical observables to self-adjoint operators on a Hilbert space naturally induces…
This note studies the structure of the divisorial fixed part of the dualizing sheaf of a 1-connected curve D on a smooth surface S. It is shown that if the divisorial fixed part F of the dualizing sheaf is non empty then it has arithmetic…
We study the relative Hilbert scheme of a family of nodal (or smooth) curves via its (birational) cycle map, going to the relative symmetric product. We show the cycle map is the blowing up of the discriminant locus, which consists of…
A primitive multiple scheme is a Cohen-Macaulay scheme $Y$ such that the associated reduced scheme $X=Y_{red}$ is smooth, irreducible, and that $Y$ can be locally embedded in a smooth variety of dimension $\dim(X)+1$. If $I_X$ is the ideal…
In this paper we study the tangent spaces of the smooth nested Hilbert scheme $ Hil{n,n-1}$ of points in the plane, and give a general formula for computing the Euler characteristic of a $\TT^2$-equivariant locally free sheaf on…
We prove an analogon of the the fundamental homomorphism theorem for certain classes of exact and essentially surjective functors of Abelian categories $\mathscr{Q}:\mathcal{A} \to \mathcal{B}$. It states that $\mathscr{Q}$ is up to…
The aim of this paper is twofold. First we prove a theorem of extension of sections of a coherent subquotient of a hermitian vector bundle on a complex analytic space with control of the norms, without any of the smoothness assumptions that…
Let $M$ be a smooth algebraic variety of dimension $2(p+q)$ with an algebraic symplectic form and a compatible deformation quantization $\mathcal{O}_h$ of the structure sheaf. Consider a smooth coisotropic subvariety $j: Y \to M$ of…
In this article, we study quasimaps to moduli spaces of sheaves on a $K3$ surface $S$. We construct a surjective cosection of the obstruction theory of moduli spaces of quasimaps. We then establish reduced wall-crossing formulas which…
The sum-of-squares hierarchy of semidefinite programs has become a common tool for algorithm design in theoretical computer science, including problems in quantum information. In this work we study a connection between a Hermitian version…
Let $C$ be a smooth projective curve defined over $\Qbar$, let $\pi:\mathcal{E}\lra C$ be an elliptic surface and let $\sigma_{P_1},\sigma_{P_2},\sigma_{Q}$ be sections of $\pi$ (corresponding to points $P_1,P_2, Q$ of the generic fiber $E$…
In this paper the author provides a generalization of classical linkage, i.e. linkage by a complete intersection, in a different context. Namely she looks at residuals in the scheme theoretic intersection of a rational normal surface or…
The present paper deals with some characterizations of rectifying and osculating curves on a smooth surface with respect to the reference frame $\{\vec{T},\ \vec{N},\ \vec{T}\times\vec{N}\}$. We have computed the components of position…
In this paper we prove that the etale sheafification of the functor arising from the quotient of an algebraic supergroup by a closed subsupergroup is representable by a smooth superscheme.
We consider the Quot scheme, R_{d}, compactifying the space of degree d maps from the projective line to the Grassmannian of lines. We give an algorithm for computing the degree of R_{d} under a "generalized Pl\"ucker embedding", this is a…