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.     

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.

     

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.

     

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 .

     

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 .

     

Linear systems of plane curves with base points of equal multiplicity

In this article we address the problem of computing the dimension of the space of plane curves of degree with general points of multiplicity . A conjecture of Harbourne and Hirschowitz implies that when , the dimension is equal to the expected dimension given by the Riemann-Roch Theorem. Also, systems for which the dimension is larger than expected should have a fixed part containing a multiple -curve. We reformulate this conjecture by explicitly listing those systems which have unexpected dimension. Then we use a degeneration technique developed to show that the conjecture holds for all .

     

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.

     

Analytic types of plane curve singularities defined by weighted homogeneous polynomials

We classify analytically isolated plane curve singularities defined by weighted homogeneous polynomials , which are not topologically equivalent to homogeneous polynomials, in an elementary way. Moreover, in preparation for the proof of the above analytic classification theorem, assuming that either satisfies the same property as the above does or is homogeneous, then we prove easily that the weights of the above determine the topological type of and conversely. So, this gives another easy proof for the topological classification theorem of quasihomogenous singularities in , which was already known. Also, as an application, it can be shown that for a given , where is a quasihomogeneous holomorphic function with an isolated singularity at the origin or with a positive integer , analytic types of isolated hypersurface singularities defined by are easily classified where is defined just as above.

     

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.

     

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.

     

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.

     

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 .

     

Partial differential equations with matricial coefficients and generalized translation operators

Let be the Bessel operator with matricial coefficients defined on by

where is a diagonal matrix and let be an matrix-valued function. In this work, we prove that there exists an isomorphism on the space of even , -valued functions which transmutes and . This allows us to define generalized translation operators and to develop harmonic analysis associated with . By use of the Riemann method, we provide an integral representation and we deduce more precise information on these operators.

     

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.

     

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.

     

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.

     

Mean convergence of orthogonal Fourier series of modified functions

We construct orthonormal systems (ONS) which are uniformly bounded, complete, and made up of continuous functions such that some continuous and even some arbitrarily smooth functions cannot be modified so that the Fourier series of the new function converges in the -metric for any 2. $"> We prove also that if is a uniformly bounded ONS which is complete in all the spaces , then there exists a rearrangement of the natural numbers such that the system has the strong -property for all 2$">; that is, for every and for every and 0 $">there exists a function which coincides with except on a set of measure less than and whose Fourier series with respect to the system converges in      

A growth dichotomy for o-minimal expansions of ordered groups

Let be an o-minimal expansion of a divisible ordered abelian group with a distinguished positive element . Then the following dichotomy holds: Either there is a -definable binary operation such that is an ordered real closed field; or, for every definable function there exists a -definable with . This has some interesting consequences regarding groups definable in o-minimal structures. In particular, for an o-minimal structure there are, up to definable isomorphism, at most two continuous (with respect to the product topology induced by the order) -definable groups with underlying set .

     

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.

     

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 .