We develop a version of Freĭman's theorem for a class of non-abelian groups, which includes finite nilpotent, supersolvable and solvable A-groups. To do this we have to replace the small doubling hypothesis with a stronger relative polynomial growth hypothesis akin to that in Gromov's theorem (although with an effective range), and the structures we find are balls in (left and right) translation invariant pseudo-metrics with certain well behaved growth estimates.

Our work complements three other recent approaches to developing non-abelian versions of Freĭman's theorem by Breuillard and Green, Fisher, Katz and Peng, and Tao.

For functions F satisfying a certain submultiplicativity condition and polynomials Q1, . . ., Qk in [X], Nair and Tenenbaum obtained an upper bound on the short sum with an implicit dependency on the discriminant of Q1 . . . Qk. We obtain a similar upper bound uniform in the discriminant.

We consider a tamely ramified abelian extension of local fields of degree n, without assuming the presence of the nth roots of unity in the base field. We give an explicit formula which computes the local reciprocity map in this situation.

Cromwell and Marar present an analysis of semi-regular (generic) surfaces with a single triple point and connected self-intersection set. Six of their surfaces are the projective plane, including Boy's surface and Steiner's surface. We build on their work by incorporating twists similar to that of Apery's immersion of the projective plane and show that with a few additional surfaces, all such generic maps of the projective plane are now identified.

We study initial-boundary value problems for linear evolution equations of arbitrary spatial order, subject to arbitrary linear boundary conditions and posed on a rectangular 1-space, 1-time domain. We give a new characterisation of the boundary conditions that specify well-posed problems using Fokas' transform method. We also give a sufficient condition guaranteeing that the solution can be represented using a series.

The relevant condition, the analyticity at infinity of certain meromorphic functions within particular sectors, is significantly more concrete and easier to test than the previous criterion, based on the existence of admissible functions.

We will construct differential forms on the embedding spaces Emb(j, n) for n − j ≥ 2 using configuration space integral associated with 1-loop graphs, and show that some linear combinations of these forms are closed in some dimensions. There are other dimensions in which we can show the closedness if we replace Emb(j, n) by Emb(j, n), the homotopy fiber of the inclusion Emb(j, n) ↪ Imm(j, n). We also show that the closed forms obtained give rise to nontrivial cohomology classes, evaluating them on some cycles of Emb(j, n) and Emb(j, n). In particular we obtain nontrivial cohomology classes (for example, in H3(Emb(2, 5))) of higher degrees than those of the first nonvanishing homotopy groups.

Fix g a Hecke–Maass form for SL3(). In the family of holomorphic newforms f of fixed weight and large prime level q, we find the average value of the product . From this we derive a result on the simultaneous non-vanishing of these L-functions at the central point.

We construct a non-doubling measure on the real line, all tangent measures of which are equivalent to Lebesgue measure.

Unfortunately, there are two inaccuracies in the argument of [CLS]. First, the statements of Lemmas 3, 4, 6, and 7 of [CLS] hold only under the additional condition gcd(m, ME) = 1 for some integer ME ≥ 1 depending only on E. Second, the divisibility condition (3·6) in [CLS] implies that tb(ℓ) | nE(p)−1 (rather than tb(ℓ) | nE(p), as it was erroneously claimed on p. 519 in [CLS]). In particular, instead of the divisibility ℓtb(ℓ) | nE(p) (see the last displayed formula on p. 519 in [CLS]), we conclude that for every prime ℓ | L there is an integer aℓ such that(0.1)However, the final result is correct and can easily be recovered. To do so, we remark that under the condition gcd(m,ME) =1, we have full analogues of Lemmas 6, 7, 9, and 10 of [CLS] for the function Π(x;m,a) defined as the number of primes p ≤ x with nE(p) ≡ a (mod m) (rather than just for Π(x;m) = Π(x;m,0) as in [CLS]). Define ρ*(n) as the largest square-free divisor of n which is relatively prime to ME. We then derive from (0.1) above thatTherefore(0.2)Sincewe see that (0.2) above implies the bound (3·7) from [CLS], and the result now follows without any further changes.