Related papers: Virtual excess intersection theory

We construct virtual fundamental classes of Artin stacks over a Dedekind domain endowed with a perfect obstruction theory.

We propose a new method for the evaluation of intersection numbers for twisted meromorphic $n$-forms, through Stokes' theorem in $n$ dimensions. It is based on the solution of an $n$-th order partial differential equation and on the…

An extension of the Artin Braid Group with new operators that generate double and triple intersections is considered. The extended Alexander theorem, relating intersecting closed braids and intersecting knots is proved for double and triple…

We provide a novel proof of the homological excess intersection formula for local complete intersections. The novelty is that the proof makes use of global morphisms comparing the intersections to a self intersection.

We construct virtual fundamental classes in all intersection theories including Chow theory, K-theory and algebraic cobordism for quasi-projective Deligne-Mumford stacks with perfect obstruction theories and prove the virtual pullback…

We establish an arithmetic intersection theory in the framework of Arakelov geometry over adelic curves. To each projective scheme over an adelic curve, we associate a multi-homogenous form on the group of adelic Cartier divisors, which can…

We construct the \'etale motivic Borel-Moore homology of derived Artin stacks. Using a derived version of the intrinsic normal cone, we construct fundamental classes of quasi-smooth derived Artin stacks and demonstrate functoriality, base…

We construct an algebraic homology functor for Artin stacks of finite type over a field, and we develop intersection-theoretic properties.

We generalize several comparison results between algebraic, semi-topological and topological K-theories to the equivariant case with respect to a finite group.

We prove the 3-fold DT/PT correspondence for K-theoretic vertices via wall-crossing techniques. We provide two different setups, following Mochizuki and following Joyce; both reduce the problem to q-combinatorial identities on word…

We prove the Avrunin-Scott theorem for quantum complete intersections; the rank variety of a module is isomorphic to its support variety.

We prove that parities on virtual knots come from invariant 1-cycles on the arcs of knot diagrams. In turn, the invariant cycles are determined by quasi-indices on the crossings of the diagrams. The found connection between the parities and…

Almost perfect obstruction theories were introduced in an earlier paper by the authors as the appropriate notion in order to define virtual structure sheaves and $K$-theoretic invariants for many moduli stacks of interest, including…

We study the virtual intersection theory of Hyperquot schemes parameterizing sequences of quotient sheaves of a vector bundle on a smooth projective curve. Our results generalize the Vafa--Intriligator formula for Quot schemes and provide a…

Kontsevich's work on Airy matrix integrals has led to explicit results for the intersection numbers of the moduli space of curves. In this article we show that a duality between k-point functions on $N\times N$ matrices and N-point…

We give a counter example to the new theorem that appeared in the survey \cite{H} on Artin approximation. We then provide a correct statement and a proof of it.

We define and study the index map for families of $G$-transversally elliptic operators and introduce the multiplicity for a given irreducible representation as a virtual bundle over the base of the fibration. We then prove the usual…

We prove the equivalence of three "points of view" of the notion of a G-torsor when the base scheme is a Dedekind scheme. As an application, we show that the fibered category of G-torsors on a regular proper curve over a field k is an Artin…

We derive formulas and algorithms for Kitaev's invariants in the periodic table for topological insulators and superconductors for finite disordered systems on lattices with boundaries. We find that K-theory arises as an obstruction to…

We describe a general algorithm for computing intersection pairings on arithmetic surfaces. We have implemented our algorithm for curves over $\mathbb Q$, and we show how to use it to compute regulators for a number of Jacobians of smooth…