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.

     

Cut numbers of -manifolds

We investigate the relations between the cut number, and the first Betti number, of -manifolds We prove that the cut number of a ``generic' -manifold is at most This is a rather unexpected result since specific examples of -manifolds with large and are hard to construct. We also prove that for any complex semisimple Lie algebra there exists a -manifold with and Such manifolds can be explicitly constructed.

     

The -module structure of -modules

Let be a regular ring, essentially of finite type over a perfect field . An -module is called a unit -module if it comes equipped with an isomorphism , where denotes the Frobenius map on , and is the associated pullback functor. It is well known that then carries a natural -module structure. In this paper we investigate the relation between the unit -structure and the induced -structure on . In particular, it is shown that if is algebraically closed and is a simple finitely generated unit -module, then it is also simple as a -module. An example showing the necessity of being algebraically closed is also given.

     

Ramsey families of subtrees of the dyadic tree

We show that for every rooted, finitely branching, pruned tree of height there exists a family which consists of order isomorphic to subtrees of the dyadic tree with the following properties: (i) the family is a subset of ; (ii) every perfect subtree of contains a member of ; (iii) if is an analytic subset of , then for every perfect subtree of there exists a perfect subtree of such that the set either is contained in or is disjoint from .

     

On one-dimensional self-similar tilings and -tiles

Let be an integer base, a digit set and the set of radix expansions. It is well known that if has nonvoid interior, then can tile with some translation set ( is called a tile and a tile digit set). There are two fundamental questions studied in the literature: (i) describe the structure of ; (ii) for a given , characterize so that is a tile.

We show that for a given pair , there is a unique self-replicating translation set , and it has period for some . This completes some earlier work of Kenyon. Our main result for (ii) is to characterize the tile digit sets for when are distinct primes. The only other known characterization is for , due to Lagarias and Wang. The proof for the case depends on the techniques of Kenyon and De Bruijn on the cyclotomic polynomials, and also on an extension of the product-form digit set of Odlyzko.

     

Invariance in and

We define , a substructure of (the lattice of classes), and show that a quotient structure of , , is isomorphic to . The result builds on the isomorphism machinery, and allows us to transfer invariant classes from to , though not, in general, orbits. Further properties of and ramifications of the isomorphism are explored, including degrees of equivalence classes and degree invariance.

     

-hyponormality of finite rank perturbations of unilateral weighted shifts

In this paper we explore finite rank perturbations of unilateral weighted shifts . First, we prove that the subnormality of is never stable under nonzero finite rank perturbations unless the perturbation occurs at the zeroth weight. Second, we establish that 2-hyponormality implies positive quadratic hyponormality, in the sense that the Maclaurin coefficients of are nonnegative, for every , where denotes the orthogonal projection onto the basis vectors . Finally, for strictly increasing and 2-hyponormal, we show that for a small finite-rank perturbation of , the shift remains quadratically hyponormal.

     

Weighted estimates in for Laplace's equation on Lipschitz domains

Let , , be a bounded Lipschitz domain. For Laplace's equation in , we study the Dirichlet and Neumann problems with boundary data in the weighted space , where , is a fixed point on , and denotes the surface measure on . We prove that there exists such that the Dirichlet problem is uniquely solvable if , and the Neumann problem is uniquely solvable if . If is a domain, one may take . The regularity for the Dirichlet problem with data in the weighted Sobolev space is also considered. Finally we establish the weighted estimates with general weights for the Dirichlet and regularity problems.

     

A new variational characterization of -dimensional space forms

A Riemannian manifold is associated with a Schouten -tensor which is a naturally defined Codazzi tensor in case is a locally conformally flat Riemannian manifold. In this paper, we study the Riemannian functional defined on , where is the space of smooth Riemannian metrics on a compact smooth manifold and is the elementary symmetric functions of the eigenvalues of with respect to . We prove that if and a conformally flat metric is a critical point of with , then must have constant sectional curvature. This is a generalization of Gursky and Viaclovsky's very recent theorem that the critical point of with characterized the three-dimensional space forms.

     

