We prove explicit upper bounds for the torsional rigidity of extrinsic domains of minimal submanifolds $P^m$ in ambient Riemannian manifolds $N^n$ with a pole $p$. The upper bounds are given in terms of the torsional rigidities of corresponding Schwarz symmetrizations of the domains in warped product model spaces. Our main results are obtained via previously established isoperimetric inequalities, which are here extended to hold for this more general setting based on warped product comparison spaces. We also characterize the geometry of those situations in which the upper bounds for the torsional rigidity are actually attained and give conditions under which the geometric average of the stochastic mean exit time for Brownian motion at infinity is finite.

Let $N$ be a natural number and $A \subseteq [1, \dots, N]^2$ be a set of cardinality at least $N^2 / (\log \log N)^c$, where $c > 0$ is an absolute constant. We prove that $A$ contains a triple $\{(k, m), (k+d, m), (k, m+d) \}$, where $d > 0$. This theorem is a two-dimensional generalization of Szemerédi's theorem on arithmetic progressions.

The Hardy operator $T_a$ on a tree $\Gamma$ is defined by \[ (T_af)(x):=v(x) \int^x_a f(t)u(t)\,dt \quad \mbox{for } a, x\in \Gamma. \] Properties of $T_a$ as a map from $L^p(\Gamma)$ into itself are established for $1\le p \le \infty$. The main result is that, with appropriate assumptions on $u$ and $v$, the approximation numbers $a_n(T_a)$ of $T_a$ satisfy \begin{equation*} \tag{$*$} \lim_{n\rightarrow \infty} na_n(T_a) = \alpha_p\int_{\Gamma}|uv|\,dt \end{equation*} for a specified constant $\alpha_p$ and $1 p<\infty$. This extends results of Naimark, Newman and Solomyak for $p=2$. Hitherto, for $p\neq 2$, $(*)$ was unknown even when $\Gamma$ is an interval. Also, upper and lower estimates for the $l^q$ and weak-$l^q$ norms of $\{a_n(T_a)\}$ are determined.

2000 Mathematical Subject Classification: 47G10, 47B10.

