Principal curvatures of isoparametric hypersurfaces in

Let be an isoparametric hypersurface in , and the inverse image of under the Hopf map. By using the relationship between the eigenvalues of the shape operators of and , we prove that is homogeneous if and only if either or is constant, where is the number of distinct principal curvatures of and is the number of non-horizontal eigenspaces of the shape operator on .

     

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.

     

Rigidity of Coxeter groups

Let be a Coxeter group acting properly discontinuously and cocompactly on manifolds and such that the fixed point sets of finite subgroups are contractible. Let be a -homotopy equivalence which restricts to a -homeomorphism on the boundary. Under an assumption on the three dimensional fixed point sets, we show that then is -homotopic to a -homeomorphism.     

-theory of projective Stiefel manifolds

Using the Hodgkin spectral sequence we calculate , the complex -theory of the projective Stiefel manifold , for even. For odd, we are only able to calculate , but this is sufficient to determine the order of the complexified Hopf bundle over .

     

Intersection theory on non-commutative surfaces

Consider a non-commutative algebraic surface, , and an effective divisor on , as defined by Van den Bergh. We show that the Riemann-Roch theorem, the genus formula, and the self intersection formula from classical algebraic geometry generalize to this setting.

We also apply our theory to some special cases, including the blow up of in a point, and show that the self intersection of the exceptional divisor is . This is used to give an example of a non-commutative surface with a commutative which cannot be blown down, because its self intersection is rather than . We also get some results on Hilbert polynomials of modules on .

     

Invariant foliations near normally hyperbolic invariant manifolds for semiflows

Let be a compact manifold which is invariant and normally hyperbolic with respect to a semiflow in a Banach space. Then in an -neighborhood of there exist local center-stable and center-unstable manifolds and , respectively. Here we show that and may each be decomposed into the disjoint union of submanifolds (leaves) in such a way that the semiflow takes leaves into leaves of the same collection. Furthermore, each leaf intersects in a single point which determines the asymptotic behavior of all points of that leaf in either forward or backward time.

     

Definably simple groups in o-minimal structures

Let be a group definable in an o-minimal structure . A subset of is -definable if is definable in the structure (while definable means definable in the structure ). Assume has no -definable proper subgroup of finite index. In this paper we prove that if has no nontrivial abelian normal subgroup, then is the direct product of -definable subgroups such that each is definably isomorphic to a semialgebraic linear group over a definable real closed field. As a corollary we obtain an o-minimal analogue of Cherlin's conjecture.

     

A reduced Tits quadratic form and tameness of three-partite subamalgams of tiled orders

Let be a complete discrete valuation domain with the unique maximal ideal . We suppose that is an algebra over an algebraically closed field and . Subamalgam -suborders of a tiled -order are studied in the paper by means of the integral Tits quadratic form . A criterion for a subamalgam -order to be of tame lattice type is given in terms of the Tits quadratic form and a forbidden list of minor -suborders of presented in the tables.

     

On the dimension of the product of two compacta and the dimension of their intersection in general position in Euclidean space

For every two compact metric spaces and , both with dimension at most , there are dense -subsets of mappings and with .

     

Embeddings in generalized manifolds

We prove that a ()-connected map from a compact PL -manifold to a generalized -manifold with the disjoint disks property, , is homotopic to a tame embedding. There is also a controlled version of this result, as well as a version for noncompact and proper maps that are properly ()-connected. The techniques developed lead to a general position result for arbitrary maps , , and a Whitney trick for separating submanifolds of that have intersection number 0, analogous to the well-known results when is a manifold.

     

On syzygies of abelian varieties

In this paper we prove the following result: Let be a complex torus and a normally generated line bundle on ; then, for every , the line bundle satisfies Property of Green-Lazarsfeld.

     

Homology manifold bordism

The Bryant-Ferry-Mio-Weinberger surgery exact sequence for compact homology manifolds of dimension is used to obtain transversality, splitting and bordism results for homology manifolds, generalizing previous work of Johnston.

First, we establish homology manifold transversality for submanifolds of dimension : if is a map from an -dimensional homology manifold to a space , and is a subspace with a topological -block bundle neighborhood, and , then is homology manifold -cobordant to a map which is transverse to , with an -dimensional homology submanifold.

Second, we obtain a codimension splitting obstruction in the Wall -group for a simple homotopy equivalence from an -dimensional homology manifold to an -dimensional Poincaré space with a codimension Poincaré subspace with a topological normal bundle, such that if (and for only if) splits at up to homology manifold -cobordism.

