On the shape of the moduli of spherical minimal immersions

The DoCarmo-Wallach moduli space parametrizing spherical minimal immersions of a Riemannian manifold is a compact convex body in a linear space of tracefree symmetric endomorphisms of an eigenspace of . In this paper we define and study a sequence of metric invariants , , associated to a compact convex body with base point in the interior of . The invariant measures how lopsided is in dimension with respect to . The results are then appplied to the DoCarmo-Wallach moduli space. We also give an efficient algorithm to calculate for convex polytopes.

     

Toroidal orbifolds, gerbes and group cohomology

In this paper we compute the integral cohomology of certain semi-direct products of the form , arising from a linear action on the -torus, where is a finite group. The main application is the complete calculation of torsion gerbes for six-dimensional examples arising in string theory.

     

Stationary isothermic surfaces and uniformly dense domains

We establish a relationship between stationary isothermic surfaces and uniformly dense domains. A stationary isothermic surface is a level surface of temperature which does not evolve with time. A domain in the -dimensional Euclidean space is said to be uniformly dense in a surface of codimension if, for every small the volume of the intersection of with a ball of radius and center does not depend on for

We prove that the boundary of every uniformly dense domain which is bounded (or whose complement is bounded) must be a sphere. We then examine a uniformly dense domain with unbounded boundary , and we show that the principal curvatures of satisfy certain identities.

The case in which the surface coincides with is particularly interesting. In fact, we show that, if the boundary of a uniformly dense domain is connected, then (i) if , it must be either a circle or a straight line and (ii) if it must be either a sphere, a spherical cylinder or a minimal surface. We conclude with a discussion on uniformly dense domains whose boundary is a minimal surface.

     

-manifolds with planar presentations and the width of satellite knots

We consider compact -manifolds having a submersion to in which each generic point inverse is a planar surface. The standard height function on a submanifold of is a motivating example. To we associate a connectivity graph . For , is a tree if and only if there is a Fox reimbedding of which carries horizontal circles to a complete collection of complementary meridian circles. On the other hand, if the connectivity graph of is a tree, then there is a level-preserving reimbedding of so that is a connected sum of handlebodies.

Corollary.

The width of a satellite knot is no less than the width of its pattern knot and so

.

     

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.

     

Resolutions for metrizable compacta in extension theory

We prove a -resolution theorem for simply connected CW- complexes in extension theory in the class of metrizable compacta . This means that if is a connected CW-complex, is an abelian group, , , for , and (in the sense of extension theory, that is, is an absolute extensor for ), then there exists a metrizable compactum and a surjective map such that:

(a) is -acyclic,

(b) , and

(c) .

This implies the -resolution theorem for arbitrary abelian groups for cohomological dimension when . Thus, in case is an Eilenberg-MacLane complex of type , then (c) becomes .

If in addition , then (a) can be replaced by the stronger statement,

(aa) is -acyclic.

To say that a map is -acyclic means that for each , every map of the fiber to is nullhomotopic.

     

The braid index is not additive for the connected sum of 2-knots

Any -dimensional knot can be presented in a braid form, and its braid index, , is defined. For the connected sum of -knots and , it is easily seen that holds. Birman and Menasco proved that the braid index (minus one) is additive for the connected sum of -dimensional knots; the equality holds for -knots. We prove that the equality does not hold for -knots unless or is a trivial -knot. We also prove that the -knot obtained from a granny knot by Artin's spinning is of braid index , and there are infinitely many -knots of braid index .

     

Open loci of graded modules

Let be an excellent homogeneous Noetherian graded ring and let be a finitely generated graded -module. We consider as a module over and show that the -loci of are open in . In particular, the Cohen-Macaulay locus    is Cohen-Macaulay is an open subset of . We also show that the -loci on the homogeneous parts of are eventually stable. As an application we obtain that for a finitely generated Cohen-Macaulay module over an excellent ring and for an ideal which is not contained in any minimal prime of , the -loci for the modules are eventually stable.

     

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 .

     

Intrinsic ultracontractivity of the Feynman-Kac semigroup for relativistic stable processes

Let be the relativistic -stable process in , , , with infinitesimal generator . We study intrinsic ultracontractivity (IU) for the Feynman-Kac semigroup for this process with generator , , locally bounded. We prove that if , then for every the operator is compact. We consider the class of potentials such that , and is comparable to the function which is radial, radially nondecreasing and comparable on unit balls. For in the class we show that the semigroup is IU if and only if . If this condition is satisfied we also obtain sharp estimates of the first eigenfunction for . In particular, when , , then the semigroup is IU if and only if . For the first eigenfunction is comparable to

     

On almost one-to-one maps

