BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Volodymyr Mazorchuk

Volodymyr Mazorchuk contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.RTmath.GRmath.COmath.CTmath.QAmath.RAmath.ATmath.GTmath.PR

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
45works
0followers
9topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

45 published item(s)

preprint2026arXiv

Consecutive Patterns, Kostant's Problem and Type $A_6$

For a permutation $w$ in the symmetric group $\mathfrak{S}_{n}$, let $L(w)$ denote the simple highest weight module in the principal block of the BGG category $\mathcal{O}$ for the Lie algebra $\mathfrak{sl}_{n}(\mathbb{C})$. We first prove that $L(w)$ is Kostant negative whenever $w$ consecutively contains certain patterns. We then provide a complete answer to Kostant's problem in type $A_{6}$ and show that the indecomposability conjecture also holds in type $A_{6}$, that is, applying an indecomposable projective functor to a simple module outputs either an indecomposable module or zero.

0 citations0 reviewsNo code linkedOpen access
preprint2026arXiv

Kostant cuspidal permutations

In relation to Kostant's problem for simple highest weight modules over the general linear Lie algebra, we prove a persistence result for Kostant negative consecutive patterns. Inspired by it, we introduce the notion of a Kostant cuspidal permutation as a minimal Kostant negative consecutive pattern. It is shown that Kostant cuspidality is an invariant of a Kazhdan-Lusztig left cell. We describe four infinite families of Kostant cuspidal involutions, including a complete classification of Kostant cuspidal fully commutative involutions. In particular, we show that the number of new Kostant cuspidal elements can be arbitrarily large, when the rank grows. This provides some potential explanation why Kostant's problem is hard.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Essential orders on stratified algebras with duality and $\mathcal{S}$-subcategories in $\mathcal{O}$

We prove uniqueness of the essential order for stratified algebras having simple preserving duality, generalizing a recent result of Coulembier for quasi-hereditary algebras. We apply this to classify, up to equivalence, regular integral blocks of $\mathcal{S}$-subcategories in the BGG category $\mathcal{O}$. We also describe various homological invariants of these blocks.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Finite quotients of singular Artin monoids and categorification of the desingularization map

We study various aspects of the structure and representation theory of singular Artin monoids. This includes a number of generalizations of the desingularization map and explicit presentations for certain finite quotient monoids of diagrammatic nature. The main result is a categorification of the classical desingularization map for singular Artin monoids associated to finite Weyl groups using BGG category $\mathcal{O}$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Intersecting principal Bruhat ideals and grades of simple modules

We prove that the grades of simple modules indexed by boolean permutations, over the incidence algebra of the symmetric group with respect to the Bruhat order, are given by Lusztig's a-function. Our arguments are combinatorial, and include a description of the intersection of two principal order ideals when at least one permutation is boolean. An important object in our work is a reduced word written as minimally many runs of consecutive integers, and one step of our argument shows that this minimal quantity is equal to the length of the second row in the permutation's shape under the Robinson-Schensted correspondence. We also prove that a simple module over the above-mentioned incidence algebra is perfect if and only if its index is the longest element of a parabolic subgroup.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Jucys-Murphy elements and Grothendieck groups for generalized rook monoids

