The MoravaK-theory of algebraicK-theory spectra

Ifn2 the MoravaK-theoryK(n) _* of an algebraicK-theory spectrumKX vanishes for any ring or schemeX. This is proved using thev _n -complexes of Hopkins and Smith, together with the following theorem. The natural mapf:Q ₀S⁰BGL⁺ factors through the space ImJ. In particularf _*: _* ^s K _* annihilates CokerJ. These results are closely related to the Lichtenbaum-Quillen conjectures.Partially supported by an NSF grant.     

The Product Formula in Unitary Deformation K-theory

For finitely generated groups G and H, we prove that there is a weak equivalence G H (G × H) of ku-algebra spectra, where denotes the “unitary deformation K-theory” functor. Additionally, we give spectral sequences for computing the homotopy groups of G and HG in terms of connective K-theory and homology of spaces of G-representations.     

Continuously controlledA-theory

To anycontrolled space over the metric spaceB we can associate itsboundedly controlled algebraic K-theory, a functor designed to give information about the space of stable bounded concordances of manifolds homotopy equivalent toX. Generalizing a construction of D. R. Anderson, F. X. Connolly, S. Ferry, and E. K. Pedersen, we define another functor, calledcontinuously controlled A-theory, which depends only on thetopology of the control space, not itsmetric properties. In the special case whereB=R ₊, this functor is (more or less by definition) the same asproper A-theory. We prove that under certain conditions on the controlled space the natural transformation from boundedly controlledA-theory to continuously controlledA-theory is a weak homotopy equivalence, and hence defines a generalized homology theory. Continuously controlledK-theory is used in the approaches of G. Carlsson, E. K. Pedersen, and S. Ferry, S. Weinbergervto theK-theory Novikov conjecture.     

MilnorK-theory is the simplest part of algebraicK-theory

We identify the MilnorK-theory of a field with a certain higher Chow group.     

Relative MilnorK-theory

LetR be a commutative, semi-local ring,I ₁, ...,I _s ideals. In this paper, we define therelative Milnor K-groups of (R;I ₁, ...,I _s ),K _p ^M (R;I ₁, ...,I _s ), and show that these groups have many of the properties of the usual MilnorK-groups of a field. In particular, assuming a weak condition on the ideals, we show thatK _p ^M (R;I ₁, ...,I _s ) is isomorphic to the weightp portion of the relative QuillenK-groupK _p (R;I ₁, ...,I _s ), after inverting (p–1)!. We also define the relative group homology of GL _n (R;I ₁, ...,I _s ), and show thatK _p ^M (R;I ₁, ...,I _s ) is isomorphic toH _p (GL_p(R;I ₁, ...,I _s ))/Im(H _p (GL _p–1 (R;I ₁, ...,I _s ))). Finally, we consider a generalization to the relative setting of Kato's conjecture asserting that the Galois symbol gives an isomorphism fromK _p ^M (F)/l ^v to , and show that this relative version of Kato's conjecture implies the Quillen-Lichtenbaum conjectures asserting the Chern class:

ContinuousK-theory

We study arithmetical properties of homotopy groups of thel-adic completion of Quillen'sK-theory space of number field, with a view on the Dwyer-Friedlander comparison map into étaleK-theory. The relation of these groups toK-theory is a complete analogy to the relation of continuous étale cohomology to étale cohomology. We identify the torsion subgroup of the resulting term with the subgroup of divisible elements inK _2n (F). We prove that this term is sent isomorphically into étaleK-theory, giving some further evidence for the Lichtenbaum-Quillen conjectures.     

G-theory of group rings for groups of square-free order

The formula for the G-theory of the group ring of a finite group G conjectured by Hambleton, Taylor, and Williams is shown to be valid for ¦G¦ square-free.     

Abstract Bott periodicity inKK-theory

We show that the universalC*-algebras KqA and K²A are homotopy equivalent and define abstract analogues of the Bott elements inKK-theory.     

Polynomial operations on complex K-theory

