Related papers: Intersection theory in algebraic cobordism

We study the equivariant cobordism theory of schemes for action of linear algebraic groups. We compare the equivariant cobordism theory for the action of a linear algebraic groups with similar groups for the action of tori and deduce some…

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…

In this paper, we obtain some new results on closed subschemes. Specially, we define natural addition and multiplication on the closed subschemes of a scheme. It is shown that "the multiplication" precisely coincides with the well known…

We study the equivariant cobordism theory of schemes for torus actions. We give the explicit relation between the equivariant and the ordinary cobordism of schemes with torus action. We deduce analogous results for action of arbitrary…

The purpose of this article is to compare several versions of bivariant algebraic cobordism constructed previously by the author and others. In particular, we show that a simple construction based on the universal precobordism theory of…

The rational Chow ring A?(S[n],Q) of the Hilbert scheme S[n] parametrising the length n zero-dimensional subschemes of a toric surface S can be described with the help of equivariant techniques. In this paper, we explain the general method…

We generalize a construction of Barthel-Brasselet-Fieseler-Gabber-Kaup in the setting of complex varieties to the setting of finite type, complex algebraic stacks. Given two such stacks $\mathcal{X},\mathcal{Y}$ with affine stabilizers, and…

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 define a variant of intersection space theory that applies to many compact complex and real analytic spaces $X$, including all complex projective varieties; this is a significant extension to a theory which has so far only been shown to…

We introduce an equivariant algebraic cobordism theory \Omega^G for algebraic varieties with G-action, where G is a split diagonalizable group scheme over a field k. It is done by combining the construction of the algebraic cobordism theory…

This paper is an introduction to the use of the cobordism of chain complexes with Poincar\'e duality in surgery theory. It is a companion to the author's paper "An introduction to algebraic surgery" math.AT/0008071 (to appear in Volume 2 of…

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,…

This note presents a general theorem about the cohomology of finite dimensional Lie algebras of arbitrary characteristic. As an application we compute the cohomology of the Borel subalgebra of sl(N).

Let $C$ be an irreducible algebraic curve defined over a number field and inside an algebraic torus of dimension at least 3. We partially answer a question posed by Levin on points on $C$ for which a non-trivial power lies again on $C$. Our…

This is a brief overview of my work on the realization of contact superconformal algebras in terms of pseudodifferential symbols on a supercircle. Also the 2-cocycles on K'(4) are given for this realization.

We present a purely algebraic proof of the commutativity of the operation defined by intersection with divisors on the Chow group of a local Noetherian domain.

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…

Given a Lagrangian cobordism $L$ of Legendrian submanifolds from $\Lambda_-$ to $\Lambda_+$, we construct a functor $\Phi_L^*: Sh^c_{\Lambda_+}(M) \rightarrow Sh^c_{\Lambda_-}(M) \otimes_{C_{-*}(\Omega_*\Lambda_-)} C_{-*}(\Omega_*L)$…

We consider a possibility of the existence of intersection homology morphism, which would be associated to a map of analytic varieties. We assume that the map is an inclusion of codimension one. Then the existence of a morphism follows from…

This is an expository paper on the subject of the title. It assumes basic scheme theory, commutative and homological algebra.