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.     

Linear Systems and Quotients of Projective Space

A complete characterization of the categorical quotients of(P¹)ⁿ by the diagonal action of SL(2, C) with respect to anypolarization is given by M. Polito, in ‘SL(2, C)-quotientsde (P¹)ⁿ’, C. R. Acad. Sci. Paris Sér. I 321 (1995)1577–1582. In this paper, these categorical quotientsare obtained by certain linear systems on P^n–3, dependingon the given polarization. 2000 Mathematics Subject Classification14L24, 14L30     

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.     

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||.     

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.     

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).     

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      

Tameness and complexity of finite group schemes

Using a representation-theoretic interpretation of support varietiesdue to Friedlander and Pevtsova (Amer. J. Math. 127 (2005) 379–420;Erratum Amer. J. Math. 128 (2006) 1067–1068, we show thatthe complexity of tame blocks of finite group schemes is boundedby 2. In this context, our result salvages a theorem by Rickard(Bull. London Math. Soc. 22 (1990) 540–546), the proofof which is flawed.     

On regularity of a quasiconformal mapping at a point of maximal stretching

Local behaviour of a K-quasiconformal mapping f at a point z₀of maximal stretching is studied. A sufficient condition forthe existence of the finite limit lim(f(z) – f(z₀))/(z– z₀)|z – z₀|^1/K–1 as z z₀, and a criterionfor z₀ to be a point of maximal stretching are given.     

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.     

Mixed hp-DGFEM for incompressible flows II: Geometric edge meshes

We consider the Stokes problem of incompressible fluid flowin three-dimensional polyhedral domains discretized on hexahedralmeshes with hp-discontinuous Galerkin finite elements of typeQ_k for the velocity and Q_k–1 for the pressure. We provethat these elements are inf-sup stable on geometric edge meshesthat are refined anisotropically and non-quasiuniformly towardsedges and corners. The discrete inf-sup constant is shown tobe independent of the aspect ratio of the anisotropic elementsand is of O(k^–3/2) in the polynomial degree k, as in thecase of conforming Q_k–Q_k–2 approximations on thesame meshes.     

Long-Time Behavior of Solutions of the Fast Diffusion Equations with Critical Absorption Terms

This paper is devoted to the long-time behavior of solutionsto the Cauchy problem of the porous medium equation u_t = (u^m)– u^p in Rⁿ x (0,) with (1 – 2/n)₊ < m < 1and the critical exponent p = m + 2/n. For the strictly positiveinitial data u(x,0) = O(1 + |x|)^–k with n + mn(2 –n + nm)/(2[2 – m + mn(1 – m)]) k < 2/(1 –m), we prove that the solution of the above Cauchy problem convergesto a fundamental solution of u_t = (u^m) with an additional logarithmicanomalous decay exponent in time as t .     

Complete Manifolds with Sectional Curvature Bounded Below and Large Volume Growth

This paper provides a proof that an n-dimensional complete openRiemannian manifold M with sectional curvature K_M –1is diffeomorphic to a Euclidean n-space Rⁿ if the volume growthof geodesic balls in M is close to that of the balls in an n-dimensionalhyperbolic space Hⁿ(–1) of sectional curvature –1.     

Minimal bases of matrix pencils and coprime matrix fraction descriptions

Two new methods for the construction of coprime MFDs are proposedstarting from a minimal state space realization of a transferfunction matrix. The approaches are based on the constructionof minimal bases for the kernels of the state-space-based pencils[s I – A, – B], [s I – A^t, –C^t]. Thelatter problem is explicitly solved using the Toeplitz matrixconstruction of minimal bases of matrix pencils. The numericalalgorithms of the methods are presented and some examples demonstratingthe implementation of the algorithms are also given. Received 18 May 2000. Revised 5 September 2000. Accepted 5 September 2000.     

Pad?-approximant Bounds and Approximate Solutions for Kirkwood-Riseman Integral Equations

Two-point Pad? approximants are used to calculate tight upperand lower bounds on the quantity <?, f> associated withKirkwood-Riseman integral equations (1+yL)?=f, which arise inthe diffusion theory of flexible macromolecules. The self-adjointoperator L is an integral operator on –1 x 1, with weaklysingular kernel |x – x'|^–?, and the two specificcases (i) f = 1, (ii) f = x² are studied. In case (i) directbounds on <?, 1> are obtained; this quantity is inverselyproportional to the translational diffusion constant. In case(ii) bounds on <?, 1 > are found by a new technique involvingcombinations of bounds for the three cases f = 1, f = x² andf = bx²?b^–1. Various types of Pade and related approximantsare compared, using the information <f, Lⁿf>, n = –2,–1, 0, 1, 2, 3 and (an upper bound on L) for severalvalues of the positive parameter y. Pad?-approximant-generating trial vectors are investigated anda convergence theorem is established. The vector consistingof an optimum linear combination of L^–1f, f and Lf isfound to be an accurate approximation to a numerical solutionin case (ii), for all values of y and x. Specific analyticalexpressions are derived for the approximate solutions.     

Funk-Hecke Formula for Orthogonal Polynomials on Spheres and on Balls

Analogues of the Funk–Hecke formula for spherical harmonicsare proved for Dunkl's h-harmonics associated to the reflectiongroups, and for orthogonal polynomials related to h-harmonicson the unit ball. In particular, an analogue and its applicationare discussed for the weight function (1–|x|²)^µ–1/2on the unit ball in R^d. 2000 Mathematics Subject Classification33C50, 33C55, 42C10.     

Hemisystems on the Hermitian Surface

The natural geometric setting of quadrics commuting with a Hermitiansurface of PG(3,q²), q odd, is adopted and a hemisystem on theHermitian surface H(3,q²) admitting the group P^–(4,q)is constructed, yielding a partial quadrangle PQ((q–1)/2,q²,(q–1)²/2) and a strongly regular graph srg((q³+1)(q+1)/2,(q²+1)(q–1)/2,(q–3)/2,(q–1)²/2).For q>3, no partial quadrangle or strongly regular graphwith these parameters was previously known, whereas when q=3,this is the Gewirtz graph. Thas conjectured that there are nohemisystems on H(3,q²) for q>3, so these are counterexamplesto his conjecture. Furthermore, a hemisystem on H(3,25) admitting3.A₇.2 is constructed. Finally, special sets (after Shult) andovoids on H(3,q²) are investigated.     

The Accurate Numerical Inversion of Laplace Transforms

Numerical inversion of almost arbitrary Laplace transforms,for any value of t, to any prescribed accuracy up to atleastthree-quarters of the computer precision, is effected by trapezoidalintegration along a special contour. The required number ofpoints depends on t, the accuracy, and the transform singularitypositions, and for moderate t is typically 11 for errors oforder 10^–6, 18 for order 10^–10, 35 for order 10^–20(withdouble precision working).     

Proofs of Povzner-Wienholtz Type Theorems on Selfadjointness of Schrodinger Operators by means of Positive Eigensolutions

We give simple proofs of two theorems of the form: if the operator–+q–p is semibounded, then –+q is essentiallyselfadjoint.