Non-Gaussian Aspects of Heat Kernel Behaviour

A large number of papers written over the last ten years haveconcerned the spectral theory of Laplace–Beltrami operatorson complete Riemannian manifolds, and of other self-adjointsecond order elliptic operators. Much of the interest has centredon the relationship between various types of Sobolev inequality,parabolic Harnack inequalities and the Liouville property onthe one hand, and Gaussian heat kernel bounds on the other.For manifolds of bounded geometry there is an important connectionbetween this problem and a corresponding one for discrete Laplacianson graphs. Standard references are [9, 37] and more recent literaturecan be traced via [5, 16, 32].     

Jacobiennes de Courbes Algebriques de Genre 2 et 3 de Grand Rang Sur Q

Infinite families of curves are constructed of genus 2 and 3over Q whose jacobians have high rank over Q. More precisely,if E is an elliptic curve with rank at least r over Q, an infinitefamily of curves are constructed of genus 2 whose jacobianshave rank at least r+4 over Q, and, under certain conditions,an infinite family of curves are constructed of genus 3 whosejacobians have rank at least 2r over Q. On specialisation, afamily of curves are obtained of genus 2 whose jacobians haverank at least 27 and a family of curves are obtained of genus3 whose jacobians have rank at least 26; one of these has rankat least 42.     

An alternating method for Cauchy problems for Helmholtz-type operators in non-homogeneous medium

Kozlov & Maz'ya (1989, Algebra Anal., 1, 144–170)proposed an alternating iterative method for solving Cauchyproblems for general strongly elliptic and formally self-adjointsystems. However, in many applied problems, operators appearthat do not satisfy these requirements, e.g. Helmholtz-typeoperators. Therefore, in this study, an alternating procedurefor solving Cauchy problems for self-adjoint non-coercive ellipticoperators of second order is presented. A convergence proofof this procedure is given.     

Extending Solutions of Holomorphic Partial Differential Equations Across Real Hypersurfaces

The main result in this paper, Theorem 1.2, generalizes a theoremof Zerner [26] concerning sufficient conditions for the holomorphiccontinuability of a solution of a linear holomorphic partialdifferential equation across a point of a hypersurface, on oneside of which it is holomorphic. The point of the new theoremis, roughly speaking, that it applies also to regular solutionsof partial differential equations whose coefficients may havecertain kinds of singularities. This enables us to deduce somenew results (see 2) on elliptic partial differential equationsin R²:Theorem 2.1 extends a result of Vekua on the size of thedomain of holomorphy of solutions to elliptic equations, inthe case where singularities are permitted in the coefficients;Theorem 2.2 is of an apparently novel type, showing (roughly)that under certain conditions the solution to Cauchy's problemis real-analytic in a domain whose size depends only on theprincipal part of the operator, which is assumed to be the Laplacian,and the Cauchy data on the real axis. (Results of this kindare very delicate, as we shall illustrate in 4 with a simplecounterexample.) Theorem 2.2 is new and non-trivial even forequations with analytic coefficients, in which case though,Theorem 1.2 is not needed for the proof.     

Linear Independence of Hecke Operators in the Homology of X0(N)

In Merel's recent proof [7] of the uniform boundedness conjecturefor the torsion of elliptic curves over number fields, a keystep is to show that for sufficiently large primes N, the Heckeoperators T₁, T₂, ..., T_D are linearly independent in theiractions on the cycle e from 0 to i in H₁(X₀(N) (C), Q). In particular,he shows independence when max(D⁸, 400D⁴) < N/(log N)⁴. Inthis paper we use analytic techniques to show that one can chooseD considerably larger than this, provided that N is large.     

A continuation method for a weakly elliptic two-parameter eigenvalue problem

We show that the continuation method can be used to solve aweakly elliptic two-parameter eigenvalue problem. We generalizethe continuation method for a nonsymmetric eigenvalue problemAx = x by T. Y. Li, Z. Zeng and L. Cong (1992 SIAM J. Numer.Anal. 29, 229–248) to two-parameter problems.     

Elliptic Genera for Z/k-Manifolds I