A continuous map of topological spaces is said to be almost -to- if the set of the points such that is dense in ; it is said to be light if pointwise preimages are zero dimensional. We study almost 1-to-1 light maps of some compact and -compact spaces (e.g., -manifolds or dendrites) and prove that in some important cases they must be homeomorphisms or embeddings. In a forthcoming paper we use these results and show that if is a minimal self-mapping of a 2-manifold , then point preimages under are tree-like continua and either is a union of 2-tori, or is a union of Klein bottles permuted by .

     

Partitioning -large sets: Some lower bounds

Let denote the property: if is an -large set of natural numbers and is partitioned into parts, then there exists a -large subset of which is homogeneous for this partition. Here the notion of largeness is in the sense of the so-called Hardy hierarchy. We give a lower bound for in terms of for some specific .

     

Bumpy metrics and closed parametrized minimal surfaces in Riemannian manifolds

The purpose of this article is to study conformal harmonic maps , where is a closed Riemann surface and is a compact Riemannian manifold of dimension at least four. Such maps define parametrized minimal surfaces, possibly with branch points. We show that when the ambient manifold is given a generic metric, all prime closed parametrized minimal surfaces are free of branch points, and are as Morse nondegenerate as allowed by the group of automorphisms of . They are Morse nondegenerate in the usual sense if has genus at least two, lie on two-dimensional nondegenerate critical submanifolds if has genus one, and on six-dimensional nondegenerate critical submanifolds if has genus zero.

     

A general theory of almost convex functions

Let be the standard -dimensional simplex and let . Then a function with domain a convex set in a real vector space is -almost convex iff for all and the inequality

holds. A detailed study of the properties of -almost convex functions is made. If contains at least one point that is not a vertex, then an extremal -almost convex function is constructed with the properties that it vanishes on the vertices of and if is any bounded -almost convex function with on the vertices of , then for all . In the special case , the barycenter of , very explicit formulas are given for and . These are of interest, as and are extremal in various geometric and analytic inequalities and theorems.

     

Functional distribution of with real characters and denseness of quadratic class numbers

We investigate the functional distribution of -functions with real primitive characters on the region as varies over fundamental discriminants. Actually we establish the so-called universality theorem for in the -aspect. From this theorem we can, of course, deduce some results concerning the value distribution and the non-vanishing. As another corollary, it follows that for any fixed with and positive integers , there exist infinitely many such that for every the -th derivative has at least zeros on the interval in the real axis. We also study the value distribution of for fixed with and variable , and obtain the denseness result concerning class numbers of quadratic fields.

     

Invariance in and

We define , a substructure of (the lattice of classes), and show that a quotient structure of , , is isomorphic to . The result builds on the isomorphism machinery, and allows us to transfer invariant classes from to , though not, in general, orbits. Further properties of and ramifications of the isomorphism are explored, including degrees of equivalence classes and degree invariance.

     

Maximal families of Gorenstein algebras

The purpose of this paper is to study maximal irreducible families of Gorenstein quotients of a polynomial ring . Let be the scheme parametrizing graded quotients of with Hilbert function . We prove there is a close relationship between the irreducible components of , whose general member is a Gorenstein codimension quotient, and the irreducible components of , whose general member is a codimension Cohen-Macaulay algebra of Hilbert function related to . If the Castelnuovo-Mumford regularity of the Gorenstein quotient is large compared to the Castelnuovo-Mumford regularity of , this relationship actually determines a well-defined injective mapping from such ``Cohen-Macaulay' components of to ``Gorenstein' components of , in which generically smooth components correspond. Moreover the dimension of the ``Gorenstein' components is computed in terms of the dimension of the corresponding ``Cohen-Macaulay' component and a sum of two invariants of . Using linkage by a complete intersection we show how to compute these invariants. Linkage also turns out to be quite effective in verifying the assumptions which appear in a generalization of the main theorem.

     

Topological obstructions to certain Lie group actions on manifolds

Given a smooth closed -manifold , this article studies the extent to which certain numbers of the form are determined by the fixed-point set , where classifies the universal cover of , , is a polynomial in the Pontrjagin classes of , and is in the subalgebra of generated by . When , various vanishing theorems follow, giving obstructions to certain fixed-point-free actions. For example, if a fixed-point-free -action extends to an action by some semisimple compact Lie group , then . Similar vanishing results are obtained for spin manifolds admitting certain -actions.

     

Effective cones of quotients of moduli spaces of stable -pointed curves of genus zero

Let , the moduli space of -pointed stable genus zero curves, and let be the quotient of by the action of on the last marked points. The cones of effective divisors , , are calculated. Using this, upper bounds for the cones generated by divisors with moving linear systems are calculated, , along with the induced bounds on the cones of ample divisors of and . As an application, the cone is analyzed in detail.

     

-estimates for the linearized Monge-Ampère equation

Let be a strictly convex domain and let be a convex function such that    det in . The linearized Monge-Ampère equation is

where det is the matrix of cofactors of . We prove that there exist and depending only on , and such that

for all solutions to the equation .