Bounds For Gradient Trajectories and Geodesic Diameter of Real Algebraic Sets

Let M Rⁿ be a connected component of an algebraic set ^–1(0),where is a polynomial of degree d. Assume that M is containedin a ball of radius r. We prove that the geodesic diameter ofM is bounded by 2rv(n)d(4d–5)^n–2, where v(n) =(1/2)((n+1)/2)(n/2)^–1.This estimate is based on the bound rv(n)d(4d–5)^n–2for the length of the gradient trajectories of a linear projectionrestricted to M. 2000 Mathematics Subject Classification 32Bxx,34Cxx (primary), 32Sxx, 14P10 (secondary).     

Cohen-Macaulay Complexes and Koszul Rings

Throughout this paper k denotes a fixed commutative ground ring.A Cohen–Macaulay complex is a finite simplicial complexsatisfying a certain homological vanishing condition. Thesecomplexes have been the subject of much research; introductionscan be found in, for example, Björner, Garsia and Stanley[6] or Budach, Graw, Meinel and Waack [7]. It is known (see,for example, Cibils [8], Gerstenhaber and Schack [10]) thatthere is a strong connection between the (co)homology of anarbitrary simplicial complex and that of its incidence algebra.We show how the Cohen–Macaulay property fits into thispicture, establishing the following characterization. A pure finite simplicial complex is Cohen–Macaulay overk if and only if the incidence algebra over k of its augmentedface poset, graded in the obvious way by chain lengths, is aKoszul ring.     

Indices of Vector Fields or 1-Forms and Characteristic Numbers

An index of a collection of 1-forms on a complex isolated completeintersection singularity corresponding to a Chern number isdefined and – in the case when the 1-forms are complexanalytic – expressed as the dimension of a certain algebra.2000 Mathematics Subject Classification 32S50, 57R20, 57R25.     

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.     

From Klein to Painleve Via Fourier, Laplace and Jimbo

We describe a method for constructing explicit algebraic solutionsto the sixth Painlevé equation, generalising that ofDubrovin and Mazzocco. There are basically two steps. Firstwe explain how to construct finite braid group orbits of triplesof elements of SL₂(C) out of triples of generators of three-dimensionalcomplex reflection groups. (This involves the Fourier–Laplacetransform for certain irregular connections.) Then we adapta result of Jimbo to produce the Painlevé VI solutions.(In particular, this solves a Riemann–Hilbert problemexplicitly.) Each step is illustrated using the complex reflection groupassociated to Klein's simple group of order 168. This leadsto a new algebraic solution with seven branches. We also provethat, unlike the algebraic solutions of Dubrovin and Mazzoccoand Hitchin, this solution is not equivalent to any solutioncoming from a finite subgroup of SL₂(C). The results of this paper also yield a simple proof of a recenttheorem of Inaba, Iwasaki and Saito on the action of Okamoto'saffine D₄ symmetry group as well as the correct connection formulaefor generic Painlevé VI equations. 2000 Mathematics SubjectClassification 34M55, 34M40, 20F55.     

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 Heat Flow of the CCR Algebra

Let Pf(x) = –if'(x) and Qf(x) = xf(x) be the canonicaloperators acting on an appropriate common dense domain in L²(R).The derivations D_P(A) = i(PA–AP) and D_Q(A) = i(QA–AQ)act on the *-algebra A of all integral operators having smoothkernels of compact support, for example, and one may considerthe noncommutative ‘Laplacian’, L = + , as a linear mapping of A into itself. L generates a semigroup of normal completely positive linearmaps on B(L₂(R)), and this paper establishes some basic propertiesof this semigroup and its minimal dilation to an E₀-semigroup.In particular, the author shows that its minimal dilation ispure and has no normal invariant states, and he discusses thesignificance of those facts for the interaction theory introducedin a previous paper. There are similar results for the canonical commutation relationswith n degrees of freedom, where 1 n < . 2000 MathematicsSubject Classification 46L57 (primary), 46L53, 46L65 (secondary).     

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

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

Banach Spaces Whose Algebras of Operators are Unitary: A Holomorphic Approach

An element u of a norm-unital Banach algebra A is said to beunitary if u is invertible in A and satisfies ||u|| = ||u^–1||= 1. The norm-unital Banach algebra A is called unitary if theconvex hull of the set of its unitary elements is norm-densein the closed unit ball of A. If X is a complex Hilbert space,then the algebra BL(X) of all bounded linear operators on Xis unitary by the Russo–Dye theorem. The question of whetherthis property characterizes complex Hilbert spaces among complexBanach spaces seems to be open. Some partial affirmative answersto this question are proved here. In particular, a complex Banachspace X is a Hilbert space if (and only if) BL(X) is unitaryand, for Y equal to X, X* or X** there exists a biholomorphicautomorphism of the open unit ball of Y that cannot be extendedto a surjective linear isometry on Y. 2000 Mathematics SubjectClassification 46B04, 46B10, 46B20.     

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.     

