Stable étale realization and étale cobordism

We show that there is a stable homotopy theory of profinite spaces and use it for two main applications. On the one hand we construct an étale topological realization of the stable A¹-homotopy theory of smooth schemes over a base field of arbitrary characteristic in analogy to the complex realization functor for fields of characteristic zero.On the other hand we get a natural setting for étale cohomology theories. In particular, we define and discuss an étale topological cobordism theory for schemes. It is equipped with an Atiyah-Hirzebruch spectral sequence starting from étale cohomology. Finally, we construct maps from algebraic to étale cobordism and discuss algebraic cobordism with finite coefficients over an algebraically closed field after inverting a Bott element.     

Rigidity for orientable functors

In the following paper we introduce the notion of orientable functor (orientable cohomology theory) on the category of projective smooth schemes and define a family of transfer maps. Applying this technique, we prove that with finite coefficients orientable cohomology of a projective variety is invariant with respect to the base-change given by an extension of algebraically closed fields. This statement generalizes the classical result of Suslin, concerning algebraic K-theory of algebraically closed fields. Besides K-theory, we treat such examples of orientable functors as etale cohomology, motivic cohomology, algebraic cobordism. We also demonstrate a method to endow algebraic cobordism with multiplicative structure and Chern classes.     

Oriented cohomology and motivic decompositions of relative cellular spaces

For an oriented cohomology theory A and a relative cellular space X, we decompose the A-motive of X into a direct sum of twisted motives of the base spaces. We also obtain respective decompositions of the A-cohomology of X. Applying them, one can compute A(X), where X is an isotropic projective homogeneous variety and A means algebraic K-theory, motivic cohomology or algebraic cobordism MGL.     

On the cobordism and commutative monoid with cancellation approaches to conformal field theory

In the late 1980s, Graeme Segal axiomatized conformal field theory in terms of a cobordism category. In that same preprint he outlined a more symmetric trace approach, which was recently rigorized in terms of pseudo algebras over a 2-theory. In this paper, we treat the cobordism approach in the pseudo algebra context. We introduce a new algebraic structure on a bicategory, called a pseudo 2-algebra over a theory, as a means of comparison for the two approaches. The main result states that the 2-category of pseudo algebras over a fixed 2-theory is biequivalent to the 2-category of pseudo 2-algebras over a fixed theory in certain situations.     

Equivariant pretheories and invariants of torsors

In the present paper we introduce and study the notion of an equivariant pretheory (basic examples are equivariant Chow groups of Edidin and Graham, Thomason??s equivariant K-theory and equivariant algebraic cobordism). Using the language of equivariant pretheories we generalize the theorem of Karpenko and Merkurjev on G-torsors and rational cycles. As an application, to every G-torsor E and a G-equivariant pretheory we associate a ring which serves as an invariant of E. In the case of Chow groups this ring encodes the information about the motivic J-invariant of E, in the case of Grothendieck??s K ₀ indexes of the respective Tits algebras and in the case of algebraic cobordism ?? it gives a quotient of the cobordism ring of G.     

Algebraic cobordism revisited

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 by Levine and Morel. Double point cobordism provides a simple, geometric presentation of algebraic cobordism theory. As a corollary, the Lazard ring given by products of projective spaces rationally generates all nonsingular projective varieties modulo double point degenerations. Double point degenerations arise naturally in relative Donaldson–Thomas theory. We use double point cobordism to prove all the degree 0 conjectures in Donaldson–Thomas theory: absolute, relative, and equivariant.     

A theory of cobordism for non-spherical links

We define an equivalence relation, called algebraic cobordism, on the set of bilinear forms over the integers. When , we prove that two 2n - 1 dimensional, simple fibered links are cobordant if and only if they have algebraically cobordant Seifert forms. As an algebraic link is a simple fibered link, our criterion for cobordism allows us to study isolated singularities of complex hypersurfaces up to cobordism. Received: August 24, 1995     

关于半准素环

交换环Ｒ称为（受限制的）半准素环，如果对Ｒ的每个（非零）主理想Ａ，都有A^1/2是Ｒ的素理想，本文刻画了受限制的半准素环，给出了有单位元的Ｎｏｅｔｈｅｒ受限制的半准素环的分类以及半准素整环是伪赋值整环的一个条件     

