Related papers: Existence of regular $3$-hypertopes with $2^n$ cha…
We construct an infinite family of imaginary quadratic number fields with 2-class groups of type (2,2,2) whose Hilbert 2-class fields are finite.
We introduce reflexive polytopes of index l as a natural generalisation of the notion of a reflexive polytope of index 1. These l-reflexive polytopes also appear as dual pairs. In dimension two we show that they arise from reflexive…
The symmetric group S_n acts as a reflection group on CP^{n-2} (for $n\geq 3$) . Associated with each of the $\binom{n}{2}$ transpositions in S_n is an involution on CP^{n-2} that pointwise fixes a hyperplane--the mirrors of the action. For…
We explicitly construct infinite families of MSTD (more sums than differences) sets. There are enough of these sets to prove that there exists a constant C such that at least C / r^4 of the 2^r subsets of {1,...,r} are MSTD sets; thus our…
We compute the mapping class group of the manifolds $\sharp^g(S^{2k+1}\times S^{2k+1})$ for $k>0$ in terms of the automorphism group of the middle homology and the group of homotopy $(4k+3)$-spheres. We furthermore identify its Torelli…
Stanley, building on work of Stern, defined an array of numbers by the recurrence $s(n, 2k) = s(n-1, k)$, $s(n, 2k+1) = s(n-1, k) + s(n-1, k+1)$. Stanley showed that, for each positive integer $r$, the sequence $s_n^r:= \sum_k s(n,k)^r$…
We say that a real X is n-generic relative to a perfect tree T if X is a path through T and for all Sigma^0_n (T) sets S, there exists a number k such that either X|k is in S or for all tau in T extending X|k we have tau is not in S. A real…
We classify the ultrahomogeneous complete 3-edge-coloured graphs (3-graphs) with simple theory. This extends Lachlan's result (a corollary of the Effective Classification Theorem for stable structures) classifying the stable homogeneous…
Let $(T,\langle \cdot, \cdot, \cdot \rangle)$ be a Leibniz triple system of arbitrary dimension, over an arbitrary base field ${\mathbb F}$. A basis ${\mathcal B} = \{e_{i}\}_{i \in I}$ of $T$ is called multiplicative if for any $i,j,k \in…
We show that (in ZFC) every infinite set S can be equipped with 2^|S| complete metrics which generate mutually non-homeomorphic scattered order topologies on S. Furthermore, we show that (in ZFC) every uncountable set S can be equipped with…
The Cuntz-Toeplitz algebra $E_{n+1}$ for $n\geq1$ is the universal C*-algebra generated by $n+1$ isometries with mutually orthogonal ranges. In this paper, we investigate the automorphism groups of the Cuntz-Toeplitz algebras and determine…
We study families of superelliptic curves with fixed automorphism groups. Such families are parametrized with invariants expressed in terms of the coefficients of the curves. Algebraic relations among such invariants determine the lattice…
Using elliptic structures, we show that any supersingular K3 surface of Artin invariant $1$ in characteristic $p \not= 5$, $7$, $13$ has an automorphism the entropy of which is the natural logarithm of a Salem number of degree $22$.
Automorphism groups of $2$-groups of coclass at most $3$ are investigated.
We construct level-raising congruences between $p$-ordinary automorphic representations, and apply this to the problem of symmetric power functoriality for Hilbert modular forms. In particular, we prove the existence of the $n^\text{th}$…
We relate character theory of the symmetric groups $S_{2n}$ and $S_{2n+1}$ with that of the hyperoctahedral group $B_n = ({\mathbb Z}/2)^n \rtimes S_n$, as part of the expectation that the character theory of reductive groups with diagram…
In this article we provide a classification of the projective transformations in $PSL(n+1,\Bbb{C})$ considered as automorphisms of the complex projective space $\Bbb{P}^n$. Our classification is an interplay between algebra and dynamics,…
A homogeneous family of subsets over a given set is one with a very ``rich'' automorphism group. We prove the existence of a bi-universal element in the class of homogeneous families over a given infinite set and give an explicit…
In this paper we study certain families of motives, which arise as direct summands of the cohomology of the Dwork family. We computationally find examples of interesting families with the following three properties. Firstly, their geometric…
By means of principal isotopes lH(a,b) of the algebra lH [Ra 99] we give an exhaustive and not repetitive description of all 4-dimensional absolute-valued algebras satisfying (x^p, x^q, x^r) = 0 for fixed integers p, q, r \in\{1,2\}. For…