Finite orbit modules for parabolic subgroups of exceptional groups

Let G be a reductive linear algebraic group, P a parabolic subgroup of G and P_u its unipotent radical. We consider the adjoint action of P on the Lie algebra _u of P_u. Each higher term _u^(l) of the descending central series of _u is stable under this action. For classical G all instances when P acts on _u^(l) with a finite number of orbits were determined in [9], [10], [3] and [4]. In this note we extend these results to groups of type F₄ and E₆. Moreover, when P acts on _u^(l) with an infinite number of orbits, we determine whether P still acts with a dense orbit. For G of type E₇ and E₈ we investigate only the case of a Borel subgroup.We present a complete classification of all instances when _u^(l) is a prehomogeneous space for a Borel subgroup B of a reductive algebraic group for any l ≥ 0.     

On spherical ideals of Borel subalgebras

The goal of this paper is to extend some previous results on abelian ideals of Borel subalgebras to so-called spherical ideals of These are ideals of such that their G-saturation is a spherical G-variety. We classify all maximal spherical ideals of for all simple G.Received: 25 March 2004     

The automorphism group of certain higher degree forms

We consider symmetric indecomposable d-linear (d>2) spaces of dimension n over an algebraically closed field k of characteristic 0, whose center (the analog of the space of symmetric matrices of a bilinear form) is cyclic, as introduced by Reichstein [B. Reichstein, On Waring’s problem for cubic forms, Linear Algebra Appl. 160 (1992) 1-61]. The automorphism group of these spaces is determined through the action on the center and through the determination of the Lie algebra. Furthermore, we relate the Lie algebra to the Witt algebra.     

On the Riesz representation theorem and integral operators

We present a Riesz representation theorem in the setting of extended integration theory as introduced in [6]. The result is used to obtain boundedness theorems for integral operators in the more general setting of spaces of vector valued extended integrable functions.     

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.     

How Euler would compute the Euler-Poincaré characteristic of a Lie superalgebra

The Euler-Poincaré characteristic of a finite-dimensional Lie algebra vanishes. If we want to extend this result to Lie superalgebras, we should deal with infinite sums. We can observe that a suitable method of summation, which goes back to Euler, allows to do that to a certain degree. The mathematics behind it is simple: we just glue the pieces of elementary homological algebra, first-year calculus and pedestrian combinatorics together, and present them in a (hopefully) coherent manner.     

Isotriviality and étale cohomology of Laurent polynomial rings

We provide a detailed study of torsors over Laurent polynomial rings under the action of an algebraic group. As applications we obtained variations of Raghunathan’s results on torsors over affine space, isotriviality results for reductive group schemes and forms of algebras, and decomposition properties for Azumaya algebras.     

A categorification of finite-dimensional irreducible representations of quantum \mathfraksl2{\mathfrak{sl}_2} and their tensor products

The purpose of this paper is to study categorifications of tensor products of finite-dimensional modules for the quantum group for . The main categorification is obtained using certain Harish-Chandra bimodules for the complex Lie algebra . For the special case of simple modules we naturally deduce a categorification via modules over the cohomology ring of certain flag varieties. Further geometric categorifications and the relation to Steinberg varieties are discussed.We also give a categorical version of the quantised Schur–Weyl duality and an interpretation of the (dual) canonical bases and the (dual) standard bases in terms of projective, tilting, standard and simple Harish-Chandra bimodules.     

Galois closure of essentially finite morphisms

Let X be a reduced connected k-scheme pointed at a rational point x∈X(k). By using tannakian techniques we construct the Galois closure of an essentially finite k-morphism f:Y→X satisfying the condition H⁰(Y,O_Y)=k; this Galois closure is a torsor dominating f by an X-morphism and universal for this property. Moreover, we show that is a torsor under some finite group scheme we describe. Furthermore we prove that the direct image of an essentially finite vector bundle over Y is still an essentially finite vector bundle over X. We develop for torsors and essentially finite morphisms a Galois correspondence similar to the usual one. As an application we show that for any pointed torsor f:Y→X under a finite group scheme satisfying the condition H⁰(Y,O_Y)=k, Y has a fundamental group scheme π₁(Y,y) fitting in a short exact sequence with π₁(X,x).     

Trialitarian groups and the Hasse principle

Let F be a field of characteristic ≠ 2 such that is of cohomological 2- and 3-dimension ≤ 2. For G a simply connected group of type ³ D ₄ or ⁶ D ₄ over F, we show that the natural map

A System of Differential-Operator Equations of Different Orders in Hilbert Spaces