A cohomological characterization of Alexander schemes

Vistoli defined Alexander schemes in [19], which behave like smooth varieties from the viewpoint of intersection theory with Q-coefficients. In this paper, we will affirmatively answer Vistoli’s conjecture that Alexander property is Zariski local. The main tool is the abelian category of bivariant sheaves, and we will spend most of our time for proving basic properties of this category. We show that a scheme is Alexander if and only if all the first cohomology groups of bivariant sheaves vanish, which is an analogy of Serre’s theorem, which says that a scheme is affine if and only if all the first cohomology groups of quasi-coherent sheaves vanish. Serre’s theorem implies that the union of affine closed subschemes is again affine. Mimicking the proof line by line, we will prove that the union of Alexander open subschemes is again Alexander. Oblatum 1-XII-1997 & 14-XII-1998 / Published online: 10 May 1999     

Bivariant Chern character and longitudinal index

In this paper we consider a family of Dirac-type operators on fibration P→B equivariant with respect to an action of an étale groupoid. Such a family defines an element in the bivariant K theory. We compute the action of the bivariant Chern character of this element on the image of Connes' map Φ in the cyclic cohomology. A particular case of this result is Connes' index theorem for étale groupoids [A. Connes, Noncommutative Geometry, Academic Press, 1994] in the case of fibrations.     

Grope cobordism of classical knots

Motivated by the lower central series of a group, we define the notion of a grope cobordism between two knots in a 3-manifold. Just like an iterated group commutator, each grope cobordism has a type that can be described by a rooted unitrivalent tree. By filtering these trees in different ways, we show how the Goussarov-Habiro approach to finite type invariants of knots is closely related to our notion of grope cobordism. Thus our results can be viewed as a geometric interpretation of finite type invariants.The derived commutator series of a group also has a three-dimensional analogy, namely knots modulo symmetric grope cobordism. On one hand this theory maps onto the usual Vassiliev theory and on the other hand it maps onto the Cochran-Orr-Teichner filtration of the knot concordance group, via symmetric grope cobordism in 4-space. In particular, the graded theory contains information on finite type invariants (with degree h terms mapping to Vassiliev degree 2^h), Blanchfield forms or S-equivalence at h=2, Casson-Gordon invariants at h=3, and for h=4 one finds the new von Neumann signatures of a knot.     

Ideals contracted from a Noetherian extension ring

Let R be a commutative ring with identity such that for each ideal A of R, there exists a Noetherian unitary extension ring T(A) of R such that A is contracted from T(A). We investigate the structure of R. The context in which this topic has usually been considered is where R is an integal domain and T(A) is an overring of R. Under these hypotheses we show that R is Neotherian if R is one-dimensional. In the general case, R is strongly Laskerian, has Noetherian spectrum, and satisfies certain chain conditions for quotient ideals, but R need not be Noetherian.     

Algebraic extension of *-A operator

In this paper, we study various properties of algebraic extension of *-A operator. Specifically, we show that every algebraic extension of *-A operator has SVEP and is isoloid. And if T is an algebraic extension of *-A operator, then Weyl's theorem holds for f(T), where f is an analytic functions on some neighborhood of σ(T) and not constant on each of the components of its domain.     

A SURVEY OF THE ADDITIVE EIGENVALUE PROBLEM (WITH APPENDIX BY M. KAPOVICH)