We consider a tower of generalized rook monoid algebras over the field $\mathbb{C}$ of complex numbers and observe that the Bratteli diagram associated to this tower is a simple graph. We construct simple modules and describe Jucys-Murphy elements for generalized rook monoid algebras. Over an algebraically closed field $\Bbbk$ of positive characteristic $p$, utilizing Jucys-Murphy elements of rook monoid algebras, for $0\leq i\leq p-1$ we define the corresponding $i$-restriction and $i$-induction functors along with two extra functors. On the direct sum $\mathcal{G}_{\mathbb{C}}$ of the Grothendieck groups of module categories over rook monoid algebras over $\Bbbk$, these functors induce an action of the tensor product of the universal enveloping algebra $U(\hat{\mathfrak{sl}}_p(\mathbb{C}))$ and the monoid algebra $\mathbb{C}[\mathcal{B}]$ of the bicyclic monoid $\mathcal{B}$. Furthermore, we prove that $\mathcal{G}_{\mathbb{C}}$ is isomorphic to the tensor product of the basic representation of $U(\hat{\mathfrak{sl}}_{p}(\mathbb{C}))$ and the unique infinite-dimensional simple module over $\mathbb{C}[\mathcal{B}]$, and also exhibit that $\mathcal{G}_{\mathbb{C}}$ is a bialgebra. Under some natural restrictions on the characteristic of $\Bbbk$, we outline the corresponding result for generalized rook monoids.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Multiparameter colored partition category and the product of the reduced Kronecker coefficients

We introduce and study a multiparameter colored partition category $\mathcal{CPar}(\textbf{x})$ by extending the construction of the partition category, over an algebraically closed field $\Bbbk$ of characteristic zero and for a multiparameter $\textbf{x}\in \Bbbk^{r}$. The morphism spaces in $\mathcal{CPar}(\textbf{x})$ have bases in terms of partition diagrams whose parts are colored by elements of the multiplicative cyclic group $C_r$. We show that the endomorphism spaces of $\mathcal{CPar}(\textbf{x})$ and additive Karoubi envelope of $\mathcal{CPar}(\textbf{x})$ are generically semisimple. The category $\mathcal{CPar}(\textbf{x})$ is rigid symmetric strict monoidal and we give a presentation of $\mathcal{CPar}(\textbf{x})$ as a monoidal category. The path algebra of $\mathcal{CPar}(\textbf{x})$ admits a triangular decomposition with Cartan subalgebra being equal to the direct sum of the group algebras of complex reflection groups $G(r,n)$. We compute the structure constants for the classes of simple modules in the split Grothendieck ring of the category of modules over the path algebra of the downward partition subcategory of $\mathcal{CPar}(\textbf{x})$ in two ways. Among other things, this gives a closed formula for the product of the reduced Kronecker coefficients in terms of the Littlewood--Richardson coefficients for $G(r,n)$ and certain Kronecker coefficients for the wreath product $(C_r \times C_r)\wr S_n$. For $r=1$, this formula reduces to a formula for the reduced Kronecker coefficients given by Littlewood. We also give two analogues of the Robinson--Schensted correspondence for colored partition diagrams and, as an application, we classify the equivalence classes of Green's left, right and two-sided relations for the colored partition monoid in terms of these correspondences.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Lie algebra modules which are locally finite over the semi-simple part

For a finite-dimensional Lie algebra $\mathfrak{L}$ over $\mathbb{C}$ with a fixed Levi decomposition $\mathfrak{L} = \mathfrak{g} \oplus \mathfrak{r}$ where $\mathfrak{g}$ is semi-simple, we investigate $\mathfrak{L}$-modules which decompose, as $\mathfrak{g}$-modules, into a direct sum of simple finite-dimensional $\mathfrak{g}$-modules with finite multiplicities. We call such modules $\mathfrak{g}$-Harish-Chandra modules. We give a complete classification of simple $\mathfrak{g}$-Harish-Chandra modules for the Takiff Lie algebra associated to $\mathfrak{g} = \mathfrak{sl}_2$, and for the Schrödinger Lie algebra, and obtain some partial results in other cases. An adapted version of Enright's and Arkhipov's completion functors plays a crucial role in our arguments. Moreover, we calculate the first extension groups of infinite-dimensional simple $\mathfrak{g}$-Harish-Chandra modules and their annihilators in the universal enveloping algebra, for the Takiff $\mathfrak{sl}_2$ and the Schrödinger Lie algebra. In the general case, we give a sufficient condition for the existence of infinite-dimensional simple $\mathfrak{g}$-Harish-Chandra modules.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

