Isoperimetric inequalities and random walks on quotients of graphs and buildings

Let be a Euclidean or hyperbolic building and let GAut be a locally compact unimodular group, which acts strongly transitively on . We use graphs , quasi-isometric to , to study asymptotic properties of quotients , where is a discrete subgroup of G. If G has Kazhdans property (T) we show that such quotients satisfy strong isoperimetric inequalities. This yields new examples of graphs with positive Cheeger constant. Such graphs cannot be bi-Lipschitz embedded into Hilbert space. Moreover, simple random walks on such quotients are shown to be recurrent if and only if is a uniform lattice in G.Mathematics Subject Classification (1991): 11E95, 22E40, 22E50, 51E24, 60G50in final form: 10 October 2003     

A Springer Theorem for Hermitian forms

Throughout this paper, we let (D,σ) be a central F -division algebra with involution σ such that F^σ={d ∈ F|σ(d)=d} is a Henselian valued field. By [11], the valuation on F^σ extends uniquely to a valuation on D. We denote this valuation by v. Moreover, we assume that the characteristic of the residue field, , is not 2. If the valuation on F is discrete, then any quadratic form q can be written as q= q₁⊥πq₂, where π is a uniformizer and q_i are unit forms. Springer's Theorem states that q is isotropic if and only if at least one of the residue forms and is isotropic. In this paper we generalize this result to ɛ -Hermitian forms. In Section 4, we use the connection between involutions on algebras and ɛ-Hermitian forms to prove an analog of the Springer Theorem for involutions. This paper was part of the author's doctoral dissertation at New Mexico State University. The author wishes to thank his advisor Pat Morandi for his tireless help.     

Complexity of nilpotent orbits and the Kostant-Sekiguchi correspondence

Let G be a connected linear semisimple Lie group with Lie algebra , and let be the complexified isotropy representation at the identity coset of the corresponding symmetric space. Suppose that Ω is a nilpotent G-orbit in and is the nilpotent -orbit in associated to Ω by the Kostant-Sekiguchi correspondence. We show that the corank of the Hamiltonian K-space Ω is twice the complexity of the variety .     

Spectral multipliers for sub-Laplacians with drift on Lie groups

We study spectral multipliers of right invariant sub-Laplacians with drift on a connected Lie group G. The operators we consider are self-adjoint with respect to a positive measure , whose density with respect to the left Haar measure λ_G is a nontrivial positive character of G. We show that if p≠2 and G is amenable, then every spectral multiplier of extends to a bounded holomorphic function on a parabolic region in the complex plane, which depends on p and on the drift. When G is of polynomial growth we show that this necessary condition is nearly sufficient, by proving that bounded holomorphic functions on the appropriate parabolic region which satisfy mild regularity conditions on its boundary are spectral multipliers of . Work partially supported by the EC HARP Network “Harmonic Analysis and Related Problems”, the Progetto Cofinanziato MURST “Analisi Armonica” and the Gruppo Nazionale INdAM per l'Analisi Matematica, la Probabilità e le loro Applicazioni. Part of this work was done while the second and the third author were visiting the “Centro De Giorgi” at the Scuola Normale Superiore di Pisa, during a special trimester in Harmonic Analysis. They would like to express their gratitude to the Centro for the hospitality.     

Non-abelian class field theory for arithmetic surfaces

Let be a regular arithmetic surface. Assume that for all irreducible curves there are given open normal subgroups of ₁(C), which fulfill a compatibility condition at all closed points x . We then show that these data uniquely determine a normal subgroup of ₁(). This is used to construct abelian class field theory for arithmetic surfaces using only K₀ and K₁ groups of local and global fields.Mathematics Subject Classification (2000): 14G40, 11R37, 14H25     

Ribbon tableaux and the Heisenberg algebra

In [LLT] Lascoux, Leclerc and Thibon introduced symmetric functions which are spin and weight generating functions for ribbon tableaux. This article is aimed at studying these functions in analogy with Schur functions. In particular we will describe: a Pieri and dual-Pieri formula for ribbon functions, a ribbon Murnaghan-Nakayama formula, ribbon Cauchy and dual Cauchy identities, and a -algebra isomorphism _n:(q)(q) which sends each to .Our study of the functions will be connected to the Fock space representation F of via a linear map :F(q) which sends the standard basis of F to the ribbon functions. Kashiwara, Miwa and Stern [KMS] have shown that a copy of the Heisenberg algebra H acts on F commuting with the action of . Identifying the Fock Space of H with the ring of symmetric functions (q) we will show that is in fact a map of H-modules with remarkable properties. The study of this map will lead to our identities concerning ribbon tableaux generating functions. We will also give a combinatorial proof that the ribbon Murnaghan-Nakayama and Pieri rules are formally equivalent.     

