Related papers: Classification of simple Harish-Chandra modules ov…

We study Harish-Chandra representations of Yangian for gl(2). We prove an analogue of Kostant theorem showing that resterited Yangians for gl(2) are free modules over certain maximal commutative subalgebras. We also study the categories of…

For a (minimal) Arithmetical theory with higher Order Objects, i.e. a (minimal) Cartesian closed arithmetical theory -- coming as such with the corresponding closed evaluation -- we interprete here map codes, out of [A,B] say,into these…

In this paper, we develop general machinery for computing the classifying ring $L^A$ of one-dimensional formal $A$-modules, for various commutative rings $A$. We then apply the machinery to obtain calculations of $L^A$ for various number…

Let R be a ring and G a group. An R-module A is said to be artinian-by-(finite rank) if TorR(A) is artinian and A/TorR(A) has finite R-rank. The authors study ZG-modules A such that A/CA(H) is artinian-by-(finite rank) (as a Z-module) for…

We prove a simple formula that calculates the associated variety of a highest weight Harish-Chandra module directly from its highest weight. We also give a formula for the Gelfand--Kirillov dimension of highest weight Harish-Chandra module…

In this paper, we study the representation theory of Hopf-Ore extensions of group algebras and pointed Hopf algebras of rank one over an arbitrary field $k$. Let $H=kG(\chi, a,\d)$ be a Hopf-Ore extension of $kG$ and $H'$ a rank one…

This is a companion paper our previous submission "\infty-categories monoidales rigides et caracteres de Chern", in which we give a comparison between functions on the derived loop space of a smooth scheme of caracteristic zero, and its…

In this paper we develop an axiomatic setup for algorithmic homological algebra of Abelian categories. This is done by exhibiting all existential quantifiers entering the definition of an Abelian category, which for the sake of…

Let K be a comonad on a model category M. We provide conditions under which the associated category of K-coalgebras admits a model category structure such that the forgetful functor to M creates both cofibrations and weak equivalences. We…

We give a classification of the graded simple modules of cyclotomic quiver Hecke algebras of type A using the diagram calculus of the diagrammatic Cherednik algebra. We also obtain a non-trivial lower bound for the dimension of the simple…

To construct an affine supergroup from a Harish-Chandra pair, Gavarini [2] invented a natural method, which first constructs a group functor and then proves that it is representable. We give a simpler and more conceptual presentation of his…

We develop the theory of Hopf bimodules for a finite rigid tensor category C. Then we use this theory to define a distinguished invertible object D of C and an isomorphism of tensor functors ?^{**} and D tensor ^{**}? tensor D^{-1}. This…

We show that each rigid monoidal category A over a field defines a family of universal tensor categories, which together classify all faithful monoidal functors from A to tensor categories. Each of the universal tensor categories classifies…

This note gives a new elementary proof of Poincar\'e-Miranda theorem based on Sard's theorem and the simple classification of one-dimensional manifolds.

We consider branched coverings which are simple in the sense that any point of the target has at most one singular preimage. The cobordism classes of $k$-fold simple branched coverings between $n$-manifolds form an abelian group…

We provide a formula describing the G-module structure of the Hurwitz-Hodge bundle for admissible G-covers in terms of the Hodge bundle of the base curve, and more generally, for describing the G-module structure of the push-forward to the…

Let $k$ be a field containing an algebraically closed field of characteristic zero. If $G$ is a finite group and $D$ is a division algebra over $k$, finite dimensional over its center, we can associate to a faithful $G$-grading on $D$ a…

Hrushovski's suggestion, given in ["Groupoids, imaginaries and internal covers," Turkish Journal of Mathematics , 2012], to capture the structure of the 1-analysable covers of a theory T using simplicial groupoids definable in T is realized…

In the context of orientable circuits and subcomplexes of these as representing certain singular spaces, we consider characteristic class formulas generalizing those classical results as seen for the Riemann-Hurwitz formula for regulating…

Let $U_q'(\mathfrak{g})$ be a quantum affine algebra of untwisted affine $ADE$ type, and $\mathcal{C}_{\mathfrak{g}}^0$ the Hernandez-Leclerc category of finite-dimensional $U_q'(\mathfrak{g})$-modules. For a suitable infinite sequence…