BGG complexes in singular blocks of category O

Using translation from the regular block, we construct and analyze properties of BGG complexes in singular blocks of BGG category ${\mathcal{O}}$. We provide criteria, in terms of the Kazhdan-Lusztig-Vogan polynomials, for such complexes to be exact. In the Koszul dual picture, exactness of BGG complexes is expressed as a certain condition on a generalized Verma flag of an indecomposable projective object in the corresponding block of parabolic category ${\mathcal{O}}$. In the second part of the paper, we construct BGG complexes in a more general setting of balanced quasi-hereditary algebras and show how our results for singular blocks can be used to construct BGG resolutions of simple modules in ${\mathcal{S}}$-subcategories in ${\mathcal{O}}$.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Trihedral Soergel bimodules

The quantum Satake correspondence relates dihedral Soergel bimodules to the semisimple quotient of the quantum $\mathfrak{sl}_2$ representation category. It also establishes a precise relation between the simple transitive $2$-representations of both monoidal categories, which are indexed by bicolored $\mathsf{ADE}$ Dynkin diagrams. Using the quantum Satake correspondence between affine $\mathsf{A}_{2}$ Soergel bimodules and the semisimple quotient of the quantum $\mathfrak{sl}_3$ representation category, we introduce trihedral Hecke algebras and Soergel bimodules, generalizing dihedral Hecke algebras and Soergel bimodules. These have their own Kazhdan-Lusztig combinatorics, simple transitive $2$-representations corresponding to tricolored generalized $\mathsf{ADE}$ Dynkin diagrams.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Some homological properties of the category $\mathcal{O}$, II

We show, in full generality, that Lusztig's $\mathbf{a}$-function describes the projective dimension of both indecomposable tilting modules and indecomposable injective modules in the regular block of the BGG category $\mathcal{O}$, proving a conjecture from the first paper. On the way we show that the images of simple modules under projective functors can be represented in the derived category by linear complexes of tilting modules. These complexes, in turn, can be interpreted as the images of simple modules under projective functors in the Koszul dual of the category $\mathcal{O}$. Finally, we describe the dominant projective module and also projective-injective modules in some subcategories of $\mathcal{O}$ and show how one can use categorification to decompose the regular representation of the Weyl group into a direct sum of cell modules, extending the results known for the symmetric group (type $A$).

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Categorification of Wedderburn's basis for \mathbb{C}[S_n]

M. Neunh{ö}ffer studies in \cite{Ne} a certain basis of $\mathbb{C}[S_n]$ with the origins in \cite{Lu} and shows that this basis is in fact Wedderburn's basis. In particular, in this basis the right regular representation of $S_n$ decomposes into a direct sum of irreducible representations (i.e. Specht or cell modules). In the present paper we rediscover essentially the same basis with a categorical origin coming from projective-injective modules in certain subcategories of the BGG-category $\mathcal{O}$. An important role in our arguments is played by the dominant projective module in each of these categories. As a biproduct of the study of this dominant projective module we show that {\it Kostant's problem} (\cite{Jo}) has a negative answer for some simple highest weight module over the Lie algebra $\mathfrak{sl}_4$, which disproves the general belief that Kostant's problem should have a positive answer for all simple highest weight modules in type $A$.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Combinatorial Gelfand models for some semigroups and q-rook monoid algebras

Inspired by the results of [R. Adin, A. Postnikov, Y. Roichman, Combinatorial Gelfand model, preprint math.RT arXiv:0709.3962], we propose combinatorial Gelfand models for semigroup algebras of some finite semigroups, which include the symmetric inverse semigroup, the dual symmetric inverse semigroup, the maximal factorizable subsemigroup in the dual symmetric inverse semigroup, and the factor power of the symmetric group. Furthermore we extend the Gelfand model for the semigroup algebras of the symmetric inverse semigroup to a Gelfand model for the $q$-rook monoid algebra.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Koszul duality for stratified algebras I. Quasi-hereditary algebras