Let $G$ be a geometrically finite Kleinian group with parabolic elements and let $p$ be any parabolic fixed point of $G$. For each positive real $\tau$, let ${\cal W}_{p}(\tau)$ denote the set of limit points of $G$ for which the inequality $$ | x-g(p) | \leq |g^\prime(0)|^{\tau}$$ is satisfied for infinitely many elements $g$ in $G$. This subset of the limit set is precisely the analogue of the set of $\tau$-well approximable numbers in the classical theory of metric Diophantine approximation. In this paper we consider the following question. What is the `size' of the set ${\cal W}_{p}(\tau)$ expressed in terms of its Hausdorff dimension? We provide a complete answer, namely that for $\tau \geq 1$,$$ \dim {\cal W}_{p} (\tau) = \min \left\{ \frac{\delta + \mbox{rk}(p) (\tau - 1) }{2 \tau - 1}, \, \frac{\delta}{\tau}\right\},$$ where $\mbox{rk}(p)$ denotes the rank of the parabolic fixed point $p$.

1991 Mathematics Subject Classification: 11K55, 11K60, 11F99, 58D20.

We prove that, if $M > 4(1+2\sqrt{3})$ and $\varepsilon > 0$, if $\mathcal{V}$ and $\mathcal{W}$ are complex JBW*-triples (with preduals $\mathcal{V}_{*}$ and $\mathcal{W}_{*}$, respectively), and if $U$ is a separately weak*-continuous bilinear form on $\mathcal{V} \times \mathcal{W}$, then there exist norm-one functionals $\varphi_{1},\varphi_{2}\in \mathcal{V}_{*}$ and $\psi_{1},\psi_{2}\in \mathcal{W}_{*}$ satisfying |U(x,y)| \leq M \,\|U\| ( \|x\|_{\varphi_{2}}^{2} + \varepsilon^{2} \, \|x\|_{\varphi_{1}}^{2} )^{\frac 12} ( \|y\|_{\psi_{2}}^{2} + \varepsilon^{2} \, \|y\|_{\psi_{1}}^{2} )^{\frac 12} for all $(x,y)\in \mathcal{V} \times \mathcal{W}$. Here, for a norm-one functional $\varphi$ on a complex JB*-triple $\mathcal{V}$, $\|\cdot\|_{\varphi}$ stands for the prehilbertian seminorm on $\mathcal{V}$ associated to $\varphi$ given by $\|x\|_{\varphi}^{2} := \varphi \{x,x,z\}$ for all $x\in \mathcal{W}$, where $z\in \mathcal{V}^{**}$ satisfies $\varphi (z) = \|z\|=1$. We arrive at this form of ‘Grothendieck's inequality’ through results of C.-H. Chu, B. Iochum, and G. Loupias, and an amended version of the ‘little Grothendieck's inequality’ for complex JB*-triples due to T. Barton and Y. Friedman. We also obtain extensions of these results to the setting of real JB*-triples. 2000 Mathematical Subject Classification: 17C65, 46K70, 46L05, 46L10, 46L70.

Following the work of Chevalley and Warning, Ax obtained a bound on the $p$-divisibility of exponential sums involving multi-variable polynomials of fixed degree $d$ over a finite field of characteristic $p$. This bound was subsequently improved by Katz. More recently, Moreno and Moreno, and Adolphson and Sperber, derived bounds that in many instances improved upon the Ax–Katz result. Here we derive a tight bound on the $p$-divisibility of the exponential sums. While exact computation of this bound requires the solution of a system of modular equations, approximations are provided which in several classes of examples, improve on the results of Chevalley and Warning, Ax and Katz, Adolphson and Sperber, and Moreno and Moreno. All of the above results readily translate into bounds on the $p$-divisibility of the number of zeros of multi-variable polynomials.

An important consequence of one of our main results is a method to find classes of examples for which bounds on divisibility of the number of solutions of a system of polynomial equations over finite fields are tight. In particular, we give classes of examples for which the Moreno–Moreno bound is tight.

It is important to note that we have also found applications of our results to coding theory (computation of the covering radius of certain codes) and to Waring's problem over finite fields. These will be described elsewhere.

This paper constructs hyper-homology spectral sequences of $\mathbb{Z}$-graded and $RO_{G}$-graded Mackey functors that compute $\mathrm{Ext}$ and $\mathrm{Tor}$ over $G$-equivariant $S$-algebras ($A_{\infty}$ ring spectra) for finite groups $G$. These specialize to universal coefficient and K\"unneth spectral sequences.

The paper extends to complex Hamiltonian systems previous work of the authors on the Sims extension of the Titchmarsh–Weyl theory for Sturm–Liouville equations with complex potentials, and analyses the spectral properties of associated non-self-adjoint operators.

This paper contains results on the structure of generic local polar curves $P(\tau)$ of a reduced germ of a complex analytic plane curve $C$. We first prove a decomposition theorem of the branches of $P(\tau)$ into bunches. By construction, all the branches in the same bunch have the same contact with all branches of $C$. It follows that the Puiseux expansions of all the branches of a given bunch coincide with that of a branch of $C$ up to an order depending upon the bunch. An initial part of these expansions is therefore independant of $\tau$. In the second part, we study to what extent the contact of the branches of $C$ with the branches of $P(\tau)$ determines the topological type of $C$. We build from these contacts a matrix which is determined by the topological type of $C$ and determines it. In an appendix, we explain how to recover, from the results of the first part, the L\^e--Michel--Weber theorem on the behaviour of polar curves in an embedded resolution of singularities of $C$. Cet article pr\'esente des r\'esultats sur la structure des courbes polaires locales g\'en\'eriques $P(\tau)$ d'un germe r\'eduit de courbe analytique complexe plane $C$. Nous d\'emontrons d'abord un th\'eor\`eme de d\'ecomposition en paquets des branches de $P(\tau)$. Par construction, toutes les branches d'un m\^eme paquet ont le m\^eme contact avec chacune des branches de $C$. L'ensemble de ces paquets est index\'e par un graphe qui ne d\'epend que de la topologie de la courbe $C$ donn\'ee. En cons\'equence, le d\'eveloppement de Puiseux de toutes les branches d'un m\^eme paquet de $P(\tau)$ coincide avec celui d'une branche de $C$ jusqu'\`a un ordre d\'ependant du paquet. Une partie initiale de ce d\'eveloppement est donc ind\'ependante de $\tau$. Dans la deuxi\`eme partie de ce travail, nous \'etudions dans quelle mesure le contact avec les branches de $C$ des branches de $P(\tau)$ d\'etermine le type topologique de $C$. Nous construisons \`a partir de tous ces contacts une matrice qui ne d\'epend que du type topologique de $C$ et le d\'etermine. Dans un appendice, nous montrons comment retrouver, \`a partir des r\'esultats prouv\'es dans la premi\`ere partie, le th\'eor\`eme de L\^e--Michel--Weber sur le comportement des polaires dans une r\'esolution plong\'ee des singularit\'es de $C$. E-mail: [email protected] 1991 Mathematics Subject Classification: 14H20, 32S10.

In this note we consider a stability property of p-harmonic functions in general metric measure spaces. Despite the fact that there may not be a corresponding differential equation, it is shown here that a family of uniformly convergent p-harmonic functions converges to a p-harmonic function; that is, the collection of p-harmonic functions forms a closed subspace in a certain Ho¨lder class. As a consequence, it is shown that a family of p-harmonic functions bounded in a Sobolev-type space (called the Newtonian space) has a sequence that converges locally uniformly in the domain of harmonicity to a p-harmonic function. This result is used to construct p-harmonic functions on unbounded domains. We also use this convergence result to prove a characterization of a parabolicity property of metric measure spaces. This characterization has been given for Riemannian manifolds by Holopainen, and the result here is a generalization of Holopainen's result.

Let $G$ be a locally compact group, and let $L^1 (G)$ be the Banach algebra which is the group algebra of $G$. We consider a variety of Banach left $L^1 (G)$ -modules over $L^1 (G)$ , and seek to determine conditions on $G$ that determine when these modules are either projective or injective or flat in the category. The answers typically involve $G$ being compact or discrete or amenable. For example, in the case where $G$ is discrete and $1 < p < \infty$, we find that the module $\ell^p (G)$ is injective whenever $G$ is amenable, and that, if it is amenable, then $G$ is ‘pseudo-amenable’, a property very close to that of amenability.

Let $V(\mathbb{R})$ denote the Banach algebra of absolutely continuous functions of bounded total variation on $\mathbb{R}$, and let $\mathcal{B}_p$ be the Banach algebra of bounded linear operators acting on the Lebesgue space $L^p(\mathbb{R})$ for $1 < p < \infty$. We study the Banach algebra $\mathfrak{A}\subset\mathcal{B}_p$ generated by the pseudodifferential operators of zero order with slowly oscillating $V(\mathbb{R})$-valued symbols on $\mathbb{R}$. Boundedness and compactness conditions for pseudodifferential operators with symbols in $L^\infty (\mathbb{R}, V(\mathbb{R}))$ are obtained. A symbol calculus for the non-closed algebra of pseudodifferential operators with slowly oscillating $V(\mathbb{R})$-valued symbols is constructed on the basis of an appropriate approximation of symbols by infinitely differentiable ones and by use of the techniques of oscillatory integrals. As a result, the quotient Banach algebra $\mathfrak{A}^\pi = {\mathfrak A} / \mathcal{K}$, where $\mathcal{K}$ is the ideal of compact operators in $\mathcal{B}_p$, is commutative and involutive. An isomorphism between the quotient Banach algebra $\mathfrak{A}^\pi$ of pseudodifferential operators and the Banach algebra $\widehat{\mathfrak{A}}$ of their Fredholm symbols is established. A Fredholm criterion and an index formula for the pseudodifferential operators $A \in \mathfrak{A}$ are obtained in terms of their Fredholm symbols.

Suppose a group $G$ acts on a Gromov-hyperbolic space $X$ properly discontinuously. If the limit set $L(G)$ of the action has at least three points, then the second bounded cohomology group of $G$,$H^2_b(G;{\Bbb R})$ is infinite dimensional. For example, if $M$ is a complete, pinched negatively curved Riemannian manifold with finite volume, then $H_b^2(\pi _1(M); {\Bbb R})$ is infinite dimensional. As an application, we show that if $G$ is a knot group with $G \not\simeq{\Bbb Z}$, then $H^2_b(G;{\Bbb R})$ is infinite dimensional.

1991 Mathematics Subject Classification: primary 20F32; secondary 53C20, 57M25.

Schwarz's lemma asserts that analytic mappings from the unit disc into itself decrease hyperbolic distances. In this paper, inner functions which decrease hyperbolic distances as much as possible, when one approaches the unit circle, are constructed. Actually, it is shown that a quadratic condition governs the best decay of the hyperbolic derivative of an inner function. This is related to a result of L. Carleson on the existence of singular symmetric measures. As a consequence, some results on composition operators are obtained, bringing out the importance of the Bloch spaces in this connection. Another consequence is a uniform way of producing singular measures which are simultaneously symmetric and Kahane.

1991 Mathematics Subject Classification: primary 30D50; secondary 30D45, 26A30, 47B38.

Starting from a Whitney decomposition of a symmetric cone $\Omega$, analogous to the dyadic partition $[2^j, 2^{ j + 1})$ of the positive real line, in this paper we develop an adapted Littlewood–Paley theory for functions with spectrum in $\Omega$. In particular, we define a natural class of Besov spaces of such functions, $B^{p, q}_\nu$, where the role of the usual derivation is now played by the generalized wave operator of the cone $\Delta(\frac{\partial}{\partial x})$. We show that $B^{p, q}_\nu$ consists precisely of the distributional boundary values of holomorphic functions in the Bergman space $A^{p, q}_\nu (T_\Omega)$, at least in a 'good range' of indices $1 \leq q < q_{\nu, p}$. We obtain the sharp $q_{\nu, p}$ when $p \leq 2$, and conjecture a critical index for $p > 2$. Moreover, we show the equivalence of this problem with the boundedness of Bergman projectors $P_\nu \colon L^{p, q}_\nu \to A^{p, q}_\nu$, for which our result implies a positive answer when $q_{\nu, p}' < q < q_{\nu, p}$. This extends, to general cones, previous work of the authors on the light-cone.

Finally, we focus on light-cones and introduce new necessary and sufficient conditions for our conjecture to hold in terms of inequalities related to the cone multiplier problem. In particular, using recent work by Laba and Wolff, we establish the validity of our conjecture for light-cones when $p$ is sufficiently large.

The absolutely continuous spectrum of a very general class of differential operators of order $2n$ is determined, for operators whose coefficients satisfy conditions that combine smoothness and decay properties. The main methods are asymptotic integration and the analysis of the associated $M$-matrix. The form of the solutions precludes the absence of a singular continuous spectrum.

In this paper we expand the theory of connected components in non-archimedean discrete dynamical systems. We define two types of components and discuss their uses and applications in the study of dynamics of a rational function $\phi\in K(z)$ defined over a non-archimedean field K. We prove that some fundamental conjectures, including the No Wandering Domains conjecture, are equivalent, regardless of which definition of 'component' is used. We derive several results on the geometry of our components and the existence of periodic points within them. We also give a number of examples of p-adic maps with interesting or pathological dynamics.

2000 Mathematical Subject Classification: primary 37B99; secondary 11S99, 30D05.

Non-singular toric embeddings with dual defect are classified. The associated polytopes, called defect polytopes, are proven to be the class of Delzant integral polytopes for which a combinatorial invariant vanishes. The structure of a defect polytope is described.

Let $\Omega$ be an open proper subset of $\Bbb R^n$. Its {\it skeleton} is the set of points with more than one nearest neighbour in the complement of $\Omega$; its {\it central set} is the set of centres in maximal open balls included in $\Omega$. Intuitively, if we think of $\Omega$ as a land mass in which height is proportional to distance from the sea, its skeleton and central set can be thought of as corresponding to ridges in the mountains of $\Omega$. In this note I discuss the metric and topological properties of such sets. I show that any skeleton in $\Bbb R^n$ is F$_{\sigma}$, and has dimension at most $n-1$, by any of the usual measures of dimension; that if $\Omega$ is bounded and connected, its skeleton and central set are connected; and that $\Omega$ separates $\Bbb R^n$ iff its skeleton does iff its central set does. Any central set in $\Bbb R^n$ is a G$_{\delta}$ set of topological dimension at most $n-1$. In the plane, I show that both skeletons and central sets are locally path-connected, and indeed include many paths of finite length. For any $\Omega$, its central set includes its skeleton; I give examples to show that the central set can be significantly larger than the skeleton.

1991 Mathematics Subject Classification: 54F99.

If $G$ is a projective special linear group $\text{PSL}(3,q)$ with $q \equiv 4 \; \text{or} \; 7 \pmod{9}$, then a Sylow 3-subgroup of $G$ is elementary abelian of order 9. We show that the principal 3-blocks of any two such groups are Morita equivalent. This result and Okuyama's theorem for $\text{PSL}(3,4)$ prove the Broué conjecture for these blocks. 1991 Mathematics Subject Classification: 20C05, 20C20.