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.     

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.     

Genericity of wild holomorphic functions and common hypercyclic vectors

Let T_α be the translation operator by α in the space of entire functions defined by . We prove that there is a residual set G of entire functions such that for every f∈G and every the sequence is dense in , that is, G is a residual set of common hypercyclic vectors ( functions) for the family . Also, we prove similar results for many families of operators as: multiples of differential operator, multiples of backward shift, weighted backward shifts.     

The symmetry of the CS condition on one-sided ideals in a prime ring

Let R be a prime ring and e∈R be an idempotent. We show that eR_R is nonsingular, CS and if and only if is nonsingular, CS and .     

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.     

Almost fully decomposable infinite rank lattices over orders

Let Λ be an order over a Dedekind domain R with quotient field K. An object of , the category of R-projective Λ-modules, is said to be fully decomposable if it admits a decomposition into (finitely generated) Λ-lattices. In a previous article [W. Rump, Large lattices over orders, Proc. London Math. Soc. 91 (2005) 105-128], we give a necessary and sufficient criterion for R-orders Λ in a separable K algebra A with the property that every is fully decomposable. In the present paper, we assume that is separable, but that the p-adic completion A_p is not semisimple for at least one . We show that there exists an , such that KL admits a decomposition KL=M₀⊕M₁ with finitely generated, where L∩M₁ is fully decomposable, but L itself is not fully decomposable.     

Quantifications des algèbres de Hopf d'arbres plans décorés et lien avec les groupes quantiques

We introduce a functor from the category of braided spaces into the category of braided Hopf algebras which associates to a braided space V a braided Hopf algebra of planar rooted trees . We show that the Nichols algebra of V is a subquotient of . We construct a Hopf pairing between and , generalising one of the results of [Bull. Sci. Math. 126 (2002) 193-239]. When the braiding of c is given by c(v_i⊗v_j)=q_i,jv_j⊗v_i, we obtain a quantification of the Hopf algebras introduced in [Bull. Sci. Math. 126 (2002) 193-239; 126 (2002) 249-288]. When q_i,j=q^a_i,j, with q an indeterminate and (a_i,j)_i,j the Cartan matrix of a semi-simple Lie algebra , then is a subquotient of . In this case, we construct the crossed product of with a torus and then the Drinfel'd quantum double of this Hopf algebra. We show that is a subquotient of .     

Analysis of a system of fractional differential equations

We prove existence and uniqueness theorems for the initial value problem for the system of fractional differential equations , where D^α denotes standard Riemann-Liouville fractional derivative, 0<α<1, and A is a square matrix. The unique solution to this initial value problem turns out to be , where E_α denotes the Mittag-Leffler function generalized for matrix arguments. Further we analyze the system , , 0<α<1, and investigate dependence of the solutions on the initial conditions.     

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).     

Cap pairings and spectral sequences

Let be a small category. For an -diagram X and -diagrams A and B of pointed spaces, each pairing X∧A→B satisfying the projection formula induces a pairing . In this note we show that there is an induced pairing of homotopy spectral sequences compatible with abutments in the sense that

     

Non-linear numerical radius isometries on atomic nest algebras and diagonal algebras

A nonlinear map φ between operator algebras is said to be a numerical radius isometry if w(φ(T−S))=w(T−S) for all T, S in its domain algebra, where w(T) stands for the numerical radius of T. Let and be two atomic nests on complex Hilbert spaces H and K, respectively. Denote the nest algebra associated with and the diagonal algebra. We give a thorough classification of weakly continuous numerical radius isometries from onto and a thorough classification of numerical radius isometries from onto .     

Monoids with sub-log-exponential free spectra

A classic result from the 1960s states that the asymptotic growth of the free spectrum of a finite group is sub-log-exponential if and only if is nilpotent. Thus a monoid is sub-log-exponential implies , the pseudovariety of semigroups with nilpotent subgroups. Unfortunately, little more is known about the boundary between the sub-log-exponential and log-exponential monoids.The pseudovariety consists of those finite semigroups satisfying (x^ωy^ω)^ω(y^ωx^ω)^ω(x^ωy^ω)^ω≈(x^ωy^ω)^ω. Here it is shown that a monoid is sub-log-exponential implies . A quick application: a regular sub-log-exponential monoid is orthodox. It is conjectured that a finite monoid is sub-log-exponential if and only if it is , the finite monoids in having nilpotent subgroups. The forward direction of the conjecture is proved; moreover, the conjecture is proved for when is completely (0)-simple. In particular, the six-element Brandt monoid (the Perkins semigroup) is sub-log-exponential.