The flat model structure on

Given a cotorsion pair in an abelian category with enough objects and enough objects, we define two cotorsion pairs in the category of unbounded chain complexes. We see that these two cotorsion pairs are related in a nice way when is hereditary. We then show that both of these induced cotorsion pairs are complete when is the ``flat' cotorsion pair of -modules. This proves the flat cover conjecture for (possibly unbounded) chain complexes and also gives us a new ``flat' model category structure on . In the last section we use the theory of model categories to show that we can define using a flat resolution of and a cotorsion coresolution of .

     

The cyclic and simplicial cohomology of

Let be the unital semigroup algebra of . We show that the cyclic cohomology groups vanish when is odd and are one dimensional when is even (). Using Connes' exact sequence, these results are used to show that the simplicial cohomology groups vanish for . The results obtained are extended to unital algebras for some other semigroups of .

     

The Whitney extension problem and Lipschitz selections of set-valued mappings in jet-spaces

We study a variant of the Whitney extension problem (1934) for the space . We identify with a space of Lipschitz mappings from into the space of polynomial fields on equipped with a certain metric. This identification allows us to reformulate the Whitney problem for as a Lipschitz selection problem for set-valued mappings into a certain family of subsets of . We prove a Helly-type criterion for the existence of Lipschitz selections for such set-valued mappings defined on finite sets. With the help of this criterion, we improve estimates for finiteness numbers in finiteness theorems for due to C. Fefferman.

     

properties for Gaussian random series

Let be an arbitrary sequence of and let be a random series of the type

where is a sequence of independent Gaussian random variables and an orthonormal basis of (the finite measure space being arbitrary). By using the equivalence of Gaussian moments and an integrability theorem due to Fernique, we show that a necessary and sufficient condition for to belong to , for any almost surely is that . One of the main motivations behind this result is the construction of a nontrivial Gibbs measure invariant under the flow of the cubic defocusing nonlinear Schrödinger equation posed on the open unit disc of .

     

Arithmetic rigidity and units in group rings

For any finite group the group of units in the integral group ring is an arithmetic group in a reductive algebraic group, namely the Zariski closure of . In particular, the isomorphism type of the -algebra determines the commensurability class of ; we show that, to a large extent, the converse is true. In fact, subject to a certain restriction on the -representations of the converse is exactly true.

     

Serre's generalization of Nagao's theorem: An elementary approach

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.

     

Uniqueness of volume-minimizing submanifolds calibrated by the first Pontryagin form

One way to understand the geometry of the real Grassmann manifold parameterizing oriented -dimensional subspaces of is to understand the volume-minimizing subvarieties in each homology class. Some of these subvarieties can be determined by using a calibration. In previous work, one of the authors calculated the set of -planes calibrated by the first Pontryagin form on for all , and identified a family of mutually congruent round -spheres which are consequently homologically volume-minimizing. In the present work, we associate to the family of calibrated planes a Pfaffian system on the symmetry group , an analysis of which yields a uniqueness result; namely, that any connected submanifold of calibrated by is contained in one of these -spheres. A similar result holds for -calibrated submanifolds of the quotient Grassmannian of non-oriented -planes.

     

Strongly self-absorbing -algebras

Say that a separable, unital -algebra is strongly self-absorbing if there exists an isomorphism such that and are approximately unitarily equivalent -homomorphisms. We study this class of algebras, which includes the Cuntz algebras , , the UHF algebras of infinite type, the Jiang-Su algebra and tensor products of with UHF algebras of infinite type. Given a strongly self-absorbing -algebra we characterise when a separable -algebra absorbs tensorially (i.e., is -stable), and prove closure properties for the class of separable -stable -algebras. Finally, we compute the possible -groups and prove a number of classification results which suggest that the examples listed above are the only strongly self-absorbing -algebras.

     

The flat model structure on complexes of sheaves

Let be the category of chain complexes of -modules on a topological space (where is a sheaf of rings on ). We put a Quillen model structure on this category in which the cofibrant objects are built out of flat modules. More precisely, these are the dg-flat complexes. Dually, the fibrant objects will be called dg-cotorsion complexes. We show that this model structure is monoidal, solving the previous problem of not having any monoidal model structure on . As a corollary, we have a general framework for doing homological algebra in the category of -modules. I.e., we have a natural way to define the functors and in .

     

Spherical classes and the Lambda algebra

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.

     

The zero set of semi-invariants for extended Dynkin quivers

