Toute variété magnifique est sphérique

LetG be a (connected) reductive group (over C). An algebraicG-varietyX is called “wonderful”, if the following conditions are satisfied:X is (connected) smooth and complete;X containsr irreducible smoothG-invariant divisors having a non void transversal intersection;G has 2 ^r orbits inX. We show that wonderful varieties are necessarily spherical (i.e., they are almost homogeneous under any Borel subgroup ofG).      

Closures of Orbits Under the Diagonal Action in the Wonderful Compactification of PGL(3)

In this article, we study the orbits under the diagonal action of a semisimple adjoint group G on its wonderful compactification X for the case G = PGL(3) and determine the closure relations between such orbits. Moreover, we show an example in the wonderful compactification of PSp(4) in which the closure of an orbit for the diagonal action consists of infinitely many orbits.     

On the conormal bundle of a G-stable subvariety

Let G be a reductive algebraic group and X a smooth G-variety. For a smooth locally closed G-stable subvariety M⊂X, we prove that the G-complexity of the (co)normal bundle of M is equal to the G-complexity of X. In particular, if X is spherical, then all (co)normal bundles are again spherical G-varieties. If X is a G-module with finitely many orbits, the closures of the conormal bundles of the orbits coincide with the irreducible components of the commuting variety. We describe properties of these closures for the representations associated with short gradings of simple Lie algebras. Received: 22 April 1998     

On the Complement of the Dense Orbit for a Quiver of Type 𝔸

Let 𝔸 _t be the directed quiver of type 𝔸 with t vertices. For each dimension vector d, there is a dense orbit in the corresponding representation space. The principal aim of this note is to use just rank conditions to define the irreducible components in the complement of the dense orbit. Then we compare this result with already existing ones by Knight and Zelevinsky, and by Ringel. Moreover, we compare with the fan associated to the quiver 𝔸 _t and derive a new formula for the number of orbits using nilpotent classes. In the complement of the dense orbit, we determine the irreducible components and their codimension. Finally, we consider several particular examples.     

Analysis on the Crown Domain

This paper is a further development of complex methods in harmonic analysis on semi-simple Lie groups [AG], [BeR], [KrS1,2]. We study the growth behaviour of the holomorphic extension of the orbit map of the spherical vector of an irreducible spherical representation of a real reductive group G when approaching the boundary of the crown domain of the Riemannian symmetric space G/K. As an application, we prove that Maa? cusp forms have exponential decay. Received: August 2006, Revision: June 2007, Accepted: June 2007     

Spherical orbit closures in simple projective spaces and their normalizations

