Representations of compact linear operators in Banach spaces and nonlinear eigenvalue problems

Let X and Y be reflexive Banach spaces with strictly convexduals, and let T be a compact linear map from X to Y. It isshown that a certain nonlinear equation, involving T and itsadjoint, has a normalised solution (an ‘eigenvector’)corresponding to an ‘eigenvalue’, and that the sameis true for each member of a countable family of similar equationsinvolving the restrictions of T to certain subspaces of X. Theaction of T can be described in terms of these ‘eigenvectors’.There are applications to the p-Laplacian, the p-biharmonicoperator and integral operators of Hardy type.     

Cohen-Macaulay Local Rings of Embedding Dimension e + d - 3

In this paper we determine the possible Hilbert functions ofa Cohen–Macaulay local ring of dimension d and multiplicitye, in the case where the embedding dimension v satisfies v =e + d – 3 and the Cohen–Macaulay type is less thanor equal to e – 3. 1991 Mathematics Subject Classification:primary 13D40; secondary 13P99.     

The Kirwan Map for Singular Symplectic Quotients

Let M be a Hamiltonian K-space with proper moment map µ.The symplectic quotient X = µ^–1(0)/K is a singularstratified space with a symplectic structure on the strata.In this paper we generalise the Kirwan map, which maps the Kequivariant cohomology of µ^–1(0) to the middle perversityintersection cohomology of X, to this symplectic setting. The key technical results which allow us to do this are Meinrenken'sand Sjamaar's partial desingularisation of singular symplecticquotients and a decomposition theorem, proved in Section 2 ofthis paper, exhibiting the intersection cohomology of a ‘symplecticblowup’ of the singular quotient X along a maximal depthstratum as a direct sum of terms including the intersectioncohomology of X.     

On the Algorithmic Complexity of Minkowski's Reconstruction Theorem

In 1903 Minkowski showed that, given pairwise different unitvectors µ₁, ..., µ_m in Euclidean n-space Rⁿ whichspan Rⁿ, and positive reals µ₁, ..., µ_m such that^m_i=1µ_iµ_i = 0, there exists a polytope P in Rⁿ, uniqueup to translation, with outer unit facet normals µ₁, ...,µ_m and corresponding facet volumes µ₁, ..., µ_m.This paper deals with the computational complexity of the underlyingreconstruction problem, to determine a presentation of P asthe intersection of its facet halfspaces. After a natural reformulationthat reflects the fact that the binary Turing-machine modelof computation is employed, it is shown that this reconstructionproblem can be solved in polynomial time when the dimensionis fixed but is #P-hard when the dimension is part of the input. The problem of ‘Minkowski reconstruction’ has variousapplications in image processing, and the underlying data structureis relevant for other algorithmic questions in computationalconvexity.     

On time regularity and related conditions for power-bounded operators

Let T be a bounded linear operator in a complex Banach space.Our main result gives various characterizations of the condition:T is power-bounded and an estimate ||(I – T)Tⁿ || cn^–1/2 holds for all positive integers n. In particular, this conditionholds if and only if T = β S + (1 – β)I, forsome β (0, 1) and some power-bounded operator S; or ifand only if T is power-bounded and the discrete semigroup (Tⁿ)is dominated by the continuous semigroup (e^{– t(I –T)})_{t 0} in a natural sense. As a consequence of our main results,for 1/2 < 1 we characterize the condition that T is power-boundedand ||(I – T)Tⁿ || c n^– for all n, in terms ofestimates on the semigroup e^{–t(I – T)}.     

Languages of k-interval exchange transformations

This paper gives a complete characterization of those sequencesof subword complexity (k – 1)n + 1that are natural codings of orbits of k-interval exchange transformations,thereby answering an old question of Rauzy.     

A Functional Relation for Accessory Parameters for Genus 2 Algebraic Curves with an Order 4 Automorphism

