Deformation Theory and The Computation of Zeta Functions

We present a new approach to the problem of computing the zetafunction of a hypersurface over a finite field. For a hypersurfacedefined by a polynomial of degree d in n variables over thefield of q elements, one desires an algorithm whose runningtime is a polynomial function of dⁿ log(q). (Here we assumed 2, for otherwise the problem is easy.) The case n = 1 isrelated to univariate polynomial factorisation and is comparativelystraightforward. When n = 2 one is counting points on curves,and the method of Schoof and Pila yields a complexity of , where the function C_d depends exponentiallyon d. For arbitrary n, the theorem of the author and Wan givesa complexity which is a polynomial function of (pdⁿ log(q))ⁿ,where p is the characteristic of the field. A complexity estimateof this form can also be achieved for smooth hypersurfaces usingthe method of Kedlaya, although this has only been worked outin full for curves. The new approach we present should yielda complexity which is a small polynomial function of pdⁿ log(q).In this paper, we work this out in full for Artin–Schreierhypersurfaces defined by equations of the form Z^p – Z= f, where the polynomial f has a diagonal leading form. Themethod utilises a relative p-adic cohomology theory for familiesof hypersurfaces, due in essence to Dwork. As a corollary ofour main theorem, we obtain the following curious result. Letf be a multivariate polynomial with integer coefficients whoseleading form is diagonal. There exists an explicit deterministicalgorithm which takes as input a prime p, outputs the numberof solutions to the congruence equation f = 0 op, and runs in bit operations, for any >0. This improves upon the elementary estimate of bit operations, where n is the number of variables,which can be achieved using Berlekamp's root counting algorithm.2000 Mathematics Subject Classification 11Y99, 11M38, 11T99.     

Damping Oscillatory Integrals with Polynomial Phase and Convolution Operators with the Affine Arclength Measure on Polynomial Curves in Rn

McMichael proved that the convolution with the (euclidean) arclengthmeasure supported on the curve t (t, t², ..., tⁿ), 0 < t< 1, maps L^p(Rⁿ) boundedly into L^p'(Rⁿ) if and only if 2n(n+1)/(n²+n+2) p 2. In proving this, a uniform estimate on damping oscillatoryintegrals with polynomial phase was crucial. In this paper,a remarkably simple proof of the same estimate on oscillatoryintegrals is presented. In addition, it is shown that the convolutionoperator with the affine arclength measure on any polynomialcurve in Rⁿ maps L^p(Rⁿ) boundedly into L^p'(Rⁿ) if p = 2n(n+1)/(n²+n+2).     

Singular Integrals and Maximal Functions Associated to Surfaces of Revolution

We obtain L^p estimates for singular integrals and maximal functionsassociated to hypersurfaces in Rⁿ⁺¹, n 2, which are obtainedby rotating a curve around one of the coordinate axes.     

Points of {varepsilon} Differentiability of Lipschitz Functions from Rn to Rn-1

This paper proves that for every Lipschitz function f : RⁿR^m,m < n, there exists at least one point of -differentiabilityof f which is in the union of all m-dimensional affine subspacesof the form q0 +span{q1,q2,...,q_m}, where q_j (j = 0,1,...,m)are points in Rⁿ with rational coordinates. 2000 MathematicsSubject Classification 26B05, 26B35.     

Realisations of Non v-Sufficient Jets with value in Rp, p > 1

The purpose of this paper is to show that if a jet cue oJ^r(n,p), n p, p > 1, is not v-sufficient in C^r+1, there existsan infinite sequence (f_i)_iN^* of realisations of o with mutuallynon-homeomorphic germs of varieties . Bochnak and Kuo [2, 5] showed it when p = 1 and thought thatthe same argument slightly modified can be used in the casep 2 [7, p. 225]. But when n p + 2, p > 1, we have to proceeddifferently. Moreover, it is necessary to prove separately theresult when n = p and n = p + 1. About C⁰-sufriciency and p> 1, Brodersen [3, p. 168] showed a similar theorem.     

On the Centred Hausdorff Measure

