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 .

     

Analytic contractions, nontangential limits, and the index of invariant subspaces

Let be a Hilbert space of analytic functions on the open unit disc such that the operator of multiplication with the identity function defines a contraction operator. In terms of the reproducing kernel for we will characterize the largest set such that for each , the meromorphic function has nontangential limits a.e. on . We will see that the question of whether or not has linear Lebesgue measure 0 is related to questions concerning the invariant subspace structure of .

We further associate with a second set , which is defined in terms of the norm on . For example, has the property that for all if and only if has linear Lebesgue measure 0.

It turns out that a.e., by which we mean that has linear Lebesgue measure 0. We will study conditions that imply that a.e.. As one corollary to our results we will show that if dim and if there is a such that for all and all we have , then a.e. and the following four conditions are equivalent:

(1) for some ,

(2) for all , ,

(3) has nonzero Lebesgue measure,

(4) every nonzero invariant subspace of has index 1, i.e., satisfies dim .

     

Structural interactions of conjugacy closed loops

We study conjugacy closed loops by means of their multiplication groups. Let be a conjugacy closed loop, its nucleus, the associator subloop, and and the left and right multiplication groups, respectively. Put . We prove that the cosets of agree with orbits of , that and that one can define an abelian group on . We also explain why the study of finite conjugacy closed loops can be restricted to the case of nilpotent. Group is shown to be a subgroup of a power of (which is abelian), and we prove that can be embedded into . Finally, we describe all conjugacy closed loops of order .

     

On the unique representation of families of sets

Let and be uncountable Polish spaces. represents a family of sets provided each set in occurs as an -section of . We say that uniquely represents provided each set in occurs exactly once as an -section of . is universal for if every -section of is in . is uniquely universal for if it is universal and uniquely represents . We show that there is a Borel set in which uniquely represents the translates of if and only if there is a Vitali set. Assuming there is a Borel set with all sections sets and all non-empty sets are uniquely represented by . Assuming there is a Borel set with all sections which uniquely represents the countable subsets of . There is an analytic set in with all sections which represents all the subsets of , but no Borel set can uniquely represent the sets. This last theorem is generalized to higher Borel classes.

     

Projective manifolds with small pluridegrees

Let be a very ample line bundle on a connected complex projective manifold of dimension . Except for a short list of degenerate pairs , and there exists a morphism expressing as the blowup of a projective manifold at a finite set , with nef and big for the ample line bundle . The projective geometry of is largely controlled by the pluridegrees for , of . For example, , where is the genus of a curve section of , and is equal to the self-intersection of the canonical divisor of the minimal model of a surface section of . In this article, a detailed analysis is made of the pluridegrees of . The restrictions found are used to give a new lower bound for the dimension of the space of sections of . The inequalities for the pluridegrees, that are presented in this article, will be used in a sequel to study the sheet number of the morphism associated to .

     

The Cauchy problem and integrability of a modified Euler-Poisson equation

We prove that the periodic initial value problem for a modified Euler-Poisson equation is well-posed for initial data in when . We also study the analytic regularity of this problem and prove a Cauchy-Kowalevski type theorem. After presenting a formal derivation of the equation on the semidirect product space as a Hamiltonian equation, we concentrate on one space dimension () and show that the equation is bihamiltonian.

     

Decomposition numbers for weight three blocks of symmetric groups and Iwahori-Hecke algebras

Let be a field, a non-zero element of and the Iwahori-Hecke algebra of the symmetric group . If is a block of of -weight and the characteristic of is at least , we prove that the decomposition numbers for are all at most . In particular, the decomposition numbers for a -block of of defect are all at most .

     

Serre duality for non-commutative -bundles

Let be a smooth scheme of finite type over a field , let be a locally free -bimodule of rank , and let be the non-commutative symmetric algebra generated by . We construct an internal functor, , on the category of graded right -modules. When has rank 2, we prove that is Gorenstein by computing the right derived functors of . When is a smooth projective variety, we prove a version of Serre Duality for using the right derived functors of .

     

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.

     

An analogue of the Descartes-Euler formula for infinite graphs and Higuchi's conjecture

