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 .
For every two compact metric spaces and , both with dimension at most , there are dense -subsets of mappings and with .
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.
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 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 .
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.
Let be a smooth projective curve over a field . For each closed point of let be the coordinate ring of the affine curve obtained by removing from . Serre has proved that is isomorphic to the fundamental group, , of a graph of groups , where is a tree with at most one non-terminal vertex. Moreover the subgroups of attached to the terminal vertices of are in one-one correspondence with the elements of , the ideal class group of . This extends an earlier result of Nagao for the simplest case .
Serre's proof is based on applying the theory of groups acting on trees to the quotient graph , where is the associated Bruhat-Tits building. To determine he makes extensive use of the theory of vector bundles (of rank 2) over . In this paper we determine using a more elementary approach which involves substantially less algebraic geometry.
The subgroups attached to the edges of are determined (in part) by a set of positive integers , say. In this paper we prove that is bounded, even when Cl is infinite. This leads, for example, to new free product decomposition results for certain principal congruence subgroups of , involving unipotent and elementary matrices.
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.
We prove that if is consistent then is consistent with the following statement: There is for every a model of cardinality which is -equivalent to exactly non-isomorphic models of cardinality . In order to get this result we introduce ladder systems and colourings different from the ``standard' counterparts, and prove the following purely combinatorial result: For each prime number and positive integer it is consistent with that there is a ``good' ladder system having exactly pairwise nonequivalent colourings.
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.
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 .
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).