Related papers: Quantum Functor $Mor$
This is the second installment in a series of papers applying descriptive set theoretic techniques to both analyze and enrich classical functors from homological algebra and algebraic topology. In it, we show that the \v{C}ech cohomology…
We construct new examples of ergodic coactions of compact quantum groups, in which the multiplicity of an irreducible corepresentation can be strictly larger than the dimension of the latter. These examples are obtained using a bijective…
We take a novel lattice-theoretic approach to the $\tau$-cluster morphism category $\mathfrak{T}(A)$ of a finite-dimensional algebra $A$ and define the category via the lattice of torsion classes $\mathrm{tors } A$. Using the lattice…
In this paper, we will introduce Quantum Toric Varieties which are (non-commutative) generalizations of ordinary toric varieties where all the tori of the classical theory are replaced by quantum tori. Quantum toric geometry is the…
A bicovariant calculus of differential operators on a quantum group is constructed in a natural way, using invariant maps from \fun\ to \uqg\ , given by elements of the pure braid group. These operators --- the `reflection matrix' $Y \equiv…
Expanding on the comprehensive factorization of functors internal to a category C, under fairly mild conditions on a monad T on C we establish that this orthogonal factorization system exists even in Burroni's category Cat(T) of (internal)…
There exists a covariant non-injective functor from the space of generic Riemann surfaces to the so-called toric AF-algebras; such a functor maps isomorphic Riemann surfaces to the stably isomorphic toric AF-algebras. We use the functor to…
It is known that homology and inverse limit functors do not commute. In the paper we consider this very problem and find its application for various homology theories. In particular, on the category of general topological spaces, there are…
Let $G$ be a connected reductive affine algebraic group defined over the complex numbers, and $K\subset G$ be a maximal compact subgroup. Let $X , Y$ be irreducible smooth complex projective varieties and $f: X \rightarrow Y$ an algebraic…
Given an oriented $2$-manifold $M$, a locally constant sheaf of lattices $\Lambda$ over $M$, and a pointed morphism $q : \textsf B^2\Lambda \rightarrow \textsf B^4\mathbf C^{\times}$, we define an $\mathbb E_M$-category…
We construct an $(\infty,1)$-functor that takes each smooth $G$-manifold with corners $M$ to the space of equivariant smooth $h$-cobordisms ${\mathcal H}_{\mathrm{Diff}}(M)$. We also give a stable analogue ${\mathcal H}^{\mathcal…
We can run the MMP for any divisor on any $\mathbb{Q}$-factorial projective toric variety. We show that two Mori fiber spaces, which are outputs of the above MMP, are connected by finitely many elementary transforms.
We use Floer theory to describe invariants of symplectic $\mathbb{C}^*$-manifolds admitting several commuting $\mathbb{C}^*$-actions. The $\mathbb{C}^*$-actions induce filtrations by ideals on quantum cohomology, as well as filtrations on…
In the standard category of directed graphs, graph morphisms map edges to edges. By allowing graph morphisms to map edges to finite paths (path homomorphisms of graphs), we obtain an ambient category in which we determine subcategories…
The category ${\rm Rel}(\mathcal{C})$ may be formed for any category $\mathcal{C}$ with finite limits using the same objects as $\mathcal{C}$ but whose morphisms from $X$ to $Y$ are binary relations in $\mathcal{C}$, that is, subobjects of…
For a quiver $Q$, a $k$-algebra $A$, and a full subcategory $\mathcal X$ of $A$-mod, the monomorphism category ${\rm Mon}(Q, \mathcal X)$ is introduced. The main result says that if $T$ is an $A$-module such that there is an exact sequence…
We establish formulas for computation of the higher algebraic $K$-groups of the endomorphism rings of objects linked by a morphism in an additive category. Let ${\mathcal C}$ be an additive category, and let $Y\ra X$ be a covariant morphism…
We consider commuting squares of finite dimensional von Neumann algebras having the algebra of complex numbers in the lower left corner. Examples include the vertex models, the spin models (in the sense of subfactor theory) and the…
We define a class of morphisms between \'etale groupoids and show that there is a functor from the category with these morphisms to the category of $C^*$-algebras. We show that all homomorphisms between Cartan pairs of $C^*$-algebras that…
We introduce the notion of a field of covariances, a contravariant functor from non-commutative probability spaces to Hilbert spaces, as the natural categorical analogue of statistical covariance. In the case of finite-dimensional…