Existence of Periodic Solutions in Nonlinear Asymmetric Oscillations

The existence of periodic solutions for the nonlinear asymmetricoscillator x' + x⁺ – rßx^– = h(t),(' =d/dt (is discussed, where , rß are positive constantssatisfying for some positive integer n N and h(t) L (0,2) is 2-periodic with x^±= max {±x,0}. 2000 Mathematics Subject Classification34C10, 34C25.     

The Alternative Dunford-Pettis Property, Conjugations and Real Forms of C*-Algebras

Let be a conjugation, alias a conjugate linear isometry oforder 2, on a complex Banach space X and let X be the real formof X of -fixed points. In contrast to the Dunford–Pettisproperty, the alternative Dunford–Pettis property neednot lift from X to X. If X is a C^*-algebra it is shown thatX has the alternative Dunford–Pettis property if and onlyif X does and an analogous result is shown when X is the dualspace of a C^*-algebra. One consequence is that both Dunford–Pettisproperties coincide on all real forms of C^*-algebras.     

The Normal Holonomy Group of Kahler Submanifolds

We study the (restricted) holonomy group Hol() of the normalconnection (shortened to normal holonomy group) of a Kählersubmanifold of a complex space form. We prove that if the normalholonomy group acts irreducibly on the normal space then itis linear isomorphic to the holonomy group of an irreducibleHermitian symmetric space. In particular, it is a compact groupand the complex structure J belongs to its Lie algebra. We prove that the normal holonomy group acts irreducibly ifthe submanifold is full (that is, it is not contained in a totallygeodesic proper Kähler submanifold) and the second fundamentalform at some point has no kernel. For example, a Kähler–Einsteinsubmanifold of CPⁿ has this property. We define a new invariant µ of a Kähler submanifoldof a complex space form. For non-full submanifolds, the invariantµ measures the deviation of J from belonging to the normalholonomy algebra. For a Kähler–Einstein submanifold,the invariant µ is a rational function of the Einsteinconstant. By using the invariant µ, we prove that thenormal holonomy group of a not necessarily full Kähler–Einsteinsubmanifold of CPⁿ is compact, and we give a list of possibleholonomy groups. The approach is based on a definition of the holonomy algebrahol(P) of an arbitrary curvature tensor field P on a vectorbundle with a connection and on a De Rham type decompositiontheorem for hol(P). 2000 Mathematics Subject Classification53C40 (primary), 53B25 (secondary).     

A Characterization of Strongly Continuous Groups of Linear Operators on a Hilbert Space

It is proved that the infinitesimal generator A of a stronglycontinuous semigroup of linear operators on a Hilbert spacealso generates a strongly continuous group if and only if theresolvent of –A, ( + A)^–1, is also a bounded functionon some right-hand-side half plane of complex numbers, and convergesstrongly to zero as the real part of tends to infinity. Anapplication to a partial differential equation is given. 1991Mathematics Subject Classification 47D03.     

Structural Stability of Constrained Polynomial Systems

The structural stability of constrained polynomial differentialsystems of the form a(x, y)x'+b(x, y)y'=f(x, y), c(x, y)x'+d(x,y)y'=g(x, y), under small perturbations of the coefficientsof the polynomial functions a, b, c, d, f and g is studied.These systems differ from ordinary differential equations at‘impasse points’ defined by ad–bc=0. Extensionsto this case of results for smooth constrained differentialsystems [7] and for ordinary polynomial differential systems[5] are achieved here. 1991 Mathematics Subject Classification34C35, 34D30.     

Kazhdan-Lusztig Cells and the Murphy Basis

Let H be the Iwahori–Hecke algebra associated with S_n,the symmetric group on n symbols. This algebra has two importantbases: the Kazhdan–Lusztig basis and the Murphy basis.We establish a precise connection between the two bases, allowingus to give, for the first time, purely algebraic proofs fora number of fundamental properties of the Kazhdan–Lusztigbasis and Lusztig's results on the a-function. 2000 MathematicsSubject Classification 20C08.     

Centralizers in Domains of Gelfand-Kirillov Dimension 2

Given an affine domain of Gelfand–Kirillov dimension 2over an algebraically closed field, it is shown that the centralizerof any non-scalar element of this domain is a commutative domainof Gelfand–Kirillov dimension 1 whenever the domain isnot polynomial identity. It is shown that the maximal subfieldsof the quotient division ring of a finitely graded Goldie algebraof Gelfand–Kirillov dimension 2 over a field F all havetranscendence degree 1 over F. Finally, centralizers of elementsin a finitely graded Goldie domain of Gelfand–Kirillovdimension 2 over an algebraically closed field are considered.In this case, it is shown that the centralizer of a non-scalarelement is an affine commutative domain of Gelfand–Kirillovdimension 1. 2000 Mathematics Subject Classification 16P90.