Related papers: Cubical rigidification, the cobar construction, an…

Let g be a symmetrisable Kac-Moody algebra, and U_h(g) the corresponding quantum group. We showed in arXiv:1610.09744 and arXiv:1610.09741 that the braided quasi-Coxeter structure on integrable, category O representations of U_h(g) which…

We prove that the stable endomorphism rings of rigid objects in a suitable Frobenius category have only finitely many basic algebras in their derived equivalence class and that these are precisely the stable endomorphism rings of objects…

We construct a quantum Dolbeault double complex $\oplus_{p,q}\Omega^{p,q}$ on the quantum plane $\Bbb C_q^2$. This solves the long-standing problem that the standard differential calculus on the quantum plane is not a $*$-calculus, by…

Let G be a reductive groups over an algebraically closed field k. Let P^{(i)} be associated parabolic subgroups, and X^{(i)}:=T^*G/P^i. The bounded derived categories of coherent sheaves on X^{(i)} are equivalent, but there is no canonical…

For a (unital) $C^*$-algebra $\cla$, we construct a $C^*$-algebraic discrete quantum group (DQG) $\clq_{\rm aut}(\cla)$, coacting on $\cla$, which is a quantum generalization of ${\text Aut}(\cla)$ in the framework of discrete quantum…

We study fibrations in the category of cubespaces/nilspaces. We show that a fibration of finite degree $f \colon X\rightarrow Y$ between compact ergodic gluing cubespaces (in particular nilspaces) factors as a (possibly countable) tower of…

Following Herranz and Santander [Herranz F.J., Santander M., Mem. Real Acad. Cienc. Exact. Fis. Natur. Madrid 32 (1998), 59-84, physics/9702030] we will construct homogeneous spaces based on possible kinematical algebras and groups [Bacry…

In this note we prove that the simplicial derived functors introduced by Tierney and Vogel [TV69] are naturally isomorphic to the cubical derived functors introduced by the author in [P09]. We also explain how this result generalizes the…

We modify a classical construction of Bousfield and Kan to define the Adams tower of a simplicial nonunital commutative algebra over a field k. We relate this construction to Radulescu-Banu's cosimplicial resolution, and prove that all…

We give a unified generalization of Dugas' construction on stable auto-equivalences of Morita type from local symmetric algebras to arbitrary symmetric algebras. For group algebras $kP$ of $p$-groups in characteristic $p$, we recover all…

We prove a functorial correspondence between a category of logarithmic $\mathfrak{sl}_2$-connections on a curve $X$ with fixed generic residues and a category of abelian logarithmic connections on an appropriate spectral double cover $\pi :…

We present a formalization of quasi-compact and quasi-separated schemes (qcqs-schemes) in the Cubical Agda proof assistant. We follow Grothendieck's functor of points approach, which defines schemes, the quintessential notion of modern…

We provide a complete classification of Clifford quantum cellular automata (QCAs) on arbitrary metric spaces and any qudits (of prime or composite dimensions) in terms of algebraic L-theory. Building on the delooping formalism of Pedersen…

Given a finite simple connected graph $\Gamma$, the graphical configuration space $\mathrm{Conf}_{\Gamma}(X)$ is the space of collections of points in $X$ indexed by the vertices of $\Gamma$, where points corresponding to adjacent vertices…

We construct a graded cluster algebra structure on the Cox ring of a smooth complex variety $Z$, depending on a base cluster structure on the ring of regular functions of an open subset $Y$ of $Z$. After considering some elementary examples…

We study cocommutative Hopf dialgebras through generalized digroups and rack combinatorics. We prove that the rack functor obtained from the adjoint rack bialgebra factorizes through the digroup of group-like elements. More precisely, for…

The Reeb space of a smooth map whose codimension is minus is the space defined as the space of all connected components of inverse images. For generic maps such as Morse functions and their higher dimensional versions, they are polyhedra…

We show that a structural matrix algebra $A$ is isomorphic to the endomorphism algebra of an algebraic-combinatorial object called a generalized flag. If the flag is equipped with a group grading, an algebra grading is induced on $A$. We…

This work is an attempt towards a Morita theory for stable equivalences between self-injective algebras. More precisely, given two self-injective algebras A and B and an equivalence between their stable categories, consider the set S of…

Let $G$ be a connected reductive group, with connected center, and $X$ a smooth complete curve, both defined over an algebraically closed field of characteristic zero. Let $\operatorname{Bun}_G$ denote the stack of $G$-bundles on $X$. In…