Mixed algebras and quivers related to cell complexes

In this paper we study finite dimensional algebras arising from categories of perverse sheaves on finite regular cell complexes (cellular perverse algebras). We prove that such algebras are quasi-hereditary and have finite global dimension. We discuss some restrictions, under which cellular perverse algebras are Koszul. We also study the relationship between Koszul duality functors in the derived categories of categories of graded and non-graded modules over an algebra and its quadratic dual.     

New-from-old full dualities via axiomatisation

We study different full dualities based on the same finite algebra. Our main theorem gives conditions on two different alter egos of a finite algebra under which, if one yields a full duality, then the other does too. We use this theorem to obtain a better understanding of several important examples from the theory of natural dualities. We also clarify what it means for two full dualities based on the same finite algebra to be different. Throughout the paper, a fundamental role is played by the universal Horn theory of the dual categories.     

Natural dualities for three classes of relational structures

Motivated by the work of Hofmann [14] and Davey [7] on dualities for structures, we will construct natural dualities for the classes of quasi-ordered sets, equivalence-relationed sets, and reflexive (undirected) graphs. We describe the dual structures by giving finite sets of quasi-equations that axiomatise the dual categories. We also show that there is a natural connection between the duality we construct for finite quasi-ordered sets and Birkhoff’s representation theorem for finite ordered sets [2], and between the dualities constructed for quasi-ordered sets and equivalence-relationed sets.     

Hereditary noetherian categories of positive Euler characteristic

We develop the fundamentals of hereditary noetherian categories with Serre duality over an arbitrary field k, where the category of coherent sheaves over a smooth projective curve over k serves as the prime example and others are coming from the representation theory of finite dimensional algebras. The proper way to view such a category is to think of coherent sheaves on a possibly non-commutative smooth projective curve. We define for each such category notions like function field and Euler characteristic, determine its Auslander-Reiten components and study stable and semistable bundles for an appropriate notion of degree. We provide a complete classification of hereditary noetherian categories for the case of positive Euler characteristic by relating these to finite dimensional representations of (locally bounded) hereditary k-algebras whose underlying valued quiver admits a positive additive function. Dedicated to Otto Kerner on the occasion of his 60th birthday     

The duality between algebras and coalgebras

In this paper we introduce the category of Yang-Baxter structures. We give examples of objects in this category. We construct full and faithful embbedings from the categories of algebra and coalgebra structures to the category of Yang-Baxter structures. Then we give a new duality theorem which extends the duality between finite dimensional algebras and coalgebras.

---

Sunto In questo articolo introduciamo la categoria delle strutture di Yang-Baxter. Diamo esempi di oggetti in questa categoria. Costruiamo immersioni piene e fedeli dalle categorie di algebre e coalgebre alla categoria di strutture di Yang-Baxter. Infine diamo un nuovo teorema di dualità che estende la dualità tra algebre e coalgebre di dimensione finita.

     

Stable Projective Homotopy Theory of Modules,Tails, and Koszul Duality

A contravariant functor is constructed from the stable projective homotopy theory of finitely generated graded modules over a finite-dimensional algebra to the derived category of its Yoneda algebra modulo finite complexes of modules of finite length. If the algebra is Koszul with a noetherian Yoneda algebra, then the constructed functor is a duality between triangulated categories. If the algebra is self-injective, then stable homotopy theory specializes trivially to stable module theory. In particular, for an exterior algebra the constructed duality specializes to (a contravariant analog of) the Bernstein–Gelfand–Gelfand correspondence.     

Homological projective duality

We introduce a notion of homological projective duality for smooth algebraic varieties in dual projective spaces, a homological extension of the classical projective duality. If algebraic varieties X and Y in dual projective spaces are homologically projectively dual, then we prove that the orthogonal linear sections of X and Y admit semiorthogonal decompositions with an equivalent nontrivial component. In particular, it follows that triangulated categories of singularities of these sections are equivalent. We also investigate homological projective duality for projectivizations of vector bundles.     

Super duality and irreducible characters of ortho-symplectic Lie superalgebras

We formulate and establish a super duality which connects parabolic categories O for the ortho-symplectic Lie superalgebras and classical Lie algebras of BCD types. This provides a complete and conceptual solution of the irreducible character problem for the ortho-symplectic Lie superalgebras in a parabolic category O, which includes all finite dimensional irreducible modules, in terms of classical Kazhdan-Lusztig polynomials.     

A geometric Schur–Weyl duality for quotients of affine Hecke algebras

After establishing a geometric Schur–Weyl duality in a general setting, we recall this duality in type A in the finite and affine case. We extend the duality in the affine case to positive parts of the affine algebras. The positive parts have nice ideals coming from geometry, allowing duality for quotients. Some of the quotients of the positive affine Hecke algebra are then identified to some cyclotomic Hecke algebras and the geometric setting allows the construction of canonical bases.     

Duality and finite spaces

Using that finite topological spaces are just finite orders, we develop a duality theory for sheaves of Abelian groups over finite spaces following closely Grothendieck's duality theory for coherent sheaves over proper schemes. Since the geometric realization of a finite space is a polyhedron, we relate this duality with the duality theory for Abelian sheaves over polyhedra.     

Graded and Koszul Categories

Koszul algebras have arisen in many contexts; algebraic geometry, combinatorics, Lie algebras, non-commutative geometry and topology. The aim of this paper and several sequel papers is to show that for any finite dimensional algebra there is always a naturally associated Koszul theory. To obtain this, the notions of Koszul algebras, linear modules and Koszul duality are extended to additive (graded) categories over a field. The main focus of this paper is to provide these generalizations and the necessary preliminaries.     

