Asymptotic behaviour of arithmetically Cohen-Macaulay blow-ups

This paper addresses problems on arithmetic Macaulayfications of projective schemes. We give a surprising complete answer to a question poised by Cutkosky and Herzog. Let be the blow-up of a projective scheme along the ideal sheaf of . It is known that there are embeddings for , where denotes the maximal generating degree of , and that there exists a Cohen-Macaulay ring of the form (which gives an arithmetic Macaulayfication of ) if and only if , for , and is equidimensional and Cohen-Macaulay. We show that under these conditions, there are well-determined invariants and such that is Cohen-Macaulay for all d(I)e + \varepsilon$"> and e_0$">, and that these bounds are the best possible. We also investigate the existence of a Cohen-Macaulay Rees algebra of the form . If has negative -invariant, we prove that such a Cohen-Macaulay Rees algebra exists if and only if , for 0$">, and is equidimensional and Cohen-Macaulay. Moreover, these conditions imply the Cohen-Macaulayness of for all d(I)e + \varepsilon$"> and e_0$">.

     

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 .

     

Generating continuous mappings with Lipschitz mappings

If is a metric space, then and denote the semigroups of continuous and Lipschitz mappings, respectively, from to itself. The relative rank of modulo is the least cardinality of any set where generates . For a large class of separable metric spaces we prove that the relative rank of modulo is uncountable. When is the Baire space , this rank is . A large part of the paper emerged from discussions about the necessity of the assumptions imposed on the class of spaces from the aforementioned results.

     

On Ore's conjecture and its developments

The -component of the index of a number field , , depends only on the completions of at the primes over . More precisely, equals the index of the -algebra . If is normal, then for some normal over and some , and we write for its index. In this paper we describe an effective procedure to compute for all and all normal and tamely ramified extensions of , hence to determine for all Galois number fields that are tamely ramified at . Using our procedure, we are able to exhibit a counterexample to a conjecture of Nart (1985) on the behaviour 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.

     

Associativity of crossed products by partial actions, enveloping actions and partial representations

Given a partial action of a group on an associative algebra , we consider the crossed product . Using the algebras of multipliers, we generalize a result of Exel (1997) on the associativity of obtained in the context of -algebras. In particular, we prove that is associative, provided that is semiprime. We also give a criterion for the existence of a global extension of a given partial action on an algebra, and use crossed products to study relations between partial actions of groups on algebras and partial representations. As an application we endow partial group algebras with a crossed product structure.

     

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.

     

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.

     

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.

     

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.

     

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 .

     

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 .

     

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 .

     

Topological dynamics on moduli spaces II

Let be an orientable genus 0$"> surface with boundary . Let be the mapping class group of fixing . The group acts on the space of -gauge equivalence classes of flat -connections on with fixed holonomy on . We study the topological dynamics of the -action and give conditions for the individual -orbits to be dense in .

     

Definably simple groups in o-minimal structures

Let be a group definable in an o-minimal structure . A subset of is -definable if is definable in the structure (while definable means definable in the structure ). Assume has no -definable proper subgroup of finite index. In this paper we prove that if has no nontrivial abelian normal subgroup, then is the direct product of -definable subgroups such that each is definably isomorphic to a semialgebraic linear group over a definable real closed field. As a corollary we obtain an o-minimal analogue of Cherlin's conjecture.

     

Analytic models for commuting operator tuples on bounded symmetric domains

For a domain in and a Hilbert space of analytic functions on which satisfies certain conditions, we characterize the commuting -tuples of operators on a separable Hilbert space  such that is unitarily equivalent to the restriction of to an invariant subspace, where is the operator -tuple on the Hilbert space tensor product  . For the unit disc and the Hardy space , this reduces to a well-known theorem of Sz.-Nagy and Foias; for a reproducing kernel Hilbert space on such that the reciprocal of its reproducing kernel is a polynomial in and  , this is a recent result of Ambrozie, Müller and the second author. In this paper, we extend the latter result by treating spaces for which ceases to be a polynomial, or even has a pole: namely, the standard weighted Bergman spaces (or, rather, their analytic continuation) on a Cartan domain corresponding to the parameter in the continuous Wallach set, and reproducing kernel Hilbert spaces for which is a rational function. Further, we treat also the more general problem when the operator is replaced by ,  being a certain generalization of a unitary operator tuple. For the case of the spaces on Cartan domains, our results are based on an analysis of the homogeneous multiplication operators on , which seems to be of an independent interest.

     

Minimal polynomials and radii of elements in finite-dimensional power-associative algebras

In the first section of this paper we revisit the definition and some of the properties of the minimal polynomial of an element of a finite-dimensional power-associative algebra over an arbitrary field . Our main observation is that , the minimal polynomial of , may depend not only on , but also on the underlying algebra. More precisely, if is a subalgebra of , and if is the minimal polynomial of in , then may differ from , in which case we have .

In the second section we restrict attention to the case where is either the real or the complex numbers, and define , the radius of an element in , to be the largest root in absolute value of the minimal polynomial of . We show that possesses some of the familiar properties of the classical spectral radius. In particular, we prove that is a continuous function on .

In the third and last section, we deal with stability of subnorms acting on subsets of finite-dimensional power-associative algebras. Following a brief survey, we enhance our understanding of the subject with the help of our findings of the previous section. Our main new result states that if , a subset of an algebra , satisfies certain assumptions, and is a continuous subnorm on , then is stable on if and only if majorizes the radius defined above.

     

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 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 .

     

Weak amenability of triangular Banach algebras

Let and be unital Banach algebras, and let be a Banach -module. Then becomes a triangular Banach algebra when equipped with the Banach space norm . A Banach algebra is said to be -weakly amenable if all derivations from into its dual space are inner. In this paper we investigate Arens regularity and -weak amenability of a triangular Banach algebra in relation to that of the algebras , and their action on the module .