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.

     

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.

     

Local boundary rigidity of a compact Riemannian manifold with curvature bounded above

This paper considers the boundary rigidity problem for a compact convex Riemannian manifold with boundary whose curvature satisfies a general upper bound condition. This includes all nonpositively curved manifolds and all sufficiently small convex domains on any given Riemannian manifold. It is shown that in the space of metrics on there is a -neighborhood of such that is the unique metric with the given boundary distance-function (i.e. the function that assigns to any pair of boundary points their distance -- as measured in ). More precisely, given any metric in this neighborhood with the same boundary distance function there is diffeomorphism which is the identity on such that . There is also a sharp volume comparison result for metrics in this neighborhood in terms of the boundary distance-function.

     

Stability theory, permutations of indiscernibles, and embedded finite models

We show that the expressive power of first-order logic over finite models embedded in a model is determined by stability-theoretic properties of . In particular, we show that if is stable, then every class of finite structures that can be defined by embedding the structures in , can be defined in pure first-order logic. We also show that if does not have the independence property, then any class of finite structures that can be defined by embedding the structures in , can be defined in first-order logic over a dense linear order. This extends known results on the definability of classes of finite structures and ordered finite structures in the setting of embedded finite models. These results depend on several results in infinite model theory. Let be a set of indiscernibles in a model and suppose is elementarily equivalent to where is -saturated. If is stable and is saturated, then every permutation of extends to an automorphism of and the theory of is stable. Let be a sequence of -indiscernibles in a model , which does not have the independence property, and suppose is elementarily equivalent to where is a complete dense linear order and is -saturated. Then -types over are order-definable and if is -saturated, every order preserving permutation of can be extended to a back-and-forth system.

     

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.

     

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

     

Dihedral coverings of algebraic surfaces and their application

In this article, we study dihedral coverings of algebraic surfaces branched along curves with at most simple singularities. A criterion for a reduced curve to be the branch locus of some dihedral covering is given. As an application we have the following:

Let be a reduced plane curve of even degree having only nodes and cusps. If 2d^2 - 6d + 6$">, then is non-abelian.

Note that Nori's result implies that is abelian, provided that .

     

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 .

     

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 .

     

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 .

     

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.

     

On the endomorphism monoids of (uniquely) complemented lattices

Let be a lattice with and . An endomorphism of is a -endomorphism, if it satisfies and . The -endomorphisms of form a monoid. In 1970, the authors proved that every monoid can be represented as the -endomorphism monoid of a suitable lattice with and . In this paper, we prove the stronger result that the lattice with a given -endomorphism monoid can be constructed as a uniquely complemented lattice; moreover, if is finite, then can be chosen as a finite complemented lattice.

     

A Palais-Smale approach to problems in Esteban-Lions domains with holes

Let be the upper half strip with a hole. In this paper, we show there exists a positive higher energy solution of semilinear elliptic equations in and describe the dynamic systems of solutions of equation in various . We also show there exist at least two positive solutions of perturbed semilinear elliptic equations in .

     

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 .

     

Schauder estimates for equationswith fractional derivatives

The equation where and are fractional derivatives of order and is studied. It is shown that if , , and are Hölder-continuous and , then there is a solution such that and are Hölder-continuous as well. This is proved by first considering an abstract fractional evolution equation and then applying the results obtained to (). Finally the solution of () with is studied.     

-central groups and Poincaré duality

In this note we investigate the mod cohomology ring of finite -central groups with a certain extension property. For odd it turns out that the structure of the cohomology ring characterizes this class of groups up to extensions by -groups. For certain examples the cohomology ring can be calculated explicitly. As a by-product one gets an alternative proof of a theorem of M.Lazard which states that the Galois cohomology of a uniformly powerful pro--group of rank is isomorphic to .

     

Geometry of Banach spaces having shrinking approximations of the identity

Let and let be a compact set of scalars. We introduce property of Banach spaces by the requirement that whenever is a bounded net converging weak to in and . Using with 1$">, we characterize the existence of certain shrinking approximations of the identity (in particular, those related to -, -, and -ideals of compact or approximable operators). We also show that the existence of these approximations of the identity is separably determined.

     

The toric -vectors of partially ordered sets

An explicit formula for the toric -vector of an Eulerian poset in terms of the -index is developed using coalgebra techniques. The same techniques produce a formula in terms of the flag -vector. For this, another proof based on Fine's algorithm and lattice-path counts is given. As a consequence, it is shown that the Kalai relation on dual posets, , is the only equation relating the -vectors of posets and their duals. A result on the -vectors of oriented matroids is given. A simple formula for the -index in terms of the flag -vector is derived.

     

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.

     

Endomorphisms of expansive systems on compact metric spaces and the pseudo-orbit tracing property

We investigate the interrelationships between the dynamical properties of commuting continuous maps of a compact metric space. Let be a compact metric space.

First we show the following. If is an expansive onto continuous map with the pseudo-orbit tracing property (POTP) and if there is a topologically mixing continuous map with , then is topologically mixing. If and are commuting expansive onto continuous maps with POTP and if is topologically transitive with period , then for some dividing , , where the , , are the basic sets of with such that all have period , and the dynamical systems are a factor of each other, and in particular they are conjugate if is a homeomorphism.

Then we prove an extension of a basic result in symbolic dynamics. Using this and many techniques in symbolic dynamics, we prove the following. If is a topologically transitive, positively expansive onto continuous map having POTP, and is a positively expansive onto continuous map with , then has POTP. If is a topologically transitive, expansive homeomorphism having POTP, and is a positively expansive onto continuous map with , then has POTP and is constant-to-one.

Further we define `essentially LR endomorphisms' for systems of expansive onto continuous maps of compact metric spaces, and prove that if is an expansive homeomorphism with canonical coordinates and is an essentially LR automorphism of , then has canonical coordinates. We add some discussions on basic properties of the essentially LR endomorphisms.