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 a nilpotent Lie algebra, over a field of characteristic zero, and its universal enveloping algebra. In this paper we study: (1) the prime ideal structure of related to finitely generated -modules , and in particular the set of associated primes for such (note that now is equal to the set of annihilator primes for ); (2) the problem of nontriviality for the modules when is a (maximal) prime of , and in particular when is the augmentation ideal of . We define the support of , as a natural generalization of the same notion from commutative theory, and show that it is the object of primary interest when dealing with (2). We also introduce and study the reduced localization and the reduced support, which enables to better understand the set . We prove the following generalization of a stability result given by W. Casselman and M. S. Osborne in the case when , as in the theorem, are abelian. We also present some of its interesting consequences.
Theorem. Let be a finite-dimensional Lie algebra over a field of characteristic zero, and an ideal of ; denote by the universal enveloping algebra of . Let be a -module which is finitely generated as an -module. Then every annihilator prime of , when is regarded as a -module, is -stable for the adjoint action of on .
Inspired by a paper of S. Popa and the classification theory of nuclear -algebras, we introduce a class of -algebras which we call tracially approximately finite dimensional (TAF). A TAF -algebra is not an AF-algebra in general, but a ``large' part of it can be approximated by finite dimensional subalgebras. We show that if a unital simple -algebra is TAF then it is quasidiagonal, and has real rank zero, stable rank one and weakly unperforated -group. All nuclear simple -algebras of real rank zero, stable rank one, with weakly unperforated -group classified so far by their -theoretical data are TAF. We provide examples of nonnuclear simple TAF -algebras. A sufficient condition for unital nuclear separable quasidiagonal -algebras to be TAF is also given. The main results include a characterization of simple rational AF-algebras. We show that a separable nuclear simple TAF -algebra satisfying the Universal Coefficient Theorem and having and is isomorphic to a simple AF-algebra with the same -theory.
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.
The main result of this paper is that the variety of presentations of a general cubic form in variables as a sum of cubes is isomorphic to the Fano variety of lines of a cubic -fold , in general different from .
A general surface of genus determines uniquely a pair of cubic -folds: the apolar cubic and the dual Pfaffian cubic (or for simplicity and ). As Beauville and Donagi have shown, the Fano variety of lines on the cubic is isomorphic to the Hilbert scheme of length two subschemes of . The first main result of this paper is that parametrizes the variety of presentations of the cubic form , with , as a sum of cubes, which yields an isomorphism between and . Furthermore, we show that sets up a correspondence between and . The main result follows by a deformation argument.
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.
Let be a reduced ring that is essentially of finite type over an excellent regular local ring of prime characteristic. Then it is shown that the test ideal of commutes with localization and, if is local, with completion, under the additional hypothesis that the tight closure of zero in the injective hull of the residue field of every local ring of is equal to the finitistic tight closure of zero in . It is conjectured that this latter condition holds for all local rings of prime characteristic; it is proved here for all Cohen-Macaulay singularities with at most isolated non-Gorenstein singularities, and in general for all isolated singularities. In order to prove the result on the commutation of the test ideal with localization and completion, a ring of Frobenius operators associated to each -module is introduced and studied. This theory gives rise to an ideal of which defines the non-strongly F-regular locus, and which commutes with localization and completion. This ideal is conjectured to be the test ideal of in general, and shown to equal the test ideal under the hypothesis that in every local ring of .
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.
Let be a finite group and let be a degree 1, -framed map such that and are simply connected, closed, oriented, smooth manifolds of dimension and such that the dimension of the singular set of the -space is at most . In the previous article, assuming is -connected, we defined the -equivariant surgery obstruction in a certain abelian group. There it was shown that if then is -framed cobordant to a homotopy equivalence . In the present article, we prove that the obstruction is a -framed cobordism invariant. Consequently, the -surgery obstruction is uniquely associated to above even if it is not -connected.
Fix integers with k>0$"> and . Let be an integral projective curve with and a rank torsion free sheaf on which is a flat limit of a family of locally free sheaves on . Here we prove the existence of a rank subsheaf of such that . We show that for every there is an integral projective curve not Gorenstein, and a rank 2 torsion free sheaf on with no rank 1 subsheaf with . We show the existence of torsion free sheaves on non-Gorenstein projective curves with other pathological properties.
Let and be right, full, Hilbert -modules over the algebras and respectively and let be a linear surjective isometry. Then can be extended to an isometry of the linking algebras. then is a sum of two maps: a (bi-)module map (which is completely isometric and preserves the inner product) and a map that reverses the (bi-)module actions. If (or ) is a factor von Neumann algebra, then every isometry is either a (bi-)module map or reverses the (bi-)module actions.
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 .
Generalized Eilenberg-Borsuk Theorem. Let be a countable CW complex. If is a separable metrizable space and is an absolute extensor of for some CW complex , then for any map , closed in , there is an extension of over an open set such that .
Theorem. Let be countable CW complexes. If is a separable metrizable space and is an absolute extensor of , then there is a subset of such that and .
Theorem. Suppose are countable, non-trivial, abelian groups and 0$">. For any separable metrizable space of finite dimension 0$">, there is a closed subset of with for .
Theorem. Suppose is a separable metrizable space of finite dimension and is a compactum of finite dimension. Then, for any , , there is a closed subset of such that and .
Theorem. Suppose is a metrizable space of finite dimension and is a compactum of finite dimension. If and are connected CW complexes, then
We prove that every continuum of weight is a continuous image of the Cech-Stone-remainder of the real line. It follows that under the remainder of the half line is universal among the continua of weight -- universal in the `mapping onto' sense.
We complement this result by showing that 1) under every continuum of weight less than is a continuous image of , 2) in the Cohen model the long segment of length is not a continuous image of , and 3) implies that is not a continuous image of , whenever is a -saturated ultrafilter.
We also show that a universal continuum can be gotten from a -saturated ultrafilter on , and that it is consistent that there is no universal continuum of weight .
Two other interesting results are included. First, we prove that for any , a -random real computable from a --random real is automatically --random. Second, we give a plain Kolmogorov complexity characterization of -randomness. This characterization is related to our proof that implies .
Let be the space of uniform ultrafilters on . If is regular, then there is an which is not an accumulation point of any subset of of size or less. is also good, in the sense of Keisler.
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.