Invariant distributions supported on the nilpotent cone of a semisimple Lie algebra

Let be a semisimple complex Lie algebra with adjoint group and be the algebra of differential operators with polynomial coefficients on . If is a real form of , we give the decomposition of the semisimple -module of invariant distributions on supported on the nilpotent cone.

     

Extensions of Hopf Algebras and Lie Bialgebras

Let , be finite-dimensional Lie algebras over a field of characteristic zero. Regard and , the dual Lie coalgebra of , as Lie bialgebras with zero cobracket and zero bracket, respectively. Suppose that a matched pair of Lie bialgebras is given, which has structure maps . Then it induces a matched pair of Hopf algebras, where is the universal envelope of and is the Hopf dual of . We show that the group of cleft Hopf algebra extensions associated with is naturally isomorphic to the group of Lie bialgebra extensions associated with . An exact sequence involving either of these groups is obtained, which is a variation of the exact sequence due to G.I. Kac. If , there follows a bijection between the set of all cleft Hopf algebra extensions of by and the set of all Lie bialgebra extensions of by .

     

Local derivations on -algebras are derivations

Kadison has shown that local derivations from a von Neumann algebra into any dual bimodule are derivations. In this paper we extend this result to local derivations from any -algebra into any Banach -bimodule . Most of the work is involved with establishing this result when is a commutative -algebra with one self-adjoint generator. A known result of the author about Jordan derivations then completes the argument. We show that these results do not extend to the algebra of continuously differentiable functions on . We also give an automatic continuity result, that is, we show that local derivations on -algebras are continuous even if not assumed a priori to be so.

     

Simple derivations of differentiably simple Noetherian commutative rings in prime characteristic

Let be a differentiably simple Noetherian commutative ring of characteristic (then is local with ). A short proof is given of the Theorem of Harper (1961) on classification of differentiably simple Noetherian commutative rings in prime characteristic. The main result of the paper is that there exists a nilpotent simple derivation of the ring such that if , then for some . The derivation is given explicitly, and it is unique up to the action of the group of ring automorphisms of . Let be the set of all such derivations. Then . The proof is based on existence and uniqueness of an iterative -descent (for each ), i.e., a sequence in such that , and for all . For each , and .

     

On Diophantine definability and decidability in some infinite totally real extensions of

Let be a number field, and a set of its non-Archimedean primes. Then let . Let be a finite set of prime numbers. Let be the field generated by all the -th roots of unity as and . Let be the largest totally real subfield of . Then for any 0$">, there exist a number field , and a set of non-Archimedean primes of such that has density greater than , and has a Diophantine definition over the integral closure of in .

     

Good ideals in Gorenstein local rings

Let be an -primary ideal in a Gorenstein local ring (, ) with , and assume that contains a parameter ideal in as a reduction. We say that is a good ideal in if is a Gorenstein ring with . The associated graded ring of is a Gorenstein ring with if and only if . Hence good ideals in our sense are good ones next to the parameter ideals in . A basic theory of good ideals is developed in this paper. We have that is a good ideal in if and only if and . First a criterion for finite-dimensional Gorenstein graded algebras over fields to have nonempty sets of good ideals will be given. Second in the case where we will give a correspondence theorem between the set and the set of certain overrings of . A characterization of good ideals in the case where will be given in terms of the goodness in their powers. Thanks to Kato's Riemann-Roch theorem, we are able to classify the good ideals in two-dimensional Gorenstein rational local rings. As a conclusion we will show that the structure of the set of good ideals in heavily depends on . The set may be empty if , while is necessarily infinite if and contains a field. To analyze this phenomenon we shall explore monomial good ideals in the polynomial ring in three variables over a field . Examples are given to illustrate the theorems.

     

Length, multiplicity, and multiplier ideals

Let be an -dimensional regular local ring, essentially of finite type over a field of characteristic zero. Given an -primary ideal of , the relationship between the singularities of the scheme defined by and those defined by the multiplier ideals , with varying in , are quantified in this paper by showing that the Samuel multiplicity of satisfies whenever . This formula generalizes an inequality on log canonical thresholds previously obtained by Ein, Mustata and the author of this paper. A refined inequality is also shown to hold for small dimensions, and similar results valid for a generalization of test ideals in positive characteristics are presented.

     

The center of the category of -modules

Let be a semi-simple connected Lie group. Let be a maximal compact subgroup of and the complexified Lie algebra of . In this paper we describe the center of the category of -modules.

     

A universal continuum of weight

