Let , be finite-dimensional Lie algebras over a field of characteristic zero. Regard and , the dual Lie coalgebra of , as Lie bialgebras with zero cobracket and zero bracket, respectively. Suppose that a matched pair of Lie bialgebras is given, which has structure maps . Then it induces a matched pair of Hopf algebras, where is the universal envelope of and is the Hopf dual of . We show that the group of cleft Hopf algebra extensions associated with is naturally isomorphic to the group of Lie bialgebra extensions associated with . An exact sequence involving either of these groups is obtained, which is a variation of the exact sequence due to G.I. Kac. If , there follows a bijection between the set of all cleft Hopf algebra extensions of by and the set of all Lie bialgebra extensions of by .
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 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.
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.
For every two compact metric spaces and , both with dimension at most , there are dense -subsets of mappings and with .
We prove the Farrell-Jones Isomorphism Conjecture for groups acting properly discontinuously via isometries on (real) hyperbolic -space with finite volume orbit space. We then apply this result to show that, for any Bianchi group , , , and vanish for .
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.
Let denote a sequence of complex numbers ( 0, \gamma _{ij}=\bar{\gamma}_{ji}$">), and let denote a closed subset of the complex plane . The Truncated Complex -Moment Problem for entails determining whether there exists a positive Borel measure on such that ( ) and . For a semi-algebraic set determined by a collection of complex polynomials , we characterize the existence of a finitely atomic representing measure with the fewest possible atoms in terms of positivity and extension properties of the moment matrix and the localizing matrices . We prove that there exists a -atomic representing measure for supported in if and only if and there is some rank-preserving extension for which , where or .
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 .
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.
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 .
For each irrational number , with continued fraction expansion , we classify, up to translation, the one dimensional almost periodic tilings which can be constructed by the projection method starting with a line of slope . The invariant is a sequence of integers in the space and whenever modulo the equivalence relation generated by tail equivalence and . Each tile in a tiling , of slope , is coded by an integer . Using a composition operation, we produce a sequence of tilings . Each tile in gets absorbed into a tile in . A choice of a starting tile in will thus produce a sequence in . This is the invariant.
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 .
Genus zero Willmore surfaces immersed in the three-sphere correspond via the stereographic projection to minimal surfaces in Euclidean three-space with finite total curvature and embedded planar ends. The critical values of the Willmore functional are , where , with . When the ambient space is the four-sphere , the regular homotopy class of immersions of the two-sphere is determined by the self-intersection number ; here we shall prove that the possible critical values are , where . Moreover, if , the corresponding immersion, or its antipodal, is obtained, via the twistor Penrose fibration , from a rational curve in and, if , via stereographic projection, from a minimal surface in with finite total curvature and embedded planar ends. An immersion lies in both families when the rational curve is contained in some or (equivalently) when the minimal surface of is complex with respect to a suitable complex structure of .