The classical Hermitian eigenvalue problem addresses the following question: What are the possible eigenvalues of the sum A + B of two Hermitian matrices A and B, provided we fix the eigenvalues of A and B. A systematic study of this problem was initiated by H. Weyl (1912). By virtue of contributions from a long list of mathematicians, notably Weyl (1912), Horn (1962), Klyachko (1998) and Knutson–Tao (1999), the problem is finally settled. The solution asserts that the eigenvalues of A + B are given in terms of certain system of linear inequalities in the eigenvalues of A and B. These inequalities (called the Hom inequalities) are given explicitly in terms of certain triples of Schubert classes in the singular cohomology of Grassmannians and the standard cup product. Belkale (2001) gave a smaller set of inequalities for the problem in this case (which was shown to be optimal by Knutson–Tao–Woodward). The Hermitian eigenvalue problem has been extended by Berenstein–Sjamaar (2000) and Kapovich–Leeb–Millson (2009) for any semisimple complex algebraic group G. Their solution is again in terms of a system of linear inequalities obtained from certain triples of Schubert classes in the singular cohomology of the partial ag varieties G/P (P being a maximal parabolic subgroup) and the standard cup product. However, their solution is far from being optimal. In a joint work with P. Belkale, we define a deformation of the cup product in the cohomology of G/P and use this new product to generate our system of inequalities which solves the problem for any G optimally (as shown by Ressayre). This article is a survey (with more or less complete proofs) of this additive eigenvalue problem. The eigenvalue problem is equivalent to the saturated tensor product problem. We also give an extension of the saturated tensor product problem to the saturated restriction problem for any pair G ? ? of connected reductive algebraic groups. In the appendix by M. Kapovich, a connection between metric geometry and the representation theory of complex semisimple algebraic groups is explained. The connection runs through the theory of buildings. This connection is exploited to give a uniform (though not optimal) saturation factor for any G.     

A generalized principal ideal theorem

The main theorem of this article is an extension of the generalized principal ideal theorem for ideals in Noetherian rings. Instead of requiring the rings to be Noetherian, some natural requirements are imposed on the chains of prime ideals under consideration. The standard (Noetherian) version of the generalized principal ideal theorem is deduced as a corollary and two other applications are presented.     

L2‐signatures,homology localization,and amenable groups

Aimed at geometric applications, we prove the homology cobordism invariance of the L²‐Betti numbers and L²‐signature defects associated to the class of amenable groups lying in Strebel's class D(R), which includes some interesting infinite/finite non‐torsion‐free groups. This result includes the only prior known condition, that Γ is a poly‐torsion‐free abelian group (or a finite p‐group). We define a new commutator series that refines Harvey's torsion‐free derived series of groups, using the localizations of groups and rings of Bousfield, Vogel, and Cohn. The series, called the local derived series, has versions for homology with arbitrary coefficients and satisfies functoriality and an injectivity theorem. We combine these two new tools to give some applications to distinct homology cobordism types within the same simple homotopy type in higher dimensions, to concordance of knots in three manifolds, and to spherical space forms in dimension 3. © 2012 Wiley Periodicals, Inc.     

Commutative Local Rings Whose Ideals are Direct Sums of Cyclic Modules

A well-known result of Köthe and Cohen-Kaplansky states that a commutative ring R has the property that every R-module is a direct sum of cyclic modules if and only if R is an Artinian principal ideal ring. This motivated us to study commutative rings for which every ideal is a direct sum of cyclic modules. Recently, in Behboodi et al. Commutative Noetherian local rings whose ideals are direct sums of cyclic modules (J. Algebra 345:257–265, 2011) the authors considered this question in the context of finite direct products of commutative Noetherian local rings. In this paper, we continue their study by dropping the Noetherian condition.     

The Kurosh problem,height theorem,nilpotency of the radical,and algebraicity identity

This paper is devoted to relations between the Kurosh problem and the Shirshov height theorem. The central point and main technical tool is the identity of algebraicity. The main result of this paper is the following. Let A be a finitely generated PI-algebra and Y be a finite subset of A. For any Noetherian associative and commutative ring {ie125-01}, let any factor of R ⊗ A such that all projections of elements from Y are algebraic over π(R) be a Noetherian R-module. Then A has bounded essential height over Y. If, furthermore, Y generates A as an algebra, then A has bounded height over Y in the Shirshov sense. This paper also contains a new proof of the Razmyslov-Kemer-Braun theorem on radical nilpotence of affine PI-algebras. This proof allows one to obtain some constructive estimates. The main goal of the paper is to develop a “virtual operator calculus.” Virtual operators (pasting, deleting, and transfer) depend not only on an element of the algebra but also on its representation. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 13, No. 2, pp. 3–29, 2007.     

Chow rings of excellent quadrics

In this paper we compute the multiplicative structure of the Chow ring of an excellent anisotropic quadric by using the algebraic cobordism theory.