Related papers: Connected fundamental domains for congruence subgr…

Hub importance scores in multilayer networks persist more strongly between functionally similar layers than dissimilar ones. We call this the Functional Proximity Law and test it across 23 pre-registered experiments: 13 canonical domains…

Let $\Gamma$ be a finitely generated nilpotent group and let G be a complex reductive algebraic group. The representation variety $\mathrm{Hom}(\Gamma,G)$ and the character variety $\mathrm{Hom}(\Gamma,G)//G$ each carry a natural topology,…

We describe an algebraic proof of the well-known topological fact that $\pi_1(SO(n)) \cong Z/2Z$. The fundamental group of $SO(n)$ appears in our approach as the center of a certain finite group defined by generators and relations. The…

We develop a constructive theory of continuous domains from the perspective of program extraction. Our goal that programs represent (provably correct) computation without witnesses of correctness is achieved by formulating correctness…

Given a finite group $G$, denote by $\Gamma(G)$ the simple undirected graph whose vertices are the distinct sizes of noncentral conjugacy classes of $G$, and set two vertices of $\Gamma(G)$ to be adjacent if and only if they are not coprime…

Every mathematician is familiar with the beautiful structure of finite commutative groups. What is less well known is that finite commutative semigroups also have a neat and well-described structure. We prove this in an efficient fashion.…

There is an established bijection between finite-index subgroups Gamma of Gamma(2) and bipartite graphs on surfaces, or, equivalently, certain triples of permutations. We utilize this relationship to study both congruence and noncongruence…

We consider semigroups of transformations (partial mappings defined on a set $A$) closed under the set-theoretic intersection of mappings treated as subsets of $A\times A$. On such semigroups we define two relations: the relation of…

Uniformly quasiconformally homogeneous domains in $\mathbb{R}^n$ carry a transitive collection of $K$-quasiconformal maps for a fixed $K\geq 1.$ In this paper, we study two questions in this setting. The first is to show that…

We investigate the relationship between finite groups and incidence geometries through their automorphism structures. Building upon classical results on the realizability of groups as automorphism groups of graphs, we develop a general…

We introduce the notion of the projective linking number Link(M,Z) of a compact oriented real submanifold M of dimension 2p-1 in complex projective n-space P^n with an algebraic subvariety Z in P^n - M of codimension p. This notion is…

For an extension $1\rightarrow N \rightarrow \Gamma \xrightarrow{q} \Gamma / N \rightarrow 1$ of discrete countable groups, it is known that the Baum-Connes conjecture with coefficients holds for $\Gamma$ if it holds for $\Gamma / N$ and…

We express connected Fermionic Green's functions in terms of completely explicit tree formulas. In contrast with the ordinary formulation in terms of Feynman graphs these formulas allow a completely transparent proof of convergence of the…

Let $p$ be a prime, $e$ a nonnegative integer, and G a finite p-group with $p^{e+1}$ dividing $|G|$. Let I be the intersection of all subgroups of order $p^{e+1}$ in $G$. It is proved that $|I\cap Z(G)|\le |\pi_0(\Gamma_{p,e}(G))|\le {\rm…

We study canonical models of $\left(\mathbb{Z}/k\mathbb{Z}\right)^n$- covers of the projective line, tamely ramified at exactly $n+1$ points each of index $k$, when $k,n\geq 2$ and the characteristic of the ground field $K$ is either zero…

The classical prime geodesic theorem (PGT) gives an asymptotic formula (as $x$ tends to infinity) for the number of closed geodesics with length at most $x$ on a hyperbolic manifold $M$. Closed geodesics correspond to conjugacy classes of…

For each integral homology sphere $Y$, a function $\Gamma_Y$ on the set of integers is constructed. It is established that $\Gamma_Y$ depends only on the homology cobordism of $Y$ and it recovers the Fr{\o}yshov invariant. A relation…

Let G=SO(n,1) and Gamma a geometrically finite Zariski dense subgroup of G which is contained in an arithmetic subgroup of G. Denoting by Gamma(q) the principal congruence subgroup of Gamma of level q, and fixing a positive number \lambda_0…

Let $X=H/L$ be an irreducible real bounded symmetric domain realized as a real form in an Hermitian symmetric domain $D=G/K$. The intersection $S$ of the Shilov boundary of $D$ with $X$ defines a distinguished subset of the topological…

The intersection ideal graph $\Gamma(S)$ of a semigroup $S$ is a simple undirected graph whose vertices are all nontrivial left ideals of $S$ and two distinct left ideals $I, J$ are adjacent if and only if their intersection is nontrivial.…