MOTIVIC INVARIANTS OF ARTIN STACKS AND 'STACK FUNCTIONS'

An invariant of quasiprojective -varieties X with values ina commutative ring is motivic if (X) = (Y) + (X\ Y) for Y closedin X, and (X x Y) = (X)(Y). Examples include Euler characteristics and virtual Poincaré and Hodge polynomials. We firstdefine a unique extension ' of to finite type Artin -stacks, which is motivic and satisfies '([X/G]) = (X)/(G) when X is a -variety, G a special -groupacting on X, and [X/G] is the quotient stack. This only worksif (G) is invertible in for all special -groups G, which excludes = as (_m) = 0. But we can extend the construction to get roundthis. Then we develop the theory of stack functions on Artin stacks.These are a universal generalization of constructible functionson Artin stacks. There are several versions of the construction:the basic one , and variants ‘twisted’ by motivic invariants. We associate a -vector space or a -module to each Artin stack , with functorial operations of multiplication, pullbacks * and pushforwards _*under 1-morphisms ;, and so on. They will be important tools in the author's series on ‘Configurationsin abelian categories’.     

LABELLING THE CHARACTER TABLES OF SYMMETRIC AND ALTERNATING GROUPS

Let X be a character table of the symmetric group S_n. It isshown that unless n = 4 or n = 6, there is a unique way to assignpartitions of n to the rows and columns of X so that for all and , X is equal to (), the value of the irreducible characterof S_n labelled by on elements of cycle type . Analogous resultsare proved for alternating groups, and for the Brauer charactertables of symmetric and alternating groups.     

REAL HYPERSURFACES IN A EUCLIDEAN COMPLEX SPACE FORM

Let M be an orientable connected and compact real hypersurfaceof the complex space form C^{(n + 1)/2}. If the mean curvature and the function f = g(A, ) of hypersurface M satisfy the inequalityn²² (n² – 1) + f², where is the characteristic vectorfield, A is the shape operator and (n – 1) is the infimumof the Ricci curvatures of hypersurface M, then it is shownthat is a constant and M is the sphere Sⁿ(²) in C^{(n + 1)/2}.     

CONFORMAL MEASURES ASSOCIATED TO ENDS OF HYPERBOLIC n-MANIFOLDS

Let be a non-elementary Kleinian group acting on the closedn-dimensional unit ball and assume that its Poincaréseries converges at the exponent . Let M be the -quotient ofthe open unit ball. We consider certain families = {E₁, ...,E_p} of open subsets of M such that is compact. The sets E_i are the ends of M and is a completecollection of ends for M. We associate to each end E an -conformalmeasure such that the measures corresponding to different endsare mutually singular if non-trivial. Additionally, each -conformalmeasure for on the limit set () of can be written as a sumof such conformal measures associated to ends E . In dimension3, our results overlap with some results of Bishop and Jones(The law of the iterated logarithm for Kleinian groups, Cont.Math. 211 (1997), 17–50.).     

SIMULTANEOUS DIOPHANTINE APPROXIMATION BY SQUARE-FREE NUMBERS

Let ₁, ...,_r R be ‘not very well approximable’,for example, Q-linearly independent real algebraic numbers.Then there are infinitely many positive square-free integersn such that ||n_i|| << n^–(2/3r)+(1 i r), where||·|| denotes distance to the nearest integer.     

ASYMPTOTICALLY LINEAR ELLIPTIC PROBLEM ON RN

In this paper, we consider the following semilinear ellipticproblem: where f(x, t) tends to p(x) and q(x) L(^N), respectively, ast 0 and t +. We prove that there exist two numbers l and Lwith L < l such that problem (P) has at least one positivesolution for (– l, –L) and has no positive solutionfor all [–l,–L]. The existence and non-existenceof positive solutions for problem (P) at = –l and =–L are also discussed.     

ON MINIMAL SURFACES WHOSE GAUSS MAP IS INVARIANT BY A HOLOMORPHIC FOLIATION

We study real minimal surfaces : M^{2 4} under the hypothesisthat the holomorphic Gauss map of the immersion is invariantby a holomorphic foliation with singularities. We give a sortof Huber–Osserman theorem regarding the algebraicity ofthe holomorphic Gauss map.     

Calculs De Facteurs Epsilon De Paires Pour GLn Sur Un Corps Local, I

