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.
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.
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.
Inspired by a paper of S. Popa and the classification theory of nuclear -algebras, we introduce a class of -algebras which we call tracially approximately finite dimensional (TAF). A TAF -algebra is not an AF-algebra in general, but a ``large' part of it can be approximated by finite dimensional subalgebras. We show that if a unital simple -algebra is TAF then it is quasidiagonal, and has real rank zero, stable rank one and weakly unperforated -group. All nuclear simple -algebras of real rank zero, stable rank one, with weakly unperforated -group classified so far by their -theoretical data are TAF. We provide examples of nonnuclear simple TAF -algebras. A sufficient condition for unital nuclear separable quasidiagonal -algebras to be TAF is also given. The main results include a characterization of simple rational AF-algebras. We show that a separable nuclear simple TAF -algebra satisfying the Universal Coefficient Theorem and having and is isomorphic to a simple AF-algebra with the same -theory.
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.
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.
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 .
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. 相似文献
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.
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 .
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.
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 .
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 .
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.