We show that the set of common zeros of all semi-invariants vanishing at 0 on the variety of all representations with dimension vector of an extended Dynkin quiver under the group is a complete intersection if is ``big enough'. In case does not contain an open -orbit, which is the case not considered so far, the number of irreducible components of grows with , except if is an oriented cycle.

     

How to make a triangulation of polytopal

We introduce a numerical isomorphism invariant for any triangulation of . Although its definition is purely topological (inspired by the bridge number of knots), reflects the geometric properties of . Specifically, if is polytopal or shellable, then is ``small' in the sense that we obtain a linear upper bound for in the number of tetrahedra of . Conversely, if is ``small', then is ``almost' polytopal, since we show how to transform into a polytopal triangulation by local subdivisions. The minimal number of local subdivisions needed to transform into a polytopal triangulation is at least . Using our previous results [The size of triangulations supporting a given link, Geometry & Topology 5 (2001), 369-398], we obtain a general upper bound for exponential in . We prove here by explicit constructions that there is no general subexponential upper bound for in . Thus, we obtain triangulations that are ``very far' from being polytopal. Our results yield a recognition algorithm for that is conceptually simpler, although somewhat slower, than the famous Rubinstein-Thompson algorithm.

     

On supports and associated primes of modules over the enveloping algebras of nilpotent Lie algebras

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 .

     

Ribbon tile invariants

Let be a finite set of tiles, and a set of regions tileable by . We introduce a tile counting group as a group of all linear relations for the number of times each tile can occur in a tiling of a region . We compute the tile counting group for a large set of ribbon tiles, also known as rim hooks, in a context of representation theory of the symmetric group.

The tile counting group is presented by its set of generators, which consists of certain new tile invariants. In a special case these invariants generalize the Conway-Lagarias invariant for tromino tilings and a height invariant which is related to computation of characters of the symmetric group.

The heart of the proof is the known bijection between rim hook tableaux and certain standard skew Young tableaux. We also discuss signed tilings by the ribbon tiles and apply our results to the tileability problem.

     

On the commutativity of the algebra of invariant differential operators on certain nilpotent homogeneous spaces

Let be a simply connected connected real nilpotent Lie group with Lie algebra , a connected closed subgroup of with Lie algebra and satisfying . Let be the unitary character of with differential at the origin. Let be the unitary representation of induced from the character of . We consider the algebra of differential operators invariant under the action of on the bundle with basis associated to these data. We consider the question of the equivalence between the commutativity of and the finite multiplicities of . Corwin and Greenleaf proved that if is of finite multiplicities, this algebra is commutative. We show that the converse is true in many cases.

     

Boundary relations and their Weyl families

The concepts of boundary relations and the corresponding Weyl families are introduced. Let be a closed symmetric linear operator or, more generally, a closed symmetric relation in a Hilbert space , let be an auxiliary Hilbert space, let

and let be defined analogously. A unitary relation from the Krein space to the Krein space is called a boundary relation for the adjoint if . The corresponding Weyl family is defined as the family of images of the defect subspaces , , under . Here need not be surjective and is even allowed to be multi-valued. While this leads to fruitful connections between certain classes of holomorphic families of linear relations on the complex Hilbert space and the class of unitary relations , it also generalizes the notion of so-called boundary value space and essentially extends the applicability of abstract boundary mappings in the connection of boundary value problems. Moreover, these new notions yield, for instance, the following realization theorem: every -valued maximal dissipative (for ) holomorphic family of linear relations is the Weyl family of a boundary relation, which is unique up to unitary equivalence if certain minimality conditions are satisfied. Further connections between analytic and spectral theoretical properties of Weyl families and geometric properties of boundary relations are investigated, and some applications are given.

     

Spectral lifting in Banach algebras and interpolation in several variables

Let be a unital Banach algebra and let be a closed two-sided ideal of . We prove that if any invertible element of has an invertible lifting in , then the quotient homomorphism is a spectral interpolant. This result is used to obtain a noncommutative multivariable analogue of the spectral commutant lifting theorem of Bercovici, Foias, and Tannenbaum. This yields spectral versions of Sarason, Nevanlinna-Pick, and Carathéodory type interpolation for , the WOT-closed algebra generated by the spatial tensor product of the noncommutative analytic Toeplitz algebra and , the algebra of bounded operators on a finite dimensional Hilbert space . A spectral tangential commutant lifting theorem in several variables is considered and used to obtain a spectral tangential version of the Nevanlinna-Pick interpolation for .

In particular, we obtain interpolation theorems for matrix-valued bounded analytic functions on the open unit ball of , in which one bounds the spectral radius of the interpolant and not the norm.

     

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.