Let V be a nonsingular cubic surface defined over the finite field Fq. It is well known that the number of points on V satisfies #V(Fq) = q2 + nq + 1 where −2 ≤ n ≤ 7 and that n = 6 is impossible; see for example [1], Table 1. Serre has asked if these bounds are best possible for each q. In this paper I shall show that this is so, with three exceptions:

We establish a correspondence between inverse sumset theorems (which can be viewed as classifications of approximate (abelian) groups) and inverse theorems for the Gowers norms (which can be viewed as classifications of approximate polynomials). In particular, we show that the inverse sumset theorems of Freĭman type are equivalent to the known inverse results for the Gowers U3 norms, and moreover that the conjectured polynomial strengthening of the former is also equivalent to the polynomial strengthening of the latter. We establish this equivalence in two model settings, namely that of the finite field vector spaces 2n, and of the cyclic groups ℤ/Nℤ.

In both cases the argument involves clarifying the structure of certain types of approximate homomorphism.

In this paper it is shown that if the volume sum ∑r = 1∞ Ψ(r) converges for a monotonic function Ψ then the set of points (x, z, w) ∈ ℝ × ℂ × ℚp which simultaneously satisfy the inequalities |P(x)| ≤ H−v1 Ψλ1(H), |P(z)| ≤ H−v2 Ψλ2(H) and |P(w)|p ≤ H−v3 Ψλ3(H) with v1 + 2v2 + v3 = n − 3 and λ1 + 2λ2 + λ3 = 1 for infinitely many integer polynomials P has measure zero.

The main result of this paper is a proof of the expected asymptotic formula for the density of zeros of a family of cubic forms in seven variables. This is established using the Hardy–Littlewood circle method.

We consider some questions related to the signs of Hecke eigenvalues or Fourier coefficients of classical modular forms. One problem is to determine to what extent those signs, for suitable sets of primes, determine uniquely the modular form, and we give both individual and statistical results. The second problem, which has been considered by a number of authors, is to determine the size, in terms of the conductor and weight, of the first sign-change of Hecke eigenvalues. Here we improve the recent estimate of Iwaniec, Kohnen and Sengupta.

We obtain a number of new bounds for exponential sums of the type S(χ, f) = ∑x = 1p−1 χ(x) ep(f(x)), with p a prime, f(x) = ∑i = 1raixki, ai, ki ∈ ℤ, 1 ≤ i ≤ r and χ a multiplicative character (mod p). The bounds refine earlier Mordell-type estimates and are particularly effective for polynomials in which a certain number of the ki have a large gcd with p − 1. For instance, if f(x) = ∑i = 1maixki + g(xd) with d|(p − 1) then . If f(x) = axk + h(xd) with d|(p − 1) and (k, p − 1) = 1 then , and if f(x) = axk + bx−k + h(xd) with d|(p − 1) and (k, p − 1) = 1 then .

Let I, I11,. . ., I1q1,. . ., Ip1,. . ., Ipqp be monomial ideals of a polynomial ring R = K[X1,. . ., Xr] and Ln = I+∩jIn1j + ⋅ ⋅ ⋅ + ∩jIpjn. It is shown that the ai-invariant ai(R/Ln) is asymptotically a quasi-linear function of n for all n ≫ 0, and the limit limn→∞ad(R/Ln)/n exists, where d = dim(R/L1). A similar result holds if I11,. . ., I1q1,. . ., Ip1,. . ., Ipqp are replaced by their integral closures. Moreover all limits also exist.

As a consequence, it is shown that there are integers p > 0 and 0 ≤ e ≤ d = dim R/I such that reg(In) = pn + e for all n ≫ 0 and pn ≤ reg(In) ≤ pn + d for all n > 0 and that the asymptotic behavior of the Castelnuovo–Mumford regularity of ordinary symbolic powers of a square-free monomial ideal is very close to a linear function.

The geometric motivic Poincaré series of a germ (S, 0) of complex algebraic variety takes into account the classes in the Grothendieck ring of the jets of arcs through (S, 0). Denef and Loeser proved that this series has a rational form. We give an explicit description of this invariant when (S, 0) is an irreducible germ of quasi-ordinary hypersurface singularity in terms of the Newton polyhedra of the logarithmic jacobian ideals. These ideals are determined by the characteristic monomials of a quasi-ordinary branch parametrizing (S, 0).

We discuss the question of whether the Brauer–Manin obstruction is the only obstruction to the Hasse principle for integral points on affine hyperbolic curves. In the case of rational curves we conjecture a positive answer, we prove that this conjecture can be given several equivalent formulations and we relate it to an old conjecture of Skolem. Finally, we show that for elliptic curves minus one point a strong version of the question (describing the set of integral points by local conditions) has a negative answer.

