Milnor classes of local complete intersections

Let be a compact local complete intersection defined as the zero set of a section of a holomorphic vector bundle over the ambient space. For each connected component of the singular set of , we define the Milnor class in the homology of . The difference between the Schwartz-MacPherson class and the Fulton-Johnson class of is shown to be equal to the sum of over the connected components of . This is done by proving Poincaré-Hopf type theorems for these classes with respect to suitable tangent frames. The -degree component coincides with the Milnor numbers already defined by various authors in particular situations. We also give an explicit formula for when is a non-singular component and satisfies the Whitney condition along .

     

Nonradial solvability structure of super-diffusive nonlinear parabolic equations

We study the solvability of the Cauchy problem for the nonlinear parabolic equation

when in , with a given nonnegative function. It is known from earlier works of the authors that the asymptotic radial growth , for the spherical averages of is critical for local solvability, in particular ensuring it if is radially symmetric. We show that if the initial data behaves in polar coordinates like , for large with nonnegative and -periodic, then the following holds: If vanishes on some interval of length 0$">, then there is no local solution of the initial value problem. On the other hand, if such an interval does not exist, then the initial value problem is locally solvable and the time of existence can be estimated explicitly.

     

The extraspecial case of the problem

Let be an extraspecial-type group and a faithful, absolutely irreducible -module, where is a finite field. Let be the normalizer in of . We show that, with few exceptions, there exists a such that the restriction of to is self-dual whenever and .

     

An estimate for weighted Hilbert transform via square functions

We show that the norm of the Hilbert transform as an operator on the weighted space is bounded by a constant multiple of the power of the constant of , in other words by . We also give a short proof for sharp upper and lower bounds for the dyadic square function.

     

Sharp Sobolev-Poincaré inequalities on compact Riemannian manifolds

Given a smooth compact Riemannian -manifold, , we return in this article to the study of the sharp Sobolev-Poincaré type inequality

where is the critical Sobolev exponent, and is the sharp Euclidean Sobolev constant. Druet, Hebey and Vaugon proved that is true if , that is true if and the sectional curvature of is a nonpositive constant, or the Cartan-Hadamard conjecture in dimension is true and the sectional curvature of is nonpositive, but that is false if and the scalar curvature of is positive somewhere. When is true, we define as the smallest in . The saturated form of reads as

We assume in this article that , and complete the study by Druet, Hebey and Vaugon of the sharp Sobolev-Poincaré inequality . We prove that is true, and that possesses extremal functions when the scalar curvature of is negative. A fairly complete answer to the question of the validity of under the assumption that the scalar curvature is not necessarily negative, but only nonpositive, is also given.

     

Spherical nilpotent orbits and the Kostant-Sekiguchi correspondence

Let be a connected, linear semisimple Lie group with Lie algebra , and let be the complexified isotropy representation at the identity coset of the corresponding symmetric space. The Kostant-Sekiguchi correspondence is a bijection between the nilpotent -orbits in and the nilpotent -orbits in . We show that this correspondence associates each spherical nilpotent -orbit to a nilpotent -orbit that is multiplicity free as a Hamiltonian -space. The converse also holds.

     

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 .

     

Finely -harmonic functions of a Markov process

Let be a Borel right process and a fixed excessive measure. Given a finely open nearly Borel set we define an operator which we regard as an extension of the restriction to of the generator of . It maps functions on to (locally) signed measures on not charging -semipolars. Given a locally smooth signed measure we define to be (finely) -harmonic on provided on and denote the class of such by . Under mild conditions on we show that is equivalent to a local ``Poisson' representation of . We characterize by an analog of the mean value property under secondary assumptions. We obtain global Poisson type representations and study the Dirichlet problem for elements of under suitable finiteness hypotheses. The results take their nicest form when specialized to Hunt processes.

     

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.

     

Coloring

If and , then define the graph to be the graph whose vertex set is with two vertices being adjacent iff there are distinct such that . For various and and various , typically or , the graph can be properly colored with colors. It is shown that in some cases such a coloring can also have the additional property that if is an isometric embedding, then the restriction of to is a bijection onto .

     

A dimension inequality for Cohen-Macaulay rings

The recent work of Kurano and Roberts on Serre's positivity conjecture suggests the following dimension inequality: for prime ideals and in a local, Cohen-Macaulay ring such that we have . We establish this dimension inequality for excellent, local, Cohen-Macaulay rings which contain a field, for certain low-dimensional cases and when is regular.

     

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.

     

