Contractive projections and operator spaces

Parallel to the study of finite-dimensional Banach spaces, there is a growing interest in the corresponding local theory of operator spaces. We define a family of Hilbertian operator spaces , , generalizing the row and column Hilbert spaces and , and we show that an atomic subspace that is the range of a contractive projection on is isometrically completely contractive to an -sum of the and Cartan factors of types 1 to 4. In particular, for finite-dimensional , this answers a question posed by Oikhberg and Rosenthal. Explicit in the proof is a classification up to complete isometry of atomic w-closed -triples without an infinite-dimensional rank 1 w-closed ideal.

     

Normal cones of monomial primes

We explicitly calculate the normal cones of all monomial primes which define the curves of the form , where . All of these normal cones are reduced and Cohen-Macaulay, and their reduction numbers are independent of the reduction. These monomial primes are new examples of integrally closed ideals for which the product with the maximal homogeneous ideal is also integrally closed.

Substantial use was made of the computer algebra packages Maple and Macaulay2.

     

Good ideals in Gorenstein local rings

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.

     

Hilbert schemes, polygraphs and the Macdonald positivity conjecture

We study the isospectral Hilbert scheme , defined as the reduced fiber product of with the Hilbert scheme of points in the plane , over the symmetric power . By a theorem of Fogarty, is smooth. We prove that is normal, Cohen-Macaulay and Gorenstein, and hence flat over . We derive two important consequences.

(1) We prove the strong form of the conjecture of Garsia and the author, giving a representation-theoretic interpretation of the Kostka-Macdonald coefficients . This establishes the Macdonald positivity conjecture, namely that .

(2) We show that the Hilbert scheme is isomorphic to the -Hilbert scheme of Nakamura, in such a way that is identified with the universal family over . From this point of view, describes the fiber of a character sheaf at a torus-fixed point of corresponding to .

The proofs rely on a study of certain subspace arrangements , called polygraphs, whose coordinate rings carry geometric information about . The key result is that is a free module over the polynomial ring in one set of coordinates on . This is proven by an intricate inductive argument based on elementary commutative algebra.

     

RRF rings which are not LRF

Define a ringA to be RRF (respectively LRF) if every right (respectively left)A-module is residually finite. We determine the necessary and sufficient conditions for a formal triangular matrix ring to be RRF (respectively LRF). Using this we give examples of RRF rings which are not LRF.     

Gorenstein flatness and injectivity over Gorenstein rings

Let R be a Gorenstein ring.We prove that if I is an ideal of R such that R/I is a semi-simple ring,then the Gorenstein flat dimension of R/I as a right R-module and the Gorenstein injective dimension of R/I as a left R-module are identical.In addition,we prove that if R→S is a homomorphism of rings and SE is an injective cogenerator for the category of left S-modules,then the Gorenstein flat dimension of S as a right R-module and the Gorenstein injective dimension of E as a left R-module are identical.We also give some applications of these results.     

Cohomology of projective space seen by residual complex

A subcomplex of a residual complex on projective space is constructed for computing the cohomology modules of locally free sheaves. A constructive new proof of the Bott formula is given by explicitly exhibiting bases for the cohomology modules.

     

Structure of H0R characters the ring R

For a commutative ring R, its related characterizations are given by investigating the structure and properties of H0R. Furthermore, by virtue of H0 structure, some important characterizations of CPF properties and connected properties on K0R are obtained from related rings.     

Structure of H0R characters the ring R

For a commutative ringR, its related characterizations are given by investigating the structure and properties ofH ₀ R. Furthermore, by virtue ofH ₀ structure, some important characterizations of CPF properties and connected properties onK ₀ R are obtained from related rings.     

Finiteness conditions in the stable module category

We study groups whose cohomology functors commute with filtered colimits in high dimensions. We relate this condition to the existence of projective resolutions which exhibit some finiteness properties in high dimensions, and to the existence of Eilenberg–Mac Lane spaces with finitely many n-cells for all sufficiently large n. To that end, we determine the structure of completely finitary Gorenstein projective modules over group rings. The methods are inspired by representation theory and make use of the stable module category, in which morphisms are defined through complete cohomology. In order to carry out these methods, we need to restrict ourselves to certain classes of hierarchically decomposable groups.