A Simple Proof of Perelman’s Collapsing Theorem for 3-manifolds

We will simplify earlier proofs of Perelman’s collapsing theorem for 3-manifolds given by Shioya–Yamaguchi (J. Differ. Geom. 56:1–66, 2000; Math. Ann. 333: 131–155, 2005) and Morgan–Tian ( [math.DG], 2008). A version of Perelman’s collapsing theorem states: “Let {M³_i}\{M^{3}_{i}\} be a sequence of compact Riemannian 3-manifolds with curvature bounded from below by (−1) and $\mathrm{diam}(M^{3}_{i})\ge c_{0}>0$\mathrm{diam}(M^{3}_{i})\ge c_{0}>0 . Suppose that all unit metric balls in M³_iM^{3}_{i} have very small volume, at most v _i →0 as i→∞, and suppose that either M³_iM^{3}_{i} is closed or has possibly convex incompressible toral boundary. Then M³_iM^{3}_{i} must be a graph manifold for sufficiently large i”. This result can be viewed as an extension of the implicit function theorem. Among other things, we apply Perelman’s critical point theory (i.e., multiple conic singularity theory and his fibration theory) to Alexandrov spaces to construct the desired local Seifert fibration structure on collapsed 3-manifolds.     

Fixed point theorems for non-Lipschitzian mappings of asymptotically nonexpansive type

LetX be a Banach space,K a nonempty, bounded, closed and convex subset ofX, and supposeT:K→K satisfies: for eachx∈K, lim sup _i→∞{sup _y∈K ‖t ⁱx−Tⁱy∼−‖x−y‖}≦0. IfT ^N is continuous for some positive integerN, and if either (a)X is uniformly convex, or (b)K is compact, thenT has a fixed point inK. The former generalizes a theorem of Goebel and Kirk for asymptotically nonexpansive mappings. These are mappingsT:K→K satisfying, fori sufficiently large, ‖Tⁱx−Tⁱy‖≦k _i‖x−y∼,x,y∈K, wherek _i→1 asi→∞. The precise assumption in (a) is somewhat weaker than uniform convexity, requiring only that Goebel’s characteristic of convexity, ɛ₀ (X), be less than one. Research supported by National Science Foundation Grant GP 18045.     

The Chow ring of a singular surface

We construct the Chow ringCH*(X) =CH ⁰ (X)⊕CH ¹ (X)⊕CH ² (X) of a reduced, quasi-projective surfaceX, together with Chern class mapsc _i :K ₀ (X) → CH ⁱ (X), with the usual properties. As a consequence, we show that the cycle mapCH ² (X)→ F ₀ K ₀ (X) is an isomorphism. Our treatment is greatly influenced by an unpublished 1983 preprint of Levine’s, but is much simpler, since we deal only with surfaces.     

Hamiltonian loops from the ergodic point of view

Let G be the group of Hamiltonian diffeomorphisms of a closed symplectic manifold Y. A loop h:S¹→G is called strictly ergodic if for some irrational number α the associated skew product map T:S¹×Y→S¹×Y defined by T(t,y)=(t+α,h(t)y) is strictly ergodic. In the present paper we address the following question. Which elements of the fundamental group of G can be represented by strictly ergodic loops? We prove existence of contractible strictly ergodic loops for a wide class of symplectic manifolds (for instance for simply connected ones). Further, we find a restriction on the homotopy classes of smooth strictly ergodic loops in the framework of Hofer’s bi-invariant geometry on G. Namely, we prove that their asymptotic Hofer’s norm must vanish. This result provides a link between ergodic theory and symplectic topology. Received July 7, 1998 / final version received September 14, 1998     

Local linear operators and multicontour solutions of homogeneous coupled map lattices

Theorems are proved establishing a relationship between the spectra of the linear operators of the formA+Ωg _iB_ig_i ⁻¹ andA+B _i, whereg _i∈G, andG is a group acting by linear isometric operators. It is assumed that the closed operatorsA andB _i possess the following property: ‖B _iA⁻¹gB_jA⁻¹‖→0 asd(e,g)→∞. Hered is a left-invariant metric onG ande is the unit ofG. Moreover, the operatorA is invariant with respect to the action of the groupG. These theorems are applied to the proof of the existence of multicontour solutions of dynamical systems on lattices. Translated fromMatematicheskie Zametki, Vol. 65, No. 1, pp. 37–47, January, 1999.     

Cantor set and interpolation

In 1998, Y. Benyamini published interesting results concerning interpolation of sequences using continuous functions ℝ → ℝ. In particular, he proved that there exists a continuous function ℝ → ℝ which in some sense “interpolates” all sequences (x _n ) _n∈ℤ ∈ [0, 1]^ℤ “simultaneously.” In 2005, M.R. Naulin and C. Uzcátegui unified and generalized Benyamini’s results. In this paper, the case of topological spaces X and Y with an Abelian group acting on X is considered. A similar problem of “simultaneous interpolation” of all “generalized sequences” using continuous mappings X → Y is posed. Further generalizations of Naulin-Uncátegui theorems, in particular, multidimensional analogues of Benyamini’s results are obtained.     

