Let V be an absolutely irreducible affine variety over $\mathbb{F}_p$. A Lehmer point on V is a point whose coordinates satisfy some prescribed congruence conditions, and a visible point is one whose coordinates are relatively prime. Asymptotic results for the number of Lehmer points and visible points on V are obtained, and the distribution of visible points into different congruence classes is investigated.

In this paper we study the existence and the dynamics of a very special class of motions, which satisfy a strong global minimization property. More precisely, we call a free time minimizer a curve which satisfies the least action principle between any pair of its points without the constraint of time for the variations. An example of a free time minimizer defined on an unbounded interval is a parabolic homothetic motion by a minimal central configuration. The existence of a large amount of free time minimizers can be deduced from the weak KAM theorem. In particular, for any choice of x0, there should be at least one free time minimizer x(t) defined for all t ≥ 0 and satisfying x(0)=x0. We prove that such motions are completely parabolic. Using Marchal's theorem we deduce as a corollary that there are no entire free time minimizers, i.e. defined on $\mathbb{R}$. This means that the Mañé set of the Newtonian N-body problem is empty.

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.

A quadruple crossing is a crossing in a projection of a knot or link that has four strands of the knot passing straight through it. A quadruple crossing projection is a projection such that all of the crossings are quadruple crossings. In a previous paper, it was proved that every knot and link has a quadruple crossing projection and hence, every knot has a minimal quadruple crossing number c4(K). In this paper, we investigate quadruple crossing number, and in particular, use the span of the bracket polynomial to determine quadruple crossing number for a variety of knots and links.

Recently, Conlon, Fox and the author gave a new proof of a relative Szemerédi theorem, which was the main novel ingredient in the proof of the celebrated Green–Tao theorem that the primes contain arbitrarily long arithmetic progressions. Roughly speaking, a relative Szemerédi theorem says that if S is a set of integers satisfying certain conditions, and A is a subset of S with positive relative density, then A contains long arithmetic progressions, and our recent results show that S only needs to satisfy a so-called linear forms condition.

This paper contains an alternative proof of the new relative Szemerédi theorem, where we directly transfer Szemerédi's theorem, instead of going through the hypergraph removal lemma. This approach provides a somewhat more direct route to establishing the result, and it gives better quantitative bounds.

The proof has three main ingredients: (1) a transference principle/dense model theorem of Green–Tao and Tao–Ziegler (with simplified proofs given later by Gowers, and independently, Reingold–Trevisan–Tulsiani–Vadhan) applied with a discrepancy/cut-type norm (instead of a Gowers uniformity norm as it was applied in earlier works); (2) a counting lemma established by Conlon, Fox and the author; and (3) Szemerédi's theorem as a black box.

Two related issues are explored for bond percolation on ${\mathbb{Z}^d$ (with d ≥ 3) and its dual plaquette process. Firstly, for what values of the parameter p does the complement of the infinite open cluster possess an infinite component? The corresponding critical point pfin satisfies pfin ≥ pc, and strict inequality is proved when either d is sufficiently large, or d ≥ 7 and the model is sufficiently spread out. It is not known whether d ≥ 3 suffices. Secondly, for what p does there exist an infinite dual surface of plaquettes? The associated critical point psurf satisfies psurf ≥ pfin.

For an odd prime number p and a finite set S of prime numbers congruent to 1 modulo p, we consider the Galois group of the maximal pro-p-extension unramified outside S over the ${\mathbb Z}_p$-extension of the rational number field. In this paper, we classify all S such that the Galois group is a metacyclic pro-p group.

In this paper we consider the probability distribution function of a Gibbs measure supported on a self-conformal set given by an iterated function system (devil's staircase) applied to a compact subset of ${\mathbb R}$. We use thermodynamic multifractal formalism to calculate the Hausdorff dimension of the sets Sα0, Sα∞ and Sα, the set of points at which this function has, respectively, Hölder derivative 0, ∞ or no derivative in the general sense. This extends recent work by Darst, Dekking, Falconer, Kesseböhmer and Stratmann, and Yao, Zhang and Li by considering arbitrary such Gibbs measures given by a potential function independent of the geometric potential.

We present a proof of the formula, due to Mellit and Brunault, which evaluates an integral of the regulator of two modular units to the value of the L-series of a modular form of weight 2 at s=2. Applications of the formula to computing Mahler measures are discussed.

Combining Freiman's theorem with Balog–Szemerédi–Gowers theorem one can show that if an additive set has large additive energy, then a large piece of the set is contained in a generalized arithmetic progression of small rank and size. In this paper, we prove the above statement with the optimal bound for the rank of the progression. The proof strategy involves studying upper bounds for additive energy of subsets of ${\mathbb{R}^d$ and ${\mathbb{Z}^d$.

In this paper, we prove that the full automorphism group of the ${\mathbb Z}_2$-orbifold of the Barnes–Wall lattice vertex operator algebra of central charge 32 has the shape 227.E6(2). In order to identify the group structure, we introduce a graph structure on the Griess algebra and show that it is a rank 3 graph associated to E6(2).

For a handlebody H, we define two graphs, the augmented disk graph $\mathcal{ADG}(H)$ and the truncated augmented disk graph $\mathcal{TADG}(H)$, and we show they are hyperbolic in the sense of Gromov. In the process, we show they are quasi-isometric to two other disk graphs defined by U. Hamenstädt, the super conducting disk graph $\mathcal{SDG}(H)$ and the electrified disk graph $\mathcal{EDG}(H)$ respectively. So we reprove two theorems of Hamenstädt [12].

Our approach uses techniques from Masur–Schleimer's study on the hyperbolicity of the disk graph $\mathcal{DG}(H)$ [21].