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.     

Vertex operator algebras associated to modified regular representations of affine Lie algebras

Let G be a simply-connected complex Lie group with simple Lie algebra g and let be its affine Lie algebra. We use intertwining operators and Knizhnik-Zamolodchikov equations to construct a family of N-graded vertex operator algebras (VOAs) associated to g. These vertex operator algebras contain the algebra of regular functions on G as the conformal weight 0 subspaces and are -modules of dual levels in the sense that , where h^∨ is the dual Coxeter number of g. This family of VOAs was previously studied by Arkhipov-Gaitsgory and Gorbounov-Malikov-Schechtman from different points of view. We show that when k is irrational, the vertex envelope of the vertex algebroid associated to G and the level k is isomorphic to the vertex operator algebra we constructed above. The case of rational levels is also discussed.     

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 fixed point localization formula for the Fourier transform of regular semisimple coadjoint orbits

Let be a Lie group acting on an oriented manifold M, and let ω be an equivariantly closed form on M. If both and M are compact, then the integral is given by the fixed point integral localization formula (Theorem 7.11 in Berline et al. Heat Kernels and Dirac Operators, Springer, Berlin, 1992). Unfortunately, this formula fails when the acting Lie group is not compact: there simply may not be enough fixed points present. A proposed remedy is to modify the action of in such a way that all fixed points are accounted for.Let be a real semisimple Lie group, possibly noncompact. One of the most important examples of equivariantly closed forms is the symplectic volume form dβ of a coadjoint orbit Ω. Even if Ω is not compact, the integral exists as a distribution on the Lie algebra . This distribution is called the Fourier transform of the coadjoint orbit.In this article, we will apply the localization results described in [L1,L2] to get a geometric derivation of Harish-Chandra's formula (9) for the Fourier transforms of regular semisimple coadjoint orbits. Then, we will make an explicit computation for the coadjoint orbits of elements of which are dual to regular semisimple elements lying in a maximally split Cartan subalgebra of .     

Laplace and Segal-Bargmann transforms on Hermitian symmetric spaces and orthogonal polynomials

Let be a complex bounded symmetric domain of tube type in a complex Jordan algebra V and let be its real form in a formally real Euclidean Jordan algebra J⊂V; is a bounded realization of the symmetric cone in J. We consider representations of H that are gotten by the generalized Segal-Bargmann transform from a unitary G-space of holomorphic functions on to an L²-space on . We prove that in the unbounded realization the inverse of the unitary part of the restriction map is actually the Laplace transform. We find the extension to of the spherical functions on and find their expansion in terms of the L-spherical polynomials on , which are Jack symmetric polynomials. We prove that the coefficients are orthogonal polynomials in an L²-space, the measure being the Harish-Chandra Plancherel measure multiplied by the symbol of the Berezin transform. We prove the difference equation and recurrence relation for those polynomials by considering the action of the Lie algebra and the Cayley transform on the polynomials on . Finally, we use the Laplace transform to study generalized Laguerre functions on symmetric cones.     

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 .     

Elliptic Lie algebras and tubular algebras

This article is to study relations between tubular algebras of Ringel and elliptic Lie algebras in the sense of Saito-Yoshii. Using the explicit structure of the derived categories of tubular algebras given by Happel-Ringel, we prove that the elliptic Lie algebra of type , , or is isomorphic to the Ringel-Hall Lie algebra of the root category of the tubular algebra with the same type. As a by-product of our proof, we obtain a Chevalley basis of the elliptic Lie algebra following indecomposable objects of the root category of the corresponding tubular algebra. This can be viewed as an analogue of the Frenkel-Malkin-Vybornov theorem in which they described a Chevalley basis for each untwisted affine Kac-Moody Lie algebra by using indecomposable representations of the corresponding affine quiver.     

Nilpotent orbits and some small unitary representations of indefinite orthogonal groups

