Exponentiable monomorphisms in categories of domains

We give a characterization of exponentiable monomorphisms in the categories of ω-complete posets, of directed complete posets and of continuous directed complete posets as those monotone maps f that are convex and that lift an element (and then a queue) of any directed set (ω-chain in the case of ) whose supremum is in the image of f (Theorem 1.9). Using this characterization, we obtain that a monomorphism f:X→B in (, ) exponentiable in w.r.t. the Scott topology is exponentiable also in (, ). We prove that the converse is true in the category , but neither in , nor in .     

Geodesic currents and Teichmüller space

Consider a hyperbolic surface X of infinite area. The Liouville map assigns to any quasiconformal deformation of X a measure on the space of geodesics of the universal covering X? of X. We show that the Liouville map is a homeomorphism from the Teichmüller space onto its image, and that the image is closed and unbounded. The set of asymptotic rays to consists of all bounded measured laminations on X. Hence, the set of projective bounded measured laminations is a natural boundary for . The action of the quasiconformal mapping class group on continuously extends to this boundary for .     

Local indicability and relative presentations of groups

A relative presentation is a triple where A is a group, X is a set, and R is a set of words in the free product A∗F(X) where F(X) is the free group with basis X. Under certain hypotheses on the relative presentation , we show that (1) the group presented by is locally indicable; (2) the pre-aspherical model for is aspherical; (3) the Freiheitssatz holds for . The result has applications in the computation of cohomology of groups and the field of equations over groups.     

On a relation between certain cohomological invariants

Let G be a group, the supremum of the projective lengths of the injective ZG-modules and the supremum of the injective lengths of the projective ZG-modules. The invariants and were studied in [T.V. Gedrich, K.W. Gruenberg, Complete cohomological functors on groups, Topology Appl. 25 (1987) 203-223] in connection with the existence of complete cohomological functors. If is finite then [T.V. Gedrich, K.W. Gruenberg, Complete cohomological functors on groups, Topology Appl. 25 (1987) 203-223] and , where is the generalized cohomological dimension of G [B.M. Ikenaga, Homological dimension and Farrell cohomology, J. Algebra 87 (1984) 422-457]. Note that if G is of finite virtual cohomological dimension. It has been conjectured in [O. Talelli, On groups of type Φ, Arch. Math. 89 (1) (2007) 24-32] that if is finite then G admits a finite dimensional model for , the classifying space for proper actions.We conjecture that for any group G and we prove the conjecture for duality groups, fundamental groups of graphs of finite groups and fundamental groups of certain finite graphs of groups of type .     

Superinjective simplicial maps of complexes of curves and injective homomorphisms of subgroups of mapping class groups II

Let R be a compact, connected, orientable surface of genus g with p boundary components. Let C(R) be the complex of curves on R and be the extended mapping class group of R. Suppose that either g=2 and p?2 or g?3 and p?0. We prove that a simplicial map is superinjective if and only if it is induced by a homeomorphism of R. As a corollary, we prove that if K is a finite index subgroup of and is an injective homomorphism, then f is induced by a homeomorphism of R and f has a unique extension to an automorphism of . This extends the author's previous results about closed connected orientable surfaces of genus at least 3, to the surface R.     

Covering numbers of different points in Dvoretzky covering

Consider the Dvoretzky random covering on the circle T with a decreasing length sequence {?n}_n?1 such that . We study, for a given β?0, the set Fβ of points which are asymptotically covered by a number βLn of the first n randomly placed intervals where . Three typical situations arise, delimited by two “phase transitions”, according to is zero, positive-finite or infinite, where . More precisely, if ?n tends to zero rapidly enough so that then, with probability one, dimHFβ=1 for all β?0; if ?n is moderate so that then, with probability one, we have for and Fβ=∅ for where and is the interval consisting of β's such that ; eventually, if ?n is so slow that then, with probability one, F₁=T. This solves a problem raised by L. Carleson in a rather satisfactory fashion.Analogous results are obtained for the Poisson covering of the line, which is studied as a tool.     