Let G be a simply connected semisimple algebraic group over an algebraically closed field k of characteristic 0 and let V be a rational simple G-module. If G/H ⊂ P(V) is a spherical orbit and if X = [`(G/H)] X = \overline {G/H} is its closure, then we describe the orbits of X and those of its normalization [(X)\tilde] \tilde{X} . If, moreover, the wonderful completion of G/H is strict, then we give necessary and sufficient combinatorial conditions so that the normalization morphism [(X)\tilde] ? X \tilde{X} \to X is a homeomorphism. Such conditions are trivially fulfilled if G is simply laced or if H is a symmetric subgroup.     

Designs from the Group PSL2(q), q Even

Let q be a power of 2 greater than 2 and consider the group G = PSL₂(q). We choose the maximal subgroups of G isomorphic to the dihedral groups D_2(q+1) and D_2(q-1) and present the primitive action of G on the right cosets of these two subgroups. We will find the orbits of the point stabilizer in each case and in the case of D_2(q-1) we will prove there is an orbit Δ of the point stabilizer G_ω, such that Δ ≠ {ω } and whose orbiting under G gives a 1-design with the automorphism group isomorphic to the symmetric group      

Combinatorial obstructions to the lifting of weaving diagrams

This paper deals with various connections of oriented matroids [3] and weaving diagrams of lines in space [9], [16], [27]. We encode the litability problem of a particular weaving diagramD onn lines by the realizability problem of a partial oriented matroid χ _D with2n elements in rank 4. We prove that the occurrence of a certain substructure inD implies that χD is noneuclidean in the sense of Edmonds, Fukuda, and Mandel [12], [14]. Using this criterion we construct an infinite class of minor-minimal noneuclidean oriented matroids in rank 4. Finally, we give an easy algebraic proof for the nonliftability of the alternating weaving diagram on a bipartite grid of 4×4 lines [16].     

Complexity and rank of homogeneous spaces

We study an algebraic varieties with the action of a reductive group G. The relation is elucidated between the notions of complexity and rank of an arbitrary G-variety and the structure of stabilizers of general position of some actions of G itself and its Borel subgroup. The application of this theory to homogeneous spaces provides the explicit formulas for the rank and the complexity of quasiaffine G/H in terms of co-isotropy representation of H. The existence of Cartan subspace (and hence the freeness of algebra of invariants) for co-isotropy representation of a connected observable spherical subgroup H is proved.     

On closures of orbits and arithmetic of quaternions

ForG=PGL₂(ℚ _p )×PGL₂ ℚ we study the closures of orbits under the maximal split Cartan subgroup ofG in homogeneous spacesΓ\G. We show that if a closure of an orbit contains a closed orbit then the orbit is either dense or closed. We show the relation of this to divisibility properties of integral quaternions and other lattices. Sponsored in part by the Edmund Landau Center for Research in Mathematical Analysis supported by the Minerva Foundation (Germany). Research at MSRI supported by NSF grant DMS8505550.     

A Greedy Partition Lemma for directed domination

A directed dominating set in a directed graph D is a set S of vertices of V such that every vertex u∈V(D)?S has an adjacent vertex v in S with v directed to u. The directed domination number of D, denoted by γ(D), is the minimum cardinality of a directed dominating set in D. The directed domination number of a graph G, denoted Γ_d(G), is the maximum directed domination number γ(D) over all orientations D of G. The directed domination number of a complete graph was first studied by Erd?s [P. Erd?s On a problem in graph theory, Math. Gaz. 47 (1963) 220–222], albeit in a disguised form. In this paper we prove a Greedy Partition Lemma for directed domination in oriented graphs. Applying this lemma, we obtain bounds on the directed domination number. In particular, if α denotes the independence number of a graph G, we show that α≤Γ_d(G)≤α(1+2ln(n/α)).     

Varieties for Modules of Quantum Elementary Abelian Groups

We define a rank variety for a module of a noncocommutative Hopf algebra A = L \rtimes GA = \Lambda \rtimes G where L = k[X₁, ..., X_m]/(X₁^l, ..., X_m^l), G = (\mathbbZ/l\mathbbZ)^m\Lambda = k[X_1, \dots, X_m]/(X_1^{\ell}, \dots, X_m^{\ell}), G = (\mathbb{Z}/\ell\mathbb{Z})^m and char k does not divide ℓ, in terms of certain subalgebras of A playing the role of “cyclic shifted subgroups”. We show that the rank variety of a finitely generated module M is homeomorphic to the support variety of M defined in terms of the action of the cohomology algebra of A. As an application we derive a theory of rank varieties for the algebra Λ. When ℓ=2, rank varieties for Λ-modules were constructed by Erdmann and Holloway using the representation theory of the Clifford algebra. We show that the rank varieties we obtain for Λ-modules coincide with those of Erdmann and Holloway.     

Spatial curve singularities and the monster/semple tower

The Monster tower ([MZ01], [MZ10]), known as the Semple Tower in Algebraic Geometry ([Sem54], [Ber10]), is a tower of fibrations canonically constructed over an initial smooth n-dimensional base manifold. Each consecutive fiber is a projective n — 1 space. Each level of the tower is endowed with a rank n distribution, that is, a subbundle of its tangent bundle. The pseudogroup of diffeomorphisms of the base acts on each level so as to preserve the fibration and the distribution. The main problem is to classify orbits (equivalence classes) relative to this action. Analytic curves in the base can be prolonged (= Nash blown-up) to curves in the tower which are integral for the distribution. Prolongation yields a dictionary between singularity classes of curves in the base n-space and orbits in the tower. This dictionary yielded a rather complete solution to the classification problem for n = 2 ([MZ10]). A key part of this solution was the construction of the ‘RVT’ classes, a discrete set of equivalence classes built from verifying conditions of transversality or tangency to the fiber at each level ([MZ10]). Here we define analogous ‘RC’ classes for n > 2 indexed by words in the two letters, R (for regular, or transverse) and C (for critical, or tangent). There are 2 ^k?1 such classes of length k and they exhaust the tower at level k. The codimension of such a class is the number of C’s in its word. We attack the classification problem by codimension, rather than level. The codimension 0 class is open and dense and its structure is well known. We prove that any point of any codimension 1 class is realized by a curve having a classical A _2k singularity (k depending on the type of class). Following ([MZ10]) we define what it means for a singularity class in the tower to be “tower simple”. The codimension 0 and 1 classes are tower simple, and tower simple implies simple in the usual sense of singularity. Our main result is a classification of the codimension 2 tower simple classes in any dimension n. A key step in the classification asserts that any point of any codimension 2 singularity is realized by a curve of multiplicity 3 or 4. A central tool used in the classification are the listings of curve singularities due to Arnol’d ([Arn99], Bruce-Gaffney ([BG82]), and Gibson-Hobbs ([GH93]). We also classify the first occurring truly spatial singularities as subclasses of the codimension 2 classes. (A point or a singularity class is “spatial” if there is no curve which realizes it and which can be made to lie in some smooth surface.) As a step in the classification theorem we establish the existence of a canonical arrangement of hyperplanes at each point, lying in the distribution n-plane at that point. This arrangement leads to a coding scheme finer than the RC coding. Using the arrangement coding we establish the lower bound of 29 for the number of distinct orbits in the case n = 3 and level 4. Finally, Mormul ([Mor04], [Mor09]) has defined a different coding scheme for singularity classes in the tower and in an appendix we establish some relations between our coding and his.     

Analytische Vektoren von Faltungshalbgruppen II. Funktionenräume,auf lokalkompakten Gruppen

In this paper the investigations of [3], [4], [5] are continued. LetG be a locally compact group. First we show that in general there is no rich subspace of functions of the Bruhat-spaceD (G), whose, elements are analytical vectors for any convolution semigroup of probability measures. On the other hand we are able to construct dense subspaces ofC ₀ (G) of analytical vectors, ifG is a Moore-group or a symmetric Riemannian space. We study properties of these subspaces and their relations to the structure, of the groupG.

---

---

Herrn Prof. Dr. L. Schmetterer zum 60. Geburtstag gewidmet     

Spherical homogeneous spaces of minimal rank

Let G be a connected reductive algebraic group over an algebraically closed field K of characteristic zero. Let G/B denote the complete flag variety of G. A G-homogeneous space G/H is said to be spherical if H has finitely many orbits in G/B. A class of spherical homogeneous spaces containing the tori, the complete homogeneous spaces and the group G (viewed as a G×G-homogeneous space) has particularly nice properties. Namely, the pair (G,H) is called a spherical pair of minimal rank if there exists x in G/B such that the orbit H.x of x by H is open in G/B and the stabilizer Hx of x in H contains a maximal torus of H. In this article, we study and classify the spherical pairs of minimal rank.     

A relative Kuznietsov trace formula on G2

In this paper, we set up the general formulation to study distinguished residual representations of a reductive group G by the relative trace formula approach. This approach simplifies the argument of [JR], which deals with this type of relative trace formula for a special symmetric pair (GL(2n), Sp(2n)) and also works for non-symmetric, spherical pairs. To illustrate our idea and method, we complete our relative trace formula (both the geometric side identity and the spectral side identity) for the case (G ₂, SL(3)). Received: 6 February 1999     

Les sous-algebres de Cartan reelles et la frontiere d'une orbite ouverte dans une variete de drapeaux

We show how the non compact imaginary roots of a non compact real semi-simple Lie algebra with respect to a Cartan subalgebra to allows us, alike the real roots of, to give a complete classification of the G-conjugacy classes of Cartan subalgebras of if G_c is a complex connected group whose algebra is the complexified of, if B is a Borel subgroup of G_c and G the analytic subgroup of G_c corresponding to the subalgebra of, we determine the G-orbits of codimension one in the boundary of an open G-orbit of the complex flag manifold G_c/B. If is a maximally compact Cartan subalgebra of contained in, we show how the imaginary non compact simple roots of allows us to determine such orbits.