C k -estimates for the -equation on convex domains of finite type

For a bounded convex domain with C^∞ smooth boundary of finite type m and q=1, . . . ,n−1, we construct a -solving integral operator T*_q such that for all k ∈ ℕ and the usual C^k and -norms the operator is continuous.     

On the exact Hausdorff dimension of the set of Liouville numbers. II

Let denote the set of Liouville numbers. For a dimension function h, we write for the h-dimensional Hausdorff measure of . In previous work, the exact ``cut-point' at which the Hausdorff measure of drops from infinity to zero has been located for various classes of dimension functions h satisfying certain rather restrictive growth conditions. In the paper, we locate the exact ``cut-point' at which the Hausdorff measure of drops from infinity to zero for all dimension functions h. Namely, if h is a dimension function for which the function increases faster than any power function near 0, then , and if h is a dimension function for which the function increases slower than some power function near 0, then . This provides a complete characterization of all Hausdorff measures of without assuming anything about the dimension function h, and answers a question asked by R. D. Mauldin. We also show that if then does not have σ-finite measure. This answers another question asked by R. D. Mauldin. This work was done while Dave L. Renfro was at the Department of Mathematics at Central Michigan University.     

On the Rellich inequality with magnetic potentials

In lectures given in 1953 at New York University, Franz Rellich proved that for all f∈C₀^∞(Rⁿ \{0}) and n≠2where the constant C(n):=n²(n−4)²/16 is sharp. For n=2 extra conditions were required for f, and for n=4, C(4)=0, producing a trivial inequality. Influenced by recent work of Laptev-Weidl on Hardy-type inequalities in R², the authors show that for n≥2, the inclusion of a magnetic field B=curl(A) of Aharonov-Bohm type yields non-trivial Rellich-type inequalities of the formwhere Δ_A=(∇−iA)² is the magnetic Laplacian. As in the Laptev-Weidl inequality, the constant C(n,α) depends upon the distance of the magnetic flux to the integers Z. When the flux is an integer and α=0, the inequalities reduce to Rellich’s inequality.The first author gratefully acknowledges the hospitality and support of the Mathematics Department at UAB where much of this work was done.     

Global -homotopy with <Emphasis Type="Italic">C</Emphasis><Superscript><Emphasis Type="Italic">k</Emphasis></Superscript> estimates for a family of compact,regular <Emphasis Type="Italic">q</Emphasis>-pseudoconcave CR manifolds

Let M₀ be a compact, regular q-pseudoconcave CR submanifold of a complex manifold G and - a holomorphic vector bundle on G such that dim for some fixed r<q. We prove a global homotopy formula with C^k estimates for r-cohomology of on arbitrary CR submanifold M close enough to M₀.Mathematics Subject Classification (2000):32F20, 32F10in final form: 15 October 2003     

Summing norms of identities between unitary ideals

Based on abstract interpolation, we prove asymptotic formulae for the (F,2)-summing norm of inclusions id: , where E and F are two Banach sequence spaces. Here, stands for the unitary ideal of operators on the n-dimensional Hilbert space whose singular values belong to E, and for the Hilbert-Schmidt operators. Our results are noncommutative analogues of results due to Bennett and Carl, as well as their recent generalizations to Banach sequence spaces. As an application, we give lower and upper estimates for certain s-numbers of the embeddings id: and id: . In the concluding section, we finally consider mixing norms. The second named author was supported by KBN Grant 2 P03A 042 18.     

Partial regularity for stationary harmonic maps at a free boundary

Let and be smooth Riemannian manifolds, of the dimension n≥2 with nonempty boundary, and compact without boundary. We consider stationary harmonic maps u ∈ H¹(, ) with a free boundary condition of the type u(∂) ⊂ Γ, given a submanifold Γ⊂. We prove partial boundary regularity, namely (sing(u))=0, a result that was until now only known in the interior of the domain (see [B]). The key of the proof is a new lemma that allows an extension of u by a reflection construction. Once the partial regularity theorem is known, it is possible to reduce the dimension of the singular set further under additional assumptions on the target manifold and the submanifold Γ.     

Holomorphic dynamics near germs of singular curves