Let be a connected 2-manifold without boundary obtained from a (possibly infinite) collection of polygons by identifying them along edges of equal length. Let be the set of vertices, and for every , let denote the (Gaussian) curvature of : minus the sum of incident polygon angles. Descartes showed that whenever may be realized as the surface of a convex polytope in . More generally, if is made of finitely many polygons, Euler's formula is equivalent to the equation where is the Euler characteristic of . Our main theorem shows that whenever converges and there is a positive lower bound on the distance between any pair of vertices in , there exists a compact closed 2-manifold and an integer so that is homeomorphic to minus points, and further .

In the special case when every polygon is regular of side length one and for every vertex , we apply our main theorem to deduce that is made of finitely many polygons and is homeomorphic to either the 2-sphere or to the projective plane. Further, we show that unless is a prism, antiprism, or the projective planar analogue of one of these that . This resolves a recent conjecture of Higuchi.

     

Existence of renormalized solutions to nonlinear elliptic equations with two lower order terms and measure data

In this paper we prove the existence of a renormalized solution to a class of nonlinear elliptic problems whose prototype is

where is a bounded open subset of , , is the so-called Laplace operator, , is a Radon measure with bounded variation on , , , and and belong to the Lorentz spaces , , and , respectively. In particular we prove the existence under the assumptions that , belongs to the Lorentz space , , and is small enough.

     

Invariant distributions supported on the nilpotent cone of a semisimple Lie algebra

Let be a semisimple complex Lie algebra with adjoint group and be the algebra of differential operators with polynomial coefficients on . If is a real form of , we give the decomposition of the semisimple -module of invariant distributions on supported on the nilpotent cone.

     

Equivalence of quotient Hilbert modules-II

For any open, connected and bounded set , let be a natural function algebra consisting of functions holomorphic on . Let be a Hilbert module over the algebra and let be the submodule of functions vanishing to order on a hypersurface . Recently the authors have obtained an explicit complete set of unitary invariants for the quotient module in the case of . In this paper, we relate these invariants to familiar notions from complex geometry. We also find a complete set of unitary invariants for the general case. We discuss many concrete examples in this setting. As an application of our equivalence results, we characterise certain homogeneous Hilbert modules over the bi-disc algebra.

     

One-dimensional asymptotic classes of finite structures

A collection of finite -structures is a 1-dimensional asymptotic class if for every and every formula , where :

(i)

There is a positive constant and a finite set such that for every and , either , or for some ,

(ii)

For every , there is an -formula , such that is precisely the set of with

One-dimensional asymptotic classes are introduced and studied here. These classes come equipped with a notion of dimension that is intended to provide for the study of classes of finite structures a concept that is central in the development of model theory for infinite structures. Connections with the model theory of infinite structures are also drawn.

     

Higher-order Alexander invariants and filtrations of the knot concordance group

We establish certain ``nontriviality' results for several filtrations of the smooth and topological knot concordance groups. First, as regards the n-solvable filtration of the topological knot concordance group, , defined by K. Orr, P. Teichner and the first author:

we refine the recent nontriviality results of Cochran and Teichner by including information on the Alexander modules. These results also extend those of C. Livingston and the second author. We exhibit similar structure in the closely related symmetric Grope filtration of . We also show that the Grope filtration of the smooth concordance group is nontrivial using examples that cannot be distinguished by the Ozsváth-Szabó -invariant nor by J. Rasmussen's -invariant. Our broader contribution is to establish, in ``the relative case', the key homological results whose analogues Cochran-Orr-Teichner established in ``the absolute case'.

We say two knots and are concordant modulo -solvability if . Our main result is that, for any knot whose classical Alexander polynomial has degree greater than 2, and for any positive integer , there exist infinitely many knots that are concordant to modulo -solvability, but are all distinct modulo -solvability. Moreover, the and share the same classical Seifert matrix and Alexander module as well as sharing the same higher-order Alexander modules and Seifert presentations up to order .

     

Completely isometric representations of

Let be a locally compact group. It is shown that there exists a natural completely isometric representation of the completely bounded Fourier multiplier algebra , which is dual to the representation of the measure algebra , on . The image algebras of and in are intrinsically characterized, and some commutant theorems are proved. It is also shown that for any amenable group , there is a natural completely isometric representation of on , which can be regarded as a duality result of Neufang's completely isometric representation theorem for .