We expand the notion of core to cl-core for Nakayama closures cl. In the characteristic p > 0 setting, when cl is the tight closure, denoted by *, we give some examples of ideals when the core and the *-core differ. We note that *-core(I) = core(I), if I is an ideal in a one-dimensional domain with infinite residue field or if I is an ideal generated by a system of parameters in any Noetherian ring. More generally, we show the same result in a Cohen–Macaulay normal local domain with infinite perfect residue field, if the analytic spread, ℓ, is equal to the *-spread and I is Gℓ and weakly-(ℓ − 1)-residually S2. This last is dependent on our result that generalizes the notion of general minimal reductions to general minimal *-reductions. We also determine that the *-core of a tightly closed ideal in certain one-dimensional semigroup rings is tightly closed and therefore integrally closed.

We consider a family of dynamical systems (A, α, L) in which α is an endomorphism of a C*-algebra A and L is a transfer operator for α. We extend Exel's construction of a crossed product to cover non-unital algebras A, and show that the C*-algebra of a locally finite graph can be realised as one of these crossed products. When A is commutative, we find criteria for the simplicity of the crossed product, and analyse the ideal structure of the crossed product.

In this article we provide sufficient conditions on a space X to verify Ganea conjecture with respect to exterior and proper Lusternik–Schnirelmann category. For this aim we previously develop an exterior version of the Whitehead, cellular approximation, CW-approximation and Blakers–Massey theorems within a homotopy theory of exterior CW-complexes and study their corresponding analogues and consequences in the proper setting.

By a covering presentation of a 3-manifold, we mean a labelled link (i.e., a link with a monodromy representation), which presents the 3-manifold as the simple 4-fold covering space of the 3-sphere branched along the link with the given monodromy. It is known that two labelled links present a homeomorphic 3-manifold if and only if they are related by a finite sequence of some local moves. This paper presents a method for constructing topological invariants of 3-manifolds based on their covering presentations. The proof of the topological invariance is shown by verifying the invariance under the local moves. As an example of such invariants, we present the Dijkgraaf–Witten invariant of 3-manifolds.

We show that under certain mild conditions, a metric simplicial complex which satisfies the Ptolemy inequality is a CAT(0) space. Ptolemy's inequality is closely related to inversions of metric spaces. For a large class of metric simplicial complexes, we characterize those which are isometric to Euclidean space in terms of metric inversions.

Motivated by a problem from number theory about the relationship between Fermat curves and modular curves, a new class of loops is introduced, the Catalan loops. In the number-theoretic context, these loops turn out to be abelian precisely when the Fermat curves and modular curves coincide. General Catalan loops arise on certain transversals to diagonal subgroups in special linear groups over rings with a topologically nilpotent element. The transversals consist of products of certain affine shears. In a Catalan loop, the multiplication and right division are given by rational functions. The left division is algebraic, corresponding to a quadratic irrationality. The left division embodies generating functions for the Catalan numbers. Structurally, Catalan loops are shown to be residually nilpotent.

We extend a mod 2 relation between the Kauffman and Homfly polynomials, first observed by Rudolph in 1987, to the general Kauffman and Homfly satellite invariants.

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

In this paper the space of almost commuting elements in a Lie group is studied through a homotopical point of view. In particular a stable splitting after one suspension is derived for these spaces and their quotients under conjugation. A complete description for the stable factors appearing in this splitting is provided for compact connected Lie groups of rank one. By using symmetric products, the colimits Rep(ℤn, SU), Rep(ℤn, U) and Rep(ℤn, Sp) are explicitly described as finite products of Eilenberg–MacLane spaces.

Let K be a convex body which is (i) symmetric with respect to each of the coordinate hyperplanes and (ii) in isotropic position. We prove that most linear functionals acting on K exhibit super-Gaussian tail behavior. Using known facts about the mean-width of such bodies, we then deduce strong lower bounds for the volume of certain caps. We also prove a converse statement. Namely, if an arbitrary isotropic convex body (not necessarily satisfying (i)) exhibits similar cap-behavior, then one can bound its mean-width.

This paper constructs completely integrable convex Hamiltonians on the cotangent bundle of certain k bundles over l. A central role is played by the Lax representation of a Bogoyavlenskij–Toda lattice. The classification of these systems, up to iso-energetic topological conjugacy, is related to the classification of abelian groups of Anosov toral automorphisms by their topological entropy function.