We adapt here the results of the author concerning polynomial operations on the 0th stable cohomotopy to the case of the 0th complex K-theory and consider polynomial operations : Kh, where h is a ring-valued contravariant functor, defined on finite CW-complexes, satisfying some properties. We construct a family of generating operations for the ring Pol(K,h) of all polynomial operations : Kh and doing so, we describe the additive structure of this ring in terms of the h(BU(n)'s. As an illustration of how polynomiality could be used to study operations in the setting of algebraic K-theory, we consider, from our point of view, the well known situation operations : KK on complex K-theory.     

Dihedral homology and Hermitian K-theory

We establish a rational isomorphism between certain relative versions of Hermitian K-theory and the dihedral homology of simplicial Hermitian rings. This is the dihedral analogue of Goodwillie's result for cyclic homology and algebraic K-theory. In particular, we describe involutions on (negative) cyclic homology and the K-theory of simplicial rings. We show that Goodwillie's map from K-theory to negative cyclic homology can be chosen to preserve involutions. By work of Burghelea and Fiedorowicz the invariants of the involution on K-theory can be identified with symmetric Hermitian K-theory. Finally, we show how the author's chain complex defining dihedral homology can be extended to the left to capture the invariants of the involution on negative cyclic homology.Supported by New Mexico State University, grant No. RC90-051.     

Personal Reminiscences of the Birth of Algebraic K-theory

These informal reminiscences, presented at the ICTP 2002 Conference on algebraic K-theory, recount the trajectory in the author's early research, from work on the Serre Conjecture (on projective modules over polynomial algebras), via ideas from algebraic geometry and topology, to the ideas and constructions that eventually contributed to the founding of algebraic K-theory. The solution of the Congruence Subgroup Problem is presented as a pivotal event.     

K-theory of twisted Grassmannians

We give a computation of the K-groups of Grassmannians and flag varieties over an arbitrary Noetherian base scheme. We also compute the K-groups of forms of Grassmannians and flag varieties associated to a sheaf of Azumaya algebras. One ingredient in the computation is the extension of the Bott theorem on the cohomology of line bundles on the flag variety (over Q) to a K ₀-Bott theorem valid over arbitrary Noetherian base schemes.Partially supported by the NSF.     

关于L_p球的几个新不等式和性质(英文)

本文研究了L_p球的相关问题.利用对偶混合体积、球面Radon变换和Fourier变换的方法,获得了关于L_p球的几个新不等式和性质,其中一个不等式与著名的最大切片猜想有关.     

AlgebraicK-theory of poset representations

LetS be a finite partially ordered set andk a field. This paper relates the algebraicK-theory ring of the category ofk-representations ofS to the Möbius ring ofS.     

Hodge decompositions of Loday symbols inK-theory and cyclic homology

In this paper, we study the Hodge decompositions ofK-theory and cyclic homology induced by the operations ^k and ^k , and in particular the decomposition of the Loday symbols x,y, ...z. Except in special cases, these Loday symbols do not have pure Hodge index. InK _n (A) they can project into every componentK _n ⁽ⁱ⁾ for 2in, and the projection of the Loday symbol x,y, ...,z intoK _n ⁽ⁿ⁾ is a multiple of the generalized Dennis-Stein symbol x,y, ...,z. Our calculations disprove conjectures of Beilinson and Soulé inK-theory, and of Gerstenhaber and Schack in Hochschild homology.Partially supported by National Security Agency grant MDA904-90-H-4019.Partially supported by National Science Foundation grant DMS-8803497.     

On -topological vector spaces generated by a co-tower of L-topological vector spaces

In this paper, a characterization for an I(L)-topological space to be generated by a given co-tower of L-topological spaces is obtained. Moreover, the relationship between some properties of an I(L)-topological vector space generated by a co-tower of L-topological vector spaces and the corresponding properties of the given co-tower of L-topological vector spaces is investigated. Our results show that if an I(L)-topological vector space generated by a co-tower of L-topological vector spaces has some properties, such as local convexity and local boundedness, then all L-topological vector spaces in the co-tower also have the same properties. But the converse is incorrect even in the case of I-topological vector space generated by a co-tower of classical topological vector spaces. Finally, we supply a necessary and sufficient condition for an I(L)-topological vector space generated by a co-tower of L-topological vector spaces with some properties, such as local convexity and local boundedness, to have such properties too.     

On the Milnor K-theory of the function fields of quasihomogeneous cones

Let V be a quasihomogeneous normal variety. The aim of this paper is to describe the Milnor K-theory of the function field of V in terms of the second residue homomorphisms associated with subvarieties and resolution data of V.Supported by KBN, 2 P301 010 06.     

AlgebraicK-theory of von Neumann algebras

To every von Neumann algebra, one can associate a (multiplicative) determinant defined on the invertible elements of the algebra with range a subgroup of the Abelian group of the invertible elements of the center of the von Neumann algebra. This determinant is a normalization of the usual determinant for finite von Neumann algebras of type I, for the type II₁-case it is the Fuglede-Kadison determinant, and for properly infinite von Neumann algebras the determinant is constant equal to 1. It is proved that every invertible element of determinant 1 is a product of a finite number of commutators. This extends a result of T. Fack and P. de la Harpe for II₁-factors. As a corollary, it follows that the determinant induces an injection from the algebraicK ₁-group of the von Neumann algebra into the Abelian group of the invertible elements of the center. Its image is described. Another group,K ₁ ^w (A), which is generated by elements in matrix algebras overA that induce injective right multiplication maps, is also computed. We use the Fuglede-Kadison determinant to detect elements in the Whitehead group Wh(G).Partially supported by NSF Grant DMS-9103327.     

A non-Abelian K-theory and pseudo-isotopies of 3-manifolds

A non-Abelian version of algebraic K-theory, based on automorphism of free products rather than automorphisms of free modules, is considered and is related to pseudo-isotopies of 3-manifolds.Sometime after writing this paper I learned that some of the algebraic results in it were first proved by Gersten in [13]. Specifically each of Theorems 3.1, 3.2 and 5.1 in the special case when is the trivial group, and Theorem 3.3 and its corollaries are all results of Gersten. I have left the paper as it is for the sake of completeness and since the approach here often differs considerably from Gersten's.     

A note on the left and right translations in L-topological groups

In this note, we show by a counterexample that a proposition on L-homeomorphism property of the left and right translations in L-topological groups given by Bayoumi [On initial and final L-topological groups, Fuzzy Sets and Systems 156 (2005) 43–54] is incorrect, and offer its modified version.