Let be a closed submanifold of a complete smooth Riemannian manifold and the total space of the unit normal bundle of . For each , let denote the distance from to the cut point of on the geodesic with the velocity vector The continuity of the function on is well known. In this paper we prove that is locally Lipschitz on which is bounded; in particular, if and are compact, then is globally Lipschitz on . Therefore, the canonical interior metric may be introduced on each connected component of the cut locus of and this metric space becomes a locally compact and complete length space.
Let be a commutative ring and an ideal in which is locally generated by a regular sequence of length . Then, each f. g. projective -module has an -projective resolution of length . In this paper, we compute the homology of the -th Koszul complex associated with the homomorphism for all , if . This computation yields a new proof of the classical Adams-Riemann-Roch formula for regular closed immersions which does not use the deformation to the normal cone any longer. Furthermore, if , we compute the homology of the complex where and denote the functors occurring in the Dold-Kan correspondence.
Let be an algebraically closed field of characteristic zero. Let be the ring of (-linear) differential operators with coefficients from a regular commutative affine domain of Krull dimension which is the tensor product of two regular commutative affine domains of Krull dimension . Simple holonomic -modules are described. Let a -algebra be a regular affine commutative domain of Krull dimension and be the ring of differential operators with coefficients from . We classify (up to irreducible elements of a certain Euclidean domain) simple -modules (the field is not necessarily algebraically closed).
This paper proves that a connected matroid in which a largest circuit and a largest cocircuit have and elements, respectively, has at most elements. It is also shown that if is an element of and and are the sizes of a largest circuit containing and a largest cocircuit containing , then . Both these bounds are sharp and the first is proved using the second. The second inequality is an interesting companion to Lehman's width-length inequality which asserts that the former inequality can be reversed for regular matroids when and are replaced by the sizes of a smallest circuit containing and a smallest cocircuit containing . Moreover, it follows from the second inequality that if and are distinct vertices in a -connected loopless graph , then cannot exceed the product of the length of a longest -path and the size of a largest minimal edge-cut separating from .
On the rank of the -class group of . Let be a square-free positive integer and be a prime such that . We set , where or . In this paper, we determine the rank of the -class group of .
RÉSUMÉ. Soit , un corps biquadratique où ou bien un premier et étant un entier positif sans facteurs carrés. Dans ce papier, on détermine le rang du -groupe de classes de .
We prove that is sufficient to construct a model in which is measurable and is a closed and unbounded subset of containing only inaccessible cardinals of . Gitik proved that is necessary.
We also calculate the consistency strength of the existence of such a set together with the assumption that is Mahlo, weakly compact, or Ramsey. In addition we consider the possibility of having the set generate the closed unbounded ultrafilter of while remains measurable, and show that Radin forcing, which requires a weak repeat point, cannot be improved on.
For an nonnegative matrix , an isomorphism is obtained between the lattice of initial subsets (of ) for and the lattice of -invariant faces of the nonnegative orthant . Motivated by this isomorphism, we generalize some of the known combinatorial spectral results on a nonnegative matrix that are given in terms of its classes to results for a cone-preserving map on a polyhedral cone, formulated in terms of its invariant faces. In particular, we obtain the following extension of the famous Rothblum index theorem for a nonnegative matrix: If leaves invariant a polyhedral cone , then for each distinguished eigenvalue of for , there is a chain of distinct -invariant join-irreducible faces of , each containing in its relative interior a generalized eigenvector of corresponding to (referred to as semi-distinguished -invariant faces associated with ), where is the maximal order of distinguished generalized eigenvectors of corresponding to , but there is no such chain with more than members. We introduce the important new concepts of semi-distinguished -invariant faces, and of spectral pairs of faces associated with a cone-preserving map, and obtain several properties of a cone-preserving map that mostly involve these two concepts, when the underlying cone is polyhedral, perfect, or strictly convex and/or smooth, or is the cone of all real polynomials of degree not exceeding that are nonnegative on a closed interval. Plentiful illustrative examples are provided. Some open problems are posed at the end.
Let be the group of automorphisms of a homogeneous tree , and let be a lattice subgroup of . Let be the tensor product of two spherical irreducible unitary representations of . We give an explicit decomposition of the restriction of to . We also describe the spherical component of explicitly, and this decomposition is interpreted as a multiplication formula for associated orthogonal polynomials.
We show that a simply connected homotopy associative and homotopy commutative mod -space with finitely generated mod cohomology is homotopy equivalent to a finite product of , , the three-connected cover and the homotopy fiber of the map for . Our result also shows that a connected -space in the sense of Sugawara with finitely generated mod cohomology has the homotopy type of a finite product of , and for .
Let be a group with a normal subgroup contained in the upper central subgroup . In this article we study the influence of the quotient group on the lower central subgroup . In particular, for any finite group we give bounds on the order and exponent of . For equal to a dihedral group, or quaternion group, or extra-special group we list all possible groups that can arise as . Our proofs involve: (i) the Baer invariants of , (ii) the Schur multiplier of relative to a normal subgroup , and (iii) the nonabelian tensor product of groups. Some results on the nonabelian tensor product may be of independent interest.
Let be a bounded symmetric domain in a complex vector space with a real form and be the real bounded symmetric domain in the real vector space . We construct the Berezin kernel and consider the Berezin transform on the -space on . The corresponding representation of is then unitarily equivalent to the restriction to of a scalar holomorphic discrete series of holomorphic functions on and is also called the canonical representation. We find the spectral symbol of the Berezin transform under the irreducible decomposition of the -space.
A standing conjecture in -cohomology says that every finite -complex is of -determinant class. In this paper, we prove this whenever the fundamental group belongs to a large class of groups containing, e.g., all extensions of residually finite groups with amenable quotients, all residually amenable groups, and free products of these. If, in addition, is -acyclic, we also show that the -determinant is a homotopy invariant -- giving a short and easy proof independent of and encompassing all known cases. Under suitable conditions we give new approximation formulas for -Betti numbers.
We study the finite groups for which the set of irreducible complex character degrees consists of the two most extreme possible values, that is, and . We are easily reduced to finite -groups, for which we derive the following group theoretical characterization: they are the -groups such that is a square and whose only normal subgroups are those containing or contained in . By analogy, we also deal with -groups such that is not a square, and we prove that if and only if a similar property holds: for any , either or . The proof of these results requires a detailed analysis of the structure of the -groups with any of the conditions above on normal subgroups, which is interesting for its own sake. It is especially remarkable that these groups have small nilpotency class and that, if the nilpotency class is greater than , then the index of the centre is small, and in some cases we may even bound the order of .
Let be a hyperbolic diffeomorphism on a basic set and let be a connected Lie group. Let be Hölder. Assuming that satisfies a natural partial hyperbolicity assumption, we show that if is a measurable solution to a.e., then must in fact be Hölder. Under an additional centre bunching condition on , we show that if assigns `weight' equal to the identity to each periodic orbit of , then for some Hölder . These results extend well-known theorems due to Livsic when is compact or abelian.
Kadison has shown that local derivations from a von Neumann algebra into any dual bimodule are derivations. In this paper we extend this result to local derivations from any -algebra into any Banach -bimodule . Most of the work is involved with establishing this result when is a commutative -algebra with one self-adjoint generator. A known result of the author about Jordan derivations then completes the argument. We show that these results do not extend to the algebra of continuously differentiable functions on . We also give an automatic continuity result, that is, we show that local derivations on -algebras are continuous even if not assumed a priori to be so.