Soient F un corps commutatif localement compact non archimédienet un caractère additif non trivial de F. Soient unereprésentation du groupe de Weil–Deligne de F,et sa contragrédiente. Nous calculons le facteur (, , ). De manière analogue, nous calculons le facteur (x, , ) pour toute représentationadmissible irréductible de GL_n(F). En conséquence,si F est de caractéristique nulle et si et se correspondentpar la correspondance de Langlands construite par M. Harris,ou celle construite par les auteurs, alors les facteurs (, , s) et (x, , s) sont égaux pour tout nombre complexe s. Let F be a non-Archimedean local field and a non-trivial additivecharacter of F. Let be a representation of the Weil–Delignegroup of F and its contragredient representation. We compute (, , ). Analogously, we compute (x, , ) for all irreducible admissible representations of GL_n(F).Consequently, if F has characteristic zero, and , correspondvia the Langlands correspondence established by M. Harris orthe correspondence constructed by the authors, then we have(, , s) = (x, , s) for all sC. 1991 Mathematics Subject Classification22E50.     

DISTRIBUTION OF ANGLES BETWEEN GEODESIC RAYS ASSOCIATED WITH HYPERBOLIC LATTICE POINTS

For every two points z₀, z₁ in the upper-half plane , considerall elements in the principal congruence group (N), actingon by fractional linear transformations, such that the hyperbolicdistance between z₁ and z₀ is at most R > 0. We study thedistribution of angles between the geodesic rays [z₁, z₀] asR , proving that the limiting distribution exists independentlyof N and explicitly computing it. When z₁ = z₀, this is foundto be the uniform distribution on the interval [–/2, /2].     

The large deformation of nonlinearly elastic rings in a two-dimensional compressible flow

The nonlinear nonlocal system of the equilibrium equations ofan elastic ring under the action of an external two-dimensionaluniformly subsonic potential barotropic steady-state gas flowis considered. The configurations of the elastic ring are identifiedby a pair of functions (, ). The simple curve represents theshape of the ring and the real-valued function identifies theorientation of the material sections of the ring. The pressurefield on the ring depends nonlocally on , and on two parametersU and P which represent the pressure and the velocity at infinity.The system is shown to be equivalent to a fixed-point problem,which is then treated with continuation methods. It is shownthat the solution branch ensuing from certain equilibrium states((₀, ₀), 0, P₀) in the solution-parameter space of ((₀, ₀),0, P₀) either approaches the boundary of the admissible ((,), U,p)'s in a well-defined sense, or is unbounded, or is homotopicallynontrivial in the sense that there exists a continuous map from the branch to a two-dimensional sphere which is not homotopicin the sphere to a constant, while restricted to the branchminus ((₀, ₀), 0, P₀) is homotopic to a constant in the sphere.Furthermore, by fixing the pressure parameter at P₀ and by consideringthe one-parameter problem in ((, ), U), the following holds.Every hyperplane in the solution-parameter space of the ((,), U)'s which contains the equilibrium state ((₀, ₀), 0) anddoes not include a welldetermined one-dimensional subspace intersectsthe solution branch above at a point different from ((₀, ₀),0).     

A MULTIPLE GENERALIZATION OF SLATER'S TRANSFORMATION FORMULA FOR A VERY-WELL-POISED-BALANCED 2r{psi}2r SERIES

The Jackson integral of type BC_n is a multiple generalizationof a very-well-poised-balanced _2r2r basic hypergeometric series.Based on this fact, a multiple analogue of Slater's transformationformula for the _2r2r series is presented herein. The proposedformula also provides an extension of Gustafson's multiple ₆₆summation formula of type C_n.     

Dynamics of projective morphisms having identical canonical heights

Let , :^{N N} be morphisms of degree at least 2 whose canonicalheights and are identical. We draw various conclusions aboutthe Green functions, Julia sets, and canonical local heightsof and . We use this information to completely characterize and in the following cases: (i) and are polynomial mapsin one variable; (ii) is the dth-power map; (iii) is a Lattèsmap.     

Are All Uniform Algebras Amnm?

A Banach algebra a is AMNM if whenever a linear functional on a and a positive number satisfy |(ab)–(a)(b)|||a||·||b||for all a, b a, there is a multiplicative linear functional on a such that ||–||=o(1) as 0. K. Jarosz [1] asked whetherevery Banach algebra, or every uniform algebra, is AMNM. B.E. Johnson [3] studied the AMNM property and constructed a commutativesemisimple Banach algebra that is not AMNM. In this note weconstruct uniform algebras that are not AMNM. 1991 MathematicsSubject Classification 46J10.     

A Criticality Criterion for Thermal Explosions in Well-stirred Systems with Reactant Consumption