Let C be a genus 2 algebraic curve defined by an equation ofthe form y² = x(x² – 1)(x – a)(x – 1/a). Asis well known, the five accessory parameters for such an equationcan all be expressed in terms of a and the accessory parameter b corresponding to a. The main result of the paper is thatif a' = 1 – a², which in general yields a non-isomorphiccurve C', then b'a'(a'² – 1) = – – ba(a²– 1). This is proven by it being shown how the uniformizing functionfrom the unit disk to C' can be explicitly described in termsof the uniformizing function for C.     

Geometrical Spines of Lens Manifolds

We introduce the concept of ‘geometrical spine’for 3-manifolds with natural metrics, in particular, for lensmanifolds. We show that any spine of L_p,q that is close enoughto its geometrical spine contains at least E(p,q) – 3vertices, which is exactly the conjectured value for the complexityc(L_p,q). As a byproduct, we find the minimal rotation distance(in the Sleator–Tarjan–Thurston sense) between atriangulation of a regular p-gon and its image under rotation.     

The Accuracy of Error Estimates for Systems of Linear Algebraic Equations

Satisfactory error estimates are obtained from iterative refinementof the solution using M^–l, an approximation to the inverseof A and involving ||I–M^–1A||.     

A sufficient condition for the subordination principle in ergodic optimization

Let T : X X be a continuous surjection of a topologicalspace, and let f : X be upper semi-continuous. Wewish to identify those T-invariant measures µ which maximize f dµ. We call such measures f-maximizing, and denotethe maximum by ß(f). The study of such measures andtheir properties has recently been dubbed ergodic optimization.A first step to understanding the structure of a function'smaximizing measures is to establish the following subordinationprinciple defined by T. Bousch: if µ and are T-invariantmeasures such that supp supp µ and µ is f-maximizing,then is also f-maximizing. Previous authors have approachedthis result by constructing a continuous function g : X such that f – ß(f) g T – g. We providea sufficient condition for the subordination principle whichhas advantages when the space X is noncompact.     

The Global Mckay-Ruan Correspondence Via Motivic Integration

The purpose of this paper is to show how the methods of motivicintegration of Kontsevich, Denef–Loeser (Invent. Math.135 (1999) 201–232 and Compositio Math. 131 (2002) 267–290)and Looijenga (Astérisque 276 (2002) 267–297) canbe adapted to prove the McKay–Ruan correspondence, a generalizationof the McKay–Reid correspondence to orbifolds that arenot necessarily global quotients. 2000 Mathematics Subject Classification14A20, 14E15, 14F43.     

Monodromy and Connectedness

The purpose of this note is initially to present an elementarybut surprising connectedness principle pertaining to the intersectionof a fixed subvariety X of some ambient space Z with anothersubvariety Y which is ‘mobile’ (in the sense ofbeing movable, rather than actually moving). It is via thismobility that monodromy enters the picture, permitting the crucialpassage from ‘relative’ or total-space irreducibilityto ‘absolute’ or fibrewise connectedness (and sometimesirreducibility). A general form of this principle is given inTheorem 2 below. 1991 Mathematics Subject Classification 14C99,15N05.     

The Milnor number of a function on a space curve germ

Given a finite function germ f:(X, 0) (, 0) on a reduced spacecurve singularity (X, 0), we show that µ(f) = µ(X,0) + deg(f) – 1. Here, µ(f) and µ(X, 0) denotethe Milnor numbers of the function and the curve, respectively,and deg(f) is the degree of f. We use this formula to obtainseveral consequences related to the topological triviality andWhitney equisingularity of families of curves and families offunctions on curves.     

On the Auslander-Reiten Periodicity of Self-Injective Algebras

This paper investigates how to relate the syzygy periodicityof a self-injective algebra A to its Auslander–Reitenperiodicity. Moreover, a characterization is provided of theAuslander–Reiten bounded A–A-bimodules that areperiodic. 2000 Mathematics Subject Classification 16G70, 16E40(primary), 16G20 (secondary).     

The Kissing Numbers of Convex Bodies -- A Brief Survey

Nearly four hundred years ago, the cubic close-packing of equalspheres in R³ was discovered by Kepler [21], in which each spheretouches 12 others. In 1694, Gregory and Newton discussed thefollowing thirteen spheres problem. Can a rigid material spherebe brought into contact with 13 other such spheres of the samesize? Gregory believed ‘yes’, while Newton thought‘no’. 1991 Mathematics Subject Classication 11H31,52C17.     

SCALED ASYMPTOTICS FOR SOME q-SERIES

This work, investigates the asymptotics for Euler’s q-exponentialE_q(z), Ramanujan’s function A_q(z), Jackson’s q-Besselfunction J_v⁽²⁾ (z; q), the Stieltjes–Wigert orthogonalpolynomials S_n(x; q) and q-Laguerre polynomials L_n⁽⁾ (x; q)as q approaches 1.     

Hypersurfaces in a Unit Sphere Sn+1(1) with Constant Scalar Curvature

The paper considers n-dimensional hypersurfaces with constantscalar curvature of a unit sphere S^n–1(1). The hypersurfaceS^k(c₁)xS^n–k(c₂) in a unit sphere Sⁿ⁺¹(1) is characterized,and it is shown that there exist many compact hypersurfaceswith constant scalar curvature in a unit sphere Sⁿ⁺¹(1) whichare not congruent to each other in it. In particular, it isproved that if M is an n-dimensional (n > 3) complete locallyconformally flat hypersurface with constant scalar curvaturen(n–1)r in a unit sphere Sⁿ⁺¹(1), then r > 1–2/n,and (1) when r (n–2)/(n–1), if then M is isometric to S¹xS^n–1(c),where S is the squared norm of the second fundamental form ofM; (2) there are no complete hypersurfaces in Sⁿ⁺¹(1) with constantscalar curvature n(n–1)r and with two distinct principalcurvatures, one of which is simple, such that r = (n–2)/(n–1)and      

A p Interpolation in the Unit Ball

We study interpolating sequences in the unit ball for A^–pwith p > 0, the Banach space of holomorphic functions f with(1 – |z|²)^p |f(z)| bounded. The finite unions of A^–p-interpolatingsequences are characterized by a Carleson type condition.     

Recurrence and asymptotics for orthonormal rational functions on an interval

^{Let µ be a positive bounded Borel measure on a subsetI of the real line and = {₁, ..., _n} a sequence of arbitrary ‘complex’poles outside I. Suppose {₁, ..., _n} is the sequence of rationalfunctions with poles in orthonormal on I with respect to µ. First, we are concernedwith reducing the number of different coefficients in the three-termrecurrence relation satisfied by these orthonormal rationalfunctions. Next, we consider the case in which I = [–1, 1] and µ satisfies the Erdos–Turán conditionµ' > 0 a.e. on I (where µ' is the Radon–Nikodymderivative of the measure µ with respect to the Lebesguemeasure) to discuss the convergence of _n+1(x)/_n(x) as n tendsto infinity and to derive asymptotic formulas for the recurrencecoefficients in the three-term recurrence relation. Finally,we give a strong convergence result for _n(x) under the morerestrictive condition that µ satisfies the Szeg condition(1 – x2)–1/2 log µ'(x) L1([– 1, 1]).}