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.

     

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 .

     

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 .

     

Stable and finite Morse index solutions on or on bounded domains with small diffusion

In this paper, we study bounded solutions of on (where and sometimes ) and show that, for most 's, the weakly stable and finite Morse index solutions are quite simple. We then use this to obtain a very good understanding of the stable and bounded Morse index solutions of on with Dirichlet or Neumann boundary conditions for small .

     

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.

     

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 .

     

On restrictions of modular spin representations of symmetric and alternating groups

Let be an algebraically closed field of characteristic and be an almost simple group or a central extension of an almost simple group. An important problem in representation theory is to classify the subgroups of and -modules such that the restriction is irreducible. For example, this problem is a natural part of the program of describing maximal subgroups in finite classical groups. In this paper we investigate the case of the problem where is the Schur's double cover or .

     

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.

     

Strongly singular convolution operators on the Heisenberg group

We consider the mapping properties of a model class of strongly singular integral operators on the Heisenberg group ; these are convolution operators on whose kernels are too singular at the origin to be of Calderón-Zygmund type. This strong singularity is compensated for by introducing a suitably large oscillation.

Our results are obtained by utilizing the group Fourier transform and uniform asymptotic forms for Laguerre functions due to Erdélyi.

     

Hardy inequalities with optimal constants and remainder terms

We show that the classical Hardy inequalities with optimal constants in the Sobolev spaces and in higher-order Sobolev spaces on a bounded domain can be refined by adding remainder terms which involve norms. In the higher-order case further norms with lower-order singular weights arise. The case being more involved requires a different technique and is developed only in the space .

     

Fundamental solutions for non-divergence form operators on stratified groups

We construct the fundamental solutions and for the non-divergence form operators and , where the 's are Hörmander vector fields generating a stratified group and is a positive-definite matrix with Hölder continuous entries. We also provide Gaussian estimates of and its derivatives and some results for the relevant Cauchy problem. Suitable long-time estimates of allow us to construct using both -saturation and approximation arguments.

     

On the divergence of the Rogers-Ramanujan continued fraction on the unit circle

This paper studies ordinary and general convergence of the Rogers-Ramanujan continued fraction.

Let the continued fraction expansion of any irrational number be denoted by and let the -th convergent of this continued fraction expansion be denoted by . Let

where . Let . It is shown that if , then the Rogers-Ramanujan continued fraction diverges at . is an uncountable set of measure zero. It is also shown that there is an uncountable set of points such that if , then does not converge generally.

It is further shown that does not converge generally for 1$">. However we show that does converge generally if is a primitive -th root of unity, for some . Combining this result with a theorem of I. Schur then gives that the continued fraction converges generally at all roots of unity.

     

Systems of diagonal Diophantine inequalities

We treat systems of real diagonal forms of degree , in variables. We give a lower bound , which depends only on and , such that if holds, then, under certain conditions on the forms, and for any positive real number , there is a nonzero integral simultaneous solution of the system of Diophantine inequalities for . In particular, our result is one of the first to treat systems of inequalities of even degree. The result is an extension of earlier work by the author on quadratic forms. Also, a restriction in that work is removed, which enables us to now treat combined systems of Diophantine equations and inequalities.

     

A unified approach to improved Hardy inequalities with best constants

We present a unified approach to improved Hardy inequalities in . We consider Hardy potentials that involve either the distance from a point, or the distance from the boundary, or even the intermediate case where the distance is taken from a surface of codimension . In our main result, we add to the right hand side of the classical Hardy inequality a weighted norm with optimal weight and best constant. We also prove nonhomogeneous improved Hardy inequalities, where the right hand side involves weighted norms, .

     

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 .

     

Zero entropy, non-integrable geodesic flows and a non-commutative rotation vector

Let be a -step nilpotent Lie algebra; we say is non-integrable if, for a generic pair of points , the isotropy algebras do not commute: . Theorem: If is a simply-connected -step nilpotent Lie group, is non-integrable, is a cocompact subgroup, and is a left-invariant Riemannian metric, then the geodesic flow of on is neither Liouville nor non-commutatively integrable with first integrals. The proof uses a generalization of the rotation vector pioneered by Benardete and Mitchell.

     

A general theory of almost convex functions

Let be the standard -dimensional simplex and let . Then a function with domain a convex set in a real vector space is -almost convex iff for all and the inequality

holds. A detailed study of the properties of -almost convex functions is made. If contains at least one point that is not a vertex, then an extremal -almost convex function is constructed with the properties that it vanishes on the vertices of and if is any bounded -almost convex function with on the vertices of , then for all . In the special case , the barycenter of , very explicit formulas are given for and . These are of interest, as and are extremal in various geometric and analytic inequalities and theorems.

     

Asymptotic relations among Fourier coefficients of automorphic eigenfunctions

A detailed stationary phase analysis is presented for noncompact parameter ranges of the family of elementary eigenfunctions on the hyperbolic plane , , the eigenvalue, and the Macdonald-Bessel function. The phase velocity of on is a double-valued vector field, the tangent field to the pencil of geodesics tangent to the horocycle . For a multi-term stationary phase expansion is presented in for uniform in parameters. An application is made to find an asymptotic relation for the Fourier coefficients of a family of automorphic eigenfunctions. In particular, for automorphic with coefficients and eigenvalue it is shown for the special range that is for large, improving by an order of magnitude for this special range upon the estimate from the general Hecke bound . An exposition of the WKB asymptotics of the Macdonald-Bessel functions is presented.

     

Spinors as automorphisms of the tangent bundle

We show that, on a -manifold endowed with a -structure induced by an almost-complex structure, a self-dual (positive) spinor field is the same as a bundle morphism acting on the fiber by self-dual conformal transformations, such that the Clifford multiplication is just the evaluation of on tangent vectors, and that the squaring map acts by pulling-back the fundamental form of the almost-complex structure. We use this to detect Kähler and symplectic structures.

     

Boundary correspondence of Nevanlinna counting functions for self-maps of the unit disc

Let be a holomorphic self-map of the unit disc . For every , there is a measure on (sometimes called Aleksandrov measure) defined by the Poisson representation . Its singular part measures in a natural way the ``affinity' of for the boundary value . The affinity for values inside is provided by the Nevanlinna counting function of . We introduce a natural measure-valued refinement of and establish that the measures are obtained as boundary values of the refined Nevanlinna counting function . More precisely, we prove that is the weak limit of whenever converges to non-tangentially outside a small exceptional set . We obtain a sharp estimate for the size of in the sense of capacity.