Related papers: Symmetric Generation of $M_{22}$

For $\mathbb Z_3$-orbifold limits of K3, we provide a counterpart to the extensive studies by Nikulin and others of the geometry and symmetries of classical Kummer surfaces. In particular, we determine the group of holomorphic symplectic…

A conjugation-free geometric presentation of a fundamental group is a presentation with the natural topological generators $x_1, ..., x_n$ and the cyclic relations: $x_{i_k}x_{i_{k-1}} ... x_{i_1} = x_{i_{k-1}} ... x_{i_1} x_{i_k} = ... =…

We canonically associate to any planar algebra two type II_{\infty} factors M_{+} and M_{-}. The subfactors constructed previously by the authors in a previous paper are isomorphic to compressions of M_{+} and M_{-} to finite projections.…

We give a simple set of generators and relations for the Cremona group of the plane. Namely, we show that the Cremona group is the amalgamated product of the de Jonqui\`eres group with the group of automorphisms of the plane, divided by one…

We first propose a generalization of the image conjecture [Z3] for the commuting differential operators related with classical orthogonal polynomials. We then show that the non-trivial case of this generalized image conjecture is equivalent…

Hilbert's ternary quartic theorem states that every nonnegative degree 4 homogeneous polynomial in three variables can be written as a sum of three squares of homogeneous quadratic polynomials. We give a linear-algebraic approach to…

Suppose that $f$ is a homomorphism from the mapping class group $\mathcal{M}(N_{g,n})$ of a nonorientable surface of genus $g$ with $n$ boundary components, to $\mathrm{GL}(m,\mathbb{C})$. We prove that if $g\ge 5$, $n\le 1$ and $m\le g-2$,…

In recent years tantalizing signs for a novel phase have been reported that is chirally symmetric but nevertheless exhibits massive bound states. The necessary condition for such a phase, referred to as Symmetric Mass Generation (SMG), is…

A decomposition of a graph is a set of subgraphs whose edges partition those of $G$. The 3-decomposition conjecture posed by Hoffmann-Ostenhof in 2011 states that every connected cubic graph can be decomposed into a spanning tree, a…

We present a short proof of the following Pontryagin theorem, whose original proof was complicated and has never been published in details: {\bf Theorem.} Let $M$ be a connected oriented closed smooth 3-manifold. Let $L_1(M)$ be the set of…

We present a new simple proof of the fact that certain group manifolds as well as certain homogeneous spaces G/H of dimension 4n admit a quaternionic triple of integrable complex structures that are covariantly constant with respect to the…

Matsuo algebras are an algebraic incarnation of 3-transposition groups with a parameter $\alpha$, where idempotents takes the role of the transpositions. We show that a large class of idempotents in Matsuo algebras satisfy the Seress…

For a finite multigraph G, let \Lambda(G) denote the lattice of integer flows of G -- this is a finitely generated free abelian group with an integer-valued positive definite bilinear form. Bacher, de la Harpe, and Nagnibeda show that if G…

A presentation by generators and relations of the $n$th symmetric power $B$ of a commutative algebra $A$ over a field of characteristic zero or greater than $n$ is given. This is applied to get information on a minimal homogeneous…

The n-dimensional pair of pants is defined to be the complement of n+2 generic hyperplanes in CP^n. We construct an immersed Lagrangian sphere in the pair of pants and compute its endomorphism A_{\infty} algebra in the Fukaya category. On…

We prove the following three closely related results. The first is that every finite simple group has a profinite presentation with 2 generators and at most 18 relations. The second is that if G is a finite simple group, F a field and M an…

We prove that for a stable theory $T,$ if $M$ is a saturated model of $T$ of cardinality $\lambda$ where $\lambda > \big|T\big|,$ then $Aut(M)$ has a dense free subgroup on $2^{\lambda}$ generators. This affirms a conjecture of Hodges.

In this paper, we are motivated by the conjectures proposed by C.~Bender \textit{et al.}, \cite{C} in 2024. We have settled the first two conjectures negatively by providing a counter example in \cite{KTJ}, whereas in this paper, we prove…

We construct families of birational involutions on $\mathbb{P}^3$ or a smooth cubic threefold which do not fit into a non-trivial elementary relation of Sarkisov links. As a consequence, we construct new homomorphisms from their group of…

A distributive lattice structure ${\mathbf M}(G)$ has been established on the set of perfect matchings of a plane bipartite graph $G$. We call a lattice {\em matchable distributive lattice} (simply MDL) if it is isomorphic to such a…