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.
Let be a complete discrete valuation domain with the unique maximal ideal . We suppose that is an algebra over an algebraically closed field and . Subamalgam -suborders of a tiled -order are studied in the paper by means of the integral Tits quadratic form . A criterion for a subamalgam -order to be of tame lattice type is given in terms of the Tits quadratic form and a forbidden list of minor -suborders of presented in the tables.
along rays of representations in a positive Weyl chamber , i.e. for sequences of representations , with . As a corollary we obtain some estimates on the spectral radius of the random walk. We also analyse the fine structure of the spectrum for certain random walks on (for which is essentially a direct sum of Harper operators).
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 .
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 .
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.
where is an ordered sequence of intervals on the right half line (that is, b_{n}$">). Assume that the lengths of the intervals are bounded and that the spaces between consecutive intervals are bounded and bounded away from zero. Let . Let and denote respectively the cone of bounded, positive harmonic functions in and the cone of positive harmonic functions in which satisfy the Dirichlet boundary condition on and the Neumann boundary condition on .
Letting , the main result of this paper, under a modest assumption on the sequence , may be summarized as follows when :
1. If , then and are both one-dimensional (as in the case of the Neumann boundary condition on the entire boundary). In particular, this occurs if with 2$">.
2. If and , then and is one-dimensional. In particular, this occurs if .
3. If , then and the set of minimal elements generating is isomorphic to (as in the case of the Dirichlet boundary condition on the entire boundary). In particular, this occurs if with .
When , as soon as there is at least one interval of Dirichlet boundary condition. The dichotomy for is as above.
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 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 .
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
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 .
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 .