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.

     

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.

     

Extensions for finite Chevalley groups II

Let be a semisimple simply connected algebraic group defined and split over the field with elements, let be the finite Chevalley group consisting of the -rational points of where , and let be the th Frobenius kernel. The purpose of this paper is to relate extensions between modules in and with extensions between modules in . Among the results obtained are the following: for 2$"> and , the -extensions between two simple -modules are isomorphic to the -extensions between two simple -restricted -modules with suitably ``twisted" highest weights. For , we provide a complete characterization of where and is -restricted. Furthermore, for , necessary and sufficient bounds on the size of the highest weight of a -module are given to insure that the restriction map is an isomorphism. Finally, it is shown that the extensions between two simple -restricted -modules coincide in all three categories provided the highest weights are ``close" together.

     

Cartan-decomposition subgroups of

For and , we give explicit, practical conditions that determine whether or not a closed, connected subgroup of has the property that there exists a compact subset of with . To do this, we fix a Cartan decomposition of , and then carry out an approximate calculation of for each closed, connected subgroup of .

     

Existence of curves with prescribed topological singularities

Throughout this paper we study the existence of irreducible curves on smooth projective surfaces with singular points of prescribed topological types . There are necessary conditions for the existence of the type for some fixed divisor on and suitable coefficients , and , and the main sufficient condition that we find is of the same type, saying it is asymptotically proper. Ten years ago general results of this quality were not known even for the case . An important ingredient for the proof is a vanishing theorem for invertible sheaves on the blown up of the form , deduced from the Kawamata-Vieweg Vanishing Theorem. Its proof covers the first part of the paper, while the middle part is devoted to the existence theorems. In the last part we investigate our conditions on ruled surfaces, products of elliptic curves, surfaces in , and K3-surfaces.

     

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 .

     

Boundary correspondence of Nevanlinna counting functions for self-maps of the unit disc

Let be a holomorphic self-map of the unit disc . For every , there is a measure on (sometimes called Aleksandrov measure) defined by the Poisson representation . Its singular part measures in a natural way the ``affinity' of for the boundary value . The affinity for values inside is provided by the Nevanlinna counting function of . We introduce a natural measure-valued refinement of and establish that the measures are obtained as boundary values of the refined Nevanlinna counting function . More precisely, we prove that is the weak limit of whenever converges to non-tangentially outside a small exceptional set . We obtain a sharp estimate for the size of in the sense of capacity.

     

Rational -equivariant homotopy theory

We give an algebraicization of rational -equivariant homotopy theory. There is an algebraic category of `` -systems' which is equivalent to the homotopy category of rational -simply connected -spaces. There is also a theory of ``minimal models' for -systems, analogous to Sullivan's minimal algebras. Each -space has an associated minimal -system which encodes all of its rational homotopy information, including its rational equivariant cohomology and Postnikov decomposition.

     

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 .

     

Limits of interpolatory processes

Given distinct real numbers and a positive approximation of the identity , which converges weakly to the Dirac delta measure as goes to zero, we investigate the polynomials which solve the interpolation problem

with prescribed data . More specifically, we are interested in the behavior of when the data is of the form for some prescribed function . One of our results asserts that if is sufficiently nice and has sufficiently well-behaved moments, then converges to a limit which can be completely characterized. As an application we identify the limits of certain fundamental interpolatory splines whose knot set is , where is an arbitrary finite subset of the integer lattice , as their degree goes to infinity.

     

Semi-linear homology -spheres and their equivariant inertia groups

This paper introduces an abelian group for all semi-linear homology -spheres, which corresponds to a known abelian group for all semi-linear homotopy -spheres, where is a compact Lie group and is a -representation with 0$">. Then using equivariant surgery techniques, we study the relation between both and when is finite. The main result is that under the conditions that -action is semi-free and with 0$">, the homomorphism defined by is an isomorphism if , and a monomorphism if . This is an equivariant analog of a well-known result in differential topology. Such a result is also applied to the equivariant inertia groups of semi-linear homology -spheres.

     

Sets of uniqueness for spherically convergent multiple trigonometric series

A subset of the -dimensional torus is called a set of uniqueness, or -set, if every multiple trigonometric series spherically converging to outside vanishes identically. We show that all countable sets are -sets and also that sets are -sets for every . In particular, , where is the Cantor set, is an set and hence a -set. We will say that is a -set if every multiple trigonometric series spherically Abel summable to outside and having certain growth restrictions on its coefficients vanishes identically. The above-mentioned results hold also for sets. In addition, every -set has measure , and a countable union of closed -sets is a -set.

     

