Sufficient conditions for the convergence in distribution of an infinite convolution product of measures on a connected Lie group with respect to left invariant Haar measure are derived. These conditions are used to construct distributions that satisfy where is a refinement operator constructed from a measure and a dilation automorphism . The existence of implies is nilpotent and simply connected and the exponential map is an analytic homeomorphism. Furthermore, there exists a unique minimal compact subset such that for any open set containing and for any distribution on with compact support, there exists an integer such that implies If is supported on an -invariant uniform subgroup then is related, by an intertwining operator, to a transition operator on Necessary and sufficient conditions for to converge to , and for the -translates of to be orthogonal or to form a Riesz basis, are characterized in terms of the spectrum of the restriction of to functions supported on
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 .
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 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.
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 .
RÉSUMÉ. On considère dans un ouvert borné de , à bord régulier, le problème de Dirichlet
où , est positive et s'annule sur un ensemble fini de points de . On démontre alors sous certaines hypothèses sur et si est assez petit, que le problème (1) possède une solution convexe unique .
ABSTRACT. We consider in a bounded open set of , with regular boundary, the Dirichlet problem
where , is positive and vanishes on , a finite set of points in . We prove, under some hypothesis on and if is sufficiently small, that the problem (1) has a unique convex solution .
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.
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 .
The Macaulayfication of a Noetherian scheme is a birational proper morphism from a Cohen-Macaulay scheme to . In 1978 Faltings gave a Macaulayfication of a quasi-projective scheme if its non-Cohen-Macaulay locus is of dimension or . In the present article, we construct a Macaulayfication of Noetherian schemes without any assumption on the non-Cohen-Macaulay locus. Of course, a desingularization is a Macaulayfication and, in 1964, Hironaka already gave a desingularization of an algebraic variety over a field of characteristic . Our method, however, to construct a Macaulayfication is independent of the characteristic.
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.
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 .
Let be an -primary ideal in a Gorenstein local ring (, ) with , and assume that contains a parameter ideal in as a reduction. We say that is a good ideal in if is a Gorenstein ring with . The associated graded ring of is a Gorenstein ring with if and only if . Hence good ideals in our sense are good ones next to the parameter ideals in . A basic theory of good ideals is developed in this paper. We have that is a good ideal in if and only if and . First a criterion for finite-dimensional Gorenstein graded algebras over fields to have nonempty sets of good ideals will be given. Second in the case where we will give a correspondence theorem between the set and the set of certain overrings of . A characterization of good ideals in the case where will be given in terms of the goodness in their powers. Thanks to Kato's Riemann-Roch theorem, we are able to classify the good ideals in two-dimensional Gorenstein rational local rings. As a conclusion we will show that the structure of the set of good ideals in heavily depends on . The set may be empty if , while is necessarily infinite if and contains a field. To analyze this phenomenon we shall explore monomial good ideals in the polynomial ring in three variables over a field . Examples are given to illustrate the theorems.