Equivariant chain complexes, twisted homology and relative minimality of arrangements

We show that the π-equivariant chain complex (), , associated to a Morse-theoretic minimal CW-structure X on the complement of an arrangement , is independent of X. The same holds for all scalar extensions, , a field, where X is an arbitrary minimal CW-structure on a space M. When is a section of another arrangement , we show that the divisibility properties of the first Betti number of the Milnor fiber of  obstruct the homotopy realization of  as a subcomplex of a minimal structure on .If is aspherical and is a sufficiently generic section of , then may be described in terms of π, L and , for an arbitrary local system L; explicit computations may be done, when is fiber-type. In this case, explicit -presentations of arbitrary abelian scalar extensions of the first non-trivial higher homotopy group of , π_p(M), may also be obtained. For nonresonant abelian scalar extensions, the -rank of is combinatorially determined.     

Independence of ? in Lafforgue's theorem

Let X be a smooth curve over a finite field of characteristic p, let ?≠p be a prime number, and let be an irreducible lisse -sheaf on X whose determinant is of finite order. By a theorem of L. Lafforgue, for each prime number ?′≠p, there exists an irreducible lisse -sheaf on X which is compatible with , in the sense that at every closed point x of X, the characteristic polynomials of Frobenius at x for and are equal. We prove an “independence of ?” assertion on the fields of definition of these irreducible ?′-adic sheaves : namely, that there exists a number field F such that for any prime number ?′≠p, the -sheaf above is defined over the completion of F at one of its ?′-adic places.     

q-Analog of the Möbius function and the cyclotomic identity associated to a profinite group

Let G be a profinite group and q an indeterminate. In this paper, we introduce and study a q-analog of the Möbius function and the cyclotomic identity arising from the lattice of open subgroups of G. When q is any integer, we show that they have close connections with the functors , , and introduced in [Y.-T. Oh, q-Deformation of Witt-Burnside rings, Math. Z. 257 (2007) 151-191]. In particular, we interpret the multiplicative property of the inverse of the table of marks and the Möbius function of G as a composition property of certain functors. Classification of , , and up to strict natural isomorphism as q varies over the set of integers and its application will be dealt with, too.     

Polynomial identities and noncommutative versal torsors

To any cleft Hopf Galois object, i.e., any algebra obtained from a Hopf algebra H by twisting its multiplication with a two-cocycle α, we attach two “universal algebras” and . The algebra is obtained by twisting the multiplication of H with the most general two-cocycle σ formally cohomologous to α. The cocycle σ takes values in the field of rational functions on H. By construction, is a cleft H-Galois extension of a “big” commutative algebra . Any “form” of can be obtained from by a specialization of and vice versa. If the algebra is simple, then is an Azumaya algebra with center . The algebra is constructed using a general theory of polynomial identities that we set up for arbitrary comodule algebras; it is the universal comodule algebra in which all comodule algebra identities of are satisfied. We construct an embedding of into ; this embedding maps the center of into when the algebra is simple. In this case, under an additional assumption, , thus turning into a central localization of . We completely work out these constructions in the case of the four-dimensional Sweedler algebra.     

A new majorization between functions, polynomials, and operator inequalities

Let P₊ be the set of all non-negative operator monotone functions defined on [0,∞), and put . Then and . For a function and a strictly increasing function h we write if is operator monotone. If and and if and , then . We will apply this result to polynomials and operator inequalities. Let and be non-increasing sequences, and put for t≧a₁ and for t≧b₁. Then v₊?u₊ if m≦n and : in particular, for a sequence of orthonormal polynomials, (p_n-1)₊?(p_n)₊. Suppose 0<r,p and s=0 or 1≦s≦1+p/r. Then 0≦A≦B implies for 0<α≦r/(p+r).     

A note on maximality of analytic crossed products

Let G be a compact abelian group with the totally ordered dual group which admits the positive semigroup . Let N be a von Neumann algebra and be an automorphism group of on N. We denote to the analytic crossed product determined by N and α. We show that if is a maximal σ-weakly closed subalgebra of , then induces an archimedean order in .