Let M be a two dimensional complex manifold, p ∈ M and a germ of holomorphic foliation of M at p. Let be a germ of an irreducible, possibly singular, curve at p in M which is a separatrix for . We prove that if the Camacho-Sad-Suwa index Ind then there exists another separatrix for at p. A similar result is proved for the existence of parabolic curves for germs of holomorphic diffeomorphisms near a curve of fixed points.     

Continuity of eigenvalues of subordinate processes in domains

Let X={X_t,t≥0} be a symmetric Markov process in a state space E and D an open set of E. Let S⁽ⁿ⁾={S⁽ⁿ⁾_t, t ≥ 0} be a subordinator with Laplace exponent ϕ_n and S={S_t,t≥0} a subordinator with Laplace exponent ϕ. Suppose that X is independent of S and S⁽ⁿ⁾. In this paper we consider the subordinate processes and and their subprocesses and X^ϕ,D killed upon leaving D. Suppose that the spectra of the semigroups of and X^ϕ,D are all discrete, with being the eigenvalues of the generator of and being the eigenvalues of the generator of X^ϕ,D. We show that, if lim_n→∞ϕ_n(λ)=ϕ(λ) for every λ>0, then The research of this author is supported in part by NSF Grant DMS-0303310. The research of this author is supported in part by a joint US-Croatia grant INT 0302167.     

Hausdorff measures, capacities and compact composition operators

It is shown that there exist analytic self-maps ϕ of the unit disc inducing compact composition operators on the Hardy space , 1 ≤ p < ∞ such that the Hausdorff dimension of the set is one; sharpening a classical result due to Schwartz. Moreover, the same holds in the weighted Dirichlet spaces with 0 < α < 1. As a consequence, we deduce that there exist symbols ϕ inducing compact composition operators on such that the α-capacity of E_ϕ is positive, which is no longer true for those just inducing Hilbert-Schmidt composition operators on . First author is partially supported by Plan Nacional I+D grant no. BFM2003-00034, and Gobierno de Aragón research group Análisis Matemático y Aplicaciones, ref. DGA E-64 . Second author is partially supported by Plan Nacional I+D grant no. BFM2002-00571 and Junta de Andalucía RNM-314.     

Exceptional points of an endomorphism of the projective plane

Let f an endomorphism of of degree >1. We show how to obtain a bound (depending only on n) on the number of codimension-two subspaces in which are completely invariant for f (where L is completely invariant for f means that f^–1(L)=L set-theoretically).     

Spherical harmonic analysis on affine buildings

Let be a locally finite regular affine building with root system R. There is a commutative algebra spanned by averaging operators A _λ , λ ∈ P ⁺, acting on the space of all functions f:V _P → , where V _P is in most cases the set of all special vertices of , and P ⁺ is a set of dominant coweights of R. This algebra is studied in [6] and [7] for à _n buildings, and the general case is treated in [15]. In this paper we show that all algebra homomorphisms h: may be expressed in terms of the Macdonald spherical functions. We also provide a second formula for these homomorphisms in terms of an integral over the boundary of . We may regard as a subalgebra of the C ^*-algebra of bounded linear operators on ?²(V _P ), and we write for the closure of in this algebra. We study the Gelfand map , where M ₂= , and we compute M ₂ and the Plancherel measure of . We also compute the ?²-operator norms of the operators A _λ , λ ∈ P ⁺, in terms of the Macdonald spherical functions.     

Traps for reflected Brownian motion

Consider an open set , d ≥ 2, and a closed ball . Let denote the expectation of the hitting time of B for reflected Brownian motion in D starting from x ∈ D. We say that D is a trap domain if . A domain D is not a trap domain if and only if the reflecting Brownian motion in D is uniformly ergodic. We fully characterize the simply connected planar trap domains using a geometric condition and give a number of (less complete) results for d > 2. Research partially supported by NSF grant DMS-0303310. Research partially supported by NSF grant DMS-0303310. Research partially supported by NSF grant DMS-0201435.     

Mukai flops and deformations of symplectic resolutions

We prove that two projective symplectic resolutions of are connected by Mukai flops in codimension 2 for a finite sub-group G <Sp(2n). It is also shown that two projective symplectic resolutions of are deformation equivalent.     

Endomorphisms of H *(K(V, n); ) in the category of unstable modules

The ring of endomorphisms of the -cohomology of the Eilenberg-MacLane space K(V,n), in the category of unstable modules over the Steenrod algebra is calculated, where V is an elementary abelian 2-group, n is a non-negative integer and is the prime field of characteristic two. The result generalizes the theorem of Adams, Gunawardena and Miller, which corresponds to the case n=1.