A generalization of half-plane mappings to the ball in

Let be a normalized (, ) biholomorphic mapping of the unit ball onto a convex domain that is the union of lines parallel to some unit vector . We consider the situation in which there is one infinite singularity of on . In one case with a simple change-of-variables, we classify all convex mappings of that are half-plane mappings in the first coordinate. In the more complicated case, when is not in the span of the infinite singularity, we derive a form of the mappings in dimension .

     

Higher homotopy commutativity of -spaces and the permuto-associahedra

In this paper, we give a combinatorial definition of a higher homotopy commutativity of the multiplication for an -space. To give the definition, we use polyhedra called the permuto-associahedra which are constructed by Kapranov. We also show that if a connected -space has the finitely generated mod cohomology for a prime and the multiplication of it is homotopy commutative of the -th order, then it has the mod homotopy type of a finite product of Eilenberg-Mac Lane spaces s, s and s for .

     

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 .

     

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.

     

Dual Radon transforms on affine Grassmann manifolds

Fix , and let and denote the affine Grassmann manifolds of - and -planes in . We investigate the Radon transform associated with the inclusion incidence relation. For the generic case and n$">, we will show that the range of this transform is given by smooth functions on annihilated by a system of Pfaffian type differential operators. We also study aspects of the exceptional case .

     

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.

     

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

     

Radon's inversion formulas

Radon showed the pointwise validity of his celebrated inversion formulas for the Radon transform of a function of two real variables (formulas (III) and (III) in J. Radon, Über die Bestimmung von Funktionen durch ihre Integralwerte längs gewisser Mannigfaltigkeiten, Ber. Verh. Sächs. Akad. Wiss. Leipzig, Math.-Nat. kl. 69 (1917), 262-277) under the assumption that is continuous and satisfies two other technical conditions. In this work, using the methods of modern analysis, we show that these technical conditions can be relaxed. For example, the assumption that be in for some satisfying suffices to guarantee the almost everywhere existence of its Radon transform and the almost everywhere validity of Radon's inversion formulas.

     

A modified Brauer algebra as centralizer algebra of the unitary group

The centralizer algebra of the action of on the real tensor powers of its natural module, , is described by means of a modification in the multiplication of the signed Brauer algebras. The relationships of this algebra with the invariants for and with the decomposition of into irreducible submodules is considered.

     

Limit sets of discrete groups of isometries of exotic hyperbolic spaces

Let be a geometrically finite discrete group of isometries of hyperbolic space , where or (in which case ). We prove that the critical exponent of equals the Hausdorff dimension of the limit sets and that the smallest eigenvalue of the Laplacian acting on square integrable functions is a quadratic function of either of them (when they are sufficiently large). A generalization of Hopf ergodicity theorem for the geodesic flow with respect to the Bowen-Margulis measure is also proven.

     

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 .

     

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 .

     

Dimension of families of determinantal schemes

A scheme of codimension is called standard determinantal if its homogeneous saturated ideal can be generated by the maximal minors of a homogeneous matrix and is said to be good determinantal if it is standard determinantal and a generic complete intersection. Given integers and we denote by (resp. ) the locus of good (resp. standard) determinantal schemes of codimension defined by the maximal minors of a matrix where is a homogeneous polynomial of degree .

In this paper we address the following three fundamental problems: To determine (1) the dimension of (resp. ) in terms of and , (2) whether the closure of is an irreducible component of , and (3) when is generically smooth along . Concerning question (1) we give an upper bound for the dimension of (resp. ) which works for all integers and , and we conjecture that this bound is sharp. The conjecture is proved for , and for under some restriction on and . For questions (2) and (3) we have an affirmative answer for and , and for under certain numerical assumptions.

     

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 .

     

Luzin gaps

We isolate a class of ideals on that includes all analytic P-ideals and all ideals, and introduce `Luzin gaps' in their quotients. A dichotomy for Luzin gaps allows us to freeze gaps, and prove some gap preservation results. Most importantly, under PFA all isomorphisms between quotient algebras over these ideals have continuous liftings. This gives a partial confirmation to the author's rigidity conjecture for quotients . We also prove that the ideals and have the Radon-Nikodým property, and (using OCA) a uniformization result for -coherent families of continuous partial functions.

     

Hyperpolygon spaces and their cores

Given an -tuple of positive real numbers , Konno (2000) defines the hyperpolygon space , a hyperkähler analogue of the Kähler variety parametrizing polygons in with edge lengths . The polygon space can be interpreted as the moduli space of stable representations of a certain quiver with fixed dimension vector; from this point of view, is the hyperkähler quiver variety defined by Nakajima. A quiver variety admits a natural -action, and the union of the precompact orbits is called the core. We study the components of the core of , interpreting each one as a moduli space of pairs of polygons in with certain properties. Konno gives a presentation of the cohomology ring of ; we extend this result by computing the -equivariant cohomology ring, as well as the ordinary and equivariant cohomology rings of the core components.

     

The Farrell-Jones Isomorphism Conjecture for finite covolume hyperbolic actions and the algebraic -theory of Bianchi groups

We prove the Farrell-Jones Isomorphism Conjecture for groups acting properly discontinuously via isometries on (real) hyperbolic -space with finite volume orbit space. We then apply this result to show that, for any Bianchi group , , , and vanish for .

     

Convolution roots of radial positive definite functions with compact support

A classical theorem of Boas, Kac, and Krein states that a characteristic function with for admits a representation of the form

where the convolution root is complex-valued with for . The result can be expressed equivalently as a factorization theorem for entire functions of finite exponential type. This paper examines the Boas-Kac representation under additional constraints: If is real-valued and even, can the convolution root be chosen as a real-valued and/or even function? A complete answer in terms of the zeros of the Fourier transform of is obtained. Furthermore, the analogous problem for radially symmetric functions defined on is solved. Perhaps surprisingly, there are compactly supported, radial positive definite functions that do not admit a convolution root with half-support. However, under the additional assumption of nonnegativity, radially symmetric convolution roots with half-support exist. Further results in this paper include a characterization of extreme points, pointwise and integral bounds (Turán's problem), and a unified solution to a minimization problem for compactly supported positive definite functions. Specifically, if is a probability density on whose characteristic function vanishes outside the unit ball, then

where denotes the first positive zero of the Bessel function , and the estimate is sharp. Applications to spatial moving average processes, geostatistical simulation, crystallography, optics, and phase retrieval are noted. In particular, a real-valued half-support convolution root of the spherical correlation function in does not exist.

     

A sharp bound for the ratio of the first two Dirichlet eigenvalues of a domain in a hemisphere of

For a domain contained in a hemisphere of the -dimensional sphere we prove the optimal result for the ratio of its first two Dirichlet eigenvalues where , the symmetric rearrangement of in , is a geodesic ball in having the same -volume as . We also show that for geodesic balls of geodesic radius less than or equal to is an increasing function of which runs between the value for (this is the Euclidean value) and for . Here denotes the th positive zero of the Bessel function . This result generalizes the Payne-Pólya-Weinberger conjecture, which applies to bounded domains in Euclidean space and which we had proved earlier. Our method makes use of symmetric rearrangement of functions and various technical properties of special functions. We also prove that among all domains contained in a hemisphere of and having a fixed value of the one with the maximal value of is the geodesic ball of the appropriate radius. This is a stronger, but slightly less accessible, isoperimetric result than that for . Various other results for and of geodesic balls in are proved in the course of our work.