BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Martin Brandenburg contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In this expository paper we explain in detail how to construct bicategorical colimits of several kinds of tensor categories, for example essentially small finitely cocomplete K-linear tensor categories. The constructions are direct and elementary.
We prove that the tensor category of quasi-coherent modules $\mathsf{Qcoh}(X \times_S Y)$ on a fiber product of quasi-compact quasi-separated schemes is the bicategorical pushout of $\mathsf{Qcoh}(X)$ and $\mathsf{Qcoh}(Y)$ over $\mathsf{Qcoh}(S)$ in the $2$-category of cocomplete linear tensor categories. In particular, $\mathsf{Qcoh}(X \times Y)$ is the bicategorical coproduct of $\mathsf{Qcoh}(X)$ and $\mathsf{Qcoh}(Y)$. For this we introduce idals, which can be seen as non-embedded ideals, and use them to study localizations of cocomplete tensor categories in general.
Two players alternate moves in the following impartial combinatorial game: Given a finitely generated abelian group $A$, a move consists of picking some nonzero element $a \in A$. The game then continues with the quotient group $A/ \langle a \rangle$. We prove that under the normal play rule, the second player has a winning strategy if and only if $A$ is a square, i.e. $A$ is isomorphic to $B \times B$ for some abelian group $B$. Under the misère play rule, only minor modifications concerning elementary abelian groups are necessary to describe the winning situations. We also compute the nimbers, i.e. Sprague-Grundy values, of $2$-generated abelian groups. An analogous game can be played with arbitrary algebraic structures. We study some examples of non-abelian groups and commutative rings such as $R[X]$, where $R$ is a principal ideal domain.
Let $k$ be a commutative $\mathbb{Q}$-algebra. We study families of functors between categories of finitely generated $R$-modules which are defined for all commutative $k$-algebras $R$ simultaneously and are compatible with base changes. These operations turn out to be Schur functors associated to $k$-linear representations of symmetric groups. This result is closely related to Macdonald's classification of polynomial functors.
The "linear dual" of a cocomplete linear category $\mathcal C$ is the category of all cocontinuous linear functors $\mathcal C \to \mathrm{Vect}$. We study the questions of when a cocomplete linear category is reflexive (equivalent to its double dual) or dualizable (the pairing with its dual comes with a corresponding copairing). Our main results are that the category of comodules for a countable-dimensional coassociative coalgebra is always reflexive, but (without any dimension hypothesis) dualizable if and only if it has enough projectives, which rarely happens. Along the way, we prove that the category $\mathrm{Qcoh}(X)$ of quasi-coherent sheaves on a stack $X$ is not dualizable if $X$ is the classifying stack of a semisimple algebraic group in positive characteristic or if $X$ is a scheme containing a closed projective subscheme of positive dimension, but is dualizable if $X$ is the quotient of an affine scheme by a virtually linearly reductive group. Finally we prove tensoriality (a type of Tannakian duality) for affine ind-schemes with countable indexing poset.
Alexander L. Rosenberg has constructed a spectrum for abelian categories which is able to reconstruct a quasi-separated scheme from its abelian category of quasi-coherent sheaves. In this note we present a detailed proof of this result which is due to Ofer Gabber.