For 2?m?l/2, let G be a simply connected Lie group with as Lie algebra, let be the complexification of the usual Cartan decomposition, let K be the analytic subgroup with Lie algebra , and let be the universal enveloping algebra of . This work examines the unitarity and K spectrum of representations in the “analytic continuation” of discrete series of G, relating these properties to orbits in the nilpotent radical of a certain parabolic subalgebra of .The roots with respect to the usual compact Cartan subalgebra are all ±e_i±e_j with 1?i<j?l. In the usual positive system of roots, the simple root e_m−e_m+1 is noncompact and the other simple roots are compact. Let be the parabolic subalgebra of for which e_m−e_m+1 contributes to and the other simple roots contribute to , let L be the analytic subgroup of G with Lie algebra , let , let be the sum of the roots contributing to , and let be the parabolic subalgebra opposite to .The members of are nilpotent members of . The group acts on with finitely many orbits, and the topological closure of each orbit is an irreducible algebraic variety. If Y is one of these varieties, let R(Y) be the dual coordinate ring of Y; this is a quotient of the algebra of symmetric tensors on that carries a fully reducible representation of .For , let . Then λ_s defines a one-dimensional module . Extend this to a module by having act by 0, and define . Let be the unique irreducible quotient of . The representations under study are and , where and Π_S is the Sth derived Bernstein functor.For s>2l−2, it is known that π_s=π_s′ and that π_s′ is in the discrete series. Enright, Parthsarathy, Wallach, and Wolf showed for m?s?2l−2 that π_s=π_s′ and that π_s′ is still unitary. The present paper shows that π_s′ is unitary for 0?s?m−1 even though π_s≠π_s′, and it relates the K spectrum of the representations π_s′ to the representation of on a suitable R(Y) with Y depending on s. Use of a branching formula of D. E. Littlewood allows one to obtain an explicit multiplicity formula for each K type in π_s′; the variety Y is indispensable in the proof. The chief tools involved are an idea of B. Gross and Wallach, a geometric interpretation of Littlewood's theorem, and some estimates of norms.It is shown further that the natural invariant Hermitian form on π_s′ does not make π_s′ unitary for s<0 and that the K spectrum of π_s′ in these cases is not related in the above way to the representation of on any R(Y).A final section of the paper treats in similar fashion the simply connected Lie group with Lie algebra , 2?m?l/2.     

Classification of generalized symmetries of the Yang-Mills fields with a semi-simple structure group

A complete classification of generalized (or local) symmetries of the Yang-Mills equations on four dimensional Minkowski space with a semi-simple structure group is carried out. It is shown that any generalized symmetry, up to a generalized gauge symmetry, agrees with a first order symmetry on solutions of the Yang-Mills equations. Let be the decomposition of the Lie algebra of the structure group into simple ideals. First order symmetries for -valued Yang-Mills fields are found to consist of gauge symmetries, conformal symmetries for -valued Yang-Mills fields, 1?m?n, and their images under a complex structure of .     

A new construction of vertex algebras and quasi-modules for vertex algebras

In this paper, a new construction of vertex algebras from more general vertex operators is given and a notion of quasimodule for vertex algebras is introduced and studied. More specifically, a notion of quasilocal subset(space) of for any vector space W is introduced and studied, generalizing the notion of usual locality in the most possible way, and it is proved that on any maximal quasilocal subspace there exists a natural vertex algebra structure and that any quasilocal subset of generates a vertex algebra. Furthermore, it is proved that W is a quasimodule for each of the vertex algebras generated by quasilocal subsets of . A notion of Γ-vertex algebra is also introduced and studied, where Γ is a subgroup of the multiplicative group C^× of nonzero complex numbers. It is proved that any maximal quasilocal subspace of is naturally a Γ-vertex algebra and that any quasilocal subset of generates a Γ-vertex algebra. It is also proved that a Γ-vertex algebra exactly amounts to a vertex algebra equipped with a Γ-module structure which satisfies a certain compatibility condition. Finally, two families of examples are given, involving twisted affine Lie algebras and certain quantum torus Lie algebras.     

Classification of quasifinite modules over the Lie algebras of Weyl type

For a nondegenerate additive subgroup Γ of the n-dimensional vector space over an algebraically closed field of characteristic zero, there is an associative algebra and a Lie algebra of Weyl type spanned by all differential operators uD₁^m₁?D_n^m_n for (the group algebra), and m₁,…,m_n?0, where D₁,…,D_n are degree operators. In this paper, it is proved that an irreducible quasifinite -module is either a highest or lowest weight module or else a module of the intermediate series; furthermore, a classification of uniformly bounded -modules is completely given. It is also proved that an irreducible quasifinite -module is a module of the intermediate series and a complete classification of quasifinite -modules is also given, if Γ is not isomorphic to .     

Approximating Fourier transformation of orbital integrals

In this paper, we are concerned with orbital integrals on a class of real reductive Lie groups with non-compact Iwasawa K-component. The class contains all connected semisimple Lie groups with infinite center. We establish that any given orbital integral over general orbits with compactly supported continuous functions for a group G in is convergent. Moreover, it is essentially the limit of corresponding orbital integrals for its quotient groups in Harish-Chandra's class. Thus the study of orbital integrals for groups in class reduces to those of Harish-Chandra's class. The abstract theory for this limiting technique is developed in the general context of locally compact groups and linear functionals arising from orbital integrals. We point out that the abstract theory can be modified easily to include weighted orbital integrals as well. As an application of this limiting technique, we deduce the explicit Plancherel formula for any group in class .     

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 .