Frobenius morphisms and representations of algebras

By introducing Frobenius morphisms on algebras and their modules over the algebraic closure of the finite field of elements, we establish a relation between the representation theory of over and that of the -fixed point algebra over . More precisely, we prove that the category    mod- of finite-dimensional -modules is equivalent to the subcategory of finite-dimensional -stable -modules, and, when is finite dimensional, we establish a bijection between the isoclasses of indecomposable -modules and the -orbits of the isoclasses of indecomposable -modules. Applying the theory to representations of quivers with automorphisms, we show that representations of a modulated quiver (or a species) over can be interpreted as -stable representations of the corresponding quiver over . We further prove that every finite-dimensional hereditary algebra over is Morita equivalent to some , where is the path algebra of a quiver over and is induced from a certain automorphism of . A close relation between the Auslander-Reiten theories for and is established. In particular, we prove that the Auslander-Reiten (modulated) quiver of is obtained by ``folding" the Auslander-Reiten quiver of . Finally, by taking Frobenius fixed points, we are able to count the number of indecomposable representations of a modulated quiver over with a given dimension vector and to generalize Kac's theorem for all modulated quivers and their associated Kac-Moody algebras defined by symmetrizable generalized Cartan matrices.

     

Positive definite spherical functions on Olshanskii domains

Let be a simply connected complex Lie group with Lie algebra , a real form of , and the analytic subgroup of corresponding to . The symmetric space together with a -invariant partial order is referred to as an Olshanskii space. In a previous paper we constructed a family of integral spherical functions on the positive domain of . In this paper we determine all of those spherical functions on which are positive definite in a certain sense.

     

Summing inclusion maps between symmetric sequence spaces

In 1973/74 Bennett and (independently) Carl proved that for the identity map id: is absolutely -summing, i.e., for every unconditionally summable sequence in the scalar sequence is contained in , which improved upon well-known results of Littlewood and Orlicz. The following substantial extension is our main result: For a -concave symmetric Banach sequence space the identity map is absolutely -summing, i.e., for every unconditionally summable sequence in the scalar sequence is contained in . Various applications are given, e.g., to the theory of eigenvalue distribution of compact operators, where we show that the sequence of eigenvalues of an operator on with values in a -concave symmetric Banach sequence space is a multiplier from into . Furthermore, we prove an asymptotic formula for the -th approximation number of the identity map , where denotes the linear span of the first standard unit vectors in , and apply it to Lorentz and Orlicz sequence spaces.

     

Simple birational extensions of the polynomial algebra

The Abhyankar-Sathaye Problem asks whether any biregular embedding can be rectified, that is, whether there exists an automorphism such that is a linear embedding. Here we study this problem for the embeddings whose image is given in by an equation , where and . Under certain additional assumptions we show that, indeed, the polynomial is a variable of the polynomial ring (i.e., a coordinate of a polynomial automorphism of ). This is an analog of a theorem due to Sathaye (1976) which concerns the case of embeddings . Besides, we generalize a theorem of Miyanishi (1984) giving, for a polynomial as above, a criterion for when .

     

Sufficient conditions for zero-one laws

We generalize a result of Bateman and Erdos concerning partitions, thereby answering a question of Compton. From this result it follows that if is a class of finite relational structures that is closed under the formation of disjoint unions and the extraction of components, and if it has the property that the number of indecomposables of size is bounded above by a polynomial in , then has a monadic second order - law. Moreover, we show that if a class of finite structures with the unique factorization property is closed under the formation of direct products and the extraction of indecomposable factors, and if it has the property that the number of indecomposables of size at most is bounded above by a polynomial in , then this class has a first order - law. These results cover all known natural examples of classes of structures that have been proved to have a logical - law by Compton's method of analyzing generating functions.

     

Induced operators on symmetry classes of tensors

Let be an -dimensional Hilbert space. Suppose is a subgroup of the symmetric group of degree , and is a character of degree 1 on . Consider the symmetrizer on the tensor space

defined by and . The vector space

is a subspace of , called the symmetry class of tensors over associated with and . The elements in of the form are called decomposable tensors and are denoted by . For any linear operator acting on , there is a (unique) induced operator acting on satisfying

In this paper, several basic problems on induced operators are studied.

     

Decomposition numbers for weight three blocks of symmetric groups and Iwahori-Hecke algebras

Let be a field, a non-zero element of and the Iwahori-Hecke algebra of the symmetric group . If is a block of of -weight and the characteristic of is at least , we prove that the decomposition numbers for are all at most . In particular, the decomposition numbers for a -block of of defect are all at most .