Half-factorial-domains

LetR be a commutative domain with 1. We termR an HFD (Half-Factorial-Domain) provided the equality Π _i=1 ⁿ χ_i=Π{_f=1/^m}y _f impliesm=n, whenever thex’s and they’s are non-zero, non-unit and irreducible elements ofR. The purpose of this note is to study HFD’s, in particular, Krull domains that are HFD’s, and to provide examples of HFD’s, that contradict a conjecture of Narkiewicz.     

On upper bounds for the growth rate in the extended Taylor-Goldstein problem of hydrodynamic stability

For the extended Taylor-Goldstein problem of hydrodynamic stability governing the stability of shear flows of an inviscid, incompressible but density stratified fluid in sea straits of arbitrary cross-section a new estimate for the growth rate of an arbitrary unstable normal mode is given for a class of basic flows. Furthermore the Howard’s conjecture, namely, the growth rate kc _i → 0 as the wave number k → ∞ is proved for two classes of basic flows.     

On moduli of vector bundles on surfaces with negative Kodaira dimension

Summary Here we prove the following result. Fix integersq, τ,a’, b’, a’ _i, 1≤i≤τ,a’, b’, a’ _i, 1≤i≤τ; then there is an integerew such that for every integert≥w, for every algebraically closed fieldK for every smooth complete surfaceX with negative Kodaira dimension, irregularityq andK _X ² =8(1−q)−τ, the following condition holds; ifX→S is a sequence fo τ blowing-downs which gives a relatively minimal model with ruling ρ:S→C, take as basis of the Neron Severi groupNS(X) a smooth rational curve which is the total transform of a fiber ofC, the total transform of a minimal section of ρ and the total transformD _i, 1≤i≤τ, of the exceptional curver; then for everyH andL∈Pic (X) withH ample,H (resp.L) represented by the integersa’, b’, a’ _i, (resp.a’, b’, a’ _i), 1≤i≤τ, in the chosen basis ofNS(X) the moduli spaceM(ZX, 2,H, L, t) of rank 2H-stable vector bundles onX with determinantL andc ₂=t is generically smooth and the number, dimension and ?birational structure? of the irreducible components ofM(X, 2,H, L, t)_red do not depend on the choice ofK andX. Furthermore the birational structure of these irreducible components can be loosely described in terms of the birational structure of the components of suitableM(S, 2,H’, L’, t’)_red withS a relatively minimal model ofX.

---

Sunto SiaX una superficie algebrica liscia completa con dimensione di Kodaira negativa e definita su un campo algebricamente chiusoK; fissiamoH eL∈Pic (X),t∈Z; siaq l’irregolarità diX e τ≔8(1−q)−K _X ^Emphasis>2 ; siaM(X, 2,H, L, t) to schema dei moduli dei fibrati vettorialiH-stabili di rango 2 suX con determinateL ec ₂=t. Si dimostra che esiste una costantew che dipende solo daq, da τ e dalla classe numerica diH e diL (ma non da char (K) o dalla classe di isomorphismo diX) tale che per ognit≥w il numero, la dimensione e ?la struttura birazionale? delle componenti irriducibili diM(X, 2,H, L, t)_red non dipende dalla scelta di char (K),K eX ma solo daq, τ e dalle classi diH eL inNS(X). Inoltre la ?struttura birazionale? di queste componenti irriducibili può essere grossolanamente descritta in termini delle componenti di opportuni spazi di moduliM(S, 2,H’, L’, t’) (doveS è un modello minimale diX).

     

Additive Latin transversals and group rings

LetA={a ₁, …,a _k} and {b ₁, …,b _k} be two subsets of an abelian groupG, k≤|G|. Snevily conjectured that, when |G| is odd, there is a numbering of the elements ofB such thata _i+b _i,1≤i≤k are pairwise distinct. By using a polynomial method, Alon affirmed this conjecture for |G| prime, even whenA is a sequence ofk<|G| elements. With a new application of the polynomial method, Dasgupta, Károlyi, Serra and Szegedy extended Alon’s result to the groupsZ _p ^r andZ _p ^rin the casek<p and verified Snevily’s conjecture for every cyclic group. In this paper, by employing group rings as a tool, we prove that Alon’s result is true for any finite abelianp-group withk<√2p, and verify Snevily’s conjecture for every abelian group of odd order in the casek<√p, wherep is the smallest prime divisor of |G|. This work has been supported partly by NSFC grant number 19971058 and 10271080.     

Fundamental groups of manifolds with <Emphasis Type="Italic">S</Emphasis><Superscript>1</Superscript>-category 2

A closed topological n-manifold M ⁿ is of S ¹-category 2 if it can be covered by two open subsets W ₁,W ₂ such that the inclusions W _i → M ⁿ factor homotopically through maps W _i → S ¹ → M ⁿ . We show that the fundamental group of such an n-manifold is a cyclic group or a free product of two cyclic groups with nontrivial amalgamation. In particular, if n = 3, the fundamental group is cyclic.      