We give a complete picture of the interaction between Koszul and Ringel dualities for quasi-hereditary algebras admitting linear tilting (co)resolutions of standard and costandard modules. We show that such algebras are Koszul, that the class of these algebras is closed with respect to both dualities and that on this class these two dualities commute. All arguments reduce to short computations in the bounded derived category of graded modules.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Quadratic duals, Koszul dual functors, and applications

The paper studies quadratic and Koszul duality for modules over positively graded categories. Typical examples are modules over a path algebra, which is graded by the path length, of a not necessarily finite quiver with relations. We present a very general definition of quadratic and Koszul duality functors backed up by explicit examples. This generalises previous results in two substantial ways: We work in the setup of graded categories, i.e. we allow infinitely many idempotents and also define a ``Koszul'' duality functor for not necessarily Koszul categories. As an illustration of the techniques we reprove the Koszul duality of translation and Zuckerman functors for the classical category O in a quite elementary and explicit way. As applications we propose a definition of a "Koszul" dual category for integral blocks of Harish-Chandra bimodules and for blocks outside the critical hyperplanes for the Kac-Moody category O.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Simple modules over factorpowers

In this paper we study complex representations of the factorpower $\fp(G,M)$ of a finite group $G$ acting on a finite set $M$. This includes the finite monoid $\FP$, which can be seen as a kind of a ``balanced'' generalization of the symmetric group $S_n$ inside the semigroup of all binary relations. We describe all irreducible representations of $\fp(G,M)$ and relate them to irreducible representations of certain inverse semigroups. In particular, irreducible representations of $\FP$ are related to irreducible representations of the maximal factorizable submonoid of the dual symmetric inverse monoid. We also show that in the latter cases irreducible representations lead to an interesting combinatorial problem in the representation theory of $S_n$, which, in particular, is related to Foulkes' conjecture. Finally, we show that all simple $\fp(G,M)$-modules are unitarizable and that tensor products of simple $\fp(G,M)$-modules are completely reducible.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

A combinatorial approach to functorial quantum sl(k) knot invariants

This paper contains a categorification of the sl(k) link invariant using parabolic singular blocks of category O. Our approach is intended to be as elementary as possible, providing combinatorial proofs of the main results of Sussan. We first construct an exact functor valued invariant of webs or 'special' trivalent graphs labelled with 1, 2, k-1, k satisfying the MOY relations. Afterwards we extend it to the sl(k)-invariant of links by passing to the derived categories. The approach using foams appears naturally in this context. More generally, we expect that our approach provides a representation theoretic interpretation of the sl(k)-homology, based on foams and the Kapustin-Lie formula. Conjecturally this implies that the Khovanov-Rozansky link homology is obtained from our invariant by restriction.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

A new approach to Kostant's problem

For every involution $\mathbf{w}$ of the symmetric group $S_n$ we establish, in terms ofa special canonical quotient of the dominant Verma module associated with $\mathbf{w}$, an effective criterion, which allows us to verify whether the universal enveloping algebra $U(\mathfrak{sl}_n)$ surjects onto the space of all ad-finite linear transformations of the simple highest weight module $L(\mathbf{w})$. An easy sufficient condition derived from this criterion admits a straightforward computational check for example using a computer. All this is applied to get some old and many new results, which answer the classical question of Kostant in special cases, in particular we give a complete answer for simple highest weight modules in the regular block of $\mathfrak{sl}_n$, $n\leq 5$.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Categorification of (induced) cell modules and the rough structure of generalized Verma modules

This paper presents categorifications of (right) cell modules and induced cell modules for Hecke algebras of finite Weyl groups. In type $A$ we show that these categorifications depend only on the isomorphism class of the cell module, not on the cell itself. Our main application is multiplicity formulas for parabolically induced modules over a reductive Lie algebra of type $A$, which finally determines the so-called rough structure of generalized Verma modules. On the way we present several categorification results and give the positive answer to Kostant's problem from \cite{Jo} in many cases. We also give a general setup of decategorification, precategorification and categorification.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