Using Z/k-manifolds we give a geometric interpretation of thering homomorphism from cobordismwith Z/k coefficients to elliptic cohomology with Z/k coefficients,induced by the map of spectra MSO Ell associated to the naturaltransformation of cohomology theories MSO* Ell*.     

Semisimple Modules for Finite Groups of Lie Type

Let k be an algebraically closed field of characteristic p >0, and let G be a connected, reductive algebraic group overk. In [8] and [11], conditions on the dimension of rationalG modules were seen to imply semisimplicity of these modules.In [8], certain of these conditions were extended to cover thefinite groups of Lie type. In this paper, we extend some ofthe results of [11] to cover these finite Lie type groups. Themain such extension is the following result.     

Residually Finite Groups with all Subgroups Subnormal

The following result is established. THEOREM. Let G be a periodic, residually finite group with allsubgroups sub-normal. Then G is nilpotent. The well-known groups of Heineken and Mohamed [1] show thatthe hypothesis of residual finiteness cannot be omitted here,while examples in [5] show that a residually finite group withall subgroups subnormal need not be nilpotent. The proof ofthe Theorem will use the results of Möhres that a groupwith all subgroups subnormal is soluble [3] and that a periodichypercentral group with all subgroups subnormal is nilpotent[4]. Borrowing an idea from [2], the plan is to construct certainsubgroups H and K that intersect trivially, and to show thatthe subnormality of both leads to a contradiction. 1991 MathematicsSubject Classification 20E15.     

Tauberian Constants for Double Series

The object of this paper is to extend a result of Agnew in [1]for single series to double series, and so enable Tauberianconstants between matrix transformations of double sequencesto be calculated using the technique that many authors haveused previously for single sequences (see, for instance, [2,3, 8]). This method (see below) gives the best possible Tauberianconstants in the form of certain upper limits, and we attemptto calculate these for Cesàro summability with variousknown Tauberian conditions. In Section 2, we introduce our notationand review earlier work. In Section 3, we prove our main result,and we discuss applications to Cesàro summability inSection 4.     

On the Group of Symplectic Matrices Over a Free Associative Algebra

Symplectic groups are well known as the groups of isometriesof a vector space with a non-singular bilinear alternating form.These notions can be extended by replacing the vector spaceby a module over a ring R, but if R is non-commutative, it willalso have to have an involution. We shall here be concernedwith symplectic groups over free associative algebras (witha suitably defined involution). It is known that the generallinear group GL_n over the free algebra is generated by the setof all elementary and diagonal matrices (see [1, Proposition2.8.2, p. 124]). Our object here is to prove that the symplecticgroup over the free algebra is generated by the set of all elementarysymplectic matrices. For the lowest order this result was obtainedin [4]; the general case is rather more involved. It makes useof the notion of transduction (see [1, 2.4, p. 105]). When thereis only a single variable over a field, the free algebra reducesto the polynomial ring and the weak algorithm becomes the familiardivision algorithm. In that case the result has been provedin [3, Anhang 5].     

Estimates for domains of local invertibility of diffeomorphisms

Using a novel Wintner-type formulation of the classical Peano's existence theorem [Math. Ann. 37 (1890), 182-228], we enhance Wazewski's result on invertibility of maps defined on closed balls [Ann. Soc. Pol. Math. 20 (1947), 81-125] securing the size of the domain of invertibility that agrees with the bounds derived by John [Comm. Pure Appl. Math. 21 (1968), 77-110] and Sotomayor [Z. Angew. Math. Phys. 41 (1990), 306-310].

     

Hypersurface Singularities with 2-Dimensional Critical Locus

