Related papers: Fundamental polyhedra of projective elementary gro…
We initiate the study of subgroups $H$ of the general linear group $GL_{\binom{n}{m}}(R)$ over a commutative ring $R$ that contain the $m$-th exterior power of an elementary group $\bigwedge^mE_n(R)$. Each such group $H$ corresponds to a…
We construct an explicit diagonal \Delta_P on the permutahedra P. Related diagonals on the multiplihedra J and the associahedra K are induced by Tonks' projection P --> K and its factorization through J. We introduce the notion of a…
Introducing the notion of stabilized fundamental group for the complement of a branch curve in $CP^2$, we define effectively computable invariants of symplectic 4-manifolds that generalize those previously introduced by Moishezon and…
We present a short proof of S. Parsa's theorem that there exists a compact $n$-polyhedron $P$, $n\ge 2$, non-embeddable in $\mathbb R^{2n}$, such that $P*P$ embeds in $\mathbb R^{4n+2}$. This proof can serve as a showcase for the use of…
Let $X$ be a compact K{\"a}hler manifold of dimension three. We prove that there exists a projective manifold $Y$ such that $\pi\_1(X)\simeq \pi\_1(Y)$. We also prove the bimeromorphic existence of algebraic approximations for compact…
In this paper, we compute the essential $l$-dimension of the finite groups of classical Lie type for odd primes $l$ not equal to the defining prime, specifically the general linear groups, the symplectic groups, the orthogonal groups, and…
A unital $\ell$-group is an abelian group equipped with a translation invariant lattice-order and with a distinguished strong unit, i.e. an element whose positive integer multiples eventually dominate every element of $G$.If $X$ is a…
We show the existence of families of periodic polyhedra in spaces of constant curvature whose fundamental domains can be obtained by attaching prisms and antiprisms to Archimedean solids. These polyhedra have constant discrete curvature and…
In a recent work, O'Donnell, Servedio and Tan (STOC 2019) gave explicit pseudorandom generators (PRGs) for arbitrary $m$-facet polytopes in $n$ variables with seed length poly-logarithmic in $m,n$, concluding a sequence of works in the last…
The first fundamental theorem of invariant theory for the orthosymplectic supergroup ${\rm OSp}(V)$ (where $V$ has superdimension $(m|2n)$) in the endomorphism algebra setting states that there is a surjective algebra homomorphism $F_r^r:…
Let $\mathfrak{g}$ be a finite-dimensional complex simple Lie algebra and $r,m\ge 2$. The universal central extension of the superelliptic current algebra $\mathfrak{g}\otimes A$ is $\widehat{\mathfrak{g}\otimes A}\cong\mathfrak{g}\otimes A…
For p odd, the Lie group SO_0(p+1,p+1) has a family of unitary degenerate principal series representations realized on the space of real (p+1) by (p+1) skew symmetric matrices, similar to the Stein's complementary series for SL(2n,C) or…
We study random 2-dimensional complexes in the Linial - Meshulam model and prove that for the probability parameter satisfying $$p\ll n^{-46/47}$$ a random 2-complex $Y$ contains several pairwise disjoint tetrahedra such that the 2-complex…
Suppose $\ell$ is a prime number, $\ell >3$, $K$ is a field that is an unramified finite extension of the field $\Q_\ell$ of $\ell$-adic numbers, and $G$ is a finite group that is a semi-direct product of a normal $\ell'$-subgroup $H$ and a…
In this paper we provide a classification of fundamental group elements representing simple closed curves on the punctured Klein bottle, Similar to the Birman-Series classification of curves on the punctured torus[1]. In the process, an…
Let $X_{0}=\mathbb{P}^{1} - (\{0,\infty\} \cup \mu_{N})\text{ }/\text{ }\mathbb{F}_{q}$, with $N \in \mathbb{N}^{\ast}$ and $\mathbb{F}_{q}$ of characteristic $p>0$ and containing a primitive $N$-th root of unity. We establish an explicit…
Let $R$ be an affine algebra over an algebraically closed field of characteristic $0$ with dim$(R)=n$. Let $P$ be a projective $A=R[T_1,\cdots,T_k]$-module of rank $n$ with determinant $L$. Suppose $I$ is an ideal of $A$ of height $n$ such…
Let $K$ be a number field and ${\mathcal O}$ be the ring of $S$-integers in $K$. Morgan, Rapinchuck, and Sury have proved that if the group of units ${\mathcal O}^{\times}$ is infinite, then every matrix in ${\rm SL}_2({\mathcal O})$ is a…
We give an elementary introduction to some recent polyhedral techniques for understanding and solving systems of multivariate polynomial equations. We provide numerous concrete examples and illustrations, and assume no background in…
This expository article explains how planar diagrammatics naturally arise in the study of categorified quantum groups with a focus on the categorification of quantum sl2. We derive the definition of categorified quantum sl2 and highlight…