The Eta Invariant and the Connective K-Theory of the Classifying Space for Cyclic 2 Groups

We use the eta invariant to study the connective K-theory groups ko _m (B ) of the classifying space for the cyclic group where - 2 2.     

K1 for Triangulated Categories

For a small triangulated category we describe Neeman's K ₁ in terms of generators and relations. This result extends to triangulated categories Sherman's and Nenashev's results on Quillen's K ₁ for exact categories. The generators are double distinguished triangles, and the relations are the diagonal double distinguished triangles and the relations associated to the so-called coherent 3×3 double diagrams.     

Subgroups and Hulls of Specker Lattice-Ordered Groups

In this article, it will be shown that every -subgroup of a Specker -group has singular elements and that the class of -groups that are -subgroups of Specker -group form a torsion class. Methods of adjoining units and bases to Specker -groups are then studied with respect to the generalized Boolean algebra of singular elements, as is the strongly projectable hull of a Specker -group.     

Finite Representability of ℓp in Quotients of Banach Spaces

A typical result of the paper states that if X is a Banach space with a basis and for some 1pq, the spaces _p and _q are finitely block representable in every block subspace of X, then every block subspace of X admits a block quotient Z such that for every r[p,q], the space _r is finitely block representable in Z. Results of a similar nature are also established for ^N _p-block-sequences and asymptotic spaces.     

The Higher K-Theory of Real Curves

If X is a smooth curve defined over the real numbers , we show that K _n (X) is the sum of a divisible group and a finite elementary Abelian 2-group when n 2. We determine the torsion subgroup of K _n (X), which is a finite sum of copies of and 2, only depending on the topological invariants of X() and X(), and show that (for n 2) these torsion subgroups are periodic of order 8.     

Finitely Valued f-Modules, An Addendum

In an -group M with an appropriate operator set it is shown that the -value set (M) can be embedded in the value set (M). This embedding is an isomorphism if and only if each convex -subgroup is an -subgroup. If (M) has a.c.c. and M is either representable or finitely valued, then the two value sets are identical. More generally, these results hold for two related operator sets ₁ and ₂ and the corresponding -value sets and . If R is a unital -ring, then each unital -module over R is an f-module and has exactly when R is an f-ring in which 1 is a strong order unit.     

The Atiyah-Segal completion theorem for C*-algebras

We generalize the Atiyah-Segal completion theorem to C ^*-algebras as follows. Let A be a C ^*-algebra with a continuous action of the compact Lie group G. If K _* ^G (A) is finitely generated as an R(G)-module, or under other suitable restrictions, then the I(G)-adic completion K _* ^G (A) is isomorphic to RK _*([A C(EG)]^G), where RK _* is representable K-theory for - C ^*-algebras and EG is a classifying space for G. As a corollary, we show that if and are homotopic actions of G, and if K _*(C ^* (G,A,)) and K _*(C ^* (G,A,)) are finitely generated, then K _*(C ^*(G,A,))K_*(C ^* (G,A,)). We give examples to show that this isomorphism fails without the completions. However, we prove that this isomorphism does hold without the completions if the homotopy is required to be norm continuous.This work was partially supported by an NSF Graduate Fellowship and by an NSF Postdoctoral Fellowship.     

p-Frames in Separable Banach Spaces

Let X be a separable Banach space with dual X ^*. A countable family of elements {g _i }X ^* is a p-frame (1 p ) if the norm _X is equivalent to the ^p -norm of the sequence {g _i ()}. Without further assumptions, we prove that a p-frame allows every gX ^* to be represented as an unconditionally convergent series g=d _i g _i for coefficients {d _i } ^q , where 1/p+1/q=1. A p-frame {g _i } is not necessarily linear independent, so {g _i } is some kind of overcomplete basis for X ^*. We prove that a q-Riesz basis for X ^* is a p-frame for X and that the associated coefficient functionals {f _i } constitutes a p-Riesz basis allowing us to expand every fX (respectively gX ^*) as f=g _i (f)f _i (respectively g=g(f _i )g _i ). In the general case of a p-frame such expansions are only possible under extra assumptions.     

Constructing Representations of the Nonstandardly Deformed Algebra sℓξ(2)

The generators of the algebra s(2), which result from the nonstandard (Jordanian) deformation of the algebra s(2), are realized in the form of finite-difference operators acting in a function space. This allows realizing arbitrary-dimensional representations of s(2) in the polynomial space that are in one-to-one correspondence with usual matrices of an appropriate dimension. We discuss using the suggested realization to construct and investigate the universal R-matrix invariant with respect to the action of the algebra s(2).     

Unique <Emphasis Type="Italic">a</Emphasis>-closure for some ℓ-groups of rational valued functions

Usually, an abelian -group, even an archimedean -group, has a relatively large infinity of distinct a-closures. Here, we find a reasonably large class with unique and perfectly describable a-closure, the class of archimedean -groups with weak unit which are -convex. ( is the group of rationals.) Any C(X, ) is -convex and its unique a-closure is the Alexandroff algebra of functions on X defined from the clopen sets; this is sometimes C(X).     

Infinitesimal obstructions to weakly mixing