Koszul duality for extension algebras of standard modules

We define and investigate a class of Koszul quasi-hereditary algebras for which there is a natural equivalence between the bounded derived category of graded modules and the bounded derived category of graded modules over (a proper version of) the extension algebra of standard modules. Examples of such algebras include, in particular, the multiplicity free blocks of the BGG category $\mathcal{O}$, and some quasi-hereditary algebras with Cartan decomposition in the sense of K{ö}nig.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

On the semigroup of square matrices

We study the structure of nilpotent subsemigroups in the semigroup $M(n,\mathbb{F})$ of all $n\times n$ matrices over a field, $\mathbb{F}$, with respect to the operation of the usual matrix multiplication. We describe the maximal subsemigroups among the nilpotent subsemigroups of a fixed nilpotency degree and classify them up to isomorphism. We also describe isolated and completely isolated subsemigroups and conjugated elements in $M(n,\mathbb{F})$.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

Partialization of categories and inverse braid-permutation monoid

We show how the categorial approach to inverse monoids can be described as a certain endofunctor (which we call the partialization functor) of some category. In this paper we show that this functor can be used to obtain several recently defined inverse monoids, and use it to define a new object, which we call the inverse braid-permutation monoid. A presentation for this monoid is obtained. Finally, we study some abstract properties of the partialization functor and its iterations. This leads to a categorification of a monoid of all order preserving maps, and series of orthodox generalizations of the symmetric inverse semigroup.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

Presentation of the singular part of the Brauer monoid

We obtain a presentation for the singular part of the Brauer monoid with respect to an irreducible system of generators, consisting of idempotents. As an application of this result we get a new construction of the symmetric group via connected sequences of subsets. Another application describes the lengths of elements in the singular part of the Brauer monoid with respect to the system of generators, mentioned above.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

Some homological properties of the category $\mathcal{O}$

In the first part of this paper the projective dimension of the structural modules in the BGG category $\mathcal{O}$ is studied. This dimension is computed for simple, standard and costandard modules. For tilting and injective modules an explicit conjecture relating the result to Lusztig's $\mathbf{a}$-function is formulated (and proved for type $A$). The second part deals with the extension algebra of Verma modules. It is shown that this algebra is in a natural way $\mathbb{Z}^2$-graded and that it has two $\mathbb{Z}$-graded Koszul subalgebras. The dimension of the space $\mathrm{Ext}^1$ into the projective Verma module is determined. In the last part several new classes of Koszul modules and modules, represented by linear complexes of tilting modules, are constructed.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

$\mathcal{L}$-- and $\mathcal{R}$--cross-sections in the Brauer semigoup

We classify all cross-sections of Green's relations $\mathcal{L}$ and $\mathcal{R}$ in the Brauer semigroup. The regular behavior of such cross-sections starts from $n=7$. We show that in the regular case there are essentially two different cross-sections and all others are $\mathcal{S}_n$-conjugated to one of these two. We also classify all cross-sections up to isomorphism.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

A twisted approach to Kostant's problem

We use Arkhipov's twisting functors to show that the universal enveloping algebra of a semi-simple complex finite-dimensional Lie algebra surjects onto the space of ad-finite endomorphisms of the simple highest weight module $L(λ)$, whose highest weight is associated (in the natural way) with a subset of simple roots and a simple root in this subset. This is a new step towards a complete answer to a classical question of Kostant. We also show how one can use the twisting functors to reprove the classical results related to this question.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

Applications of the category of linear complexes of tilting modules associated with the category O

We use the category of linear complexes of tilting modules for the BGG category O, associated with a semi-simple complex finite-dimensional Lie algebra g, to reprove in purely algebraic way several known results about O obtained earlier by different authors using geometric methods. We also obtain several new results about the parabolic category O.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