Let v be a measure on a separable metric space. For t, q R,the centred Hausdorff measures µ^h with the gauge functionh(x, r) = r^t(vB(x, r))^q is studied. The dimension defined bythese measures plays an important role in the study of multifractals.It is shown that if v is a doubling measure, then µ^h isequivalent to the usual spherical measure, and thus they definethe same dimension. Moreover, it is shown that this is trueeven without the doubling condition, if q 1 and t 0 or ifq 0. An example in R² is also given to show the surprisingfact that the above assertion is not necessarily true if 0 <q < 1. Another interesting question, which has been askedseveral times about the centred Hausdorff measure, is whetherit is Borel regular. A positive answer is given, using the aboveequivalence for all gauge functions mentioned above.     

A Lie Theoretic Approach to Thompson's Theorems on Singular Values-Diagonal Elements and Some Related Results

Thompson's famous theorems on singular values–diagonalelements of the orbit of an nxn matrix A under the action (1)U(n) U(n) where A is complex, (2) SO(n) SO(n), where A isreal, (3) O(n) O(n) where A is real are fully examined. Coupledwith Kostant's result, the real semi-simple Lie algebra so_n,n yields (2) and hence (3) and the sufficient part (the hardpart) of (1). In other words, the curious subtracted term(s)are well explained. Although the diagonal elements correspondingto (1) do not form a convex set in Cⁿ, the projection of thediagonal elements into Rⁿ (or iRⁿ) is convex and the characterizationof the projection is related to weak majorization. An elementaryproof is given for this hidden convexity result. Equivalentstatements in terms of the Hadamard product are also given.The real simple Lie algebra su_{n, n} shows that such a convexityresult fits into the framework of Kostant's result. Convexityproperties and torus relations are studied. Thompson's resultson the convex hull of matrices (complex or real) with prescribedsingular values, as well as Hermitian matrices (real symmetricmatrices) with prescribed eigenvalues, are generalized in thecontext of Lie theory. Also considered are the real simple Liealgebras so_{p, q} and so_{p, q}, p < q, which yield the rectangularcases. It is proved that the real part and the imaginary partof the diagonal elements of complex symmetric matrices withprescribed singular values are identical to a convex set inRⁿ and the characterization is related to weak majorization.The convex hull of complex symmetric matrices and the convexhull of complex skew symmetric matrices with prescribed singularvalues are given. Some questions are asked.     

Low-Dimensional Representations of Special Linear Groups in Cross Characteristics

The low-dimensional projective irreducible representations incross characteristics of the projective special linear groupPSL_n(q) are investigated. If n 3 and (n, q) (3,2), (3,4), (4,2), (4,3), all such representationsof the first degree (which is (qⁿ – q)/(q – 1) – with = 0 or 1) and the second degree (which is (qⁿ –1)/(q – 1) come from Weil representations. We show thatthe gap between the second and the third degree is roughly q^2n-4.1991 Mathematics Subject Classification: 20C20, 20C33.     

Congruences De Sommes De Chiffres De Valeurs Polynomiales

Let m, g, q N with q 2 and (m, q – 1) = 1. For n N,denote by s_n(n) the sum of digits of n in the q-ary digitalexpansion. Given a polynomial f with integer coefficients, degreed 1, and such that f(N) N, it is shown that there exists C= C(f, m, q) > 0 such that for any g Z, and all large N, In the special case m = q = 2 and f(n)= n², the value C = 1/20 is admissible. 2000 Mathematics SubjectClassification 11B85 (primary), 11N37, 11N69 (secondary).     

Conditions for the Solvability of Systems of Two and Three Additive Forms Over p-Adic Fields

This paper is concerned with non-trivial solvability in p-adicintegers of systems of two and three additive forms. Assumingthat the congruence equation ax^k + by^k + cz^k d (modp) has asolution with xyz 0(modp) we have proved that any system oftwo additive forms of odd degree k with at least 6k + 1 variables,and any system of three additive forms of odd degree k withat least 14k + 1 variables always has non-trivial p-adic solutions,provided p does not divide k. The assumption of the solubilityof the congruence equation above is guaranteed for example ifp > k⁴. In the particular case of degree k = 5 we have proved the followingresults. Any system of two additive forms with at least n variablesalways has non-trivial p-adic solutions provided n 31 and p> 101 or n 36 and p > 11. Furthermore any system of threeadditive forms with at least n variables always has non-trivialp-adic solutions provided n 61 and p > 101 or n 71 andp > 11. 2000 Mathematics Subject Classification 11D72, 11D79.     

On a Comparison Principle and the Critical Fujita Exponents for Solutions of Semilinear Parabolic Inequalities

The paper examines blow-up phenomena for the inequality u_t–Lu–|u|^q–1u_t–L–||^q–1 (*) in the half-space x Rⁿ, n 1, where L is a linear second-order partial differential operatorin divergence form. The paper studies weak solutions of (*) that belong only locallyto the corresponding Sobolev spaces in the half-space x Rⁿ. It also requires no conditionsfor the behavior of solutions of (*) on the hyperplane t = 0. The existence of critical blow-up exponents is obtained forsolutions of (*) as a special case of a comparison principlefor the corresponding solutions of (*). For example, the well-knownFujita result is a consequence of the comparison principle. The approach developed in the paper is directly applicable tothe study of analogous problems involving nonlinear differentialoperators. Its elliptic analogue has been recently developedby the authors.     

Distance Entre Puissances D'une Unite Approchee Bornee

Let A be a Banach algebra and let p and q be two positive integers.We show that if A has a left bounded sequential approximate identity (e_n)_n1such that lim, inf_n+|e^p_n-e^{p+q}_n| (p/p+q)^p/qq/p+q} then A has a left-bounded sequential identity (f_n)_{n1} such thatf²_{n = fn} for n1. A simple example shows that the constant (p/p+q)^{p/q q/p+q} is best possible. This result is based on some algebraic or integral formulaewhich associate an idempotent to elements of a Banach algebrasatisfying some inequalities involving polynomials or entirefunctions.     