Let ^t be the flow (parametrized with respect to arc length) of a smooth unit vector field v on a closed Riemannian manifold M ⁿ , whose orbits are geodesics. Then the (n-1)-plane field normal to v, v, is invariant under d ^t and, for each x M, we define a smooth real function _x (t) : (1 + _i (t)), where the _i(t) are the eigenvalues of AA ^T, A being the matrix (with respect to orthonormal bases) of the non-singular linear map d^2t , restricted to v at the point _x ^-t M ⁿ.Among other things, we prove the Theorem (Theorem II, below). Assume v is also volume preserving and that _x ^' (t) 0 for all x M and real t; then, if _x ^t : M M is weakly missng for some t, it is necessary that vx 0 at all x M.     

Images of two-dimensional motivic Galois representations

Let M be a two-dimensional motive which is pure of weight w over a number field K and let (: G_K Aut(H(M) )) be the system of the -adic realizations. Choose G_K-invariant -lattices T of H(M) and let (:G_K GL (T))be the corresponding system of integral representations. Then either for almost all primes (G_K) consist of all the elements of GL(T) with determinant in ( ^*)^–w or the system () is associated to algebraic Hecke characters. We also can prove an adelic version of our results.Mathematics Subject Classification (2000): 11F80     

Fields with vanishing K2. Torsion in H1(X,K2) and Ch2(x)

This paper describes fields F of nonzero characteristic with the property that for all finite extensions E/F K₂E=0. We consider a somewhat wider class of fields which includes finite and separably closed fields. For smooth projective varieties X over such a field we show that the groups H¹(X, K₂){} and H²(X_et, (2)), NH³(X_et, (2)) and Ch²(X){} are isomorphic. These results are applied to describe the groups SK₁ of a smooth affine curve over such a field.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 116, pp. 108–118, 1982.     

On flags in a topological projective plane

In this paper we study some properties of the flag space () of a topological projective plane . The line set, sayL, of (), splits into two subfamiliesL ₀ andL ₁ which an non-trivial partitions of the point set of (). For any two distinct lines , ' belonging to one of the two subfamilies, there is exactly one line in the other subfamily meeting botl and '; turns out to be a continuous mapping of (-,'–. Further, the intersection o: two lines, having exactly one point in common, is a continuous and open mapping. Conversely, every irreducible semilinear space, satisfying the above properties, is isomor phic to the flag space of a topological projective plane.This paper has been prepared from some results of a research project supported by N.A.T.O.     

Computations of K- and L-Theory of Cocompact Planar Groups

The verification of the isomorphism conjectures of Baum and Connes and Farrell and Jones for certain classes of groups is used to compute the algebraic K- and L-theory and the topological K-theory of cocompact planar groups (=cocompact N.E.C-groups) and of groups G appearing in an extension where is a finite group and the conjugation -action on ⁿ is free outside . These computations apply, for instance, to two-dimensional crystallographic groups and cocompact Fuchsian groups.     

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.     

The Novikov Conjecture for Low Degree Cohomology Classes

We outline a twisted analogue of the Mishchenko–Kasparov approach to prove the Novikov conjecture on the homotopy invariance of the higher signatures. Using our approach, we give a new and simple proof of the homotopy invariance of the higher signatures associated to all cohomology classes of the classifying space that belong to the subring of the cohomology ring of the classifying space that is generated by cohomology classes of degree less than or equal to 2, a result that was first established by Connes and Gromov and Moscovici using other methods. A key new ingredient is the construction of a tautological C* _r (, )-bundle and connection, which can be used to construct a C* _r (, )-index that lies in the Grothendieck group of C* _r (, ), where is a multiplier on the discrete group corresponding to a degree 2 cohomology class. We also utilise a main result of Hilsum and Skandalis to establish our theorem.     

Application of spherical functions to a certain problem in the theory of quadratic forms

The problem regarding the number of integral points on multidimensional ellipsoids is investigated with the aid of modular forms. In the paper we consider the simplest special case of the following problem: one considers a multidimensional sphere and as a domain on it one selects a cap. The precise result is formulated in the following manner: let r(n) be the number of the representations of n by a sum of squares, 0n₁, 2 n; the expression for K(A), 4, is given in the paper. It is also shown that one can refine somewhat the results on the distribution of integral points on multidimensional ellipsoids, obtained by A. V. Malyshev by the circular method, remaining within the framework of the same methods.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 144, pp. 38–45, 1985.We express our gratitude to M. A. skopina for a consultatin regarding the theory of multiple fourier series     

Some Conditions for a C0-Semigroup to Be Asymptotically Finite-Dimensional

We study the class of bounded C ₀-semigroups T=(T _t ) _t0 on a Banach space X satisfying the asymptotic finite dimensionality condition: codim X ₀(T)<, where X ₀(T):={x X:lim_t T _t x=0}. We prove a theorem which provides some necessary and sufficient conditions for asymptotic finite dimensionality.     

Polarizations on Abelian Varieties and Self-dual ℓ-adic Representations of Inertia Groups

It is well known that every finite subgroup of GL _d (Q ) is conjugate to a subgroup of GL _d (Z ). However, this does not remain true if we replace general linear groups by symplectic groups. We say that G is a group of inertia type of G is a finite group which has a normal Sylow-p-subgroup with cyclic quotient. We show that if >d+1, and G is a subgroup of Sp _2d (Q ) of inertia type, then G is conjugate in GL _2d (Q ) to a subgroup of Sp _2d (Z ). We give examples which show that the bound is sharp. We apply these results to construct, for every odd prime , isogeny classes of Abelian varieties all of whose polarizations have degree divisible by ². We prove similar results for Euler characteristic of invertible sheaves on Abelian varieties over fields of positive characteristic.