This is a paper about upper bounds for Dirichlet's L-function, L(s, χ), on its critical line (s + s¯ = 1). It is to be assumed throughout that, unless otherwise stated, the Dirichlet character, χ, is periodic modulo a prime, r, and is not the principal character mod r. Our main theorem below shows that, if ε > 0, then

formula here

(where A is an absolute constant), for 0 < α = (log r)/(log t) [les ] 2/753 − ε. Somewhat weaker bounds are obtained for other cases where 0 < α [les ] 11/180 − ε. Note that in [13] it was shown that, for 0 < α [les ] 2/57,

formula here

Our main theorem is a corollary of the new bounds we prove for certain exponential sums, S, with a Dirichlet character factor:

formula here

where M2 [les ] 2M and f(x) is a real function whose derivatives satisfy certain conditions restricting their size.

1. In this paper I consider various properties of the area of a surface including the relationship between Hausdorff measure and the Lebesgue area. The results here obtained will enable me, in a subsequent paper, to investigate the tangential properties of parametric surfaces. For simplicity of exposition I confine my attention to surfaces homoeomorphic to a disk, but the general case follows easily from cyclic element theory.

In (general) elastico-viscous liquids the response to stress at any instant will depend on previous rheological history, the equations of state needed to describe the rheological properties of a typical material element at any instant t being expressible in the form of a (properly invariant†) set of integro-differential equations relating its deformation, stress and temperature histories (as defined by a metric tensor (of a convected frame of reference), a stress tensor and the temperature measured in the element as functions of previous time t'( < t)) together with the time lag (t – t') and physical constant tensors associated with the element (1). Thus in any type of oscillatory motion a rheological history will necessarily be a function of the frequency of the forcing agent, the rheological history of a number of different types of elastico-viscous liquids in some simple shearing oscillatory flows being a rather simple oscillatory history (see, for example, (2–4)). It is, therefore, to be expected that a liquid with elastic properties will behave somewhat differently from any inelastic viscous liquid when subjected to any kind of oscillatory motion, and it is for this reason that oscillatory motions have been used extensively to detect and measure the elastic properties of liquids (see, for example, (2–5)).

We define a new topos, the Herbrand topos, inspired by the modified realizability topos and our earlier work on Herbrand realizability. We also introduce the category of Herbrand assemblies and characterise these as the ¬¬-separated objects in the Herbrand topos. In addition, we show that the category of sets is included as the category of ¬¬-sheaves and prove that the inclusion functor preserves and reflects validity of first-order formulas.

In this paper, we introduce two new invariants that are closely related to Milnor's curvature-torsion invariant. The first, a particularly natural invariant called the spiral index of a knot, captures the number of local maxima in a knot projection that is free of inflection points. This invariant is sandwiched between the bridge and braid index of a knot, and captures more subtle properties. The second invariant, the projective superbridge index, provides a method of counting the greatest number of local maxima that occur in a given projection. In addition to investigating the relationships among these invariants, we use them to classify all those knots for which Milnor's curvature-torsion invariant is 6π.

The following result is due to J. H. Grace (see [4], p. 356, also see [9], §3).

Theorem A. if p is a polynomial such that p(–1) = p(1) then the derivative p' has a zero in each of the half-planes {Rez ≤0} and {Rez ≥0}.

Bartlett and Rajalakshman (3) have derived two types of large sample goodness of fit tests for the hypothesis that a multivariate (or vector) time series {X(t)}, t = 0, ± 1, ± 2, …, is generated by a linear autoregressive process. This may be defined as the stationary solution of an equation of the form

where the Ai are square matrices such that the roots of the determinantal equation ‖ zp + A1zp−1 + … + Ap ‖ = 0 have moduli less than unity, and {U(t)} is a sequence of independent random vector variables with a common distribution.

For a prime ℓ and an abelian variety A over a global field K, the ℓ-parity conjecture predicts that, in accordance with the ideas of Birch and Swinnerton–Dyer, the ℤℓ-corank of the ℓ∞-Selmer group and the analytic rank agree modulo 2. Assuming that char K > 0, we prove that the ℓ-parity conjecture holds for the base change of A to the constant quadratic extension if ℓ is odd, coprime to char K, and does not divide the degree of every polarisation of A. The techniques involved in the proof include the étale cohomological interpretation of Selmer groups, the Grothendieck–Ogg–Shafarevich formula and the study of the behavior of local root numbers in unramified extensions.

Let P(n) = [x1, . . ., xn] = ⊕d≥0Pd(n) be the polynomial algebra viewed as a graded left module over the Steenrod algebra at the prime 2. The grading is by the degree of the homogeneous polynomials Pd(n) of degree d in the n variables x1, . . ., xn. The algebra P(n) realizes the cohomology of the product of n copies of infinite real projective space. We recall that a homogeneous element f of grading d in a graded left -module M is hit if there is a finite sum f = ΣiSqi(hi), called a hit equation, where the pre-images hi ∈ M have grading strictly less than d and the Sqi, called the Steenrod squares, generate . One of the important parts of the hit problem is to check whether a given polynomial in M is hit or not. In this article we study this problem in the 3-variable case.

We study quadratic forms defined on an adelic vector space over an algebraic extension K of the rationals. Under the sole condition that a Siegel lemma holds over K, we provide height bounds for several objects naturally associated to the quadratic form, such as an isotropic subspace, a basis of isotropic vectors (when it exists) or an orthogonal basis. Our bounds involve the heights of the form and of the ambient space. In several cases, we show that the exponents of these heights are best possible. The results improve and extend previously known statements for number fields and the field of algebraic numbers.

