相关论文: Localizing Virtual Cycles by Cosections

In order to make full use of geographic routing techniques developed for sensor networks, nodes must be localized. However, traditional localization and virtual localization techniques are dependent either on expensive and sometimes…

We embed the space of totally real $r$-cycles of a totally real projective variety into the space of complex $r$-cycles by complexification. We provide a proof of the holomorphic taffy argument in the proof of Lawson suspension theorem by…

Four-dimensional N = 2 superconformal quantum field theories contain a subsector carrying the structure of a chiral algebra. Using localization techniques, we show for the free hypermultiplet that this structure can be accessed directly…

Let (X, O_X) be a noetherian formal scheme and consider D_qct(X) its derived category of sheaves with quasi-coherent torsion homology. We show that there is a bijection between the set of rigid (i.e. \tensor-ideals) localizing subcategories…

Given a quasi-compact, quasi-separated scheme X, a bijection between the tensor localizing subcategories of finite type in Qcoh(X) and the set of all subsets $Y\subseteq X$ of the form $Y=\bigcup_{i\in\Omega}Y_i$, with $X\setminus Y_i$…

Answering connectivity queries in real algebraic sets is a fundamental problem in effective real algebraic geometry that finds many applications in e.g. robotics where motion planning issues are topical. This computational problem is…

Localization methods are ubiquitous in cyclic homology theory, but vary in detail and are used in different scenarios. In this paper we will elaborate on a common feature of localization methods in noncommutative geometry, namely…

We use the mathematical language of sheaf theory to give a unified treatment of non-locality and contextuality, in a setting which generalizes the familiar probability tables used in non-locality theory to arbitrary measurement covers; this…

In directed graphs, a cycle can be seen as a structure that allows its vertices to loop back to themselves, or as a structure that allows pairs of vertices to reach each other through distinct paths. We extend these concepts to temporal…

In this short note, we simply collect some known results about representing algebraic cycles by various kind of "nice" (e.g. smooth, local complete intersection, products of local complete intersection) algebraic cycles, up to rational…

In this note we present a work in progress whose main purpose is to establish a categorified version of sheaf theory. We present a notion of derived categorical sheaves, which is a categorified version of the notion of complexes of sheaves…

We define and study Gysin morphisms on mixed motives over a perfect field. Our construction extends the case of closed immersions, already known from results of Voevodsky, to arbitrary projective morphisms. We prove several classical…

We show, by introducing purely auxiliary gluinos and scalars, that the quantum path integral for a class of 3D interacting non-supersymmetric gauge theories localises. The theories in this class all admit a `Manin gauge theory' formulation,…

We give a detailed proof that locally Noetherian moduli stacks of sections carry canonical obstruction theories. As part of the argument we construct a dualizing sheaf and trace map, in the lisse-etale topology, for families of tame twisted…

We define a perfect obstruction theory for a moduli of symplectic Higgs sheaves $(E,\phi)$ on projective surfaces $S$. Key to this is a minimality assumption on $\textrm{ch}(E)$ that forces all $E$ to be locally free. This might have…

For every even number $n$, and every $n$-dimensional smooth hypersurface of $\mathbb{P}^{n+1}$ of degree $d$, we compute the periods of all its $\frac{n}{2}$-dimensional complete intersection algebraic cycles. Furthermore, we determine the…

We obtain a criterion for approximability by embeddings of piecewise linear maps of a circle to the plane, analogous to the one proved by Minc for maps of a segment to the plane. Theorem. Let S be a triangulation of a circle with s…

The monography considers the problem of constructing a Hamiltonian cycle in a complete graph. A rule for constructing a Hamiltonian cycle based on isometric cycles of a graph is established. An algorithm for constructing a Hamiltonian cycle…

We construct an almost perfect obstruction theory of virtual dimension zero on the Quot scheme parametrizing zero-dimensional quotients of a locally free sheaf on a smooth projective $3$-fold. This gives a virtual class in degree zero and…

We study the relative Hilbert scheme of a family of nodal (or smooth) curves, over a base of arbitrary dimension, via its (birational) cycle map, going to the relative symmetric product. We show the cycle map is the blowing up of the…