Related papers: Fundamental polyhedra of projective elementary gro…

We study representations $G\to H$ where $G$ is either a simple Lie group with real rank at least 2 or an infinite dimensional orthogonal group of some quadratic form of finite index at least 2 and $H$ is such an orthogonal group as well.…

We generalize the classical theory of periodic continued fractions (PCFs) over ${\mathbf Z}$ to rings ${\mathcal O}$ of $S$-integers in a number field. Let ${\mathcal B}=\{\beta, {\beta^*}\}$ be the multi-set of roots of a quadratic…

We define a simple orthogonal polyhedron to be a three-dimensional polyhedron with the topology of a sphere in which three mutually-perpendicular edges meet at each vertex. By analogy to Steinitz's theorem characterizing the graphs of…

For a nonempty polyhedral set $P\subset \mathbb R^d$, let $\mathcal F(P)$ denote the set of faces of $P$, and let $N(P,F)$ be the normal cone of $P$ at the nonempty face $F\in\mathcal F(P)$. We prove that the function $\sum_{F\in\mathcal…

Cyclohedra are a well-known infinite familiy of finite-dimensional polytopes that can be constructed from centrally symmetric triangulations of even-sided polygons. In this article we introduce an infinite-dimensional analogue and prove…

An analogue over imaginary quadratic fields of a result in algebraic number theory known as Ihara's lemma is established. More precisely, we show that for a prime ideal P of the ring of integers of an imaginary quadratic field F, the kernel…

Let $G$ denote the projective special linear group $\text{PSL}(2,q)$, for a prime power $q$. It is shown that a finite 2-subgroup of the group $V(\mathbb{Z}G)$ of augmentation 1 units in the integral group ring $\mathbb{Z}G$ of $G$ is…

Say that $(x, y, z)$ is a positive primitive integral Pythagorean triple if $x, y, z$ are positive integers without common factors satisfying $x^2 + y^2 = z^2$. An old theorem of Berggren gives three integral invertible linear…

We give a complete classification of isomorphism classes of finitely generated projective modules, or equivalently, unitary equivalence classes of projections, over the C*-algebra $C\left( \mathbb{S}_{q}^{2n+1}\right) $ of the quantum…

We prove a new upper bound on the essential p-dimension of the projective linear group PGLn.

The fundamental theorem of symmetric polynomials over rings is a classical result which states that every unital commutative ring is fully elementary, i.e. we can express symmetric polynomials with elementary ones in a unique way. The…

We present a structural resolution to the exact evaluation of the partition function $p_k(n)$, systematically overcoming the limitations of traditional recursive and asymptotic methods. By framing the partition polytope $\mathcal{P}_{n,k}$…

We give an explicit algebraic description, based on prismatic cohomology, of the algebraic K-groups of rings of the form $O_K/I$ where $K$ is a p-adic field and $I$ is a non-trivial ideal in the ring of integers $O_K$; this class includes…

Over an algebraically closed base field $k$ of characteristic 2, the ring $R^G$ of invariants is studied, $G$ being the orthogonal group O(n) or the special orthogonal group SO(n) and acting naturally on the coordinate ring $R$ of the…

We give a simple formula for the essential dimension of a finite pseudo-reflection group at a prime p and determine the absolute essential dimension for most irreducible pseudo-reflection groups. We also study the "poor man's essential…

We consider classes of algebraic manifolds $\mathcal{A}$, of symplectic manifolds $\mathcal{S}$, of symplectic manifolds with the hard Lefschetz property $\mathcal{HS}$ and the class of cohomologically symplectic manifolds $\mathcal{CS}$.…

This paper investigates the maximal subgroups of a free projection-generated regular $*$-semigroup $PG(P)$ over a projection algebra $P$, and their relationship to the maximal subgroups of the free idempotent-generated semigroup $IG(E)$…

Let p be a prime. Let FpSp be the group algebra of the symmetric group over the finite field Fp with |Fp|=p$. Let Fp be the trivial FpSp-module. We present a projective resolution PRes Fp of the module Fp and equip the Yoneda algebra…

Quaternionic projective plane $\mathbb{H} P^2$ is the next simplest conjugacy class of the symplectic group $SP(6)$ with pseudo-Levi stabilizer subgroup after the sphere $\mathbb{S}^4\simeq \mathbb{H} P^1$. Its quantization gives rise to a…

A polyhedron is box-integer if its intersection with any integer box $\{\ell\leq x \leq u\}$ is integer. We define principally box-integer polyhedra to be the polyhedra $P$ such that $kP$ is box-integer whenever $kP$ is integer. We…