Third, we obtain the multiplicative structure of the homology manifold bordism groups .

     

Local differentiability of distance functions

Recently Clarke, Stern and Wolenski characterized, in a Hilbert space, the closed subsets for which the distance function is continuously differentiable everywhere on an open ``tube' of uniform thickness around . Here a corresponding local theory is developed for the property of being continuously differentiable outside of on some neighborhood of a point . This is shown to be equivalent to the prox-regularity of at , which is a condition on normal vectors that is commonly fulfilled in variational analysis and has the advantage of being verifiable by calculation. Additional characterizations are provided in terms of being locally of class or such that is convex around for some 0$">. Prox-regularity of at corresponds further to the normal cone mapping having a hypomonotone truncation around , and leads to a formula for by way of . The local theory also yields new insights on the global level of the Clarke-Stern-Wolenski results, and on a property of sets introduced by Shapiro, as well as on the concept of sets with positive reach considered by Federer in the finite dimensional setting.

     

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 .

     

A condition for the stability of -covered on foliations of 3-manifolds

We give a sufficient condition for a codimension one, transversely orientable foliation of a closed 3-manifold to have the property that any foliation sufficiently close to it be -covered. This condition can be readily verified for many examples. Further, if an -covered foliation has a compact leaf , then any transverse loop meeting lifts to a copy of the leaf space, and the ambient manifold fibers over with as fiber.

     

Specializations of Brauer classes over algebraic function fields

Let be either a number field or a field finitely generated of transcendence degree over a Hilbertian field of characteristic 0, let be the rational function field in one variable over , and let . It is known that there exist infinitely many such that the specialization induces a specialization , where has exponent equal to that of . Now let be a finite extension of and let . We give sufficient conditions on and for there to exist infinitely many such that the specialization has an extension to inducing a specialization , the residue field of , where has exponent equal to that of . We also give examples to show that, in general, such need not exist.

     

The characters of the generalized Steinberg representations of finite general linear groups on the regular elliptic set

Let be a finite field, the degree extension of , and the general linear group with entries in . This paper studies the ``generalized Steinberg" (GS) representations of and proves the equivalence of several different characterizations for this class of representations. As our main result we show that the union of the class of cuspidal and GS representations of is in natural one-one correspondence with the set of Galois orbits of characters of , the regular orbits of course corresponding to the cuspidal representations. Besides using Green's character formulas to define GS representations, we characterize GS representations by associating to them idempotents in certain commuting algebras corresponding to parabolic inductions and by showing that GS representations are the sole components of these induced representations which are ``generic" (have Whittaker vectors).

     

Unipotent groups associated to reduced curves

Let be a curve defined over an algebraically closed field with 0$">. Assume that is reduced. In this paper we study the unipotent part of the Jacobian . In particular, we prove that if is large in terms of the dimension of , then is isomorphic to a product of additive groups .

     

Steiner type formulae and weighted measures of singularities for semi-convex functions

For a given convex (semi-convex) function , defined on a nonempty open convex set , we establish a local Steiner type formula, the coefficients of which are nonnegative (signed) Borel measures. We also determine explicit integral representations for these coefficient measures, which are similar to the integral representations for the curvature measures of convex bodies (and, more generally, of sets with positive reach). We prove that, for , the -th coefficient measure of the local Steiner formula for , restricted to the set of -singular points of , is absolutely continuous with respect to the -dimensional Hausdorff measure, and that its density is the -dimensional Hausdorff measure of the subgradient of .

As an application, under the assumptions that is convex and Lipschitz, and is bounded, we get sharp estimates for certain weighted Hausdorff measures of the sets of -singular points of . Such estimates depend on the Lipschitz constant of and on the quermassintegrals of the topological closure of .

     

Homology decompositions for classifying spaces of compact Lie groups

Let be a prime number and be a compact Lie group. A homology decomposition for the classifying space is a way of building up to mod homology as a homotopy colimit of classifying spaces of subgroups of . In this paper we develop techniques for constructing such homology decompositions. Jackowski, McClure and Oliver (Homotopy classification of self-maps of BG via -actions, Ann. of Math. 135 (1992), 183-270) construct a homology decomposition of by classifying spaces of -stubborn subgroups of . Their decomposition is based on the existence of a finite-dimensional mod acyclic --complex with restricted set of orbit types. We apply our techniques to give a parallel proof of the -stubborn decomposition of which does not use this geometric construction.