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.

     

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 .

     

Luzin gaps

We isolate a class of ideals on that includes all analytic P-ideals and all ideals, and introduce `Luzin gaps' in their quotients. A dichotomy for Luzin gaps allows us to freeze gaps, and prove some gap preservation results. Most importantly, under PFA all isomorphisms between quotient algebras over these ideals have continuous liftings. This gives a partial confirmation to the author's rigidity conjecture for quotients . We also prove that the ideals and have the Radon-Nikodým property, and (using OCA) a uniformization result for -coherent families of continuous partial functions.

     

Entire majorants via Euler-Maclaurin summation

It is the aim of this article to give extremal majorants of type for the class of functions sgn, where . As applications we obtain positive definite extensions to of defined on , where , optimal bounds in Hilbert-type inequalities for the class of functions , and majorants of type for functions whose graphs are trapezoids.

     

Rigidity of smooth Schubert varieties in Hermitian symmetric spaces

In this paper we study the space of effective -cycles in with the homology class equal to an integral multiple of the homology class of Schubert variety of type . When is a proper linear subspace of a linear space in , we know that is already complicated. We will show that for a smooth Schubert variety in a Hermitian symmetric space, any irreducible subvariety with the homology class , , is again a Schubert variety of type , unless is a non-maximal linear space. In particular, any local deformation of such a smooth Schubert variety in Hermitian symmetric space is obtained by the action of the Lie group .

     

Nullification and cellularization of classifying spaces of finite groups

In this note we discuss the effect of the -nullification and the -cellularization over classifying spaces of finite groups, and we relate them with the corresponding functors with respect to Moore spaces that have been intensively studied in the last years. We describe by means of a covering fibration, and we classify all finite groups for which is -cellular. We also carefully study the analogous functors in the category of groups, and their relationship with the fundamental groups of and

     

Generating continuous mappings with Lipschitz mappings

If is a metric space, then and denote the semigroups of continuous and Lipschitz mappings, respectively, from to itself. The relative rank of modulo is the least cardinality of any set where generates . For a large class of separable metric spaces we prove that the relative rank of modulo is uncountable. When is the Baire space , this rank is . A large part of the paper emerged from discussions about the necessity of the assumptions imposed on the class of spaces from the aforementioned results.

     

Bounded Hochschild cohomology of Banach algebras with a matrix-like structure

Let be a unital Banach algebra. A projection in which is equivalent to the identitity may give rise to a matrix-like structure on any two-sided ideal in . In this set-up we prove a theorem to the effect that the bounded cohomology vanishes for all . The hypotheses of this theorem involve (i) strong H-unitality of , (ii) a growth condition on diagonal matrices in , and (iii) an extension of in by an amenable Banach algebra. As a corollary we show that if is an infinite dimensional Banach space with the bounded approximation property, is an infinite dimensional -space, and is the Banach algebra of approximable operators on , then for all .

     

A sharp bound for the ratio of the first two Dirichlet eigenvalues of a domain in a hemisphere of

For a domain contained in a hemisphere of the -dimensional sphere we prove the optimal result for the ratio of its first two Dirichlet eigenvalues where , the symmetric rearrangement of in , is a geodesic ball in having the same -volume as . We also show that for geodesic balls of geodesic radius less than or equal to is an increasing function of which runs between the value for (this is the Euclidean value) and for . Here denotes the th positive zero of the Bessel function . This result generalizes the Payne-Pólya-Weinberger conjecture, which applies to bounded domains in Euclidean space and which we had proved earlier. Our method makes use of symmetric rearrangement of functions and various technical properties of special functions. We also prove that among all domains contained in a hemisphere of and having a fixed value of the one with the maximal value of is the geodesic ball of the appropriate radius. This is a stronger, but slightly less accessible, isoperimetric result than that for . Various other results for and of geodesic balls in are proved in the course of our work.

     

A generalization of half-plane mappings to the ball in

Let be a normalized (, ) biholomorphic mapping of the unit ball onto a convex domain that is the union of lines parallel to some unit vector . We consider the situation in which there is one infinite singularity of on . In one case with a simple change-of-variables, we classify all convex mappings of that are half-plane mappings in the first coordinate. In the more complicated case, when is not in the span of the infinite singularity, we derive a form of the mappings in dimension .

     

Hyponormality of trigonometric Toeplitz operators

In this paper we establish a tractable and explicit criterion for the hyponormality of arbitrary trigonometric Toeplitz operators, i.e., Toeplitz operators with trigonometric polynomial symbols . Our criterion involves the zeros of an analytic polynomial induced by the Fourier coefficients of . Moreover the rank of the selfcommutator of is computed from the number of zeros of in the open unit disk and in counting multiplicity.

     

The truncated complex -moment problem

Let denote a sequence of complex numbers ( 0, \gamma _{ij}=\bar{\gamma}_{ji}$">), and let denote a closed subset of the complex plane . The Truncated Complex -Moment Problem for entails determining whether there exists a positive Borel measure on such that ( ) and . For a semi-algebraic set determined by a collection of complex polynomials , we characterize the existence of a finitely atomic representing measure with the fewest possible atoms in terms of positivity and extension properties of the moment matrix and the localizing matrices . We prove that there exists a -atomic representing measure for supported in if and only if and there is some rank-preserving extension for which , where or .

     

Scrollar syzygies of general canonical curves with genus

We prove that for a general canonical curve of genus , the space of th (last) scrollar syzygies is isomorphic to the Brill-Noether locus . Schreyer has conjectured that these scrollar syzygies span the space of all th (last) syzygies of . Using Mukai varieties we prove this conjecture for genus , and .

     

Rotation, entropy, and equilibrium states

For a dynamical system and function we consider the corresponding generalised rotation set. This is the convex subset of consisting of all integrals of with respect to -invariant probability measures. We study the entropy of rotation vectors , and relate this to the directional entropy of Geller & Misiurewicz. For a mixing subshift of finite type, and of summable variation, we prove that if the rotation set is strictly convex then the functions and are in fact one and the same. For those rotation sets which are not strictly convex we prove that and can differ only at non-exposed boundary points .

     

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.

     

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.

     

-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.     

Approximation and regularization of Lipschitz functions: Convergence of the gradients

We examine the possible extensions to the Lipschitzian setting of the classical result on -convergence: first (approximation), if a sequence of functions of class from to converges uniformly to a function of class , then the gradient of is a limit of gradients of in the sense that ; second (regularization), the functions can be chosen to be of class and -converging to in the sense that . In other words, the space of functions is dense in the space of functions endowed with the pseudo-norm.

We first deepen the properties of Warga's counterexample (1981) for the extension of the approximation part to the Lipschitzian setting. This part cannot be extended, even if one restricts the approximation schemes to the classical convolution and the Lasry-Lions regularization. We thus make more precise various results in the literature on the convergence of subdifferentials.

We then show that the regularization part can be extended to the Lipschitzian setting, namely if is a locally Lipschitz function, we build a sequence of smooth functions such that

In other words, the space of functions is dense in the space of locally Lipschitz functions endowed with an appropriate Lipschitz pseudo-distance. Up to now, Rockafellar and Wets (1998) have shown that the convolution procedure permits us to have the equality , which cannot provide the exactness of our result.

As a consequence, we obtain a similar result on the regularization of epi-Lipschitz sets. With both functional and set parts, we improve previous results in the literature on the regularization of functions and sets.

     

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  .