Classification of simple weight Virasoro modules with a finite-dimensional weight space

We show that the support of a simple weight module over the Virasoro algebra, which has an infinite-dimensional weight space, coincides with the weight lattice and that all non-trivial weight spaces of such module are infinite dimensional. As a corollary we obtain that every simple weight module over the Virasoro algebra, having a non-trivial finite-dimensional weight space, is a Harish-Chandra module (and hence is either a simple highest or lowest weight module or a simple module from the intermediate series). This implies positive answers to two conjectures about simple pointed and simple mixed modules over the Virasoro algebra.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

On classification of maximal nilpotent subsemigroups

We develop a general approach to the study of maximal nilpotent subsemigroups of finite semigroups. This approach can be used to recover many known classifications of maximal nilpotent subsemigroups, in particular, for the symmetric inverse semigroup, the symmetric semigroup, and the factor power of the symmetric group. We also apply this approach to obtain a classification of maximal nilpotent subsemigroups in the semigroup of binary relations and in certain 0-simple finite semigroups.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

On Kiselman's semigroup

We study the algebraic properties of the series $\mathrm{K}_n$ of semigroups, which is inspired by \cite{Ki} and has origins in convexity theory. In particular, we describe Green's relations on $\mathrm{K}_n$, prove that there exists a faithful representation of $\mathrm{K}_n$ by $n\times n$ matrices with non-negative integer coefficients (and even explicitly construct such a representation), and prove that $\mathrm{K}_n$ does not admit a faithful representation by matrices of smaller size. We also describe the maximal nilpotent subsemigroups in $\mathrm{K}_n$, all isolated and completely isolated subsemigroups, all automorphisms and anti-automorphisms of $\mathrm{K}_n$. Finally, we explicitly construct all irreducible representations of $\mathrm{K}_n$ over any field and describe primitive idempotents in the semigroup algebra (which we prove is basic).

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

Properly stratified algebras and tilting

We study the properties of tilting modules in the context of properly stratified algebras. In particular, we answer the question when the Ringel dual of a properly stratified algebra is properly stratified itself, and show that the class of properly stratified algebras for which the characteristic tilting and cotilting modules coincide is closed under taking the Ringel dual. Studying stratified algebras, whose Ringel dual is properly stratified, we discover a new Ringel-type duality for such algebras, which we call the two-step duality. This duality arises from the existence of a new (generalized) tilting module for stratified algebras with properly stratified Ringel dual. We show that this new tilting module has a lot of interesting properties, for instance, its projective dimension equals the projectively defined finitistic dimension of the original algebra, it guarantees that the category of modules of finite projective dimension is contravariantly finite, and, finally, it allows one to compute the finitistic dimension of the original algebra in terms of the projective dimension of the characteristic tilting module.

0 citations0 reviewsNo code linkedOpen access
preprint2004arXiv

A pairing in homology and the category of linear complexes of tilting modules for a quasi-hereditary algebra

We show that there exists a natural non-degenerate pairing of the homomorphism space between two neighbor standard modules over a quasi-hereditary algebra with the first extension space between the corresponding costandard modules and vise versa. Investigation of this phenomenon leads to a family of pairings involving standard, costandard and tilting modules. In the graded case, under some "Koszul-like" assumptions (which we prove are satisfied for example for the blocks of the category $\mathcal{O}$), we obtain a non-degenerate pairing between certain graded homomorphism and graded extension spaces. This motivates the study of the category of linear tilting complexes for graded quasi-hereditary algebras. We show that, under assumptions, similar to those mentioned above, this category realizes the module category for the Koszul dual of the Ringel dual of the original algebra. As a corollary we obtain that under these assumptions the Ringel and Koszul dualities commute.

0 citations0 reviewsNo code linkedOpen access