The autonomous differential equations for the temperature andreactant consumption in a first-order well-stirred exothermicreaction are considered. An examination of the phase-plane solutionsallows the qualitative behaviour of the Semenov number as afunction of maximum temperature rise ^* to be established. Inthe limit of infinite adiabatic temperature rise (B) and zeroactivation energy parameter ( = 0), the relationship between and stationary temperature _s is known to be e_¹ = _s. Criticalityarises at the maximum of (_s) and leads to the critical Semenovvalues (_s)_cr = 1, _cr = e^–1. For sufficiently large B,it is shown that the (^*) curve has a bifurcation at ^* = 1, withthe upper branch monotonically increasing and the lower branchmonotonically decreasing for ^* > 1. In the limit B thesebecome respectively the straight line = e^–1, _s 1 andthe unstable branch of = _se^–1, _s 1 and the unstablebranch of = _s e^–. Criticality for finite B is definedas occurring at the bifurcation, namely ^*_cr = 1, with _cr(B)the value of at this point. Values of these Semenoy numbersare obtainable from the numerical calculations of Boddingtonet al. [Proc. R. Soc. Lond. (1983), 390, 13–30]. The newcriterion is applied to an approximate phase-plane solution.The corresponding critical parameter is found to be _cr = e^–1[1+B^–(2–e^–1)+O(B^–1)].     

Finite Element Approximation of a Rigid Punch Indenting a Membrane

Optimal order H¹ and L error bounds are obtained for a continuouspiecewise linear finite element approximation of an obstacleproblem, where the obstacle's height as well as the contactzone, _c, are a priori unknown. The problem models the indentationof a membrane by a rigid punch. For R², given ,g R⁺ and an obstacle defined over E we consider the minimization of |v|²_1,+gµover (v, µ) H¹₀() x R subject to v+µ on E. In additionwe show under certain nondegeneracy conditions that dist (_c,^h_c)Ch ln 1/h, where ^h_c is the finite element approximation to_c. Finally we show that the resulting algebraic problem canbe solved using a projected SOR algorithm.     

COMPRESSIONS, CONVEX GEOMETRY AND THE FREIMAN-BILU THEOREM

We note a link between combinatorial results of Bollobásand Leader concerning sumsets in the grid, the Brunn–Minkowskitheorem and a result of Freiman and Bilu concerning the structureof sets A with small doubling. Our main result is the following. If > 0 and if A is a finitenon-empty subset of a torsion-free abelian group with |A + A| K|A|, then A may be covered by e^KO(1) progressions of dimension log ₂ K + and size at most |A|.     

ON THE LEAST n WITH {chi}(n) != 1

Suppose that a > 1. By using a method of Linnik employinghis Large Sieve one may derive the following result. The numberof primitive Dirichlet characters with conductor Q such that(n) = 1 for all n (log Q)^a is O(Q^2/a+). We improve the exponent2/a for a > 2 by using a refined version by Heath-Brown ofthe Halasz–Montgomery ‘Large Values method’.     

The Decay of Eddy-currents in Thin Sheets and Related Water-wave Problems

The decay of the eddy-currents that are induced in a thin, uniform,imperfectly-conducting sheet by switching off the source ofan external magnetic field is investigated. For the two-dimensionalproblem of an infinite strip the (non-dimensional) decay constants_n and eddy-current distributions i_n(x) are the eigenvalues andeigenfunctions of the integral equation with the constraint. For the circular disc the corresponding equation is where and K and E are complete elliptic integrals. For both problemsthe initial eddy-currents have inverse-square-root singularitiesat the edges but during their decay the eddy currents are finiteat the edges and the normal magnetic fields have logarithmicsingularities there. Numerical results are given for variousinitial-value problems. The eddy current problems are closely related to water-waveproblems in which there is a strip-shaped or circular aperturein a horizontal rigid dock. If _n and _n are the decay constantsand magnetic scalar potentials for the strip and _n and _n theangular frequencies and velocity potentials for the normal modesin the strip-shaped aperture, then _n =_n² and _n and _n are thereal and imaginary parts respectively of a holomorphic function.The velocities in the normal modes are deduced from the solutionof the eddy-current problem and are found to agree with resultsgiven in Miles (1972). For circular geometries the eigenvaluesand eigenfunctions of the axisymmetric eddy-current problemare the same as those of the water-wave problem that has angularvariation eⁱ; where (, , z) are cylindrical polar co-ordinateslocated at the centre of the basin.     

SMALL C*-ALGEBRAS THAT FAIL TO HAVE SEPARABLE REPRESENTATIONS

It is shown that any -finite, wild AW*-algebra of type II₁ failsto have non-trivial separable representations. Here a wild AW*-algebrameans an AW*-algebra with no direct summand, which is *-isomorphicto a von Neumann algebra. Let be the -finite, wild type II₁AW*-algebra formed by taking the monotone complete tensor productof the Dixmier algebra and a factor of type II₁ acting ona separable Hilbert space. As both and act on separable Hilbertspaces, it seems natural to describe as small and to ask thefollowing question. Does have a non-trivial separable representation?The above described result answers negatively to this question.That is, fails to have non-trivial separable representations.