An acyclic extension of the braid group

We relate Artin's braid groupB _℞=lim_→B_n to a certain groupF′ ofpl-homeomorphisms of the interval. Namely, there exists a short exact sequence 1→B _∞→A→F′→1 whereH _kA=0,k≥1.     

Sur Les Groupes D’Homotopie Des Espaces Dont La Cohomologie Modulo 2 Est Nilpotente

The main object of this note is to prove the following generalisation of a theorem of Serre. A simply connected space of finite type whose mod. 2 cohomology is nilpotent (and non-trivial) has infinitely many homotopy groups which are not of odd torsion. Incidentally we show that for every fibrationF( _→ ^ί )E ( _→ ^p )B, satisfying certain mild conditions, the following holds. If a classx in the mod. 2 cohomology ofE belongs to the kernel ofi*, then some power ofx belongs to the ideal generated by the image underp* of the mod. 2 reduced cohomology ofB.      

The Connection Between the Metric and Generalized Projection Operators in Banach Spaces

In this paper we study the connection between the metric projection operator PK ： B →K, where B is a reflexive Banach space with dual space B^＊ and K is a non-empty closed convex subset of B, and the generalized projection operators ∏K ： B → K and πK ： B^＊ → K. We also present some results in non-reflexive Banach spaces.     

Abelian group pairs having a trivial coGalois group

Torsion-free covers are considered for objects in the category q ₂. Objects in the category q ₂ are just maps in R-Mod. For R = ℤ, we find necessary and sufficient conditions for the coGalois group G(A → B), associated to a torsion-free cover, to be trivial for an object A → B in q ₂. Our results generalize those of E. Enochs and J. Rado for abelian groups.     

Chaos caused by a strong-mixing measure-preserving transformation

The chaos caused by a strong-mixing preserving transformation is discussed and it is shown that for a topological spaceX satisfying the second axiom of countability and for an outer measurem onX satisfying the conditions: (i) every non-empty open set ofX ism-measurable with positivem-measure; (ii) the restriction ofm on Borel σ-algebra ℬ(X) ofX is a probability measure, and (iii) for everyY⊂X there exists a Borel setB⊂ℬ(X) such thatB⊃Y andm(B) =m(Y), iff:X→X is a strong-mixing measure-preserving transformation of the probability space (X, ℬ(X),m), and if {m}, is a strictly increasing sequence of positive integers, then there exists a subsetC⊂X withm (C) = 1, finitely chaotic with respect to the sequence {m _i}, i.e. for any finite subsetA ofC and for any mapF:A→X there is a subsequencer _i such that lim_i→∞ f ^r i(a) =F(a) for anya ∈A. There are some applications to maps of one dimension. the National Natural Science Foundation of China.     

Motivic equivalence of quadratic forms. II

Let F be a field of characteristic ≠2 and φ be a quadratic form over F. By X _φ we denote the projective variety given by the equation φ=0. For each positive even integer d≥8 (except for d=12) we construct a field F and a pair φ, ψ of anisotropic d-dimensional forms over F such that the Chow motives of X _φ and X _ψ coincide but . For a pair of anisotropic (2 ^{n -1})-dimensional quadrics X and Y, we prove that existence of a rational morphism Y→X is equivalent to existence of a rational morphism Y→X. Received: 27 September 1999 / Revised version: 27 December 1999     

Positive linear extension operators for spaces of affine functions

The following result is proved: letE be anF-space (that is, the space of all continuous affine functions defined on a compact universal cap van shing at zero) and letMχE be anM-ideal. Then, ifE/M is a π₁ with positive defining projections, then there is a positive linear operator ϱ:E/M→E of norm one such that ϱ lifts the canonical mapE→E/M. In the proof, which heavily depends on work of Ando, we study ensor products of certain convex cones with compact bases, and we calculate the norm of a positive linear operator defined on a finite dimensional space with range in aF-space. Various corollaries are deduced for split faces of compact convex sets and for morphisms ofC ^*-algebras.     