Consider an analytic germ f:(C^m, 0)(C, 0) (m3) whose criticallocus is a 2-dimensional complete intersection with an isolatedsingularity (icis). We prove that the homotopy type of the Milnorfiber of f is a bouquet of spheres, provided that the extendedcodimension of the germ f is finite. This result generalizesthe cases when the dimension of the critical locus is zero [8],respectively one [12]. Notice that if the critical locus isnot an icis, then the Milnor fiber, in general, is not homotopicallyequivalent to a wedge of spheres. For example, the Milnor fiberof the germ f:(C⁴, 0)(C, 0), defined by f(x₁, x₂, x₃, x₄) =x₁x₂x₃x₄ has the homotopy type of S¹xS¹xS¹. On the other hand,the finiteness of the extended codimension seems to be the rightgeneralization of the isolated singularity condition; see forexample [9–12, 17, 18]. In the last few years different types of ‘bouquet theorems’have appeared. Some of them deal with germs f:(X, x)(C, 0) wheref defines an isolated singularity. In some cases, similarlyto the Milnor case [8], F has the homotopy type of a bouquetof (dim X–1)-spheres, for example when X is an icis [2],or X is a complete intersection [5]. Moreover, in [13] Siersmaproved that F has a bouquet decomposition FF₀Sⁿ...Sⁿ (whereF₀ is the complex link of (X, x)), provided that both (X, x)and f have an isolated singularity. Actually, Siersma conjecturedand Tibr proved [16] a more general bouquet theorem for thecase when (X, x) is a stratified space and f defines an isolatedsingularity (in the sense of the stratified spaces). In thiscase F_iF_i, where the F_i are repeated suspensions of complexlinks of strata of X. (If (X, x) has the ‘Milnor property’,then the result has been proved by Lê; for details see[6].) In our situation, the space-germ (X, x) is smooth, but f hasbig singular locus. Surprisingly, for dim Sing f^–1(0)2,the Milnor fiber is again a bouquet (actually, a bouquet ofspheres, maybe of different dimensions). This result is in thespirit of Siersma's paper [12], where dim Sing f^–1(0)= 1. In that case, there is only a rather small topologicalobstruction for the Milnor fiber to be homotopically equivalentto a bouquet of spheres (as explained in Corollary 2.4). Inthe present paper, we attack the dim Sing f^–1(0) = 2 case.In our investigation some results of Zaharia are crucial [17,18].     

On Sets Where Iterates of a Meromorphic Function Zip Towards Infinity

For a transcendental meromorphic function f, various propertiesof the set [formula] were obtained in [8] and [9]. Here we establish analogous propertiesfor the smaller sets [formula] introduced in [5], and [formula] We deduce a symmetry result for Julia sets J(f), and also indicatesome techniques for showing that certain invariant curves liein I'(f), Z(f) and J(f). 2000 Mathematics Subject Classification30D05, 37F10, 37F50.     

Multiple supersingular elliptic fibers on elliptic surfaces

Elliptic surfaces over an algebraically closed field in characteristic p>0 with multiple supersingular elliptic fibers, that is, multiple fibers of a supersingular elliptic curve, are investigated. In particular, it is shown that for an elliptic surface with q=g+1 and a supersingular elliptic curve as a general fiber, where q is the dimension of an Albanese variety of the surface and g is the genus of the base curve, the multiplicities of the multiple supersingular elliptic fibers are not divisible by p². As an application of this result, the structure of false hyperelliptic surfaces is discussed on this basis.     

Mackey formula in type A

Let G be a connected reductive group defined over a finite fieldwith q elements and let F: G G be the corresponding Frobeniusendomorphism. We prove that the Mackey formula for Lusztig inductionand restriction holds in G^F if all the simple components ofG are of type A. Our result holds for every Frobenius endomorphism(split or non-split) and for every q. 1991 Mathematics SubjectClassification: 20G05, 20G40.     

Linear Spaces on Cubic Hypersurfaces, and Pairs of Homogeneous Cubic Equations