We prove that every continuum of weight  is a continuous image of the Cech-Stone-remainder  of the real line. It follows that under  the remainder of the half line is universal among the continua of weight  -- universal in the `mapping onto' sense.

We complement this result by showing that 1) under  every continuum of weight less than  is a continuous image of , 2) in the Cohen model the long segment of length  is not a continuous image of , and 3)  implies that is not a continuous image of , whenever  is a -saturated ultrafilter.

We also show that a universal continuum can be gotten from a -saturated ultrafilter on , and that it is consistent that there is no universal continuum of weight  .

     

On the commutativity of the algebra of invariant differential operators on certain nilpotent homogeneous spaces

Let be a simply connected connected real nilpotent Lie group with Lie algebra , a connected closed subgroup of with Lie algebra and satisfying . Let be the unitary character of with differential at the origin. Let be the unitary representation of induced from the character of . We consider the algebra of differential operators invariant under the action of on the bundle with basis associated to these data. We consider the question of the equivalence between the commutativity of and the finite multiplicities of . Corwin and Greenleaf proved that if is of finite multiplicities, this algebra is commutative. We show that the converse is true in many cases.

     

An application of the Littlewood restriction formula to the Kostant-Rallis Theorem

Consider a symmetric pair of linear algebraic groups with , where and are defined as the +1 and -1 eigenspaces of the involution defining . We view the ring of polynomial functions on as a representation of . Moreover, set , where is the space of homogeneous polynomial functions on of degree . This decomposition provides a graded -module structure on . A decomposition of is provided for some classical families when is within a certain stable range.

The stable range is defined so that the spaces are within the hypothesis of the classical Littlewood restriction formula. The Littlewood restriction formula provides a branching rule from the general linear group to the standard embedding of the symplectic or orthogonal subgroup. Inside the stable range the decomposition of is interpreted as a -analog of the Kostant-Rallis theorem.

     

On supports and associated primes of modules over the enveloping algebras of nilpotent Lie algebras

Let be a nilpotent Lie algebra, over a field of characteristic zero, and its universal enveloping algebra. In this paper we study: (1) the prime ideal structure of related to finitely generated -modules , and in particular the set of associated primes for such (note that now is equal to the set of annihilator primes for ); (2) the problem of nontriviality for the modules when is a (maximal) prime of , and in particular when is the augmentation ideal of . We define the support of , as a natural generalization of the same notion from commutative theory, and show that it is the object of primary interest when dealing with (2). We also introduce and study the reduced localization and the reduced support, which enables to better understand the set . We prove the following generalization of a stability result given by W. Casselman and M. S. Osborne in the case when , as in the theorem, are abelian. We also present some of its interesting consequences.

Theorem. Let be a finite-dimensional Lie algebra over a field of characteristic zero, and an ideal of ; denote by the universal enveloping algebra of . Let be a -module which is finitely generated as an -module. Then every annihilator prime of , when is regarded as a -module, is -stable for the adjoint action of on .

     

Strongly self-absorbing -algebras

Say that a separable, unital -algebra is strongly self-absorbing if there exists an isomorphism such that and are approximately unitarily equivalent -homomorphisms. We study this class of algebras, which includes the Cuntz algebras , , the UHF algebras of infinite type, the Jiang-Su algebra and tensor products of with UHF algebras of infinite type. Given a strongly self-absorbing -algebra we characterise when a separable -algebra absorbs tensorially (i.e., is -stable), and prove closure properties for the class of separable -stable -algebras. Finally, we compute the possible -groups and prove a number of classification results which suggest that the examples listed above are the only strongly self-absorbing -algebras.

     

Invariant ideals and polynomial forms

Let denote the group algebra of an infinite locally finite group . In recent years, the lattice of ideals of has been extensively studied under the assumption that is simple. From these many results, it appears that such group algebras tend to have very few ideals. While some work still remains to be done in the simple group case, we nevertheless move on to the next stage of this program by considering certain abelian-by-(quasi-simple) groups. Standard arguments reduce this problem to that of characterizing the ideals of an abelian group algebra stable under the action of an appropriate automorphism group of . Specifically, in this paper, we let be a quasi-simple group of Lie type defined over an infinite locally finite field , and we let be a finite-dimensional vector space over a field of the same characteristic . If acts nontrivially on by way of the homomorphism , and if has no proper -stable subgroups, then we show that the augmentation ideal is the unique proper -stable ideal of when . The proof of this result requires, among other things, that we study characteristic division rings , certain multiplicative subgroups of , and the action of on the group algebra , where is the additive group . In particular, properties of the quasi-simple group come into play only in the final section of this paper.

     

On the number of -equivalent non-isomorphic models

We prove that if is consistent then is consistent with the following statement: There is for every a model of cardinality which is -equivalent to exactly non-isomorphic models of cardinality . In order to get this result we introduce ladder systems and colourings different from the ``standard' counterparts, and prove the following purely combinatorial result: For each prime number and positive integer it is consistent with that there is a ``good' ladder system having exactly pairwise nonequivalent colourings.

     

Serre's generalization of Nagao's theorem: An elementary approach

Let be a smooth projective curve over a field . For each closed point of let be the coordinate ring of the affine curve obtained by removing from . Serre has proved that is isomorphic to the fundamental group, , of a graph of groups , where is a tree with at most one non-terminal vertex. Moreover the subgroups of attached to the terminal vertices of are in one-one correspondence with the elements of , the ideal class group of . This extends an earlier result of Nagao for the simplest case .

Serre's proof is based on applying the theory of groups acting on trees to the quotient graph , where is the associated Bruhat-Tits building. To determine he makes extensive use of the theory of vector bundles (of rank 2) over . In this paper we determine using a more elementary approach which involves substantially less algebraic geometry.

The subgroups attached to the edges of are determined (in part) by a set of positive integers , say. In this paper we prove that is bounded, even when Cl is infinite. This leads, for example, to new free product decomposition results for certain principal congruence subgroups of , involving unipotent and elementary matrices.

     

A generalization of tight closure and multiplier ideals

We introduce a new variant of tight closure associated to any fixed ideal , which we call -tight closure, and study various properties thereof. In our theory, the annihilator ideal of all -tight closure relations, which is a generalization of the test ideal in the usual tight closure theory, plays a particularly important role. We prove the correspondence of the ideal and the multiplier ideal associated to (or, the adjoint of in Lipman's sense) in normal -Gorenstein rings reduced from characteristic zero to characteristic . Also, in fixed prime characteristic, we establish some properties of similar to those of multiplier ideals (e.g., a Briançon-Skoda-type theorem, subadditivity, etc.) with considerably simple proofs, and study the relationship between the ideal and the F-rationality of Rees algebras.

     

-actions whose fixed data has a section

Given a collection of real vector bundles over a closed manifold , suppose that, for some is of the form , where is the trivial one-dimensional bundle. In this paper we prove that if is the fixed data of a -action, then the same is true for the Whitney sum obtained from by replacing by . This stability property is well-known for involutions. Together with techniques previously developed, this result is used to describe, up to bordism, all possible -actions fixing the disjoint union of an even projective space and a point.     

Minimal polynomials and radii of elements in finite-dimensional power-associative algebras

In the first section of this paper we revisit the definition and some of the properties of the minimal polynomial of an element of a finite-dimensional power-associative algebra over an arbitrary field . Our main observation is that , the minimal polynomial of , may depend not only on , but also on the underlying algebra. More precisely, if is a subalgebra of , and if is the minimal polynomial of in , then may differ from , in which case we have .

In the second section we restrict attention to the case where is either the real or the complex numbers, and define , the radius of an element in , to be the largest root in absolute value of the minimal polynomial of . We show that possesses some of the familiar properties of the classical spectral radius. In particular, we prove that is a continuous function on .

In the third and last section, we deal with stability of subnorms acting on subsets of finite-dimensional power-associative algebras. Following a brief survey, we enhance our understanding of the subject with the help of our findings of the previous section. Our main new result states that if , a subset of an algebra , satisfies certain assumptions, and is a continuous subnorm on , then is stable on if and only if majorizes the radius defined above.

     

Boundary relations and their Weyl families

The concepts of boundary relations and the corresponding Weyl families are introduced. Let be a closed symmetric linear operator or, more generally, a closed symmetric relation in a Hilbert space , let be an auxiliary Hilbert space, let

and let be defined analogously. A unitary relation from the Krein space to the Krein space is called a boundary relation for the adjoint if . The corresponding Weyl family is defined as the family of images of the defect subspaces , , under . Here need not be surjective and is even allowed to be multi-valued. While this leads to fruitful connections between certain classes of holomorphic families of linear relations on the complex Hilbert space and the class of unitary relations , it also generalizes the notion of so-called boundary value space and essentially extends the applicability of abstract boundary mappings in the connection of boundary value problems. Moreover, these new notions yield, for instance, the following realization theorem: every -valued maximal dissipative (for ) holomorphic family of linear relations is the Weyl family of a boundary relation, which is unique up to unitary equivalence if certain minimality conditions are satisfied. Further connections between analytic and spectral theoretical properties of Weyl families and geometric properties of boundary relations are investigated, and some applications are given.