Robust conjugate duality for convex optimization under uncertainty with application to data classification

In this paper we present a robust conjugate duality theory for convex programming problems in the face of data uncertainty within the framework of robust optimization, extending the powerful conjugate duality technique. We first establish robust strong duality between an uncertain primal parameterized convex programming model problem and its uncertain conjugate dual by proving strong duality between the deterministic robust counterpart of the primal model and the optimistic counterpart of its dual problem under a regularity condition. This regularity condition is not only sufficient for robust duality but also necessary for it whenever robust duality holds for every linear perturbation of the objective function of the primal model problem. More importantly, we show that robust strong duality always holds for partially finite convex programming problems under scenario data uncertainty and that the optimistic counterpart of the dual is a tractable finite dimensional problem. As an application, we also derive a robust conjugate duality theorem for support vector machines which are a class of important convex optimization models for classifying two labelled data sets. The support vector machine has emerged as a powerful modelling tool for machine learning problems of data classification that arise in many areas of application in information and computer sciences.     

Torsion-free duality is Warfield

We show that, under certain natural conditions, a duality discovered by R. B. Warfield, Jr., is the only duality on categories of finite-rank torsion-free modules over Dedekind domains.

     

Full does not imply strong, does it?

We give a duality for the variety of bounded distributive lattices that is not full (and therefore not strong) although it is full but not strong at the finite level. While this does not give a complete solution to the “Full vs Strong” Problem, which dates back to the beginnings of natural duality theory in 1980, it does solve it at the finite level. One consequence of this result is that although there is a Duality Compactness Theorem, which says that if an alter ego of finite type yields a duality at the finite level then it yields a duality, there cannot be a corresponding Full Duality Compactness Theorem. Received October 1, 2002; accepted in final form November 10, 2004.     

Representation and duality for Hilbert algebras

In this paper we introduce a special kind of ordered topological spaces, called Hilbert spaces. We prove that the category of Hilbert algebras with semi-homomorphisms is dually equivalent to the category of Hilbert spaces with certain relations. We restrict this result to give a duality for the category of Hilbert algebras with homomorphisms. We apply these results to prove that the lattice of the deductive systems of a Hilbert algebra and the lattice of open subsets of its dual Hilbert space, are isomorphic. We explore how this duality is related to the duality given in [6] for finite Hilbert algebras, and with the topological duality developed in [7] for Tarski algebras.      

Cross-connections of linear transformation semigroups

Cross-connection theory developed by Nambooripad is the construction of a regular semigroup from its principal left (right) ideals using categories. We use the cross-connection theory to study the structure of the semigroup \(\textit{Sing}(V)\) of singular linear transformations on an arbitrary vector space V over a field K. There is an inbuilt notion of duality in the cross-connection theory, and we observe that it coincides with the conventional algebraic duality of vector spaces. We describe various cross-connections between these categories and show that although there are many cross-connections, upto isomorphism, we have only one semigroup arising from these categories. But if we restrict the categories suitably, we can construct some interesting subsemigroups of the variants of the linear transformation semigroup.     

Yetter-Drinfeld modules over weak bialgebras

We discuss properties of Yetter-Drinfeld modules over weak bialgebras over commutative rings. The categories of left-left, left-right, right-left and right-right Yetter-Drinfeld modules over a weak Hopf algebra are isomorphic as braided monoidal categories. Yetter-Drinfeld modules can be viewed as weak Doi-Hopf modules, and, a fortiori, as weak entwined modules. IfH is finitely generated and projective, then we introduce the Drinfeld double using duality results between entwining structures and smash product structures, and show that the category of Yetter-Drinfeld modules is isomorphic to the category of modules over the Drinfeld double. The category of finitely generated projective Yetter-Drinfeld modules over a weak Hopf algebra has duality.     

Cluster-tilted algebras are Gorenstein and stably Calabi-Yau

We prove that in a 2-Calabi-Yau triangulated category, each cluster tilting subcategory is Gorenstein with all its finitely generated projectives of injective dimension at most one. We show that the stable category of its Cohen-Macaulay modules is 3-Calabi-Yau. We deduce in particular that cluster-tilted algebras are Gorenstein of dimension at most one, and hereditary if they are of finite global dimension. Our results also apply to the stable (!) endomorphism rings of maximal rigid modules of [Christof Geiß, Bernard Leclerc, Jan Schröer, Rigid modules over preprojective algebras, arXiv: math.RT/0503324, Invent. Math., in press]. In addition, we prove a general result about relative 3-Calabi-Yau duality over non-stable endomorphism rings. This strengthens and generalizes the Ext-group symmetries obtained in [Christof Geiß, Bernard Leclerc, Jan Schröer, Rigid modules over preprojective algebras, arXiv: math.RT/0503324, Invent. Math., in press] for simple modules. Finally, we generalize the results on relative Calabi-Yau duality from 2-Calabi-Yau to d-Calabi-Yau categories. We show how to produce many examples of d-cluster tilted algebras.     

Partially finite convex programming,Part I: Quasi relative interiors and duality theory

We study convex programs that involve the minimization of a convex function over a convex subset of a topological vector space, subject to a finite number of linear inequalities. We develop the notion of the quasi relative interior of a convex set, an extension of the relative interior in finite dimensions. We use this idea in a constraint qualification for a fundamental Fenchel duality result, and then deduce duality results for these problems despite the almost invariable failure of the standard Slater condition. Part II of this work studies applications to more concrete models, whose dual problems are often finite-dimensional and computationally tractable.