A remarkable theorem of Birch [2] shows that a system of homogeneouspolynomials with rational coefficients has a non-trivial zero,provided only that these polynomials are of odd degree, andthe system has sufficiently many variables in terms of the numberand degrees of these polynomials. Despite four decades of effort,the problem of obtaining a reasonable bound for the latter numberof variables has proved to be one of great difficulty. Whenthe system consists of a single cubic form, Davenport [4] hassucceeded in showing that 16 variables suffice, and Schmidt[17, 18, 19, 20] has devoted a series of papers to systems ofcubic forms, showing in particular that 5140 variables sufficefor pairs of cubic forms, and that (10r)⁵ variables sufficefor systems of r cubic forms. The current state of knowledgefor forms of higher degree is, by comparison, extremely weak(but see [21, 22]), and so it seems worthwhile expending furthereffort on the case of systems of cubic forms. In this paperwe improve on Schmidt's result for pairs of cubic forms. Incontrast with the sophisticated versions of the Hardy–Littlewoodmethod employed by Davenport and Schmidt, our approach is basedon an elementary idea of Lewis [12], and is applicable in arbitrarynumber fields. This method also has consequences for the existenceof linear spaces of rational solutions on cubic hypersurfaces,thereby improving on work of Lewis and Schulze-Pillot [14] onthis topic. 1991 Mathematics Subject Classification 11D72, 11E76.     

Oscillation Properties of a Semi-discrete Approximation to the Beam Equation with a Second Order Term

The solution of the equation w(x)u_tt+[p(x)u_xx]_xx–[p(x)u_x]_x=0, 0< x < L, t > 0, where it is assumed that w, p,and q are positive on the interval [0, L], is approximated bythe method of straight lines. The resulting approximation isa linear system of differential equations with coefficient matrixS. The matrix S is studied under a variety of boundary conditionswhich result in a conservative system. In all cases the matrixS is shown to be similar to an oscillation matrix.     

On the global stability of a temporal discretization scheme for the Navier-Stokes equations

The time discretization by a linear backward Euler scheme forthe non-stationary viscous incompressible Navier–Stokesequations with a non-zero external force in a bounded 2D domainwith no-slip boundary condition or periodic boundary conditionis studied. Improved global stability results are obtained. The boundedness of the solution sequence in V and D(A) normsuniform with respect to &t for t [0, ) is proved. A similarresult in the V norm was previously obtained by (Geveci, 1989Math. Comp., 53, 43–53) for the non-forced system. A differentapproach is used here. As a corollary, the global attractorfor the approximation scheme is proved to exist, which is boundedin both V and D(A) spaces, thus compact in both H and V spaces.Applying the same techniques developed here, we are able toimprove the main result of (Hill and Süli 2000 IMA J. Numer.Anal., 20, 633–667) by showing that besides the existenceof a global attractor, the whole solution sequence is uniformlybounded in V as well, which is of significance from the pointof view of computing. As a corollary of local convergence results,upper semi-continuity of the attractor with respect to the numericalperturbation induced by the linear scheme is also establishedin both H and V spaces. Finally, some preliminary estimates,which are to our knowledge the first of their kind, on the dimensionsof the attractors in H and V spaces are also obtained.     

The Ubiquity of Thompson's Group F in Groups of Piecewise Linear Homeomorphisms of the Unit Interval

In the 1960s, Richard J. Thompson introduced a triple of groupsF T G which, among them, supplied the first examples of infinite,finitely presented, simple groups [14] (see [6] for publisheddetails), a technique for constructing an elementary exampleof a finitely presented group with an unsolvable word problem[12], the universal obstruction to a problem in homotopy theory[8], and the first examples of torsion free groups of type FPand not of type FP [5]. In abstract measure theory, it has beensuggested by Geoghegan (see [3] or [9, Question 13]) that Fmight be a counterexample to the conjecture that any finitelypresented group with no non-cyclic free subgroup is amenable(admits a bounded, non-trivial, finitely additive measure onall subsets that is invariant under left multiplication). Recently,F has arisen in the theory of groups of diagrams over semigrouppresentations [10], and as the object of questions in the algebraof string rewriting systems [7]. For more extensive bibliographiesand more results on Thompson's groups and their generalizationssee [1, 4, 6]. A persistent peculiarity of Thompson's groups is their abilityto pop up in diverse areas of mathematics. This suggests thatthere might be something very natural about Thompson's groups.We support this idea by showing (Theorem 1.1 below) that PL_o(I),the group of piecewise linear (finitely many changes of slope),orientation-preserving, self-homeomorphisms of the unit interval,is riddled with copies of F: a very weak criterion implies thata subgroup of PL_o(I) must contain an isomorphic copy of F.