Related papers: The Sym(3) Conjecture and Alt(8)

In this paper we show that Z_8 does not admit a natural duality. In fact, we show that 2Z_8 = {2, 4, 6, 8 | +,.} is not dualizable, and this will imply that the original ring is not dualizable, either. As a corollary we show that Sindi's…

We prove some half-space theorems for minimal surfaces in the Heisenberg group Nil_3 and the Lie group Sol_3 endowed with their left-invariant Riemannian metrics. If S is a properly immersed minimal surface in Nil_3 that lies on one side of…

We find normal and seminormal forms for a sl(3)-valued zero curvature representation (ZCR). We prove a theorem about reducibility of ZCR's, which says that if one of the matrix in a ZCR (A,B) falls to a proper subalgebra of sl(3), then the…

In 2010, Mkrtchyan, Petrosyan and Vardanyan proved that every graph $G$ with $2\leq \delta(G)\leq \Delta(G)\leq 3$ contains a maximum matching whose unsaturated vertices do not have a common neighbor, where $\Delta(G)$ and $\delta(G)$…

We show that there is a restriction, or modification of the finite-variable fragments of First Order Logic in which a weak form of Craig's Interpolation Theorem holds, but a strong form of this theorem does not hold. Translating these…

We describe a proof of the following folklore theorem: If $\cX = G/K$ is the homogeneous space of a simply connected compact semisimple Lie group with Poisson-Lie stabilizers, then the $q$-deformed algebras of regular functions $\CC[\cX_q]$…

In this paper, we prove the asymptotic multipartite version of the Alon-Yuster theorem, which is a generalization of the Hajnal-Szemer\'edi theorem: If $k\geq 3$ is an integer, $H$ is a $k$-colorable graph and $\gamma>0$ is fixed, then, for…

Using the stable twisted trace formula for the triality automorphism, we show the adjoint lifting (to GL(8)) of cuspidal representations of GL(3) with a discrete series local component. We also describe the possible isobaric decompositions…

We show that for a locally compact group $G$, amongst a class which contains amenable and small invariant neighbourhood groups, that its Fourier algebra $A(G)$ satisfies a completely bounded version Pisier's similarity property with…

The W_3 algebra of central charge 6/5 is realized as a subalgebra of the vertex operator algebra V_{\sqrt{2}A_2} associated with a lattice of type \sqrt{2}A_2 by using both coset construction and orbifold theory. It is proved that W_3 is…

Let K/F be an arbitrary Galois extension of number fields and r be a representation of Gal(K/F) into GSp(4,C). Let E_16 be the elemetary abelian group of order 16 and C_5 the cyclic group of order 5. If the image of r in the projective…

We investigate faithful representations of $\operatorname{Alt}(n)$ as automorphisms of a connected group $G$ of finite Morley rank. We target a lower bound of $n$ on the rank of such a nonsolvable $G$, and our main result achieves this in…

Let Gamma be a lattice in a simply-connected solvable Lie group. We construct a Q-defined algebraic group A such that the abstract commensurator of Gamma is isomorphic to A(Q) and Aut(Gamma) is commensurable with A(Z). Our proof uses the…

Given the symmetric group $G = \operatorname{Sym}(n)$ and a multiplicity-free subgroup $H\leq G$, the orbitals of the action of $G$ on $G/H$ by left multiplication induce a commutative association scheme. The irreducible constituents of the…

We use forcing over admissible sets to show that, for every ordinal $\alpha$ in a club $C\subset\omega_1$, there are copies of $\alpha$ such that the isomorphism between them is not computable in the join of the complete $\Pi^1_1$ set…

In this note I give simple proofs of classical results of Euler, Legendre and Sylvester showing that for certain integers M there are no (or only a few) solutions of $x^3 + y^3 = M$, with $x$ and $y$ in $\mathbb{Q}$. The proofs all use a…

Assume $G$ is a finite $p$-group, and let $S$ be a Sylow $p$-subgroup of $\operatorname{Aut}(G)$ with $\exp(S)=q$. We prove that if $G$ is of class $c$, then $\exp(G)|p^{\ceil{\log_pc}}q^3$, and if $G$ is a metabelian $p$-group of class at…

To demonstrate the discrepancy between second-order cone and semidefinite programming, Hamza Fawzi showed that the cone S_+^3 of symmetric positive semidefinite matrices of size 3 is not second-order cone representable (socr). A slice of…

We establish some new cases of Artin's conjecture. Our results apply to Galois representations over $\Q$ with image $S_5$ satisfying certain local hypotheses, the most important of which is that complex conjugation is conjugate to…

Given a pseudomonad $\mathcal{T} $, we prove that a lax $\mathcal{T} $-morphism between pseudoalgebras is a $\mathcal{T} $-pseudomorphism if and only if there is a suitable (possibly non-canonical) invertible $\mathcal{T} $-transformation.…