Related papers: Bi-incomplete Tambara functors as $\mathcal{O}$-co…
The Balmer spectrum of a monoidal triangulated category is an important geometric construction which is closely related to the problem of classifying thick tensor ideals. We prove that the forgetful functor from the Drinfeld center of a…
Tannaka duality and its extensions by Lurie, Sch\"appi et al. reveal that many schemes as well as algebraic stacks may be identified with their tensor categories of quasi-coherent sheaves. In this thesis we study constructions of cocomplete…
For a commutative ring $R$, we exploit localization techniques and point-free topology to give an explicit realization of both the Zariski frame of $R$ (the frame of radical ideals in $R$) and its Hochster dual frame, as lattices in the…
We prove that the map on Balmer spectra induced by a fully faithful geometric functor is a quotient map whose fibers are connected. This is an analogue of the Zariski Connectedness Theorem in algebraic geometry and it can be applied to a…
Given a DG-category A we introduce the bar category of modules Modbar(A). It is a DG-enhancement of the derived category D(A) of A which is isomorphic to the category of DG A-modules with A-infinity morphisms between them. However, it is…
We define a functor which gives the "global rank of a quiver representation" and prove that it has nice properties which make it a generalization of the rank of a linear map. We demonstrate how to construct other "rank functors" for a…
We compute Mackey functor-valued Tor over certain free incomplete Tambara functors, generalizing the computation of Tor over a polynomial ring on one generator. In contrast with the classical situation where the resulting Tor groups vanish…
Matrix elements in different representations are connected by quadratic relations. If matrix elements are those of a $\textit{group element}$, i.e. satisfying the property $\Delta(X) = X\otimes X$, then their generating functions obey…
Let $A$ be a ring and $\M_A$ the category of $A$-modules. It is well known in module theory that for any $A $-bimodule $B$, $B$ is an $A$-ring if and only if the functor $-\otimes_A B: \M_A\to \M_A$ is a monad (or triple). Similarly, an $A…
We study a 2-functor that assigns to a bimodule category over a finite k-linear tensor category a k-linear abelian category. This 2-functor can be regarded as a category-valued trace for 1-morphisms in the tricategory of finite tensor…
The Schur orthogonality relations are a cornerstone in the representation theory of groups. We utilize a generalization to weak Hopf algebras to provide a new, readily verifiable condition on the skeletal data for deciding whether a given…
We lay out the theory of a multiplicity in the setting of a triangulated category having a central ring action from a graded-commutative ring $R$, in other words, an $R$-linear triangulated category. The invariant we consider is modelled on…
We show that a derived bi-duality dg-module is quasi-isomorphic to the homotopy limit of a certain tautological functor. This is a simple observation, which seems to be true in wider context. From the view point of derived Gabriel topology,…
Consider the polynomial ring in countably infinitely many variables over a field of characteristic zero, together with its natural action of the infinite general linear group G. We study the algebraic and homological properties of finitely…
We introduce a generalization of oriented tangles, which are still called tangles, so that they are in one-to-one correspondence with the sutured manifolds. We define cobordisms between sutured manifolds (tangles) by generalizing cobordisms…
This paper establishes the homological and geometric foundations of non-commutative n-ary Gamma-semirings, unifying two previously distinct directions in Gamma-algebra: the derived Gamma-geometry developed for the commutative ternary case…
Given a ring homomorphism $B \to A$, consider its centralizer $R = A^B$, bimodule endomorphism ring $S = \End {}_BA_B$ and sub-tensor-square ring $T = (A \o_B A)^B$. Nonassociative tensoring by the cyclic modules $R_T$ or ${}_SR$ leads to…
We establish an algebra-isomorphism between the complexified Grothendieck ring F of certain bimodule categories over a modular tensor category and the endomorphism algebra of appropriate morphism spaces of those bimodule categories. This…
In \cite{rupel3},the authors defined algebra homomorphisms from the dual Ringel-Hall algebra of certain hereditary abelian category $\mathcal{A}$ to an appropriate $q$-polynomial algebra. In the case that $\mathcal{A}$ is the representation…
A kind of unstable homotopy theory on the category of associative rings (without unit) is developed. There are the notions of fibrations, homotopy (in the sense of Karoubi), path spaces, Puppe sequences, etc. One introduces the notion of a…