Discrete decomposability of the restriction of Aq(λ) with respect to reductive subgroups III. Restriction of Harish-Chandra modules and associated varieties

Let H⊂G be real reductive Lie groups and π an irreducible unitary representation of G. We introduce an algebraic formulation (discretely decomposable restriction) to single out the nice class of the branching problem (breaking symmetry in physics) in the sense that there is no continuous spectrum in the irreducible decomposition of the restriction π| _H . This paper offers basic algebraic properties of discretely decomposable restrictions, especially for a reductive symmetric pair (G,H) and for the Zuckerman-Vogan derived functor module , and proves that the sufficient condition [Invent. Math. '94] is in fact necessary. A finite multiplicity theorem is established for discretely decomposable modules which is in sharp contrast to known examples of the continuous spectrum. An application to the restriction π| _H of discrete series π for a symmetric space G/H is also given. Oblatum 2-X-1996 & 10-III-1997     

Complete reducibility and conjugacy classes of tuples in algebraic groups and Lie algebras

Let H be a reductive subgroup of a reductive group G over an algebraically closed field k. We consider the action of H on G ⁿ , the n-fold Cartesian product of G with itself, by simultaneous conjugation. We give a purely algebraic characterization of the closed H-orbits in G ⁿ , generalizing work of Richardson which treats the case H = G. This characterization turns out to be a natural generalization of Serre??s notion of G-complete reducibility. This concept appears to be new, even in characteristic zero. We discuss how to extend some key results on G-complete reducibility in this framework. We also consider some rationality questions.     

Calabi's diastasis function for Hermitian symmetric spaces

In this paper we study the Calabi diastasis function of Hermitian symmetric spaces. This allows us to prove that if a complete Hermitian locally symmetric space (M,g) admits a Kähler immersion into a globally symmetric space (S,G) then it is globally symmetric and the immersion is injective. Moreover, if (S,G) is symmetric of a specified type (Euclidean, noncompact, compact), then (M,g) is of the same type. We also give a characterization of Hermitian globally symmetric spaces in terms of their diastasis function. Finally, we apply our analysis to study the balanced metrics, introduced by Donaldson, in the case of locally Hermitian symmetric spaces.     

Asymptotic expansions of matrix coefficients: The real rank one case

Let G be a real reductive Lie group of class $\text{H}$, and suppose that the split rank of G is one. We show that the asymptotic expansions of the Eisenstein integrals given in Harish-Chandra (1) give uniform approximation off of a certain naturally defined compact subset of $\text{A}\text{?}$, the unitary dual of A; G = KAN being an Iwasawa decomposition of G.     

Homogeneous almost normal Riemannian manifolds

In this article, we introduce a newclass of compact homogeneous Riemannian manifolds (M = G/H, µ) almost normal with respect to a transitive Lie group G of isometries for which by definition there exists a G-left-invariant and an H-right-invariant inner product ν such that the canonical projection p: (G, ν) → (G/H, µ) is a Riemannian submersion and the norm | · | of the product ν is at least the bi-invariant Chebyshev normon G defined by the space (M,µ).We prove the following results: Every homogeneous Riemannian manifold is almost normal homogeneous. Every homogeneous almost normal Riemannian manifold is naturally reductive and generalized normal homogeneous. For a homogeneous G-normal Riemannian manifold with simple Lie group G, the unit ball of the norm | · | is a Löwner-John ellipsoid with respect to the unit ball of the Chebyshev norm; an analogous assertion holds for the restrictions of these norms to a Cartan subgroup of the Lie group G. Some unsolved problems are posed.     

Relative colorings of graphs

In this paper, the notion of relative chromatic number χ(G, H) for a pair of graphs G, H, with H a full subgraph of G, is formulated; namely, χ(G, H) is the minimum number of new colors needed to extend any coloring of H to a coloring of G. It is shown that the four color conjecture (4CC) is equivalent to the conjecture (R4CC) that χ(G, H) ≤ 4 for any (possibly empty) full subgraph H of a planar graph G and also to the conjecture (CR3CC) that χ(G, H) ≤ 3 if H is a connected and nonempty full subgraph of planar G. Finally, relative coloring theorems on surfaces other than the plane or sphere are proved.     

Partially harmonic spinors and representations of reductive Lie groups

Let G be a reductive Lie group subject to some minor technical restrictions. The Plancherel Theorem for G uses several series of unitary representation classes, one series for each conjugacy class of Cartan subgroups of G. Given a Cartan subgroup H ? G, we construct a G-homogeneous family X → Y of oriented riemannian symmetric spaces, some G-homogeneous bundles , and some Hilbert spaces of partially harmonic spinors with values in . Then G acts on by a unitary representation π_μ,σ^±. We then show that these π_μ,σ^± realize the series of representation classes of G associated to the conjugacy class of H.     

Orbits and Invariants Associated with a Pair of Spherical Varieties: Some Examples

Let H and K be spherical subgroups of a reductive complex group G. In many cases, detailed knowledge of the double coset space H\G/K is of fundamental importance in group theory and representation theory. If H or K is parabolic, then H\G/K is finite, and we recall the classification of the double cosets in several important cases. If H=K is a symmetric subgroup of G, then the double coset space K\G/K (and the corresponding invariant theoretic quotient) are no longer finite, but several nice properties hold, including an analogue of the Chevalley restriction theorem. These properties were generalized by Helminck and Schwarz (Duke Math. J. 106(2) (2001), pp. 237–279) to the case where H and K are fixed point groups of commuting involutions. We recall Helminck and Schwarz's main results. We also give examples to show the difficulty in extending these results if we allow H=K to be a reductive spherical (nonsymmetric) subgroup or if we have H symmetric and K spherical reductive.     

STABILITY OF BRANCHING LAWS FOR HIGHEST WEIGHT MODULES

In this paper, we study the irreducible decomposition of a (?[X];G)-module M for a quasi-affine spherical variety X of a connected reductive algebraic group G over ?. We show that for sufficiently large parameters, the decomposition of M with respect to G is reduced to the decomposition of the ‘fiber’ M/ \( \mathfrak{m} \) (x ₀)M with respect to some reductive subgroup L of G. In particular, we obtain a method to compute the maximum value of multiplicities in M. Our main result is a generalization of earlier work by F. Satō in [17]. We apply this result to branching laws of holomorphic discrete series representations with respect to symmetric pairs of holomorphic type. We give a necessary and sufficient condition for multiplicity-freeness of the branching laws.     

The Brauer-Clifford Group for (S,H)-Azumaya Algebras over a Commutative Ring

The Brauer-Clifford group BrClif(Z,G) corresponding to a finite group G and a finite-dimensional semisimple G-algebra Z was recently introduced by Alexandre Turull in the course of his work on character correspondence conjectures in group representation theory. This Brauer-Clifford group is a group of equivalence classes of Azumaya algebras over Z whose G-algebra structure agrees on restriction to the fixed (and usually nontrivial) G-algebra structure of Z. In this paper we extend the notion of the Brauer-Clifford group to the case of (S,H)-Azumaya algebras, when H is a cocommutative Hopf algebra and S is a commutative H-module algebra. These Brauer-Clifford groups turn out to be an example of the Brauer group of the symmetric monoidal category of S # H-modules, a perspective which allows one to construct a dual Brauer-Clifford group for the category of S-modules with compatible right H-comodule structure.     

About noncommuting graphs

The noncommuting graph ?(G) of a nonabelian finite group G is defined as follows: The vertices of ?(G) are represented by the noncentral elements of G, and two distinct vertices x and y are joined by an edge if xy ≠ yx. In [1], the following was conjectured: Let G and H be two nonabelian finite groups such that ?(G) ? ?(H); then ¦G¦ = ¦H¦. Here we give some counterexamples to this conjecture.     

Symmetric cohomology of groups in low dimension

We give an explicit characterization for group extensions that correspond to elements of the symmetric cohomology HS ²(G, A). We also give conditions for the map HS ⁿ (G, A) → H ⁿ (G, A) to be injective.     

Maximization of lower semi-continuous convex functional on bounded subsets of locally convex spaces. II: Quasi-Lagrangian duality theorems

We prove, for a proper lower semi-continuous convex functional ? on a locally convex space E and a bounded subset G of E, a formula for sup ?(G) which is symmetric to the Lagrange multiplier theorem for convex minimization, obtained in [7], with the difference that for sup ?(G) Lagrange multiplier functionals need not exist. When ? is also continuous we give some necessary conditions for g₀ ∈ G to satisfy ?(g₀) = sup ?(G). Also, we give some applications to deviations and farthest points. Finally, we show the connections with the “hyperplane theorems” of our previous paper [8].     

Small, nm-stable compact G-groups

We prove that if (H, G) is a small, nm-stable compact G-group, then H is nilpotent-by-finite, and if additionally NM(H) < ω or NM(H) = ω ^α for some ordinal α, then H is abelian-by-finite. Both results are significant steps towards the proof of the conjecture that each small, nm-stable compact G-group is abelian-by-finite. We provide counter-examples to the NM-gap conjecture, that is we give examples of small, nm-stable compact G-groups of infinite ordinal NM-rank.     

Semisimple weakly symmetric pseudo-Riemannian manifolds

We develop the classification of weakly symmetric pseudo-Riemannian manifolds G / H where G is a semisimple Lie group and H is a reductive subgroup. We derive the classification from the cases where G is compact, and then we discuss the (isotropy) representation of H on the tangent space of G / H and the signature of the invariant pseudo-Riemannian metric. As a consequence we obtain the classification of semisimple weakly symmetric manifolds of Lorentz signature \((n-1,1)\) and trans-Lorentzian signature \((n-2,2)\).     

On Lie algebra decompositions related to spherical homogeneous spaces

LetG be a connected, reductive, linear algebraic group over an algebraically closed fieldk of characteristik zero. LetH ₁ andH ₂ be two spherical subgroups ofG. It is shown that for allg in a Zariski open subset ofG one has a Lie algebra decomposition g = h₁ + Adg ? h₂, where a is the Lie algebra of a torus and dim a ≤ min (rankG/H ₁,rankG/H ₂). As an application one obtains an estimate of the transcendence degree of the fieldk(G/H ₁ xG/H ₂) ^G for the diagonal action ofG. Ifk = ? andG _a is a real form ofG defined by an antiholomorphic involution σ :G→G then for a spherical subgroup H ? G and for allg in a Hausdorff open subset ofG one has a decomposition g = g_a + a Adg ? h, where a is the Lie algebra of σ-invariant torus and dim a ≤ rankG/H.     

Recognizing digraphs of Kelly-width 2

Kelly-width is a parameter of digraphs recently proposed by Hunter and Kreutzer as a directed analogue of treewidth. We give an alternative characterization of digraphs of bounded Kelly-width in support of this analogy, and the first polynomial-time algorithm recognizing digraphs of Kelly-width 2. For an input digraph G=(V,A) the algorithm outputs a vertex ordering and a digraph H=(V,B) with A⊆B witnessing either that G has Kelly-width at most 2 or that G has Kelly-width at least 3, in time linear in H.     

Subgraphs and the Laplacian spectrum of a graph

Let G be a graph and H a subgraph of G. In this paper, a set of pairwise independent subgraphs that are all isomorphic copies of H is called an H-matching. Denoting by ν(H,G) the cardinality of a maximum H-matching in G, we investigate some relations between ν(H,G) and the Laplacian spectrum of G.     

Familles de graphes expanseurs et paires de HeckeFamilies of expanding graphs and Hecke pairs

Let H be a subgroup of a group G. Suppose that (G,H) is a Hecke pair and that H is finitely generated by a finite symmetric set of size k. Then G/H can be seen as a graph (possibly with loops and multiple edges) whose connected components form a family (X_i)_i∈I of finite k-regular graphs. In this Note, we analyse when the size of these graphs is bounded or tends to infinity and we present criteria for (X_i)_i∈I to be a family of expanding graphs as well as some examples. To cite this article: M.B. Bekka et al., C. R. Acad. Sci. Paris, Ser. I 335 (2002) 463–468.     

Affine embeddings with a finite number of orbits

LetG be a reductive algebraic group and letH be a reductive subgroup ofG. We describe all pairs (G, H) such that, for any affineG-varietyX with a denseG-orbit isomorphic toG/H, the number ofG-orbits inX is finite.Work of both authors was supported by INTAS-OPEN-97-1570, by CRDF grant RM1-2088, and by RFBR grant 01-01-00756.