Hyperbolic -spheres with conical singularities, accessory parameters and Kähler metrics on

We show that the real-valued function on the moduli space of pointed rational curves, defined as the critical value of the Liouville action functional on a hyperbolic -sphere with conical singularities of arbitrary orders , generates accessory parameters of the associated Fuchsian differential equation as their common antiderivative. We introduce a family of Kähler metrics on parameterized by the set of orders , explicitly relate accessory parameters to these metrics, and prove that the functions are their Kähler potentials.

     

A sharp weak type inequality for martingale transforms and other subordinate martingales

If is a martingale difference sequence, a sequence of numbers in , and a positive integer, then

Here denotes the best constant. If , then as was shown by Burkholder. We show here that for the case 2$">, and that is also the best constant in the analogous inequality for two martingales and indexed by , right continuous with limits from the left, adapted to the same filtration, and such that is nonnegative and nondecreasing in . In Section 7, we prove a similar inequality for harmonic functions.

     

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.

     

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 .

     

Estimates of the derivatives for parabolic operators with unbounded coefficients

We consider a class of second-order uniformly elliptic operators with unbounded coefficients in . Using a Bernstein approach we provide several uniform estimates for the semigroup generated by the realization of the operator in the space of all bounded and continuous or Hölder continuous functions in . As a consequence, we obtain optimal Schauder estimates for the solution to both the elliptic equation (0$">) and the nonhomogeneous Dirichlet Cauchy problem . Then, we prove two different kinds of pointwise estimates of that can be used to prove a Liouville-type theorem. Finally, we provide sharp estimates of the semigroup in weighted -spaces related to the invariant measure associated with the semigroup.

     

Quivers with relations arising from clusters case)

Cluster algebras were introduced by S. Fomin and A. Zelevinsky in connection with dual canonical bases. Let be a cluster algebra of type . We associate to each cluster of an abelian category such that the indecomposable objects of are in natural correspondence with the cluster variables of which are not in . We give an algebraic realization and a geometric realization of . Then, we generalize the ``denominator theorem' of Fomin and Zelevinsky to any cluster.

     

Maximal holonomy of infra-nilmanifolds with -dimensional quaternionic Heisenberg geometry

Let be the quaternionic Heisenberg group of real dimension and let denote the maximal order of the holonomy groups of all infra-nilmanifolds with -geometry. We prove that . As an application, by applying Kim and Parker's result, we obtain that the minimum volume of a -dimensional quaternionic hyperbolic manifold with cusps is at least

     

Integral homology -spheres and the Johnson filtration

The mapping class group of an oriented surface of genus with one boundary component has a natural decreasing filtration , where is the kernel of the action of on the nilpotent quotient of . Using a tree Lie algebra approximating the graded Lie algebra we prove that any integral homology sphere of dimension has for some a Heegaard decomposition of the form , where and is such that . This proves a conjecture due to S. Morita and shows that the ``core' of the Casson invariant is indeed the Casson invariant.

     

-manifolds with planar presentations and the width of satellite knots

We consider compact -manifolds having a submersion to in which each generic point inverse is a planar surface. The standard height function on a submanifold of is a motivating example. To we associate a connectivity graph . For , is a tree if and only if there is a Fox reimbedding of which carries horizontal circles to a complete collection of complementary meridian circles. On the other hand, if the connectivity graph of is a tree, then there is a level-preserving reimbedding of so that is a connected sum of handlebodies.

Corollary.

The width of a satellite knot is no less than the width of its pattern knot and so

.

     

Exponential sums on , II

We prove a vanishing theorem for the -adic cohomology of exponential sums on . In particular, we obtain new classes of exponential sums on that have a single nonvanishing -adic cohomology group. The dimension of this cohomology group equals a sum of Milnor numbers.