On differentiable area-preserving maps of the plane

F: ℝ² → ℝ² is an almost-area-preserving map if: (a) F is a topological embedding, not necessarily surjective; and (b) there exists a constant s > 0 such that for every measurable set B, μ(F(B)) = sμ(B) where μ is the Lebesgue measure. We study when a differentiable map whose Jacobian determinant is nonzero constant to be an almost-area-preserving map. In particular, if for all z, the eigenvalues of the Jacobian matrix DF _z are constant, F is an almost-area-preserving map with convex image.     

Fibrations and nullifications

The paper considers some aspects of the preservation of a fibrationF→E→B by a localization functorL, meaning thatLF→LE→LB is also a fibration. We obtain necessary and sufficient conditions for this, in caseL is equivalent to a nullification functorP _W . Applications include the fact that if such a fibration is preserved by a nullification, then so too are all of its pullbacks. Another application is a homological criterion for a fibration to be preserved. No similar results are known for general localization functors.     

Commensurations of Out(F<Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>)

Let Out(F _n ) denote the outer automorphism group of the free group F _n with n>3. We prove that for any finite index subgroup Γ<Out(F _n ), the group Aut(Γ) is isomorphic to the normalizer of Γ in Out(F _n ). We prove that Γ is co-Hopfian: every injective homomorphism Γ→Γ is surjective. Finally, we prove that the abstract commensurator Comm(Out(F _n )) is isomorphic to Out(F _n ).     

On the comparison theorem for étale cohomology of non-Archimedean analytic spaces

Let ϕ:Y →X be a morphism of finite type between schemes of locally finite type over a non-Archimedean fieldk, and letF be an étale constructible sheaf onY. In [Ber2] we proved that if the torsion orders ofF are prime to the characteristic of the residue field ofk then the canonical homomorphisms (R ^Q ϱ*F)^an →R ^q ϱ _* ^an F ^an are isomorphisms. In this paper we extend the above result to the class of sheavesF with torsion orders prime to the characteristic ofk.     

Smooth and path connected Banach submanifold Σ r of B(E,F) and a dimension formula in B(ℝ n ,ℝ m )

Given two Banach spaces E,F, let B(E,F) be the set of all bounded linear operators from E into F, Σ _r the set of all operators of finite rank r in B(E,F), and Σ _r ^# the number of path connected components of Σ _r . It is known that Σ _r is a smooth Banach submanifold in B(E,F) with given expression of its tangent space at each A ∈ Σ _r . In this paper,the equality Σ _r ^# = 1 is proved. Consequently, the following theorem is obtained: for any nonnegative integer r, Σ _r is a smooth and path connected Banach submanifold in B(E,F) with the tangent space T _A Σ _r = {B ∈ B(E,F): BN(A) ⊂ R(A)} at each A ∈ Σ _r if dim F = ∞. Note that the routine method can hardly be applied here. So in addition to the nice topological and geometric property of Σ _r the method presented in this paper is also interesting. As an application of this result, it is proved that if E = ℝ ⁿ and F = ℝ ^m , then Σ _r is a smooth and path connected submanifold of B(ℝ ⁿ , ℝ ^m ) and its dimension is dimΣ _r = (m+n)r−r ² for each r, 0 <- r < min {n,m}. Supported by the National Science Foundation of China (Grant No.10671049 and 10771101).     

On the abelianizations of congruence subgroups of Aut(<Emphasis Type="Italic">F</Emphasis><Subscript>2</Subscript>)

Let F _n be the free group of rank n, and let Aut⁺(F _n ) be its special automorphism group. For an epimorphism π : F _n → G of the free group F _n onto a finite group G we call the standard congruence subgroup of Aut⁺(F _n ) associated to G and π. In the case n = 2 we fully describe the abelianization of Γ⁺(G, π) for finite abelian groups G. Moreover, we show that if G is a finite non-perfect group, then Γ⁺(G, π) ≤ Aut⁺(F ₂) has infinite abelianization.     

