Projective manifolds with small pluridegrees

Let be a very ample line bundle on a connected complex projective manifold of dimension . Except for a short list of degenerate pairs , and there exists a morphism expressing as the blowup of a projective manifold at a finite set , with nef and big for the ample line bundle . The projective geometry of is largely controlled by the pluridegrees for , of . For example, , where is the genus of a curve section of , and is equal to the self-intersection of the canonical divisor of the minimal model of a surface section of . In this article, a detailed analysis is made of the pluridegrees of . The restrictions found are used to give a new lower bound for the dimension of the space of sections of . The inequalities for the pluridegrees, that are presented in this article, will be used in a sequel to study the sheet number of the morphism associated to .

     

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.

     

Characterizations of spectra with -injective cohomology which satisfy the Brown-Gitler property

We work in the stable homotopy category of -complete connective spectra having mod homology of finite type. means cohomology with coefficients, and is a left module over the Steenrod algebra .

A spectrum is called spacelike if it is a wedge summand of a suspension spectrum, and a spectrum satisfies the Brown-Gitler property if the natural map is onto, for all spacelike .

It is known that there exist spectra satisfying the Brown-Gitler property, and with isomorphic to the injective envelope of in the category of unstable -modules.

Call a spectrum standard if it is a wedge of spectra of the form , where is a stable wedge summand of the classifying space of some elementary abelian -group. Such spectra have -injective cohomology, and all -injectives appear in this way.

Working directly with the two properties of stated above, we clarify and extend earlier work by many people on Brown-Gitler spectra. Our main theorem is that, if is a spectrum with -injective cohomology, the following conditions are equivalent:

(A) there exist a spectrum whose cohomology is a reduced -injective and a map that is epic in cohomology, (B) there exist a spacelike spectrum and a map that is epic in cohomology, (C) is monic in cohomology, (D) satisfies the Brown-Gitler property, (E) is spacelike, (F) is standard. ( is reduced if it has no nontrivial submodule which is a suspension.)

As an application, we prove that the Snaith summands of are Brown-Gitler spectra-a new result for the most interesting summands at odd primes. Another application combines the theorem with the second author's work on the Whitehead conjecture.

Of independent interest, enroute to proving that (B) implies (C), we prove that the homology suspension has the following property: if an -connected space admits a map to an -fold suspension that is monic in mod homology, then is onto in mod homology.

     

A new result on the Pompeiu problem

A nonempty bounded open set () is said to have the Pompeiu property if and only if the only continuous function on for which the integral of over is zero for all rigid motions of is . We consider a nonempty bounded open set with Lipschitz boundary and we assume that the complement of is connected. We show that the failure of the Pompeiu property for implies some geometric conditions. Using these conditions we prove that a special kind of solid tori in , , has the Pompeiu property. So far the result was proved only for solid tori in . We also examine the case of planar domains. Finally we extend the example of solid tori to domains in bounded by hypersurfaces of revolution.

     

Simple and semisimple Lie algebras and codimension growth

We study the exponential growth of the codimensions of a finite dimensional Lie algebra over a field of characteristic zero. In the case when is semisimple we show that exists and, when is algebraically closed, is equal to the dimension of the largest simple summand of . As a result we characterize central-simplicity: is central simple if and only if .

     

Banach spaces with the Daugavet property

A Banach space is said to have the Daugavet property if every operator of rank satisfies . We show that then every weakly compact operator satisfies this equation as well and that contains a copy of . However, need not contain a copy of . We also study pairs of spaces and operators satisfying , where is the natural embedding. This leads to the result that a Banach space with the Daugavet property does not embed into a space with an unconditional basis. In another direction, we investigate spaces where the set of operators with is as small as possible and give characterisations in terms of a smoothness condition.

     

Trees and valuation rings

A subring of a division algebra is called a valuation ring of if or holds for all nonzero in . The set of all valuation rings of is a partially ordered set with respect to inclusion, having as its maximal element. As a graph is a rooted tree (called the valuation tree of ), and in contrast to the commutative case, may have finitely many but more than one vertices. This paper is mainly concerned with the question of whether each finite, rooted tree can be realized as a valuation tree of a division algebra , and one main result here is a positive answer to this question where can be chosen as a quaternion division algebra over a commutative field.

     

coefficients

Let be a system of real smooth vector fields, satisfying Hörmander's condition in some bounded domain (). We consider the differential operator

where the coefficients are real valued, bounded measurable functions, satisfying the uniform ellipticity condition:

