English
Related papers

Related papers: Isotypic components in type $D$

200 papers

We describe a type system for the linear-algebraic $\lambda$-calculus. The type system accounts for the linear-algebraic aspects of this extension of $\lambda$-calculus: it is able to statically describe the linear combinations of terms…

Logic in Computer Science · Computer Science 2017-05-12 Pablo Arrighi , Alejandro Díaz-Caro , Benoît Valiron

We present a type theory dealing with non-linear, "ordinary" dependent types (which we will call cartesian) and linear types, where both constructs may depend on terms of the former. In the interplay between these, we find new type formers…

Logic · Mathematics 2018-06-29 Martin Lundfall

The aim of this paper is twofold. The first part is concerned with the associated and the so-called co-polynomials, i.e. new sequences obtained when finite perturbations of the recurrence coefficients are considered. In the second part we…

Classical Analysis and ODEs · Mathematics 2021-01-05 Abdessadek Saib

Two decades ago P. Martin and D. Woodcock made a surprising and prophetic link between statistical mechanics and representation theory. They observed that the decomposition numbers of the blob algebra (that appeared in the context of…

Representation Theory · Mathematics 2020-05-13 Nicolas Libedinsky , David Plaza

We compute the Kazhdan-Lusztig polynomial of the uniform matroid of rank n-1 on n elements by proving that the i-th coefficient of is equal to the number of ways to choose i non-intersecting chords in an (n-i+1)-gon. We also show that the…

Combinatorics · Mathematics 2015-12-22 Nicholas Proudfoot , Max Wakefield , Benjamin Young

We make a first step towards categorification of the dendriform operad, using categories of modules over the Tamari lattices. This means that we describe some functors that correspond to part of the operad structure.

Quantum Algebra · Mathematics 2009-09-16 Frédéric Chapoton

We describe the first part of a gluing theory for the bigraded Khovanov homology with integer coefficients. This part associates a type D structure to a tangle properly embedded in a half-space and proves that the homotopy class of the type…

Geometric Topology · Mathematics 2013-08-14 Lawrence P. Roberts

We give some closed formulas for certain vectors of the canonical bases of the Fock space representation of U_v(sl^_n). As a result, a combinatorial description of certain parabolic Kazhdan-Lusztig polynomials for affine type A is obtained.

Quantum Algebra · Mathematics 2007-05-23 Bernard Leclerc , Hyohe Miyachi

Model structures for many different kinds of functor calculus can be obtained by applying a theorem of Bousfield to a suitable category of functors. In this paper, we give a general criterion for when model categories obtained via this…

Algebraic Topology · Mathematics 2025-11-05 Lauren Bandklayder , Julia E. Bergner , Rhiannon Griffiths , Brenda Johnson , Rekha Santhanam

Following the approach of Ding and Frenkel [Comm. Math. Phys. 156 (1993), 277-300] for type $A$, we showed in our previous work [J. Math. Phys. 61 (2020), 031701, 41 pages] that the Gauss decomposition of the generator matrix in the…

Quantum Algebra · Mathematics 2020-05-22 Naihuan Jing , Ming Liu , Alexander Molev

Let F be a non-Archimedean locally compact field of residue characteristic p, let D be a finite dimensional central division F-algebra and let l be a prime number different from p. We develop a theory of l-modular types for the group…

Number Theory · Mathematics 2014-04-04 Alberto Minguez , Vincent Sécherre

The purpose of this article is to show a version of d\'evissage theorem of non-connective $K$-theory. Our theorem contains Quillen's d\'evissage theorem, Waldhausen's cell filtration theorem and theorem of heart as special cases. In this…

K-Theory and Homology · Mathematics 2019-06-05 Satoshi Mochizuki

In this paper, we will provide constructions of D-module structures on the complex computing the periodic cyclic homology of a stable infinity-category defined over a scheme of characteristic zero. We give two methods. The first one is…

Algebraic Geometry · Mathematics 2022-03-01 Isamu Iwanari

To study finite-dimensional modules of the Lie superalgebras, Kac introduced the Kac-modules and divided them into typical or atypical modules according as they are simple or not. For Lambda being atypical, Hughes et al have an algorithm to…

Representation Theory · Mathematics 2015-06-26 Yucai Su , J. W. B. Hughes , R. C. King

A braided tensor category $FM_{\kappa}$ of `factorizable D-modules' over configuration spaces is introduced, analogous to the category $FS_q$ of factorizable sheaves from q-alg/9604001. This category is equivalent to the category of finite…

q-alg · Mathematics 2008-02-03 Sergei Khoroshkin , Vadim Schechtman

We introduce the Z-polynomial of a matroid, which we define in terms of the Kazhdan-Lusztig polynomial. We then exploit a symmetry of the Z-polynomial to derive a new recursion for Kazhdan-Lusztig coefficients. We solve this recursion,…

Combinatorics · Mathematics 2017-06-20 Nicholas Proudfoot , Ben Young , Yuan Xu

We prove Lusztig's conjectures ${\bf P1}$--${\bf P15}$ for the affine Weyl group of type $\tilde{G}_2$ for all choices of parameters. Our approach to compute Lusztig's $\mathbf{a}$-function is based on the notion of a "balanced system of…

Representation Theory · Mathematics 2018-11-21 J. Guilhot , J. Parkinson

We classify a class of complex representations of an arbitrary Coxeter group via characters of the integral homology of certain graphs. Such representations can be viewed as a generalization of the geometric representation and correspond to…

Representation Theory · Mathematics 2022-07-05 Hongsheng Hu

Kazhdan and Lusztig introduce the $W$-graphs to describe the cells and molecules corresponding to the Coxeter groups. Building on this foundation, Lusztig defines the a-funtion to classify the cells, as well as the molecules. Marberg then…

Combinatorics · Mathematics 2024-12-17 Yifeng Zhang

Let $H$ be the Iwahori--Hecke algebra associated with $S_n$, the symmetric group on $n$ symbols. This algebra has two important bases: the Kazhdan--Lusztig basis and the Murphy basis. While the former admits a deep geometric interpretation,…

Representation Theory · Mathematics 2007-05-23 Meinolf Geck