Euler class groups and motivic stable cohomotopy (with an appendix by Mrinal Kanti Das)

Bott periodicity and calculus of Euler classes on spheres

The Euler class group of a polynomial algebra

For each n > 1 and each multiplicative closed set of integers S, we study closed model category structures on the pointed category of topological spaces, where the classes of weak equivalences are classes of maps inducing isomorphism on homotopy groups with coefficients in determined torsion abelian groups, in degrees higher than or equal to n. We take coefficients either on all the cyclic groups $$\mathbb{Z} \mathord{\left/ {\vphantom {\mathbb{Z} s}} \right. \kern-\nulldelimiterspace} s$$ with s ∈ S, or in the abelian group $$\mathbb{C}{\left[ {S^{{ - 1}} } \right]} = {\mathbb{Z}{\left[ {S^{{ - 1}} } \right]}} \mathord{\left/ {\vphantom {{\mathbb{Z}{\left[ {S^{{ - 1}} } \right]}} \mathbb{Z}}} \right. \kern-\nulldelimiterspace} \mathbb{Z}$$ where $$\mathbb{Z}{\left[ {S^{{ - 1}} } \right]}$$ is the group of fractions of the form $$\frac{z}{s}$$ with s ∈ S. In the first case, for n > 1 the localized category $${\user2{Ho}}{\left( {\mathcal{T}_{n} S - {\user2{Top}}*} \right)}$$ is equivalent to the ordinary homotopy category of (n − 1)-connected CW-complexes whose homotopy groups are S-torsion. In the second case, for n > 1 we obtain that the localized category $${\user2{Ho}}{\left( {\mathcal{T}_{{\mathcal{D}_{n} }} S - {\user2{Top}}*} \right)}$$ is equivalent to the ordinary homotopy category of (n − 1)-connected CW-complexes whose homotopy groups are S-torsion and the nth homotopy group is divisible. These equivalences of categories are given by colocalizations $$X^{{\mathcal{T}_{n} S}} \to X$$ , $$X^{{\mathcal{T}_{{\mathcal{D}_{n} }} S}} \to X$$ obtained by cofibrant approximations on the model structures. These colocalization maps have nice universal properties. For instance, the map $$X^{{\mathcal{T}_{{\mathcal{D}_{n} }} S}} \to X$$ is final (in the homotopy category) among all the maps of the form Y → X with Y an (n − 1)-connected CW-complex whose homotopy groups are S-torsion and its nth homotopy group is divisible. The spaces $$X^{{\mathcal{T}_{n} S}} $$ , $$X^{{\mathcal{T}_{{\mathcal{D}_{n} }} S}} $$ are constructed using the cones of Moore spaces of the form M(T, k), where T is a coefficient group of the corresponding structure of models, and homotopy colimits indexed by a suitable ordinal. If S is generated by a set P of primes and S p is generated by a prime p ∈ P one has that for n > 1 the category $${\user2{Ho}}{\left( {\mathcal{T}_{n} S - {\user2{Top}}*} \right)}$$ is equivalent to the product category $$\Pi _{{p \in P}} {\user2{Ho}}{\left( {\mathcal{T}_{n} S^{p} - {\user2{Top}}*} \right)}$$ . If the multiplicative system S is generated by a finite set of primes, then localized category $${\user2{Ho}}{\left( {\mathcal{T}_{{\mathcal{D}_{n} }} S - {\user2{Top}}*} \right)}$$ is equivalent to the homotopy category of n-connected Ext-S-complete CW-complexes and a similar result is obtained for $${\user2{Ho}}{\left( {\mathcal{T}_{n} S - {\user2{Top}}*} \right)}$$ .

Long colimits of topological groups II: Free groups and vector spaces

Let $R$ be a commutative Noetherian ring of dimension~$d$ and \[ B=R[X_1,\ldots ,X_m,Y_1^{\pm 1},\ldots ,Y_n^{\pm 1}] \] a Laurent polynomial ring over $R$. If $A=B[Y,f^{-1}]$ for some $f\in R[Y]$, then we prove the following results: (i) if $f$ is a monic polynomial, then the Serre dimension of $A$ is $\leq d$. The case $n=0$ is due to Bhatwadekar, without the condition that $f$ is a monic polynomial. (ii) The $p$th Euler class group $E^p(A)$ of $A$, defined by Bhatwadekar and Sridharan, is trivial for $p\geq \max \{d+1,\dim A -p+3\}$. The case $m=n=0$ is due to Mandal and Parker.

Let (X,≤) be a partially ordered set (in short, a poset). The automorphism group Aut (X,≤) is the group of all permutations g of X such that x ≤ y if and only if xg ≤ yg for all x,y∈X. We say that (X,≤) is sharply transitive if Aut(X,≤) is sharply transitive on X, that is, for x,y∈X there exists a unique g∈Aut(X,≤) with y = xg. Sharply transitive totally ordered sets have been studied by Ohkuma[4, 5], Glass, Gurevich, Holland and Shelah [3] (see also [2] and [6]). Whereas the only countable sharply transitive totally ordered set is the set of integers, there are a great variety of countable sharply transitive posets. Amongst other results, in [1] the author showed that there are countably many non-isomorphic sharply transitive posets whose automorphism group is infinite cyclic (and also gave a full description of those), whereas there are 2N0 non-isomorphic sharply transitive posets whose automorphism group is isomorphic to the additive group of the rational numbers. This suggests also that one should consider the analogous problem for free abelian groups. The purpose of this note is to show that whenever G is a countable free abelian group then there exists a sharply transitive poset whose automorphism group is isomorphic to G, and that there are already 2N0 non-isomorphic sharply transitive posets whose automorphism group is the free abelian group of rank 2.