for a.e. , every , some constant . Moreover, we assume that the coefficients belong to the space VMO (``Vanishing Mean Oscillation'), defined with respect to the subelliptic metric induced by the vector fields . We prove the following local -estimate:

for every , . We also prove the local Hölder continuity for solutions to for any with large enough. Finally, we prove -estimates for higher order derivatives of , whenever and the coefficients are more regular.

     

The -Lagrangian of a convex function

At a given point , a convex function is differentiable in a certain subspace (the subspace along which has 0-breadth). This property opens the way to defining a suitably restricted second derivative of at . We do this via an intermediate function, convex on . We call this function the -Lagrangian; it coincides with the ordinary Lagrangian in composite cases: exact penalty, semidefinite programming. Also, we use this new theory to design a conceptual pattern for superlinearly convergent minimization algorithms. Finally, we establish a connection with the Moreau-Yosida regularization.

     

Ultrafilters on -their ideals and their cardinal characteristics

For a free ultrafilter on we study several cardinal characteristics which describe part of the combinatorial structure of . We provide various consistency results; e.g. we show how to force simultaneously many characters and many -characters. We also investigate two ideals on the Baire space naturally related to and calculate cardinal coefficients of these ideals in terms of cardinal characteristics of the underlying ultrafilter.

     

Sheared algebra maps and operation bialgebras for mod 2 homology and cohomology

The mod 2 Steenrod algebra and Dyer-Lashof algebra have both striking similarities and differences arising from their common origins in ``lower-indexed' algebraic operations. These algebraic operations and their relations generate a bigraded bialgebra , whose module actions are equivalent to, but quite different from, those of and . The exact relationships emerge as ``sheared algebra bijections', which also illuminate the role of the cohomology of . As a bialgebra, has a particularly attractive and potentially useful structure, providing a bridge between those of and , and suggesting possible applications to the Miller spectral sequence and the structure of Dickson algebras.

     

A bracket power characterization of analytic spread one ideals

The main theorem characterizes, in terms of bracket powers, analytic spread one ideals in local rings. Specifically, let be regular nonunits in a local (Noetherian) ring and assume that , the integral closure of , where . Then the main result shows that for all but finitely many units in that are non-congruent modulo and for all large integers and it holds that for and not divisible by , where is the -th bracket power of . And, conversely, if there exist positive integers , , and such that has a basis such that , then has analytic spread one.

     

Two special cases of Ganea's conjecture

Ganea conjectured that for any finite CW complex and any , . In this paper we prove two special cases of this conjecture. The main result is the following. Let be a -connected -dimensional CW complex (not necessarily finite). We show that if and (which implies ), then . This is proved by showing that in a much larger range, and then showing that under the conditions imposed, . The second special case is an extension of Singhof's earlier result for manifolds.

     

A construction of homologically area minimizing hypersurfaces with higher dimensional singular sets

We show that a large variety of singular sets can occur for homologically area minimizing codimension one surfaces in a Riemannian manifold. In particular, as a result of Theorem A, if is smooth, compact dimensional manifold, , and if is an embedded, orientable submanifold of dimension , then we construct metrics on such that the homologically area minimizing hypersurface , homologous to , has a singular set equal to a prescribed number of spheres and tori of codimension less than . Near each component of the singular set, is isometric to a product , where is any prescribed, strictly stable, strictly minimizing cone. In Theorem B, other singular examples are constructed.

     

Remarks on a Nonlinear Parabolic Equation

The equation , , is studied in and in the periodic case. It is shown that the equation is well-posed in and possesses regularizing properties. For nonnegative initial data and the solution decays in as . In the periodic case it tends uniformly to a limit. A consistent difference scheme is presented and proved to be stable and convergent.

     

Orbit equivalence of global attractors of semilinear parabolic differential equations

We consider global attractors of dissipative parabolic equations

on the unit interval with Neumann boundary conditions. A permutation is defined by the two orderings of the set of (hyperbolic) equilibrium solutions according to their respective values at the two boundary points and We prove that two global attractors, and , are globally orbit equivalent, if their equilibrium permutations and coincide. In other words, some discrete information on the ordinary differential equation boundary value problem characterizes the attractor of the above partial differential equation, globally, up to orbit preserving homeomorphisms.

     

Tight closure, plus closure and Frobenius closure in cubical cones

We consider tight closure, plus closure and Frobenius closure in the rings , where is a field of characteristic and . We use a -grading of these rings to reduce questions about ideals in the quotient rings to questions about ideals in the regular ring . We show that Frobenius closure is the same as tight closure in certain classes of ideals when . Since , we conclude that for these ideals. Using injective modules over the ring , the union of all th roots of elements of , we reduce the question of whether for -graded ideals to the case of -graded irreducible modules. We classify the irreducible -primary -graded ideals. We then show that for most irreducible -primary -graded ideals in , where is a field of characteristic and . Hence for these ideals.

     

Finite groups of matrices over group rings

We investigate certain finite subgroups of , where is a finite nilpotent group. Such a group gives rise to a -module; we study the characters of these modules to limit the structure of . We also exhibit some exotic subgroups .