The geometry of profinite graphs with applications to free groups and finite monoids

We initiate the study of the class of profinite graphs defined by the following geometric property: for any two vertices and of , there is a (unique) smallest connected profinite subgraph of containing them; such graphs are called tree-like. Profinite trees in the sense of Gildenhuys and Ribes are tree-like, but the converse is not true. A profinite group is then said to be dendral if it has a tree-like Cayley graph with respect to some generating set; a Bass-Serre type characterization of dendral groups is provided. Also, such groups (including free profinite groups) are shown to enjoy a certain small cancellation condition.

We define a pseudovariety of groups to be arboreous if all finitely generated free pro- groups are dendral (with respect to a free generating set). Our motivation for studying such pseudovarieties of groups is to answer several open questions in the theory of profinite topologies and the theory of finite monoids. We prove, for arboreous pseudovarieties , a pro- analog of the Ribes and Zalesski product theorem for the profinite topology on a free group. Also, arboreous pseudovarieties are characterized as precisely the solutions to the much studied pseudovariety equation .

     

On peak-interpolation manifolds for

Let be a bounded, weakly convex domain in , , having real-analytic boundary. is the algebra of all functions holomorphic in and continuous up to the boundary. A submanifold is said to be complex-tangential if lies in the maximal complex subspace of for each . We show that for real-analytic submanifolds , if is complex-tangential, then every compact subset of is a peak-interpolation set for .

     

The peak algebra and the descent algebras of types B and D

