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.
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.
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.
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 .
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 .
Let be Singer's invariant-theoretic model of the dual of the lambda algebra with , where denotes the mod 2 Steenrod algebra. We prove that the inclusion of the Dickson algebra, , into is a chain-level representation of the Lannes-Zarati dual homomorphism
The Lannes-Zarati homomorphisms themselves, , correspond to an associated graded of the Hurewicz map
Based on this result, we discuss some algebraic versions of the classical conjecture on spherical classes, which states that Only Hopf invariant one and Kervaire invariant one classes are detected by the Hurewicz homomorphism. One of these algebraic conjectures predicts that every Dickson element, i.e. element in , of positive degree represents the homology class in for 2$">.
We also show that factors through , where denotes the differential of . Therefore, the problem of determining should be of interest.
A random variable satisfying the random variable dilation equation , where is a discrete random variable independent of with values in a lattice and weights and is an expanding and -preserving matrix, if absolutely continuous with respect to Lebesgue measure, will have a density which will satisfy a dilation equation
We have obtained necessary and sufficient conditions for the existence of the density and a simple sufficient condition for 's existence in terms of the weights Wavelets in can be generated in several ways. One is through a multiresolution analysis of generated by a compactly supported prescale function . The prescale function will satisfy a dilation equation and its lattice translates will form a Riesz basis for the closed linear span of the translates. The sufficient condition for the existence of allows a tractable method for designing candidates for multidimensional prescale functions, which includes the case of multidimensional splines. We also show that this sufficient condition is necessary in the case when is a prescale function.
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.
Let the mod 2 Steenrod algebra, , and the general linear group, , act on with in the usual manner. We prove the conjecture of the first-named author in Spherical classes and the algebraic transfer, (Trans. Amer. Math Soc. 349 (1997), 3893-3910) stating that every element of positive degree in the Dickson algebra is -decomposable in for arbitrary 2$">. This conjecture was shown to be equivalent to a weak algebraic version of the classical conjecture on spherical classes, which states that the only spherical classes in are the elements of Hopf invariant one and those of Kervaire invariant one.