Unitary representations and theta correspondence for type I classical groups

In this paper, we discuss the positivity of the Hermitian form (,)_π introduced by Li in Invent. Math. 27 (1989) 237-255. Let (G₁,G₂) be a type I dual pair with G₁ the smaller group. Let π be an irreducible unitary representation in the semistable range of θ(MG₁,MG₂) (see Communications in Contemporary Mathematics, Vol. 2, 2000, pp. 255-283). We prove that the invariant Hermitian form (,)_π is positive semidefinite under certain restrictions on the size of G₂ and a mild growth condition on the matrix coefficients of π. Therefore, if (,)_π does not vanish, θ(MG₁,MG₂)(π) is unitary.Theta correspondence over was established by Howe in (J. Amer. Math. Soc. 2 (1989) 535-552). Li showed that theta correspondence preserves unitarity for dual pairs in stable range. Our results generalize the results of Li for type I classical groups (Invent. Math. 27 (1989) 237). The main result in this paper can be used to construct irreducible unitary representations of classical groups of type I.     

Tensor products of holomorphic representations and bilinear differential operators

Let be the weighted Bergman space on a bounded symmetric domain D=G/K. It has analytic continuation in the weight ν and for ν in the so-called Wallach set still forms unitary irreducible (projective) representations of G. We give the irreducible decomposition of the tensor product of the representations for any two unitary weights ν and we find the highest weight vectors of the irreducible components. We find also certain bilinear differential intertwining operators realizing the decomposition, and they generalize the classical transvectants in invariant theory of . As applications, we find a generalization of the Bol's lemma and we characterize the multiplication operators by the coordinate functions on the quotient space of the tensor product modulo the subspace of functions vanishing of certain degree on the diagonal.     

Decomposition of the Witt-Burnside ring and Burnside ring of an abelian profinite group

Let G, H be abelian profinite groups whose orders are coprime and assume that q ranges over the set of integers. The aim of this paper is to establish an isomorphism of functors , where denotes the q-deformed Witt-Burnside ring functor of G introduced in [Y.-T. Oh, q-Deformation of Witt-Burnside rings, Math. Z. 207 (1) (2007) 151-191]. To do this, we first establish an isomorphism of functors , where denotes the q-deformed Burnside ring functor of G which was also introduced in [Y.-T. Oh, q-Deformation of Witt-Burnside rings, Math. Z. 207 (1) (2007) 151-191]. As an application, we derive a pseudo-multiplicative property of the q-Möbius function associated to the lattice of open subgroups of the direct sum of G and H.     

On conjugacy classes in metaplectic groups

Let E be a finite dimensional symplectic space over a local field of characteristic zero. We show that for every element in the metaplectic double cover of the symplectic group Sp(E), and are conjugate by an element of GSp(E) with similitude −1.     

Twisted actions and the obstruction to extending unitary representations of subgroups

Suppose that G is a locally compact group and π is a (not necessarily irreducible) unitary representation of a closed normal subgroup N of G on a Hilbert space . We extend results of Clifford and Mackey to determine when π extends to a unitary representation of G on the same space in terms of a cohomological obstruction.     

A sharp form of an embedding into exponential and double exponential spaces

Let Ω be a bounded domain in . In the well-known paper (Indiana Univ. Math. J. 20 (1971) 1077) Moser found the smallest value of K such that

     

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.     

On the telescope conjecture for module categories

In [H. Krause, O. Solberg, Applications of cotorsion pairs, J. London Math. Soc. 68 (2003) 631-650], the Telescope Conjecture was formulated for the module category of an artin algebra R as follows: “If C=(A,B) is a complete hereditary cotorsion pair in with A and B closed under direct limits, then ”. We extend this conjecture to arbitrary rings R, and show that it holds true if and only if the cotorsion pair C is of finite type. Then we prove the conjecture in the case when R is right noetherian and B has bounded injective dimension (thus, in particular, when C is any cotilting cotorsion pair). We also focus on the assumptions that A and B are closed under direct limits and on related closure properties, and detect several asymmetries in the properties of A and B.     

Quantum cohomology of the infinite-dimensional generalized flag manifolds