We give a complete description of the topological spaces X such that the free abelian topological group A(X) embeds into the free abelian topological group A(I) on the closed unit interval. In particular, the free abelian topological group A(X) on any finite-dimensional compact metrizable space X embeds into A(I). To obtain our description, we study similar embeddings of the free locally convex spaces and continuous surjections between the spaces of continuous functions with the pointwise topology. Proofs are based on the classical Kolmogorov's Superposition Theorem.

We would like to build Abelian groups (or R-modules) which on the one hand are quite free, say ℵω+1-free, and on the other hand are complicated in a suitable sense. We choose as our test problem one having no nontrivial homomorphism to ℤ (known classically for ℵ1-free, recently for ℵn-free). We succeed to prove the existence of even $${\aleph _{{\omega _1} \cdot n}}$$ -free ones. This requires building n-dimensional black boxes, which are quite free. This combinatorics is of self interest and we believe will be useful also for other purposes. On the other hand, modulo suitable large cardinals, we prove that it is consistent that every $${\aleph _{{\omega _1} \cdot \omega }}$$ -free Abelian group has non-trivial homomorphisms to ℤ.

Several authors have recently studied the problem of finding circumstances under which the amenability of a semigroup is inherited by a subsemigroup. It is known ([2] and [3]) that subgroups of an amenable group are amenable, but that in general subsemigroups of an amenable semigroup are not. We show here that subsemigroups of an amenbable group need not be amenable. Frey proved in [4] that subsemigroups of a group inherit amenability and the group contains no copy of the free semigroup S on two generators (S is not amenable). The problem is discussed in detail in [51. It is known [11 that a group generated by a copy of S contained in it need not be free; the question is whether it can be far enough from free to be amenable. Since solvable groups are amenable [6], our claim that subsemigroups of amenable groups need not be amenable will be established we can embed S in a solvable group. We proceed to do this. Granirer conjectured in his review [MR 35 #3423] of Wilde and Witz [7] that a group is amenable and it contains no copy of S. It will follow that the only if part of this conjecture is quite false. Let B be the free additive abelian group on the family of generators {b(m, n) }, m, n integers. Any permutation of these generators induces an automorphism of B. Let x and y be the automorphisms induced by b(m, n)F->b(m+1, n) and b(m, n)'->b(m, n+1), respectively. It is easy to see that the subgroup C of Aut B generated by x and y is the free abelian group on the generators x, y. We write C additively, and we indicate the action of an element c of C on an element b of B by be. Let be the normal product of B by C. consists of pairs [c, b] and the multiplication is given by -[c, b1i [c, b] [cl+c, b1+b]. c1->[c, 0], bF-*[O, b] are embeddings of C, B respectively into G, and B is thus a normal abelian subgroup with quotient G/B-C. Hence, is solvable and in fact the second derived group G of is trivial. The same holds for every subgroup of G. Now, let s= [x, b(O, 0)] and t= [y, b(0, 0)].

A classical result of Magnus asserts that a free group F has a faithful representation in the group of units of a ring of non-commuting formal power series with integral coefficients. We generalize this result to the category of A-groups, where A is an associative ring or an Abelian group. We say that a free A-group FA has a faithful Magnus representation if there is a ring B containing A as an additive subgroup (or a subring) such that FA is faithfully represented (exactly as in Magnus' classical result in the case A = Z)in the group of units of the ring of formal power series in non-communting indeterminater over B.The three principal results are: (I) If A is a torsion free Abelian group and FA is a free A-groupp of Lyndon' type, then FA has a faithful Magnus representation; (II) If A is an ω‐residually Z ring, then FA has a faithful Magnus representation;(III) for every nontrivial torsion-free Abelian group A, FA has a faithful Magnus representation in B[[Y]] for a suitable ring B in and only if FQ has a faithful Magnus representation in Q[[Y]].

Using the set theoretical principle ∇ for arbitrary large cardinals κ, arbitrary large strongly κ-free abelian groupsA are constructed such that Hom(A, G)={0} for all cotorsion-free groupsG with |G|<κ. This result will be applied to the theory of arbitrary torsion classes for Mod-Z. It allows one, in particular, to prove that the classF of cotorsion-free abelian groups is not cogenerated by aset of abelian groups. This answers a conjecture of Gobel and Wald positively. Furthermore, arbitrary many torsion classes for Mod-Z can be constructed which are not generated or not cogenerated by single abelian groups.

Let T be an abelian group and λ an uncountable regular cardinal. The question of whether there is a λ-universal group U among all torsion-free abelian groups G of cardinality less than or equal to λ satisfying Exta(G,T) = 0 is considered. U is said to be λ-universal for T if, whenever a torsion-free abelian group G of cardinality at most λ satisfies Ext(G,T)=0, there is an embedding of G into U. For large classes of abelian groups T and cardinals λ, it is shown that the answer is consistently no, that is to say, there is a model of ZFC in which, for pairs T and λ, there is no universal group. In particular, for T torsion, this solves a problem by Kulikov.

In this chapter we develop the algebra underlying multirate filter structures over free abelian groups of finite rank. Suppose A is a free abelian group of rank N. Each subgroup Δ of A is a free abelian group of rank n ≤ N. The basis theorem describes how Δ sits in A in the sense that it characterizes the quotient group A/Δ. This quotient group can be a finite abelian group a free abelian group of finite rank the direct product of a finite abelian group and a free abelian group of finite rank.

Zero cycles and the Euler class groups of smooth real affine varieties

We exhibit a smooth complex affine 5-fold whose Witt group of quadratic forms does not inject into the Witt group of its function field. The dimension 5 is the smallest possible. The example depends on relating Witt groups, mod 2 Chow groups, and Steenrod operations.AMS 2000 Mathematics subject classification: Primary 19G12. Secondary 19E15