On orbital partitions and exceptionality of primitive permutation groups

Let and be transitive permutation groups on a set such that is a normal subgroup of . The overgroup induces a natural action on the set of non-trivial orbitals of on . In the study of Galois groups of exceptional covers of curves, one is led to characterizing the triples where fixes no elements of ; such triples are called exceptional. In the study of homogeneous factorizations of complete graphs, one is led to characterizing quadruples where is a partition of such that is transitive on ; such a quadruple is called a TOD (transitive orbital decomposition). It follows easily that the triple in a TOD is exceptional; conversely if an exceptional triple is such that is cyclic of prime-power order, then there exists a partition of such that is a TOD. This paper characterizes TODs such that is primitive and is cyclic of prime-power order. An application is given to the classification of self-complementary vertex-transitive graphs.

     

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

     

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 .

     

Morse index and uniqueness for positive solutions of radial -Laplace equations

We study the positive radial solutions of the Dirichlet problem in , 0$"> in , on , where , 1$">, is the -Laplace operator, is the unit ball in centered at the origin and is a function. We are able to get results on the spectrum of the linearized operator in a suitable weighted space of radial functions and derive from this information on the Morse index. In particular, we show that positive radial solutions of Mountain Pass type have Morse index 1 in the subspace of radial functions of . We use this to prove uniqueness and nondegeneracy of positive radial solutions when is of the type and .

     

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

     

Oppenheim conjecture for pairs consisting of a linear form and a quadratic form

Let be a nondegenerate quadratic form and a nonzero linear form of dimension 3$">. As a generalization of the Oppenheim conjecture, we prove that the set is dense in provided that and satisfy some natural conditions. The proof uses dynamics on homogeneous spaces of Lie groups.

     

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.

     

A join theorem for the computably enumerable degrees

It is shown that for any computably enumerable (c.e.) degree , if , then there is a c.e. degree such that (so is lowand is high). It follows from this and previous work of P. Cholak, M. Groszek and T. Slaman that the low and low c.e. degrees are not elementarily equivalent as partial orderings.

     

Linking numbers in rational homology -spheres, cyclic branched covers and infinite cyclic covers

We study the linking numbers in a rational homology -sphere and in the infinite cyclic cover of the complement of a knot. They take values in and in , respectively, where denotes the quotient field of . It is known that the modulo- linking number in the rational homology -sphere is determined by the linking matrix of the framed link and that the modulo- linking number in the infinite cyclic cover of the complement of a knot is determined by the Seifert matrix of the knot. We eliminate `modulo  ' and `modulo  '. When the finite cyclic cover of the -sphere branched over a knot is a rational homology -sphere, the linking number of a pair in the preimage of a link in the -sphere is determined by the Goeritz/Seifert matrix of the knot.

     

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 .

     

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

     

regularity of Fourier integral operators with caustics

The caustics of Fourier integral operators are defined as caustics of the corresponding Schwartz kernels (Lagrangian distributions on ). The caustic set of the canonical relation is characterized as the set of points where the rank of the projection is smaller than its maximal value, . We derive the estimates on Fourier integral operators with caustics of corank (such as caustics of type , ). For the values of and outside of a certain neighborhood of the line of duality, , the estimates are proved to be caustics-insensitive.

We apply our results to the analysis of the blow-up of the estimates on the half-wave operator just before the geodesic flow forms caustics.

     

Block representation type of reduced enveloping algebras

Let be an algebraically closed field of characteristic , a connected, reductive -group, , and the reduced enveloping algebra of associated with . Assume that is simply-connected, is good for and has a non-degenerate -invariant bilinear form. All blocks of having finite and tame representation type are determined.

     

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.

     

Radon transforms on affine Grassmannians

We develop an analytic approach to the Radon transform , where is a function on the affine Grassmann manifold of -dimensional planes in , and is a -dimensional plane in the similar manifold k$">. For , we prove that this transform is finite almost everywhere on if and only if , and obtain explicit inversion formulas. We establish correspondence between Radon transforms on affine Grassmann manifolds and similar transforms on standard Grassmann manifolds of linear subspaces of . It is proved that the dual Radon transform can be explicitly inverted for , and interpreted as a direct, ``quasi-orthogonal" Radon transform for another pair of affine Grassmannians. As a consequence we obtain that the Radon transform and the dual Radon transform are injective simultaneously if and only if . The investigation is carried out for locally integrable and continuous functions satisfying natural weak conditions at infinity.

     

Stability of parabolic Harnack inequalities

Let be a graph with weights for which a parabolic Harnack inequality holds with space-time scaling exponent . Suppose is another set of weights that are comparable to . We prove that this parabolic Harnack inequality also holds for with the weights . We also give stable necessary and sufficient conditions for this parabolic Harnack inequality to hold.

     

Cohomology operations for Lie algebras

If is a Lie algebra over and its centre, the natural inclusion extends to a representation of the exterior algebra of in the cohomology of . We begin a study of this representation by examining its Poincaré duality properties, its associated higher cohomology operations and its relevance to the toral rank conjecture. In particular, by using harmonic forms we show that the higher operations presented by Goresky, Kottwitz and MacPherson (1998) form a subalgebra of , and that they can be assembled to yield an explicit Hirsch-Brown model for the Borel construction associated to .

     

Lattice invariants and the center of the generic division ring

Let be a finite group, let be a -lattice, and let be a field of characteristic zero containing primitive roots of 1. Let be the quotient field of the group algebra of the abelian group . It is well known that if is quasi-permutation and -faithful, then is stably equivalent to . Let be the center of the division ring of generic matrices over . Let be the symmetric group on symbols. Let be a prime. We show that there exist a split group extension of by a -elementary group, a -faithful quasi-permutation -lattice , and a one-cocycle in such that is stably isomorphic to . This represents a reduction of the problem since we have a quasi-permutation action; however, the twist introduces a new level of complexity. The second result, which is a consequence of the first, is that, if is algebraically closed, there is a group extension of by an abelian -group such that is stably equivalent to the invariants of the Noether setting .