Multistep approximation of linear sectorial evolution equations

This paper concerns the linear multistep approximation of alinear sectorial evolution equation u_t = Au on a complex Banachspace X. Given a strictly A()-stable q-step method of orderp whose stability region includes a sectorial region containingthe spectrum of the operator A, the corresponding evolutionsemigroup for the method is Cⁿ(hA), n 0, defined on X^q, whereC(z) L (C^q) denotes the one-step map associated with the method.It is shown that for appropriately chosen V, Y: C C^q, basedon the principal right and left eigenvectors of C(z), Cⁿ(hA)approximates the semigroup V(hA)e^nhAY^H(hA) with optimal orderp.     

Euler Characteristics of Real Varieties

In this paper we show how to associate to any real projectivealgebraic variety Z RP^n–1 a real polynomial F₁:Rⁿ,0 R, 0 with an algebraically isolated singularity, having theproperty that (Z) = (1 – deg (grad F₁), where deg (gradF₁ is the local real degree of the gradient grad F₁:Rⁿ, 0 Rⁿ,0. This degree can be computed algebraically by the method ofEisenbud and Levine, and Khimshiashvili [5]. The variety Z neednot be smooth. This leads to an expression for the Euler characteristic ofany compact algebraic subset of Rⁿ, and the link of a quasihomogeneousmapping f: Rⁿ, 0 Rⁿ, 0 again in terms of the local degree ofa gradient with algebraically isolated singularity. Similar expressions for the Euler characteristic of an arbitraryalgebraic subset of Rⁿ and the link of any polynomial map aregiven in terms of the degrees of algebraically finite gradientmaps. These maps do involve ‘sufficiently small’constants, but the degrees involved ar (theoretically, at least)algebraically computable.     

Normal Transversality and Uniform Bounds

Let A be a commutative ring. A graded A-algebra U = _n0 U_n isa standard A-algebra if U₀ = A and U = A[U₁] is generated asan A-algebra by the elements of U₁. A graded U-module F = _n0F_nis a standard U-module if F is generated as a U-module by theelements of F₀, that is, F_n = U_nF₀ for all n 0. In particular,F_n = U₁F_n–1 for all n 1. Given I, J, two ideals of A,we consider the following standard algebras: the Rees algebraof I, R(I) = _n0Iⁿtⁿ = A[It] A[t], and the multi-Rees algebraof I and J, R(I, J) = _n0(_p+q=nI^pJ^qu^pv^q) = A[Iu, Jv] A[u, v].Consider the associated graded ring of I, G(I) = R(I) A/I =_n0Iⁿ/Iⁿ⁺¹, and the multi-associated graded ring of I and J,G(I, J) = R(I, J) A/(I+J) = _n0(_p+q=nI^pJ^q/(I+J)I^pJ^q). We canalways consider the tensor product of two standard A-algebrasU = _p0U_p and V = _q0V_q as a standard A-algebra with the naturalgrading U V = _n0(_p+q=nU_p V_q). If M is an A-module, we havethe standard modules: the Rees module of I with respect to M,R(I; M) = _n0IⁿMtⁿ = M[It] M[t] (a standard R(I)-module), andthe multi-Rees module of I and J with respect to M, R(I, J;M) = _n0(_p+q=nI^pJ^qMu^pv^q) = M[Iu, Jv] M[u, v] (a standard R(I,J)-module). Consider the associated graded module of M withrespect to I, G(I; M) = R(I; M) A/I = _n0IⁿM/Iⁿ⁺¹M (a standardG(I)-module), and the multi-associated graded module of M withrespect to I and J, G(I, J; M) = R(I, J; M) A/(I+J) = _n0(_p+q=nI^pJ^qM/(I+J)I^pJ^qM)(a standard G(I, J)-module). If U, V are two standard A-algebras,F is a standard U-module and G is a standard V-module, thenF G = _n0(_p+q=nF_p G_q) is a standard U V-module. Denote by :R(I) R(J; M) R(I, J; M) and :R(I, J; M) R(I+J;M) the natural surjective graded morphisms of standard RI) R(J)-modules. Let :R(I) R(J; M) R(I+J; M) be . Denote by :G(I) G(J; M) G(I, J; M) and :G(I, J; M) G(I+J; M) the tensor productof and by A/(I+J); these are two natural surjective gradedmorphisms of standard G(I) G(J)-modules. Let :G(I) G(J; M) G(I+J; M) be . The first purpose of this paper is to prove the following theorem.     

Small Sets which meet all the n-Term Arithmetic Progressions in the Interval [1, n2]

For any positive integers n and k, let f(n, k) denote the smallestsize of a subset of the integer interval I =[l, n] which meetsall the k-term arithmetic progressions contained in I. We showthat n+(1/2)n^1/2–2 < f(n²,n) , where p is the largest prime n, and for any real number x,[x] is the least integer x.     

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 .     

A Necessary and Sufficient Condition for a Linear Differential System to be Strongly Monotone

In order to present the results of this note, we begin withsome definitions. Consider a differential system [formula] where IR is an open interval, and f(t, x), (t, x)IxRⁿ, is acontinuous vector function with continuous first derivativesf_r/x_s, r, s=1, 2, ..., n. Let D_xf(t, x), (t, x)IxRⁿ, denote the Jacobi matrix of f(t,x), with respect to the variables x₁, ..., x_n. Let x(t, t₀,x₀), tI(t₀, x₀) denote the maximal solution of the system (1)through the point (t₀, x₀)IxRⁿ. For two vectors x, yRⁿ, we use the notations x>y and x>>yaccording to the following definitions: [formula] An nxn matrix A=(a_rs) is called reducible if n2 and there existsa partition [formula] (p1, q1, p+q=n) such that [formula] The matrix A is called irreducible if n=1, or if n2 and A isnot reducible. The system (1) is called strongly monotone if for any t₀I, x₁,x₂Rⁿ [formula] holds for all t>t₀ as long as both solutions x(t, t₀, x_i),i=1, 2, are defined. The system is called cooperative if forall (t, x)IxRⁿ the off-diagonal elements of the nxn matrix D_xf(t,x) are nonnegative. 1991 Mathematics Subject Classification34A30, 34C99.     

Vector Valued Inequalities for Hankel Transforms

The disc multiplier may be seen as a vector valued operatorwhen we consider its projections in terms of the spherical harmonics.We prove the boundedness of this operator, which in this formrepresents a vector valued Hankel Transform, on the spaces (r^n–1 dr) when 2n/(n + 1) <p, q < 2n/(n – 1).