arXiv subjects

Martin Brandenburg

Publications and source records attributed to Martin Brandenburg.

12 recordsLinked to original sources

arXiv2023

Equational proofs of Jacobson's Theorem

A classical theorem by Jacobson says that a ring in which every element $x$ satisfies the equation $x^n=x$ for some $n>1$ is commutative. According to Birkhoff's Completeness Theorem, if $n$ is fixed, there must be an equational proof of this theorem. But equational proofs have only appeared for some values of $n$ so far. This paper is about finding such a proof in general. We are able to make a reduction to the case that $n$ is a prime power $p^k$ and the ring has characteristic $p$. We then prove the special cases $k=1$ and $k=2$. The general case is reduced to a series of constructive Wedderburn Theorems, which we can prove in many special cases. Several examples of equational proofs are discussed in detail.

math.RA↗

arXiv2023

Large limit sketches and topological space objects

For a (possibly large) realized limit sketch $\mathcal{S}$ such that every $\mathcal{S}$-model is small in a suitable sense we show that the category of cocontinuous functors $\mathsf{Mod}(\mathcal{S}) \to \mathcal{C}$ into a cocomplete category $\mathcal{C}$ is equivalent to the category $\mathsf{Mod}_{\mathcal{C}}(\mathcal{S}^{\mathrm{op}})$ of $\mathcal{C}$-valued $\mathcal{S}^{\mathrm{op}}$-models. From this result we deduce universal properties of several examples of cocomplete categories appearing in practice. It can be applied in particular to infinitary Lawvere theories, generalizing the well-known case of finitary Lawvere theories. We also look at a large limit sketch that models $\mathsf{Top}$, study the corresponding notion of an internal net-based topological space object, and deduce from our main result that cocontinuous functors $\mathsf{Top} \to \mathcal{C}$ into a cocomplete category $\mathcal{C}$ correspond to net-based cotopological space objects internal to $\mathcal{C}$. Finally, we describe a limit sketch that models $\mathsf{Top}^{\mathrm{op}}$ and deduce from our main result that continuous functors $\mathsf{Top} \to \mathcal{C}$ into a complete category $\mathcal{C}$ correspond to frame-based topological space objects internal to $\mathcal{C}$. Thus, we characterize $\mathsf{Top}$ both as a cocomplete and as a complete category. Thereby we get two new conceptual proofs of Isbell's classification of cocontinuous functors $\mathsf{Top} \to \mathsf{Top}$ in terms of topological topologies.

math.CT↗

arXiv2022

A simple proof of the fundamental theorem of Galois theory

We present a simple proof of the fundamental theorem of Galois theory, which establishes a correspondence between the intermediate fields of a finite Galois extension and the subgroups of its Galois group. The proof is based on the combinatorial fact that a field cannot be expressed as the union of finitely many proper subfields.

math.NT↗

arXiv2020

Localizations of tensor categories and fiber products of schemes

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.

math.AG↗

arXiv2020

Bicategorical colimits of tensor categories

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.

math.CT↗

arXiv2017

Operations on categories of modules are given by Schur functors

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.

math.CT↗

arXiv2017

Algebraic games - Playing with groups and rings

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.

math.CO↗

arXiv2014

Tensor categorical foundations of algebraic geometry

Tannaka duality and its extensions by Lurie, Schäppi 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 tensor categories (resp. cocontinuous tensor functors) which usually correspond to constructions of schemes (resp. their morphisms) in the case of quasi-coherent sheaves. This means to globalize the usual local-global algebraic geometry. For this we first have to develop basic commutative algebra in an arbitrary cocomplete tensor category. We then discuss tensor categorical globalizations of affine morphisms, projective morphisms, immersions, classical projective embeddings (Segre, Plücker, Veronese), blow-ups, fiber products, classifying stacks and finally tangent bundles. It turns out that the universal properties of several moduli spaces or stacks translate to the corresponding tensor categories.

math.AG↗

arXiv2014

Tensor functors between categories of quasi-coherent sheaves

For a quasi-compact quasi-separated scheme X and an arbitrary scheme Y we show that the pullback construction implements an equivalence between the discrete category of morphisms Y --> X and the category of cocontinuous tensor functors Qcoh(X) --> Qcoh(Y). This is an improvement of a result by Lurie and may be interpreted as the statement that algebraic geometry is 2-affine. Moreover, we prove the analogous version of this result for Durov's notion of generalized schemes over F_1.

math.AG↗

arXiv2014

Reflexivity and dualizability in categorified linear algebra

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.

math.CT↗

arXiv2014

Rosenberg's Reconstruction Theorem (after Gabber)

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.

math.AG↗

arXiv2011

Tensorial schemes

Jacob Lurie (arXiv:math/0412266) has shown that for geometric stacks X,Y every cocontinuous tensor functor F : Qcoh(X) -> Qcoh(Y) is the pullback of a morphism Y -> X under the additional assumption that F is tame. In this note we get rid of this assumption if X is a projective scheme. In general, we call a scheme X tensorial if every cocontinuous tensor functor Qcoh(X) -> Qcoh(Y) is induced by a unique morphism Y -> X, show that projective schemes are tensorial and tensorial schemes are closed under various operations.

math.AG↗