Related papers: Holme type theorem for special linear groups

Let $\mathfrak{g}$ be an affine Kac-Moody algebra with symmetric Cartan datum, $\mathfrak{n^{+}}$ be the maximal nilpotent subalgebra of $\mathfrak{g}$. By the Hall algebra approach, we construct integral bases of the $\mathbb{Z}$-form of…

Let $i:X\hookrightarrow Y$ be a closed embedding of smooth algebraic varieties. Denote by $N$ the normal bundle of $X$ in $Y$. We describe the construction of two Lie-type structures on the shifted bundle $N[-1]$ which encode the…

We show that if X is any proper complex variety, there is a weight decomposition on the real schematic homotopy type, in the form of an algebraic G_m-action. This extends to a real Hodge structure, in the form of a discrete C^*-action, such…

Let $G$ be a semisimple simply-connected algebraic group over an algebraically closed field of characteristic zero. We prove that the affine Hecke category associated to the loop group of $G$ is equivalent to the colimit, evaluated in the…

The first part of the paper is a brief overview of Hindman's finite sums theorem, its prehistory and a few of its further generalizations, and a modern technique used in proving these and similar results, which is based on idempotent…

The set HLie(n) of the n-dimensional Hom-Lie algebras over an algebraically closed field of characteristic zero is provided with a structure of algebraic subvariety of the affine plane of dimension n^2(n-1)/2}. For n=3, these two sets…

We provide an affine cellular structure on the extended affine Hecke algebra and affine $q$-Schur algebra of type $A_{n-1}$ that is defined over $\mathbb{Z}\left[q^{\pm1}\right]$, that is, without an adjoined $q^{\frac{1}{2}}$. This is with…

We study the diagrammatic Hecke category associated with the affine Weyl group of type $\tilde{A}_2$. More precisely we find a (surprisingly simple) basis for the Hom spaces between indecomposable objects, that we call indecomposable double…

Let $\mathcal{L}$ be a finite-dimensional semisimple Lie algebra of rank $N$ over an algebraically closed field of characteristic $0$. Associated to $\mathcal{L}$ is a family of polynomial folding maps…

Let $n \geq 2$. We prove a homological stability theorem for the diffeomorphism groups of $(4n+1)$-dimensional manifolds, with respect to forming the connected sum with $(2n-1)$-connected, $(4n+1)$-dimensional manifolds that are stably…

This paper introduces calibrated representations for affine Hecke algebras and classifies and constructs all finite dimensional irreducible calibrated representations. The primary technique is to provide indexing sets for controlling the…

The motivation of this work is to construct an analog of compactified moduli of abelian varieties and toric pairs in the case of non-commutative algebraic group G. We introduce a class of "stable reductive varieties" which contain connected…

Let K/Q be a field extension of finite degree and let P(t) be a polynomial over Q that splits into linear factors over Q. We show that any smooth model of the affine variety defined by the equation N_{K/Q} (k) = P(t) satisfies the Hasse…

Let $G$ be a finite group of Lie type. In studying the cross-characteristic representation theory of $G$, the (specialized) Hecke algebra $H=\End_G(\ind_B^G1_B)$ has played a important role. In particular, when $G=GL_n(\mathbb F_q)$ is a…

This paper describes a formal theory of smooth vector fields, Lie groups and the Lie algebra of a Lie group in the theorem prover Isabelle. Lie groups are abstract structures that are composable, invertible and differentiable. They are…

Let $f:V\times V\to F$ be a totally arbitrary bilinear form defined on a finite dimensional vector space $V$ over a a field $F$, and let $L(f)$ be the subalgebra of $\gl(V)$ of all skew-adjoint endomorphisms relative to $f$. Provided $F$ is…

Let $X$ be an affine algebraic variety with a transitive action of the algebraic automorphism group. Suppose that $X$ is equipped with several non-degenerate fixed point free $SL_2$-actions satisfying some mild additional assumption. Then…

We establish a purely geometric form of the concentration theorem (also called localization theorem) for actions of a linearly reductive group $G$ on an affine scheme $X$ over an affine base scheme $S$. It asserts the existence of a…

We study a natural Hodge theoretic generalization of rational (or $\mathbb{Q}$-)homology manifolds through an invariant ${\rm HRH(Z)}$ where $Z$ is a complex algebraic variety. The defining property of this notion encodes the difference…

This article concerns a question asked by M. V. Nori on homotopy of sections of Projective modules defined on the polynomial algebra over a smooth affine domain $R$. While this question has an affirmative answer, it is known that the…