Related papers: Oriented bivariant theories, I
This is a sequel to our previous paper of oriented bivariant theory [14]. In 2001 M. Levine and F. Morel constructed algebraic cobordism $\Omega_*(X)$ for schemes $X$ over a field $k$ in an abstract way and later M. Levine and R.…
We examine various versions of oriented cohomology and Borel-Moore homology theories in algebraic geometry and put these two together in the setting of an "oriented duality theory", a generalization of Bloch-Ogus twisted duality theory.…
A bi-variant theory $\mathbb B(X,Y)$ defined for a pair $(X,Y)$ is a theory satisfying properties similar to those of Fulton--MacPherson's bivariant theory $\mathbb B(X \xrightarrow f Y)$ defined for a morphism $f:X \to Y$. In this paper,…
We associate a bivariant theory to any suitable oriented Borel-Moore homology theory on the category of algebraic schemes or the category of algebraic G-schemes. Applying this to the theory of algebraic cobordism yields operational…
We generalize the K\"unneth formula for Chow groups to an arbitrary OBM-homology theory satisfying descent (e.g. algebraic cobordism) when taking a product with a toric variety. As a corollary we obtain a universal coefficient theorem for…
We define four distinct oriented bivariant theories associated with algebraic cobordism in its two versions (the axiomatic $\Omega$ and the geometric $\omega$), when applied to quasi-projective varieties over a field $k$. Specifically, we…
We propose a formalism to capture the structure of the equivariant bordism rings of smooth manifolds with commuting involutions. We introduce the concept of an oriented el$_2^{RO}$-algebra, an algebraic structure featuring representation…
We define a cobordism theory in algebraic geometry based on normal crossing degenerations with double point singularities. The main result is the equivalence of double point cobordism to the theory of algebraic cobordism previously defined…
We construct and study a theory of bivariant cobordism of derived schemes. Our theory provides a vast generalization of the algebraic bordism theory of characteristic 0 algebraic schemes, constructed earlier by Levine and Morel, and a…
Bivariant theory is a unified framework for cohomology and Borel-Moore homology theories. In this paper, we extract an $\infty$-enhanced bivariant homology theory from Gaitsgory-Rozenblyum's six functor formalism.
The purpose of this paper is to study an extended version of bivariant derived algebraic cobordism where the cycles carry a vector bundle on the source as additional data. We show that, over a field of characteristic 0, this extends the…
We provide a complete generators and relations presentation of the 2-dimensional extended unoriented and oriented bordism bicategories as symmetric monoidal bicategories. Thereby we classify these types of 2-dimensional extended topological…
Lee and Pandharipande studied a "double point" algebraic cobordism theory of varieties equipped with vector bundles, and speculated that some features of that story might extend to the case of varieties with principal G-bundles. This note…
We extend the derived Algebraic bordism of Lowrey and Sch\"urg to a bivariant theory in the sense of Fulton and MacPherson, and establish some of its basic properties. As a special case, we obtain a completely new theory of cobordism rings…
(Co)bordisms of manifolds and maps are fundamental and important objects in algebraic and differential topology of manifolds and related studies were started by Thom etc.. Cobordisms of Morse functions were introduced and have been studied…
A quiver is an oriented graph. Quiver mutation is an elementary operation on quivers. It appeared in physics in Seiberg duality in the nineties and in mathematics in the definition of cluster algebras by Fomin-Zelevinsky in 2002. We show,…
Commuting pairs of algebraic structures on a set have been studied by several authors and may be described equivalently as algebras for the tensor product of Lawvere theories, or more basically as certain bifunctors that here we call bifold…
For a reductive connected group or a finite group over a field of characteristic zero, we define an equivariant algebraic cobordism theory by a generalized version of the double point relation of Levine-Pandharipande. We prove basic…
Relying on results of Hopkins-Morel, we show that, for $X$ a quasi-projective variety over a field of characteristic zero, the canonical map $\Omega_n(X)\to MGL_{2n,n}'(X)$ is an isomorphism. Here $\Omega_*(X)$ is the theory of algebraic…
Fulton and MacPherson introduced the notion of bivariant theories and Grothendieck transformations related to Riemann-Roch-theorems. But there are many situations, where such a bivariant theory or a corresponding Grothendieck transformation…