We consider an abstract Cauchy problem for a system of nonhomogeneous abstract differential equations in Hilbert spaces. The “main” equation is of the second order and “boundary” equations are of the first order. Existence of a solution is proved. Application to mixed (initial boundary-value) problems for one-dimensional second order hyperbolic equations and for fourth order PDEs with the time derivative in boundary conditions has been shown. The first author was partially supported by 60% funds of the University of Bologna and G.N.A.M.P.A. of INdAM; the second author was supported by the Israel Ministry of Absorption.     

Second order parallel algorithms for piecewise smooth displacement kernels

Second order parallel algorithms for Fredholm integral equations with piecewise smooth displacement kernels are derived. One is based on a difference scheme of Runge-Kutta type for an unusual partial differential equations for continuous functions of two variables. The other is based on the trapezoidal quadrature rule applied to a modified integral equations. It is found that the Runge-Kutta type algorithm exhibits certain advantages.The work of these authors was supported in part by the NSF Grant DMS-9007030The work of this author was supported in part by a grant from the National Science and Engineering Research Council of Canada     

Relèvement galoisien des revêtements¶de courbes nodales

Let R be a complete discrete valuation ring of mixed characteristics, with algebraically closed residue field k. We study the existence problem of equivariant liftings to R of Galois covers of nodal curves over k. Using formal geometry, we show that this problem is actually a local one. We apply this local-to-global principle to obtain new results concerning the existence of such liftings. Received: 10 February 2000 / Revised version: 13 September 2000     

Local existence of stratified solutions to systems of balance laws

We define a class of weak solutions to hyperbolic systems of balance laws, in one space dimension; they are called here stratified solutions. For such solutions we prove some results about the propagation, the life span and the initial-value problem. To the memory of Lamberto Cattabriga     

On the centralizer ofK in the universal enveloping algebra of SO(n,1) and SU(n,1)

LetG _o be a non compact real semisimple Lie group with finite center, and letU U(g) ^K denote the centralizer inU U(g) of a maximal compact subgroupK _o ofG _o. To study the algebraU U(g) ^K , B. Kostant suggested to consider the projection mapP:U U(g)→U(k)⊗U(a), associated to an Iwasawa decompositionG _o=K _o A _o N _o ofG _o, adapted toK _o. WhenP is restricted toU U(g) ^K J. Lepowsky showed thatP becomes an injective anti-homomorphism ofU U(g) ^K intoU(k) ^M ⊗U(a). HereU(k) ^M denotes the centralizer ofM _o inU(k),M _o being the centralizer ofA _o inK _o. To pursue this idea further it is necessary to have a good characterization of the image ofU U(g) ^K inU(k)^M×U(a). In this paper we describe such image whenG _o=SO(n,1)_e or SU(n,1). This is acomplished by establishing a (minimal) set of equations satisfied by the elements in the image ofU U(g) ^K , and then proving that they are enough to characterize such image. These equations are derived on one hand from the intertwining relations among the principal series representations ofG _o given by the Kunze-Stein interwining operators, and on the other hand from certain imbeddings among Verma modules. This approach should prove to be useful to attack the general case. Supported in part by Fundación Antorchas     

Galerkin method for Wiener-Hopf operators with piecewise continuous symbol

This paper is concerned with the applicability of maximum defect polynomial (Galerkin) spline approximation methods with graded meshes to Wiener-Hopf operators with matrix-valued piecewise continuous generating function defined on R. For this, an algebra of sequences is introduced, which contains the approximating sequences we are interested in. There is a direct relationship between the stability of the approximation method for a given operator and invertibility of the corresponding sequence in this algebra. Exploring this relationship, the methods of essentialization, localization and identification of the local algebras are used in order to derive stability criteria for the approximation sequences.Supported by grant Praxis XXI/BD/4501/94 from FCT.Partly supported by FCT/BMFT grant 423.     

On special rational curves in Grassmannians

Numerical and geometric characterizations, among all morphisms , of those which are -equivalent to the canonical morphism induced by the Morita equivalence –, are presented. The author was partially supported by KBN grants 1P03A 036 26 and 115/E-343/SPB/6.PR UE/DIE 50/2005-2008. Received: 10 September 2005     

On pure subgroups of locally compact abelian groups

In this note, we construct an example of a locally compact abelian group G = C × D (where C is a compact group and D is a discrete group) and a closed pure subgroup of G having nonpure annihilator in the Pontrjagin dual $\hat{G}$, answering a question raised by Hartman and Hulanicki. A simple proof of the following result is given: Suppose ${\frak K}$ is a class of locally compact abelian groups such that $G \in {\frak K}$ implies that $\hat{G} \in {\frak K}$ and nG is closed in G for each positive integer n. If H is a closed subgroup of a group $G \in {\frak K}$, then H is topologically pure in G exactly if the annihilator of H is topologically pure in $\hat{G}$. This result extends a theorem of Hartman and Hulanicki.Received: 4 April 2002