On the rationality of Cantor and Ahmes series

We give criteria for the rationality of Cantor series and series where a₁, a₂, ··· andb₁, b₂, ··· are integers such that a_n > 0 and the series converge. We precisely say when is rational (i) if {a_n}_n=1^∞ is a monotonic sequence of integers and b_{n + 1} − b_n = o(a_{n + 1}) or lim and (ii) if for all large n. We give similar criteria for the rationality of Ahmes series and more generally series . For example, if b_n > 0 and lim , where A_n = lcm(a₁, a₂, ···, a_n), then is rational if and only if for large n.On the other hand, we show that such results are impossible without growth restrictions. For example, we show that for any integers d > c > 1 there is a sequence {b_n}_{n = 1}^∞ such that every number x from some interval can be represented as with a_n ∈ {c,d} for all n.     

Khovanov homology and star-like isotopies

A star-like isotopy for oriented links in 3-space is an isotopy which uses only Reidemeister moves which correspond to the following singularities of planar curves:

, , , .

Full-size table

     

On -z-supplemented subgroups of finite groups

A subgroup H of a group G is called F-z-supplemented in G if there exists a subgroup K of G, such that G = HK and H∩K≤ Z∞F(G), where Z∞F(G) is the F-hypercenter of G. We obtain some results about the F-z-supplemented subgroups and use them to determine the structure of some groups.     

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.     

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 .     

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 .     

Finite orbit modules for parabolic subgroups of exceptional groups

Let G be a reductive linear algebraic group, P a parabolic subgroup of G and P_u its unipotent radical. We consider the adjoint action of P on the Lie algebra _u of P_u. Each higher term _u^(l) of the descending central series of _u is stable under this action. For classical G all instances when P acts on _u^(l) with a finite number of orbits were determined in [9], [10], [3] and [4]. In this note we extend these results to groups of type F₄ and E₆. Moreover, when P acts on _u^(l) with an infinite number of orbits, we determine whether P still acts with a dense orbit. For G of type E₇ and E₈ we investigate only the case of a Borel subgroup.We present a complete classification of all instances when _u^(l) is a prehomogeneous space for a Borel subgroup B of a reductive algebraic group for any l ≥ 0.     

On duality between étale groupoids and Hopf algebroids

For any étale Lie groupoid G over a smooth manifold M, the groupoid convolution algebra of smooth functions with compact support on G has a natural coalgebra structure over the commutative algebra which makes it into a Hopf algebroid. Conversely, for any Hopf algebroid A over we construct the associated spectral étale Lie groupoid over M such that is naturally isomorphic to G. Both these constructions are functorial, and is fully faithful left adjoint to . We give explicit conditions under which a Hopf algebroid is isomorphic to the Hopf algebroid of an étale Lie groupoid G.     

Holomorphy of spectral multipliers of the Ornstein-Uhlenbeck operator

Let γ be the Gauss measure on and the Ornstein-Uhlenbeck operator. For every p in [1,∞)?{2}, set , and consider the sector . The main results of this paper are the following. If p is in (1,∞)?{2}, and , i.e., if M is an Lp(γ)uniform spectral multiplier of in our terminology, and M is continuous on , then M extends to a bounded holomorphic function on the sector . Furthermore, if p=1 a spectral multiplier M, continuous on , satisfies the condition if and only if M extends to a bounded holomorphic function on the right half-plane, and its boundary value M(i·) on the imaginary axis is the Euclidean Fourier transform of a finite Borel measure on the real line. We prove similar results for uniform spectral multipliers of second order elliptic differential operators in divergence form on belonging to a wide class, which contains . From these results we deduce that operators in this class do not admit an H^∞ functional calculus in sectors smaller than .