Boundary Hölder and estimates for local solutions of the tangential Cauchy-Riemann equation

We study the local solvability of the tangential Cauchy-Riemann equation on an open neighborhood of a point when is a generic -concave manifold of real codimension in , where . Our method is to first derive a homotopy formula for in when is the intersection of with a strongly pseudoconvex domain. The homotopy formula gives a local solution operator for any -closed form on without shrinking. We obtain Hölder and estimates up to the boundary for the solution operator. RÉSUMÉ. Nous étudions la résolubilité locale de l'opérateur de Cauchy- Riemann tangentiel sur un voisinage d'un point d'une sous-variété générique -concave de codimension quelconque de . Nous construisons une formule d'homotopie pour le sur , lorsque est l'intersection de et d'un domaine strictement pseudoconvexe. Nous obtenons ainsi un opérateur de résolution pour toute forme -fermée sur . Nous en déduisons des estimations et des estimations hölderiennes jusqu'au bord pour la solution de l'équation de Cauchy-Riemann tangentielle sur .

     

Dual decompositions of 4-manifolds

This paper concerns decompositions of smooth 4-manifolds as the union of two handlebodies, each with handles of index . In dimensions results of Smale (trivial ) and Wall (general ) describe analogous decompositions up to diffeomorphism in terms of homotopy type of skeleta or chain complexes. In dimension 4 we show the same data determines decompositions up to 2-deformation of their spines. In higher dimensions spine 2-deformation implies diffeomorphism, but in dimension 4 the fundamental group of the boundary is not determined. Sample results: (1.5) Two 2-complexes are (up to 2-deformation) spines of a dual decomposition of the 4-sphere if and only if they satisfy the conclusions of Alexander-Lefshetz duality ( and ). (3.3) If is 1-connected then there is a ``pseudo' handle decomposition without 1-handles, in the sense that there is a pseudo collar (a relative 2-handlebody with spine that 2-deforms to ) and is obtained from this by attaching handles of index .

     

Cut numbers of -manifolds

We investigate the relations between the cut number, and the first Betti number, of -manifolds We prove that the cut number of a ``generic' -manifold is at most This is a rather unexpected result since specific examples of -manifolds with large and are hard to construct. We also prove that for any complex semisimple Lie algebra there exists a -manifold with and Such manifolds can be explicitly constructed.

     

New bases for Triebel-Lizorkin and Besov spaces

We give a new method for construction of unconditional bases for general classes of Triebel-Lizorkin and Besov spaces. These include the , , potential, and Sobolev spaces. The main feature of our method is that the character of the basis functions can be prescribed in a very general way. In particular, if is any sufficiently smooth and rapidly decaying function, then our method constructs a basis whose elements are linear combinations of a fixed (small) number of shifts and dilates of the single function . Typical examples of such 's are the rational function and the Gaussian function This paper also shows how the new bases can be utilized in nonlinear approximation.

     

Weak amenability of triangular Banach algebras

Let and be unital Banach algebras, and let be a Banach -module. Then becomes a triangular Banach algebra when equipped with the Banach space norm . A Banach algebra is said to be -weakly amenable if all derivations from into its dual space are inner. In this paper we investigate Arens regularity and -weak amenability of a triangular Banach algebra in relation to that of the algebras , and their action on the module .

     

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.

     

Local subgroups and the stable category

If is a finite group and is an algebraically closed field of characteristic 0$">, then this paper uses the local subgroup structure of to define a category that is equivalent to the stable category of all left -modules modulo projectives. A subcategory of equivalent to the stable category of finitely generated -modules is also identified. The definition of depends largely but not exclusively upon local data; one condition on the objects involves compatibility with respect to conjugations by arbitrary group elements rather than just elements of -local subgroups.

     

On a refinement of the generalized Catalan numbers for Weyl groups

Let be an irreducible crystallographic root system with Weyl group , coroot lattice and Coxeter number , spanning a Euclidean space , and let be a positive integer. It is known that the set of regions into which the fundamental chamber of is dissected by the hyperplanes in of the form for and is equinumerous to the set of orbits of the action of on the quotient . A bijection between these two sets, as well as a bijection to the set of certain chains of order ideals in the root poset of , are described and are shown to preserve certain natural statistics on these sets. The number of elements of these sets and their corresponding refinements generalize the classical Catalan and Narayana numbers, which occur in the special case and .