Sums of lengtht in Abelian groups

LetG be an Abelian group written additively,B a finite subset ofG, and lett be a positive integer. Fort≦|B|, letB _t denote the set of sums oft distinct elements overB. Furthermore, letK be a subgroup ofG and let σ denote the canonical homomorphism σ:G→G/K. WriteB _t (modB _t) forB _tσ and writeB _t (modK) forBσ. The following addition theorem in groups is proved. LetG be an Abelian group with no 2-torsion and letB a be finite subset ofG. Ift is a positive integer such thatt<|B| then |B _t (modK)|≧|B (modK)| for any finite subgroupK ofG.     

Défaut d'exactitude des modéles¶de Néron toriques sur un corps local

Let R be a complete discrete valuation ring with mixed characteristic. Denote by K its field of fractions and by k its residue field. Let 0 →A ^K →B ^K →C ^K → 0 be an exact sequence of abelian varieties over K and consider the corresponding complex of Nérons models 0 →A→B→C→ 0, over R. We assume that the identity component B _k ⁰ of the special fibre B _k of B is a torus and we study the defect of exactmess at B in this last sequence.

---

Re?u: 4 décembre 1997/ Version revisée: 15 décembre 1997     

Polynomial mappings of groups

A mapping ϕ of a groupG to a groupF is said to be polynomial if it trivializes after several consecutive applications of operatorsD _h ,h ∈G, defined byD _h ϕ(g)=ϕ(g) ⁻¹ ϕ(gh). We study polynomial mappings of groups, mainly to nilpotent groups. In particular, we prove that polynomial mappings to a nilpotent group form a group with respect to the elementwise multiplication, and that any polynomial mappingG→F to a nilpotent groupF splits into a homomorphismG→G’ to a nilpotent groupG’ and a polynomial mappingG’→F. We apply the obtained results to prove the existence of the compact/weak mixing decomposition of a Hilbert space under a unitary polynomial action of a finitely generated nilpotent group. This work was supported by NSF, Grants DMS-9706057 and 0070566.     

Interpolation of compactness using Aronszajn-Gagliardo functors

We prove that ifT: A ₀ →B ₀ andT: A ₁ →B ₁ both are compact, then is also compact, whereF is the minimal or the maximal functor in the sense of Aronszajn-Gagliardo. We also derive some results for ordered couples. Supported in part by Ministerio de Educación y Ciencia (SAB-87-0172).     

Degrees of finite-to-one factor maps

Iff: Σ _A → Σ _A is an endomorphism of an irreducible shift of finite type, andp is a rational prime which divides the degree off, thenp divides every non-leading coefficient of χ_A. We also give constraints on the possible degrees of finite-to-one factor maps between shifts of finite type.     

A structure theorem for boundary-transitive graphs with infinitely many ends

We prove a structure theorem for locally finite connected graphsX with infinitely many ends admitting a non-compact group of automorphisms which is transitive in its action on the space of ends, Ω _X . For such a graphX, there is a uniquely determined biregular treeT (with both valencies finite), a continuous representationφ : Aut(X) → Aut(T) with compact kernel, an equivariant homeomorphism λ : Ω _X → Ω _T , and an equivariant map τ : Vert(X) → Vert(T) with finite fibers. Boundary-transitive trees are described, and some methods of constructing boundary-transitive graphs are discussed, as well as some examples.     

A note on the coefficient rings of polynomial rings

LetA andB be two reduced commutative rings with finitely many minimal prime ideals. If the polynomial algebrasA[X ₁ …X _n ]=B[Y ₁ …Y _n ] whereX _i ,Y _iF are variables overA andB respectively, then there exists an injective ring homomorphism ϕ:A→B such thatB is finitely generated over ϕ(A).