Related papers: Weight decompositions on etale fundamental groups
Those are the notes for the 2015 Summer Research Institute on Algebraic Geometry. We report on Deligne's finiteness theorem for $\ell$-adic representations on smooth varieties defined over a finite field, on its crystalline version, and on…
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…
We develop a simple algebraic approach to the study of the Weil representation associated to a finite abelian group. As a result, we obtain a simple proof of a generalisation of a well-known formula for the absolute value of its character.…
To a finite quadratic module, that is, a finite abelian group D together with a non-singular quadratic form Q:D --> Q/Z, it is possible to associate a representation of either the modular group, SL(2,Z), or its metaplectic cover, Mp(2,Z),…
We formulate a $q$-Schur algebra associated to an arbitrary $W$-invariant finite set $X_{\texttt f}$ of integral weights for a complex simple Lie algebra with Weyl group $W$. We establish a $q$-Schur duality between the $q$-Schur algebra…
Given a grading $\Gamma: A=\oplus_{g\in G}A_g$ on a nonassociative algebra $A$ by an abelian group $G$, we have two subgroups of the group of automorphisms of $A$: the automorphisms that stabilize each homogeneous component $A_g$ (as a…
We study substructures of the Weyl group of conformal transformations of the metric of (pseudo)Riemannian manifolds. These substructures are identified by differential constraints on the conformal factors of the transformations which are…
We study the interaction between the group law on an abelian variety and the additive structure induced on its image under a morphism to projective space. Let $A/F$ be a simple abelian variety, $f:A \rightarrow \mathbb{P}^n$ be a morphism…
We develop a general framework for studying relative weight representations for certain pairs consisting of an associative algebra and a commutative subalgebra. Using these tools we describe projective and simple weight modules for quantum…
We define a family of universal finite-dimensional highest weight modules for affine Lie algebras, we call these Weyl modules. We conjecture that these are the classical limits of the irreducible finite--dimensional representations of the…
We define a Weil-\'etale complex with compact support for duals (in the sense of the Bloch dualizing cycles complex $\mathbb{Z}^c$) of a large class of $\mathbb{Z}$-constructible sheaves on an integral $1$-dimensional proper arithmetic…
We expose the elliptic quantum groups in the Drinfeld realization associated with both the affine Lie algebra \g and the toroidal algebra \g_tor. There the level-0 and level \not=0 representations appear in a unified way so that one can…
We describe locally the representation varieties of fundamental groups for smooth complex varieties at representations coming from the monodromy of a variation of mixed Hodge structure. Given such a manifold $X$ and such a linear…
We show that in the category of complex algebraic varieties, the Eilenberg--Moore spectral sequence can be endowed with a weight filtration. This implies that it degenerates if all involved spaces have pure cohomology. As application, we…
Let $G$ be a locally compact Abelian group, and $w: G\to (0, \infty)$ be a Borel measurable weighted function. In this paper, the algebraic and topological properties of group algebra are studied and assessed. We show that the weighted…
A universal weight function for a quantum affine algebra is a family of functions with values in a quotient of its Borel subalgebra, satisfying certain coalgebraic properties. In representations of the quantum affine algebra it gives…
Following Serre's initial work, a number of authors have considered twists of quadratic forms on a scheme Y by torsors of a finite group G, together with formulas for the Hasse-Witt invariants of the twisted form. In this paper we take the…
We use the author's combinatorial theory of full heaps (defined in math.QA/0605768) to categorify the action of a large class of Weyl groups on their root systems, and thus to give an elementary and uniform construction of a family of…
Let $f : X \rightarrow B$ be a proper flat dominant morphism between two smooth quasi-projective complex varieties $X$ and $B$. Assume that there exists an integer $l$ such that all closed fibres $X_b$ of $f$ satisfy $CH_j(X_b) = \Q$ for…
We provide the main results of a deformation theory of smooth formal schemes. First we deal with the case of global lifting of smooth morphisms. We prove that the obstruction to the existence of a global lifting lies in a Ext^1 group. Then…