Related papers: Computational proof of the Mackey formula for q > …
Fix a smooth projective curve over a field of characteristic zero and a finite set of punctures. Let G be a connected linear algebraic group. We prove that the moduli of G-bundles with logarithmic connections having fixed residue classes at…
Let $G$ be a connected reductive group defined over $\mathbb F_q$. Fix an integer $M\geq 2$, and consider the power map $x\mapsto x^M$ on $G$. We denote the image of $G(\mathbb F_q)$ under this map by $G(\mathbb F_q)^M$ and estimate what…
Recently B. Hartwig and the second author found a presentation for the three-point $sl_2$ loop algebra via generators and relations. To obtain this presentation they defined an algebra $\boxtimes$ by generators and relations, and displayed…
We present a unified parametrisation of $\ell$-blocks of quasi-simple finite groups of Lie type in non-defining characteristic via Lusztig's induction functor in terms of $e$-Jordan-cuspidal pairs and $e$-Jordan quasi-central cuspidal…
Let $G$ be a simple algebraic group defined over a finite field of good characteristic, with associated Frobenius endomorphism $F$. In this article we extend an observation of Lusztig, (which gives a numerical relationship between an…
Given a second-countable, Hausdorff, \'etale, amenable groupoid G with compact unit space, we show that an element a in C*(G) is invertible if and only if \lambda_x(a) is invertible for every x in the unit space of G, where \lambda_x refers…
We consider a combinatorial problem occurring naturally in a group theoretical setting and provide a constructive solution in a special case. More precisely, in 1999 the author established a logarithmic bound for the derived length of the…
We establish the inductive McKay condition introduced by Isaacs-Malle-Navarro \cite{IMN} for finite simple groups of Lie types $\tB_l$ ($l\geq 2$), $\tE_6$, $^2\tE_6$ and $\tE_7$, thus leaving open only the types $\tD$ and $^2\tD$. We bring…
We generalise a key result of one-relator group theory, namely Magnus's Freiheitssatz, to partially commutative groups, under sufficiently strong conditions on the relator. The main theorem shows that under our conditions, on an element $r$…
Here we prove the following result. Let $A = \{a_{ij}\}_{i,j\in \mathbb{N}}$ be a bounded operator. Then there exists a signing of $A$ such that $$||A\circ S||_2 < 2||A||_{l_\infty(l_2)},$$ where $A\circ S$ denotes the matrix generated by…
We prove a combinatorial rule for a complete decomposition, in terms of Langlands parameters, for representations of p-adic $GL_n$ that appear as parabolic induction from a large family (ladder representations). Our rule obviates the need…
We provide a type theoretic treatment of the paper "On Tarski's fixed point theorem" by Giovanni Curi. There are benefits to having a type theoretic formulation apart from routine implementation in a proof assistant. By taking advantage of…
Let G be a finite group with exactly k elements of largest possible order m. Let q(m) be the product of gcd(m,4) and the odd prime divisors of m. We show that |G|\le q(m)k^2/\phi(m) where \phi denotes Euler's totient function. This…
Given a finite index subgroup of $SL_2(\mathbb Z)$ with modular curve defined over $\mathbb Q$, under the assumption that the space of weight $k$ ($ \ge 2$) cusp forms is $1$-dimensional, we show that a form in this space with Fourier…
We formulate and prove a version of the Segal Conjecture for infinite groups. For finite groups it reduces to the original version. The condition that G is finite is replaced in our setting by the assumption that there exists a finite model…
This note explains how to prove that for any simply-connected reductive group G and any infinite field k, the inclusion of k in k[t] induces an isomorphism on homology. This generalizes results of Soule and Knudson.
Let ${\bf G}$ be a connected reductive algebraic group defined over the finite field $\mathbb{F}_q$ with $q$ elements,where $q$ is a power of a prime number $p$. Let $\Bbbk$ be a field and we study the extensions of certain $\bk\bg$-modules…
Let $G$ be a reductive affine algebraic group, and let $X$ be an affine algebraic $G$-variety. We establish a (poly)stability criterion for points $x\in X$ in terms of intrinsically defined closed subgroups $H_{x}$ of $G$, and relate it…
We prove that an inductive limit of aperiodic noncommutative Cartan inclusions is a noncommutative Cartan inclusion whenever the connecting maps are injective, preserve normalisers and entwine conditional expectations. We show that under…
We find and prove a factorization formula for certain Macdonald Littlewood-Richardson coefficients $c_{\lambda\mu}^{\nu}(q,t)$. Namely, we consider the case that the Kostka number $K_{\mu, \nu -\lambda}$ is $1$. This settles a particular…