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 also prove that for each individual point , the -level correlation diverges at any point as , and we give an explicit lower bound for the rate of divergence.
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 .
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.
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 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.
We prove that for the set of Cauchy problems of dimension which have a global solution is -complete and that the set of ordinary differential equations which have a global solution for every initial condition is -complete. The first result still holds if we restrict ourselves to second order equations (in dimension one). We also prove that for the set of Cauchy problems of dimension which have a global solution even if we perturb a bit the initial condition is -complete.
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.
We show that there is only one embedding of in at the prime , up to self-maps of . We also describe the effect of the group of self-equivalences of at the prime on this embedding and then show that the Friedlander exceptional isogeny composed with a suitable Adams map is an involution of whose homotopy fixed point set coincide with
The two main theorems proved here are as follows: If is a finite dimensional algebra over an algebraically closed field, the identity component of the algebraic group of outer automorphisms of is invariant under derived equivalence. This invariance is obtained as a consequence of the following generalization of a result of Voigt. Namely, given an appropriate geometrization of the family of finite -module complexes with fixed sequence of dimensions and an ``almost projective' complex , there exists a canonical vector space embedding
where is the pertinent product of general linear groups acting on , tangent spaces at are denoted by , and is identified with its image in the derived category .
Given a closed set , the set of all points at which the metric projection onto is multi-valued is nonempty if and only if is nonconvex. The authors analyze such a set, characterizing the unbounded connected components of . For compact, the existence of an asymptote for any unbounded component of is obtained.