Consider the infinite-dimensional flag manifold LK/T corresponding to the simple Lie group K of rank l and with maximal torus T. We show that, for K of type A, B or C, if we endow the space (where q₁,…,q_l+1 are multiplicative variables) with an -bilinear product satisfying some simple properties analogous to the quantum product on QH∗(K/T), then the isomorphism type of the resulting ring is determined by the integrals of motion of a certain periodic Toda lattice system, in exactly the same way as the isomorphism type of QH∗(K/T) is determined by the integrals of motion of the non-periodic Toda lattice (see (Ann. Math. 149 (1999) 129)). This is an infinite-dimensional extension of the main result of Mare (Relations in the quantum cohomology ring of G/B, preprint math. DG/0210026) and at the same time a generalization of M.A. Guest and T. Otofuji (Comm. Math. Phys. 217 (2001) 475).     

Subgroup distortion in wreath products of cyclic groups

We study the effects of subgroup distortion in the wreath products , where A is finitely generated abelian. We show that every finitely generated subgroup of has distortion function equivalent to some polynomial. Moreover, for A infinite, and for any polynomial l^k, there is a 2-generated subgroup of having distortion function equivalent to the given polynomial. Also, a formula for the length of elements in arbitrary wreath product easily shows that the group has distorted subgroups, while the lamplighter group has no distorted (finitely generated) subgroups. In the course of the proof, we introduce a notion of distortion for polynomials. We are able to compute the distortion of any polynomial in one variable over Z,R or C.     

The subconstituent algebra of a bipartite distance-regular graph; thin modules with endpoint two

We consider a bipartite distance-regular graph Γ with diameter D?4, valency k?3, intersection numbers b_i,c_i, distance matrices A_i, and eigenvalues θ₀>θ₁>?>θ_D. Let X denote the vertex set of Γ and fix x∈X. Let T=T(x) denote the subalgebra of Mat_X(C) generated by , where A=A₁ and denotes the projection onto the ith subconstituent of Γ with respect to x. T is called the subconstituent algebra (or Terwilliger algebra) of Γ with respect to x. An irreducible T-module W is said to be thin whenever for 0?i?D. By the endpoint of W we mean . Assume W is thin with endpoint 2. Observe is a one-dimensional eigenspace for ; let η denote the corresponding eigenvalue. It is known where , and d=⌊D/2⌋. To describe the structure of W we distinguish four cases: (i) ; (ii) D is odd and ; (iii) D is even and ; (iv) . We investigated cases (i), (ii) in MacLean and Terwilliger [Taut distance-regular graphs and the subconstituent algebra, Discrete Math. 306 (2006) 1694-1721]. Here we investigate cases (iii), (iv) and obtain the following results. We show the dimension of W is D-1-e where e=1 in case (iii) and e=0 in case (iv). Let v denote a nonzero vector in . We show W has a basis , where E_i denotes the primitive idempotent of A associated with θ_i and where the set S is {1,2,…,d-1}∪{d+1,d+2,…,D-1} in case (iii) and {1,2,…,D-1} in case (iv). We show this basis is orthogonal (with respect to the Hermitian dot product) and we compute the square-norm of each basis vector. We show W has a basis , and we find the matrix representing A with respect to this basis. We show this basis is orthogonal and we compute the square-norm of each basis vector. We find the transition matrix relating our two bases for W.     

Regularity criterion of axisymmetric weak solutions to the 3D Navier-Stokes equations

We consider the regularity of axisymmetric weak solutions to the Navier-Stokes equations in R³. Let u be an axisymmetric weak solution in R³×(0,T), w=curlu, and wθ be the azimuthal component of w in the cylindrical coordinates. Chae-Lee [D. Chae, J. Lee, On the regularity of axisymmetric solutions of the Navier-Stokes equations, Math. Z. 239 (2002) 645-671] proved the regularity of weak solutions under the condition wθ∈Lq(0,T;Lr), with , . We deal with the marginal case r=∞ which they excluded. It is proved that u becomes a regular solution if .     

Club-guessing, stationary reflection, and coloring theorems

We obtain very strong coloring theorems at successors of singular cardinals from failures of certain instances of simultaneous reflection of stationary sets. In particular, the simplest of our results establishes that if μ is singular and , then there is a regular cardinal θ<μ such that any fewer than cf(μ) stationary subsets of must reflect simultaneously.     

On the Brauer group of a semisimple algebraic group

Let k be a field with algebraic closure , G a semisimple algebraic k-group, and a maximal torus with character group X(T). Denote Λ the abstract weight lattice of the roots system of G, and by and the n-torsion subgroup of the Brauer group of k and G, respectively. We prove that if chark does not divide n and n is prime to the order of Λ/X(T) then the natural homomorphism is an isomorphism.