A collineation in a space of paths is defined as a point transformation which carries paths into paths. Such transformations were first studied by L. P. Eisenhart and M. S. Knebelman. Subsequently J. Douglas introduced the geometry of K-spreads and E. T. Davies has shown that the results for an affine space of paths can be extended to these more general spaces and written in a very elegant form by the aid of Lie derivation.

Let K be any field of characteristic two and let $U_1$ and $W_1$ be the Lie algebras of the derivations of the algebra of Laurent polynomials $K[t,t^{-1}]$ and of the polynomial ring K[t], respectively. The algebras $U_1$ and $W_1$ are equipped with natural $\mathbb{Z}$ -gradings. In this paper, we provide bases for the graded identities of $U_1$ and $W_1$ , and we prove that they do not admit any finite basis.

In this paper finite type invariants (also known as Vassiliev invariants) of pure braids are considered from a group-theoretic point of view. New results include a construction of a universal invariant with integer coefficients based on the Magnus expansion of a free group and a calculation of numbers of independent invariants of each type for all pure braid groups.

Let X be an irreducible smooth complex projective curve of genus g ≥ 2, and let x ∈ X be a fixed point. Fix r > 1, and assume that g > 2 if r = 2. A framed bundle is a pair (E, φ), where E is coherent sheaf on X of rank r and fixed determinant ξ, and φ: Ex → r is a non–zero homomorphism. There is a notion of (semi)stability for framed bundles depending on a parameter τ > 0, which gives rise to the moduli space of τ–semistable framed bundles τ. We prove a Torelli theorem for τ, for τ > 0 small enough, meaning, the isomorphism class of the one–pointed curve (X, x), and also the integer r, are uniquely determined by the isomorphism class of the variety τ.

Let F = (F1, …, Fn-1): (ℝn, 0)→(ℝn-1, 0) and G:(ℝn, 0)→(ℝ, 0) be germs of analytic mappings, and let X = F-1(0). Assume that 0 ∈ ℝn is an isolated singular point in X, i.e. 0 ∈ ℝn is isolated in {x ∈ X|rank[DF(x)] < n-1}. Hence a germ of X/{0} at the origin is either void or a finite disjoint union of analytic curves. Let b denote the number of branches, i.e. connected components, of X/{0} and let b+ (resp. b-, b0) denote the number of branches of X/{0} on which G is positive (resp. G is negative, G vanishes). The problem is to calculate the numbers b, b+, b-, b0 in terms of F and G.

In this paper, we extend the definition of property T and strong property T to general C*-algebras (not necessarily unital). We show that if an inclusion pair of locally compact groups (G,H) has property T, then (C*(G), C*(H)) has property T. As a partial converse, if T is abelian and C*(G) has property T, then T is compact. We also show that if Ω is a first countable locally compact Hausdorff space, then C0(Ω) has (strong) property T if and only if Ω is discrete. Furthermore, the non-unital C*-algebra $c_0(\mathbb{Z}^n)\rtimes SL_n(\mathbb{Z})$ has strong property T when n ≥ 3. We also give some equivalent forms of strong property T, which are new even in the unital case.

Let (A, G, α, τ) be a twisted covariant system such that G/Nτ is abelian, and let Nτ ⊆ M ⊆ H be closed subgroups of G. We show that inducing covariant representations from A ⋊α, τM to A ⋊α, τH is in a certain sense dual to restricting representations from (A⋊α, τG)⋊άM┴ to (A⋊α, τG)⋊άH┴, and that, similarly, restricting representations from A⋊α, τH to A⋊α, τM is dual to inducing representations from (A⋊τG)⋊άH┴ to (A ⋊α, τG)⋊άM┴.

The non-linear equations governing the convective flow of heat, beyond marginal stability, in a fluid sphere containing a uniform distribution of heat sources, and cooled at its surface, are expressed in the Boussinesq approximation as a perturbation of the steady-state conduction solution. A steady-state axisymmetric poloidal flow is assumed, and the equations for an approximate solution, involving the first spherical harmonic only, are obtained using a special case of the general evolution criterion of Glansdorff and Prigogine. The solution is found numerically using an iterative procedure, the results showing good agreement with those obtained by Stuart's ‘shape assumption’ for values of the Rayleigh number just above the critical value for the onset of marginal stability.

In this paper we prove that the Hausdorff dimension of the set of (nondegenerate) singular two-dimensional vectors with uniform exponent μ in (1/2, 1) is equal to 2(1 − μ) for μ ⩾ $\sqrt2/2$, whereas for μ < $\sqrt2/2$ it is greater than 2(1 − μ) and at most equal to (3 − 2 μ)(1 − μ)/(1 − μ + μ2). We also establish that this dimension tends to 4/3 (which is the dimension of the set of singular two-dimensional vectors) when μ tends to 1/2. These results improve upon previous estimates of R. Baker, joint work of the first author with M. Laurent, and unpublished work of M. Laurent. Moreover, we prove a lower bound for the packing dimension, which appears to be strictly greater than the Hausdorff dimension for μ ⩾ 0.565. . . .

Let D be an integrally closed local Noetherian domain of Krull dimension 2, and let f be a nonzero element of D such that fD has prime radical. We consider when an integrally closed ring H between D and Df is determined locally by finitely many valuation overrings of D. We show such a local determination is equivalent to a statement about the exceptional prime divisors of normalized blow-ups of D and, when D is analytically normal, this property holds for D if and only if it holds for the completion of D. This latter fact, along with MacLane's notion of key polynomials, allows us to prove that in some central cases where D is a regular local ring and f is a regular parameter of D, then H is determined locally by a single valuation. As a consequence, we show that if H is also the integral closure of a finitely generated D-algebra, then the exceptional prime ideals of the extension H/D are comaximal. Geometrically, this translates into a statement about intersections of irreducible components in the closed fiber of the normalization of a proper birational morphism.