Related papers: Mixed standardization and Ringel duality
We study tilting complexes over preprojective algebras of Dynkin type. We classify all tilting complexes by giving a bijection between tilting complexes and the braid group of the corresponding folded graph. In particular, we determine the…
We study the notion of duality in the context of graded manifolds. For graded bundles, somehow like in the case of Gelfand representation and the duality: points vs. functions, we obtain natural dual objects which belongs to a different…
This is a generalization of the classic work of Beilinson, Lusztig and MacPherson. In this paper (and an Appendix) we show that the quantum algebras obtained via a BLM-type stabilization procedure in the setting of partial flag varieties of…
A study of sigma models whose target space is a group G that admits a compatible Poisson structure is presented. The natural action of O(D,D;Z) on the generalised tangent bundle TG+T*G and a generalisation of the Courant bracket that…
We study tilting and projective-injective modules in a parabolic BGG category $\mathcal O$ for an arbitrary classical Lie superalgebra. We establish a version of Ringel duality for this type of Lie superalgebras which allows to express the…
In this note, we investigate a mixture of combinatorial spectra and stratified simplicial sets, which would be thought of as a model of the spectrum objects of $(\infty, \infty)$-categories.
This paper studies normalisation by evaluation for typed lambda calculus from a categorical and algebraic viewpoint. The first part of the paper analyses the lambda definability result of Jung and Tiuryn via Kripke logical relations and…
The most impressively prolific exploration of superstring models (aiming for our physical reality) has been focused on worldsheet-supersymmetric gauged linear sigma models and the closely associated complex-algebraic toric geometry. Mirror…
The standard methodology handling nonlinear PDE's involves the two steps: numerical discretization to get a set of nonlinear algebraic equations, and then the application of the Newton iterative linearization or its variants to solve the…
We introduce a new class of symmetric algebras, which we call hybrid algebras. This class contains on one extreme Brauer graph algebras, and on the other extreme general weighted surface algebras. We show that hybrid algebras are precisely…
We study the interplay between double cross sum decompositions of a given Lie algebra and classical r-matrices for its semidual. For a class of Lie algebras which can be obtained by a process of generalised complexification we derive an…
Superstring compactifications have been vigorously studied for over four decades, and have flourished involving an active iterative feedback between physics and (complex) algebraic geometry. This led to an unprecedented wealth of…
We introduce the notion of multiplication kernels of birational and $D$-module type and give various examples. We also introduce the notion of a semi-classical multiplication kernel associated with an integrable system and discuss its…
A notion of an algebroid - a generalization of a Lie algebroid structure is introduced. We show that many objects of the differential calculus on a manifold M associated with the canonical Lie algebroid structure on T^M can be obtained in…
Existing structural analysis methods may fail to find all hidden constraints for a system of differential-algebraic equations with parameters if the system is structurally unamenable for certain values of the parameters. In this paper, for…
We report on our experience formalizing differential geometry with mathlib, the Lean mathematical library. Our account is geared towards geometers with no knowledge of type theory, but eager to learn more about the formalization of…
In this paper we develop a structure called Link Algebra, in which we present a Set with two binary operations and an axiom system developed from the study of graph theory and set/antiset theory, sowing main theorems and definitions. Once…
The purpose of this paper is to provide a new account of multiplicity for finite morphisms between smooth projective varieties. Traditionally, this has been defined using commutative algebra in terms of the length of integral ring…
Let $\mathcal{A}$ be an arbitrary hereditary abelian category that may not have enough projective objects. For example, $\mathcal{A}$ can be the category of finite-dimensional representations of a quiver or the category of coherent sheaves…
Duality between the coloured quantum group and the coloured quantum algebra corresponding to GL(2) is established. The coloured L^{\pm} functionals are constructed and the dual algebra is derived explicitly. These functionals are then…