We prove that if $f:\mathbb{B}^n \to \mathbb{B}^n$ , for n ≥ 2, is a homeomorphism with bounded skew over all equilateral hyperbolic triangles, then f is in fact quasiconformal. Conversely, we show that if $f:\mathbb{B}^n \to \mathbb{B}^n$ is quasiconformal then f is η-quasisymmetric in the hyperbolic metric, where η depends only on n and K. We obtain the same result for hyperbolic n-manifolds. Analogous results in $\mathbb{R}^n$ , and metric spaces that behave like $\mathbb{R}^n$ , are known, but as far as we are aware, these are the first such results in the hyperbolic setting, which is the natural metric to use on $\mathbb{B}^n$ .

Let d ≥ 3 be a natural number. We show that for all finite, non-empty sets $A \subseteq \mathbb{R}^d$ that are not contained in a translate of a hyperplane, we have

$$\begin{equation*} |A-A| \geq (2d-2)|A| - O_d(|A|^{1- \delta}),\end{equation*}$$

where δ > 0 is an absolute constant only depending on d. This improves upon an earlier result of Freiman, Heppes and Uhrin, and makes progress towards a conjecture of Stanchescu.

We prove that sets with positive upper Banach density in sufficiently large dimensions contain congruent copies of all sufficiently large dilates of three specific higher-dimensional patterns. These patterns are: 2n vertices of a fixed n-dimensional rectangular box, the same vertices extended with n points completing three-term arithmetic progressions, and the same vertices extended with n points completing three-point corners. Our results provide common generalizations of several Euclidean density theorems from the literature.

Recently, Lutz and Stull used methods from algorithmic information theory to prove two new Marstrand-type projection theorems, concerning subsets of Euclidean space which are not assumed to be Borel, or even analytic. One of the theorems states that if \[K \subset {\mathbb{R}^n}\] is any set with equal Hausdorff and packing dimensions, then

\begin{equation} \[{\dim _{\text{H}}}{\pi _e}(K) = \min \{ {\dim _{\text{H}}}{\text{ }}K{\text{, 1}}\} \] \end{equation}

for almost every \[e \in {S^{n - 1}}\]. Here \[{\pi _e}\] stands for orthogonal projection to span (\[e\]). The primary purpose of this paper is to present proofs for Lutz and Stull’s projection theorems which do not refer to information theoretic concepts. Instead, they will rely on combinatorial-geometric arguments, such as discretised versions of Kaufman’s “potential theoretic” method, the pigeonhole principle, and a lemma of Katz and Tao. A secondary purpose is to generalise Lutz and Stull’s theorems: the versions in this paper apply to orthogonal projections to m-planes in \[{\mathbb{R}^n}\], for all \[0 < m < n\].

Fundamental group of a manifold gives a deep effect on its underlying smooth structure. In this paper we introduce a new variant of the Donaldson invariant in Yang–Mills gauge theory from twisting by the Picard group of a 4-manifold in the case when the fundamental group is free abelian. We then generalise it to the general case of fundamental groups by use of the framework of non commutative geometry. We also verify that our invariant distinguishes smooth structures between some homeomorphic 4-manifolds.

For a polynomial $f(x)\in\mathbb{Q}[x]$ and rational numbers c, u, we put $f_c(x)\coloneqq f(x)+c$, and consider the Zsigmondy set $\calZ(f_c,u)$ associated to the sequence $\{f_c^n(u)-u\}_{n\geq 1}$, see Definition 1.1, where $f_c^n$ is the n-st iteration of fc. In this paper, we prove that if u is a rational critical point of f, then there exists an Mf > 0 such that $\mathbf M_f\geq \max_{c\in \mathbb{Q}}\{\#\calZ(f_c,u)\}$.

We determine the smallest irreducible Brauer characters for finite quasi-simple orthogonal type groups in non-defining characteristic. Under some restrictions on the characteristic we also prove a gap result showing that the next larger irreducible Brauer characters have a degree roughly the square of those of the smallest non-trivial characters.

The Corners theorem states that for any α > 0 there exists an N0 such that for any abelian group G with |G| = N ≥ N0 and any subset A ⊂ G×G with |A| ≥ αN2 we can find a corner in A, i.e. there exist x, y, d ∈ G with d ≠ 0 such that (x,y),(x+d,y),(x,y+d) ∈ A.

Here, we consider a stronger version, in which we try to find many corners of the same size. Given such a group G and subset A, for each d ∈ G we define Sd={(x,y) ∈ G × G: (x,y),(x+d,y),(x,y+d) ∈ A}. So |Sd| is the number of corners of size d. Is it true that, provided N is sufficiently large, there must exist some d ∈G\{0} such that |Sd|>(α3-ϵ)N2?

We answer this question in the negative. We do this by relating the problem to a much simpler-looking problem about random variables. Then, using this link, we show that there are sets A with |Sd|>Cα3.13N2 for all d ≠ 0, where C is an absolute constant. We also show that in the special case where $G = {\mathbb{F}}_2^n$, one can always find a d with |Sd|>(α4-ϵ)N2.

We study a set $\mathcal{M}_{K,N}$ parameterising filtered SL(K)-Higgs bundles over $\mathbb{C}P^1$ with an irregular singularity at $z = \infty$, such that the eigenvalues of the Higgs field grow like $\vert \lambda \vert \sim \vert z^{N/K} \mathrm{d}z \vert$, where K and N are coprime. $\mathcal{M}_{K,N}$ carries a $\mathbb{C}^\times$-action analogous to the famous $\mathbb{C}^\times$-action introduced by Hitchin on the moduli spaces of Higgs bundles over compact curves. The construction of this $\mathbb{C}^\times$-action on $\mathcal{M}_{K,N}$ involves the rotation automorphism of the base $\mathbb{C}P^1$. We classify the fixed points of this $\mathbb{C}^\times$-action, and exhibit a curious 1-1 correspondence between these fixed points and certain representations of the vertex algebra $\mathcal{W}_K$ ; in particular we have the relation $\mu = {k-1-c_{\mathrm{eff}}}/{12}$ , where $\mu$ is a regulated version of the L2 norm of the Higgs field, and $c_{\mathrm{eff}}$ is the effective Virasoro central charge of the corresponding W-algebra representation. We also discuss a Białynicki–Birula-type decomposition of $\mathcal{M}_{K,N}$ , where the strata are labeled by isomorphism classes of the underlying filtered vector bundles.

For a finite dimensional algebra A, the bounded homotopy category of projective A-modules and the bounded derived category of A-modules are dual to each other via certain categories of locally-finite cohomological functors. We prove that the duality gives rise to a 2-categorical duality between certain strict 2-categories involving bounded homotopy categories and bounded derived categories, respectively. We apply the 2-categorical duality to the study of triangle autoequivalence groups.