We show the existence of a unital subalgebra of the symmetric group algebra linearly spanned by sums of permutations with a common peak set, which we call the peak algebra. We show that is the image of the descent algebra of type B under the map to the descent algebra of type A which forgets the signs, and also the image of the descent algebra of type D. The algebra contains a two-sided ideal which is defined in terms of interior peaks. This object was introduced in previous work by Nyman (2003); we find that it is the image of certain ideals of the descent algebras of types B and D. We derive an exact sequence of the form . We obtain this and many other properties of the peak algebra and its peak ideal by first establishing analogous results for signed permutations and then forgetting the signs. In particular, we construct two new commutative semisimple subalgebras of the descent algebra (of dimensions and by grouping permutations according to their number of peaks or interior peaks. We discuss the Hopf algebraic structures that exist on the direct sums of the spaces and over and explain the connection with previous work of Stembridge (1997); we also obtain new properties of his descents-to-peaks map and construct a type B analog.

     

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 .

     

A separable Brown-Douglas-Fillmore theorem and weak stability

We give a separable Brown-Douglas-Fillmore theorem. Let be a separable amenable -algebra which satisfies the approximate UCT, be a unital separable amenable purely infinite simple -algebra and be two monomorphisms. We show that and are approximately unitarily equivalent if and only if We prove that, for any 0$"> and any finite subset , there exist 0$"> and a finite subset satisfying the following: for any amenable purely infinite simple -algebra and for any contractive positive linear map such that

for all there exists a homomorphism such that

provided, in addition, that are finitely generated. We also show that every separable amenable simple -algebra with finitely generated -theory which is in the so-called bootstrap class is weakly stable with respect to the class of amenable purely infinite simple -algebras. As an application, related to perturbations in the rotation -algebras studied by U. Haagerup and M. Rørdam, we show that for any irrational number and any 0$"> there is 0$"> such that in any unital amenable purely infinite simple -algebra if

for a pair of unitaries, then there exists a pair of unitaries and in such that

     

Hermitian metrics inducing the Poincaré metric, in the leaves of a singular holomorphic foliation by curves

In this paper we consider the problem of uniformization of the leaves of a holomorphic foliation by curves in a complex manifold . We consider the following problems: 1. When is the uniformization function , with respect to some metric , continuous? It is known that the metric induces the Poincaré metric on the leaves. 2. When is the metric complete? We extend the concept of ultra-hyperbolic metric, introduced by Ahlfors in 1938, for singular foliations by curves, and we prove that if there exists a complete ultra-hyperbolic metric , then is continuous and is complete. In some local cases we construct such metrics, including the saddle-node (Theorem 1) and singularities given by vector fields with the first non-zero jet isolated (Theorem 2). We also give an example where for any metric , is not complete (§3.2).

     

Localization for a porous medium type equation in high dimensions

We prove the strict localization for a porous medium type equation with a source term, , , 1$">, \sigma +1$">, 0,$"> in the case of arbitrary compactly supported initial functions . We also otain an estimate of the size of the localization in terms of the support of the initial data and the blow-up time . Our results extend the well-known one dimensional result of Galaktionov and solve an open question regarding high dimensions.

     

Spectral properties and dynamics of quantized Henon maps

We study a generalization of the Airy function, and use its properties to investigate the dynamics and spectral properties of the unitary operators on of the form , where is a real polynomial of odd degree, is a real number, and is the Fourier transform. We show that is a quantization of the classical Henon map

and show that for 0$"> sufficiently large, has purely continuous spectrum. This fact has implications for the dynamics of , which are shown to correspond when the condition is satisfied to the dynamics of its classical counterpart on .

     

On the representation of integers as linear combinations of consecutive values of a polynomial

Let be a cyclotomic field with ring of integers and let be a polynomial whose values on belong to . If the ideal of generated by the values of on is itself, then every algebraic integer of may be written in the following form:

for some integer , where the 's are roots of unity of . Moreover, there are two effective constants and such that the least integer (for a fixed ) is less than , where

     

On Diophantine definability and decidability in some infinite totally real extensions of

Let be a number field, and a set of its non-Archimedean primes. Then let . Let be a finite set of prime numbers. Let be the field generated by all the -th roots of unity as and . Let be the largest totally real subfield of . Then for any 0$">, there exist a number field , and a set of non-Archimedean primes of such that has density greater than , and has a Diophantine definition over the integral closure of in .

     

Finite dimensional representations of invariant differential operators

Let be an algebraically closed field of characteristic , , and let be an algebraic torus acting diagonally on the ring of algebraic differential operators . We give necessary and sufficient conditions for to have enough simple finite dimensional representations, in the sense that the intersection of the kernels of all the simple finite dimensional representations is zero. As an application we show that if is a representation of a reductive group and if zero is not a weight of a maximal torus of on , then has enough finite dimensional representations. We also construct examples of FCR-algebras with any integer GK dimension .

     

Koszul homology and extremal properties of Gin and Lex

For every homogeneous ideal in a polynomial ring and for every we consider the Koszul homology with respect to a sequence of of generic linear forms. The Koszul-Betti number is, by definition, the dimension of the degree part of . In characteristic , we show that the Koszul-Betti numbers of any ideal are bounded above by those of the gin-revlex of and also by those of the Lex-segment of . We show that iff is componentwise linear and that and iff is Gotzmann. We also investigate the set of all the gin of and show that the Koszul-Betti numbers of any ideal in are bounded below by those of the gin-revlex of . On the other hand, we present examples showing that in general there is no is such that the Koszul-Betti numbers of any ideal in are bounded above by those of .

     

Profinite and pro- completions of Poincaré duality groups of dimension 3

We establish some sufficient conditions for the profinite and pro- completions of an abstract group of type (resp. of finite cohomological dimension, of finite Euler characteristic) to be of type over the field for a fixed natural prime (resp. of finite cohomological -dimension, of finite Euler -characteristic).

We apply our methods for orientable Poincaré duality groups of dimension 3 and show that the pro- completion of is a pro- Poincaré duality group of dimension 3 if and only if every subgroup of finite index in has deficiency 0 and is infinite. Furthermore if is infinite but not a Poincaré duality pro- group, then either there is a subgroup of finite index in of arbitrary large deficiency or is virtually . Finally we show that if every normal subgroup of finite index in has finite abelianization and the profinite completion of has an infinite Sylow -subgroup, then is a profinite Poincaré duality group of dimension 3 at the prime .

     

Subvarieties of general type on a general projective hypersurface

We study subvarieties of a general projective degree hypersurface . Our main theorem, which improves previous results of L. Ein and C. Voisin, implies in particular the following sharp corollary: any subvariety of a general hypersurface , for and , is of general type.

     

Effective cones of quotients of moduli spaces of stable -pointed curves of genus zero

Let , the moduli space of -pointed stable genus zero curves, and let be the quotient of by the action of on the last marked points. The cones of effective divisors , , are calculated. Using this, upper bounds for the cones generated by divisors with moving linear systems are calculated, , along with the induced bounds on the cones of ample divisors of and . As an application, the cone is analyzed in detail.

     

Poincaré's closed geodesic on a convex surface

We present a new proof for the existence of a simple closed geodesic on a convex surface . This result is due originally to Poincaré. The proof uses the -dimensional Riemannian manifold of piecewise geodesic closed curves on with a fixed number of corners, chosen sufficiently large. In we consider a submanifold formed by those elements of which are simple regular and divide into two parts of equal total curvature . The main burden of the proof is to show that the energy integral , restricted to , assumes its infimum. At the end we give some indications of how our methods yield a new proof also for the existence of three simple closed geodesics on .

     

Maps between non-commutative spaces

Let be a graded ideal in a not necessarily commutative graded -algebra in which for all . We show that the map induces a closed immersion between the non-commutative projective spaces with homogeneous coordinate rings and . We also examine two other kinds of maps between non-commutative spaces. First, a homomorphism between not necessarily commutative -graded rings induces an affine map from a non-empty open subspace . Second, if is a right noetherian connected graded algebra (not necessarily generated in degree one), and is a Veronese subalgebra of , there is a map ; we identify open subspaces on which this map is an isomorphism. Applying these general results when is (a quotient of) a weighted polynomial ring produces a non-commutative resolution of (a closed subscheme of) a weighted projective space.