Let be an odd prime number and let be an extraspecial -group. The purpose of the paper is to show that has no non-zero essential mod- cohomology (and in fact that is Cohen-Macaulay) if and only if and .
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 .
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 the group of automorphisms of a homogeneous tree and let be the tensor product of two spherical irreducible unitary representations of . We complete the explicit decomposition of commenced in part I of this paper, by describing the discrete series representations of which appear as subrepresentations of .
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 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 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.
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
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 a Banach function algebra on a compact space , and let be such that for any scalar the element is not a divisor of zero. We show that any complete norm topology on that makes the multiplication by continuous is automatically equivalent to the original norm topology of . Related results for general Banach spaces are also discussed.
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.
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.
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.
If is a binary cubic form with integer coefficients such that has at least two distinct complex roots, then the equation possesses at most ten solutions in integers and , nine if has a nontrivial automorphism group. If, further, is reducible over , then this equation has at most solutions, unless is equivalent under -action to either or . The proofs of these results rely upon the method of Thue-Siegel as refined by Evertse, together with lower bounds for linear forms in logarithms of algebraic numbers and techniques from computational Diophantine approximation. Along the way, we completely solve all Thue equations for cubic and irreducible of positive discriminant . As corollaries, we obtain bounds for the number of solutions to more general cubic Thue equations of the form and to Mordell's equation , where and are nonzero integers.
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.
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. 相似文献