Field induced aggregation in electrorheological suspension: kernel form and self similar solutions

Within the framework of the study of the fibrillation mechanism in an electrorheological (ER) suspension, this work presents a comparison between the self similar solutions when the kernel is K_i,j ~ (i⁻¹ + j⁻¹) and the behaviour of the chains growth. Till now, the field induced chains formation has only been studied by numerical or experimental methods. The work of Fournier and Lauren?ot (Communications in Mathematical Physics 256 2005) on the Smoluchowski’s equation allows us to present an analytical solution for the field induced pearl chains in a colloidal ER suspension. René Limage: Chercheur indépendant, dipl?mé de l’Université de Liége.     

Characterizations of Noncommutative H ∞

We transfer a large part of the circle of theorems characterizing the generalization of classical H^∞ known as ‘weak* Dirichlet algebras’, to Arveson’s very general noncommutative setting of subalgebras of finite von Neumann algebras. This solves the long-standing open question of the equivalence of principles such as Szeg?’s theorem, the weak* density of A + A*, and so on, within the noncommutative setting. The techniques should also be useful in future developments in noncommutative H^p theory.     

A question of Gol’dberg concerning entire functions with prescribed zeros

Let (z_j) be a sequence of complex numbers satisfying |z_j|→ ∞ asj → ∞ and denote by n(r) the number of z_j satisfying |z_j|≤ r. Suppose that lim inf_{r → ⇈} log n(r)/ logr > 0. Let ϕ be a positive, non-decreasing function satisfying ∫^∞ (ϕ(t)t logt)⁻¹ dt < ∞. It is proved that there exists an entire functionf whose zeros are the z_j such that log log M(r,f) = o((log n(r))²ϕ(log n(r))) asr → ∞ outside some exceptional set of finite logarithmic measure, and that the integral condition on ϕ is best possible here. These results answer a question by A. A. Gol’dberg.     

On limit distributions emerging in the generalized Birnbaum-Saunders model

We establish that the Birnbaum-Saunders distribution is the equilibrium mixture of the inverse Gaussian distribution and the convolution of this distribution with the chi-square distribution with a single degree of freedom. We give a physical interpretation of this phenomenon in terms of probabilistic models of fatigue life and introduce a general family of so-called crack distributions, which contains, in particular, the normal distribution, the inverse Gaussian distribution, and the Birnbaum-Saunders distributions, as well as others used in applications of the theory of reliability. We pose the problem of isolating these particular distributions lying on the boundary of the parametric space of a crack distribution; to solve this problem, we analyze the asymptotic behavior of the likelihood function of the maximal invariant for a random sample of a crack distribution as the sample size n grows and for large values of the form parameter λ, when the crack distribution is approximated by the normal distribution. In either case, the likelihood function asymptotically depends on the sample data only through the U-statistics Σ _i=1 ⁿ X_i Σ _i=1 ⁿ X _i ⁻¹ . This result allows us to construct asymptotically uniformly most powerful invariant tests for n→∞ or λ→∞; the latter “parametric” scheme of asymptotic analysis of the likelihood is similar to LeCam’s theory of statistical experiments, where large values of n are formally replaced by large values of λ, whereas the sample size n remains fixed. Proceedings of the Seminar on Stability Problems for Stochastic Models, Vologda, Russia, 1998, Part I.     

Nielsen’s theorem for model aspherical manifolds

The main issue of this paper is the discussion of Nielsen’s realisation-problem for aspherical manifolds arising from (generalised) Seifert fiber space constructions. We present sufficient conditions on such “model” aspherical manifoldsM to have that a finite abstract kernel ψ:G → Out (π₁ (M)) can be (effectively) geometrically realised by a group of fiber preserving homeomorphisms ofM if and only if ψ can be realised by an (admissible) group extension 1 → (π₁ (M)) →E’ →G → 1. Then an algebraic approach to a (partial) study of the symmetry ofM is possible. Our result covers all situations already described in literature and we show with an example that we also deal with other types of Seifert fiber space constructions which were not yet treated before. Research Assistant of the Belgian National Fund for Scientific Research (N.F.W.O.)     

Limits of Teichmüller mappings on trajectories

A classical Teichmüller sequence is a sequence of quasiconformal mapsf _i with complex dilatations of the form , where φ is a quadratic differential and 0≤k _i<1 are numbers such thatk _i→1 asi→∞. This situation occurs in the Teichmüller theory when one moves along a Teichmüller geodesic toward the boundary. The central result is that if τ is a vertical trajectory associated to φ, then there is often, for instance if the sequence is normalized so thatf _i fix 3 points, a subsequence such thatf _i tend either toward a constant or an injective map of τ (Theorem 4.1). If the limit is injective, it is an embedding of τ if τ does not contain points such that τ returns infinitely often to every neighborhood of the point. The main idea is to composef _i locally with a map ϱ_i so that the composed mapf _iϱ_i is conformal and coincides withf _i on τ. Normal family arguments are applied to the sequencef _iϱ_i. Various extensions are presented. The research for this paper has been supported by the project 51749 of the Academy of Finland.     

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.