Showing 1–21 of 21 results for author: Brandenburg, M

The Real Tropical Geometry of Neural Networks

Authors: Marie-Charlotte Brandenburg, Georg Loho, Guido Montúfar

Abstract: We consider a binary classifier defined as the sign of a tropical rational function, that is, as the difference of two convex piecewise linear functions. The parameter space of ReLU neural networks is contained as a semialgebraic set inside the parameter space of tropical rational functions. We initiate the study of two different subdivisions of this parameter space: a subdivision into semialgebra… ▽ More We consider a binary classifier defined as the sign of a tropical rational function, that is, as the difference of two convex piecewise linear functions. The parameter space of ReLU neural networks is contained as a semialgebraic set inside the parameter space of tropical rational functions. We initiate the study of two different subdivisions of this parameter space: a subdivision into semialgebraic sets, on which the combinatorial type of the decision boundary is fixed, and a subdivision into a polyhedral fan, capturing the combinatorics of the partitions of the dataset. The sublevel sets of the 0/1-loss function arise as subfans of this classification fan, and we show that the level-sets are not necessarily connected. We describe the classification fan i) geometrically, as normal fan of the activation polytope, and ii) combinatorially through a list of properties of associated bipartite graphs, in analogy to covector axioms of oriented matroids and tropical oriented matroids. Our findings extend and refine the connection between neural networks and tropical geometry by observing structures established in real tropical geometry, such as positive tropicalizations of hypersurfaces and tropical semialgebraic sets. △ Less

Submitted 18 March, 2024; originally announced March 2024.

Comments: 43 pages, 6 figures; comments welcome!

MSC Class: 14T90; 52C45; 68T07 (Primary); 14P10; 52C35 (Secondary)

Quotients of M-convex sets and M-convex functions

Authors: Marie-Charlotte Brandenburg, Georg Loho, Ben Smith

Abstract: We unify the study of quotients of matroids, polymatroids, valuated matroids and strong maps of submodular functions in the framework of Murota's discrete convex analysis. As a main result, we compile a list of ten equivalent characterizations of quotients for M-convex sets, generalizing existing formulations for (poly)matroids and submodular functions. We also initiate the study of quotients of M… ▽ More We unify the study of quotients of matroids, polymatroids, valuated matroids and strong maps of submodular functions in the framework of Murota's discrete convex analysis. As a main result, we compile a list of ten equivalent characterizations of quotients for M-convex sets, generalizing existing formulations for (poly)matroids and submodular functions. We also initiate the study of quotients of M-convex functions, constructing a hierarchy of four separate characterizations. Our investigations yield new insights into the fundamental operation of induction, as well as the structure of linking sets and linking functions, which are generalizations of linking systems and bimatroids. △ Less

Submitted 12 March, 2024; originally announced March 2024.

Comments: 44 pages, 2 figures. Comments welcome

MSC Class: 05B35; 14T15; 52B20; 52B40 (Primary) 14M15; 90C25; 90C27 (Secondary)

Equational proofs of Jacobson's Theorem

Authors: Martin Brandenburg

Abstract: 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 r… ▽ More 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. △ Less

Submitted 8 October, 2023; originally announced October 2023.

Comments: 34 pages

MSC Class: 16R10 (Primary); 08B05; 16U99; 16Z05; 16P10 (Secondary)

The Best Ways to Slice a Polytope

Authors: Marie-Charlotte Brandenburg, Jesús A. De Loera, Chiara Meroni

Abstract: We study the structure of the set of all possible affine hyperplane sections of a convex polytope. We present two different cell decompositions of this set, induced by hyperplane arrangements. Using our decomposition, we bound the number of possible combinatorial types of sections and craft algorithms that compute optimal sections of the polytope according to various combinatorial and metric crite… ▽ More We study the structure of the set of all possible affine hyperplane sections of a convex polytope. We present two different cell decompositions of this set, induced by hyperplane arrangements. Using our decomposition, we bound the number of possible combinatorial types of sections and craft algorithms that compute optimal sections of the polytope according to various combinatorial and metric criteria, including sections that maximize the number of $k$-dimensional faces, maximize the volume, and maximize the integral of a polynomial. Our optimization algorithms run in polynomial time in fixed dimension, but the same problems show hardness otherwise. Our tools can be extended to intersection with halfspaces and projections onto hyperplanes. Finally, we present several experiments illustrating our theorems and algorithms on famous polytopes. △ Less

Submitted 27 April, 2023; originally announced April 2023.

Comments: Comments are very welcome!

MSC Class: 52B55; 52C35; 52A38; 52A40; 52B11; 90C27; 52C45; 14P10

Intersection Bodies of Polytopes: Translations and Convexity

Authors: Marie-Charlotte Brandenburg, Chiara Meroni

Abstract: We continue the study of intersection bodies of polytopes, focusing on the behavior of $IP$ under translations of $P$. We introduce an affine hyperplane arrangement and show that the polynomials describing the boundary of $I(P+t)$ can be extended to polynomials in variables $t\in \mathbb{R}^d$ within each region of the arrangement. In dimension $2$, we give a full characterization of those polygon… ▽ More We continue the study of intersection bodies of polytopes, focusing on the behavior of $IP$ under translations of $P$. We introduce an affine hyperplane arrangement and show that the polynomials describing the boundary of $I(P+t)$ can be extended to polynomials in variables $t\in \mathbb{R}^d$ within each region of the arrangement. In dimension $2$, we give a full characterization of those polygons such that their intersection body is convex. We give a partial characterization for general dimensions. △ Less

Submitted 22 June, 2023; v1 submitted 22 February, 2023; originally announced February 2023.

MSC Class: 52A30; 52C35; 52A38; 52B11; 14P10

A simple proof of the fundamental theorem of Galois theory

Authors: Martin Brandenburg

Abstract: We give a simple proof of the fundamental theorem of Galois theory which provides a correspondence between the intermediate fields of a finite Galois extension and the subgroups of its Galois group. The proof relies on the combinatorial fact that a field cannot be written as a union of finitely many proper subfields. We give a simple proof of the fundamental theorem of Galois theory which provides a correspondence between the intermediate fields of a finite Galois extension and the subgroups of its Galois group. The proof relies on the combinatorial fact that a field cannot be written as a union of finitely many proper subfields. △ Less

Submitted 14 November, 2022; originally announced November 2022.

Comments: 7 pages

MSC Class: 12-02; 12F05; 12F10

Combinatorics of Correlated Equilibria

Authors: Marie-Charlotte Brandenburg, Benjamin Hollering, Irem Portakal

Abstract: We study the correlated equilibrium polytope $P_G$ of a game $G$ from a combinatorial point of view. We introduce the region of full-dimensionality for this class of polytopes and prove that it is a semialgebraic set for any game. Using a stratification via oriented matroids, we propose a structured method for describing the possible combinatorial types of $P_G$, and show that for $(2 \times n)$-g… ▽ More We study the correlated equilibrium polytope $P_G$ of a game $G$ from a combinatorial point of view. We introduce the region of full-dimensionality for this class of polytopes and prove that it is a semialgebraic set for any game. Using a stratification via oriented matroids, we propose a structured method for describing the possible combinatorial types of $P_G$, and show that for $(2 \times n)$-games, the algebraic boundary of the stratification is a union of coordinate hyperplanes and binomial hypersurfaces. Finally, we provide a computational proof that there exists a unique combinatorial type of maximal dimension for generic $(2 \times 3)$-games. △ Less

Submitted 27 February, 2024; v1 submitted 28 September, 2022; originally announced September 2022.

Comments: 21 pages, 4 figures

MSC Class: 14P10; 52B05; 52B40; 52C40; 91A05; 91A10

Tropical Positivity and Determinantal Varieties

Authors: Marie-Charlotte Brandenburg, Georg Loho, Rainer Sinn

Abstract: We initiate the study of positive-tropical generators as positive analogues of the concept of tropical bases. Applying this to the tropicalization of determinantal varieties, we develop criteria for characterizing their positive part. We focus on the study of low-rank matrices, in particular matrices of rank 2 and 3. Moreover, in the case square-matrices of corank 1, we fully classify the signed t… ▽ More We initiate the study of positive-tropical generators as positive analogues of the concept of tropical bases. Applying this to the tropicalization of determinantal varieties, we develop criteria for characterizing their positive part. We focus on the study of low-rank matrices, in particular matrices of rank 2 and 3. Moreover, in the case square-matrices of corank 1, we fully classify the signed tropicalization of the determinantal variety, even beyond the positive part. △ Less

Submitted 30 May, 2022; originally announced May 2022.

MSC Class: 14T15; 14P05; 14M12; 05E14 (Primary) 52B40 (Secondary)

Intersection Bodies of Polytopes

Authors: Katalin Berlow, Marie-Charlotte Brandenburg, Chiara Meroni, Isabelle Shankar

Abstract: We investigate the intersection body of a convex polytope using tools from combinatorics and real algebraic geometry. In particular, we show that the intersection body of a polytope is always a semialgebraic set and provide an algorithm for its computation. Moreover, we compute the irreducible components of the algebraic boundary and provide an upper bound for the degree of these components. We investigate the intersection body of a convex polytope using tools from combinatorics and real algebraic geometry. In particular, we show that the intersection body of a polytope is always a semialgebraic set and provide an algorithm for its computation. Moreover, we compute the irreducible components of the algebraic boundary and provide an upper bound for the degree of these components. △ Less

Submitted 17 June, 2022; v1 submitted 12 October, 2021; originally announced October 2021.

Comments: As published in Beiträge zur Algebra und Geometrie. Correction of a scaling factor from previous version

MSC Class: 52A30; 14P10; 52A38; 52B11

Journal ref: Beiträge zur Algebra und Geometrie / Contributions to Algebra and Geometry, volume 63, pages 419-439, 2022

Competitive equilibrium always exists for combinatorial auctions with graphical pricing schemes

Authors: Marie-Charlotte Brandenburg, Christian Haase, Ngoc Mai Tran

Abstract: We show that a competitive equilibrium always exists in combinatorial auctions with anonymous graphical valuations and pricing, using discrete geometry. This is an intuitive and easy-to-construct class of valuations that can model both complementarity and substitutes, and to our knowledge, it is the first class besides gross substitutes that have guaranteed competitive equilibrium. We prove throug… ▽ More We show that a competitive equilibrium always exists in combinatorial auctions with anonymous graphical valuations and pricing, using discrete geometry. This is an intuitive and easy-to-construct class of valuations that can model both complementarity and substitutes, and to our knowledge, it is the first class besides gross substitutes that have guaranteed competitive equilibrium. We prove through counter-examples that our result is tight, and we give explicit algorithms for constructive competitive pricing vectors. We also give extensions to multi-unit combinatorial auctions (also known as product-mix auctions). Combined with theorems on graphical valuations and pricing equilibrium of Candogan, Ozdagar and Parrilo, our results indicate that quadratic pricing is a highly practical method to run combinatorial auctions. △ Less

Submitted 5 November, 2021; v1 submitted 19 July, 2021; originally announced July 2021.

Comments: 24 pages, 5 figures

MSC Class: 91B26; 14T90; 52B20

Large limit sketches and topological space objects

Authors: Martin Brandenburg

Abstract: 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}}$-mo… ▽ More 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. △ Less

Submitted 8 September, 2023; v1 submitted 21 June, 2021; originally announced June 2021.

Comments: 42 pages. v2: several improvements

MSC Class: 18C30 (Primary); 18C05; 18C10; 18C15; 18C40; 54A05; 54A20; 54B30; 18F70 (Secondary)

Multivariate volume, Ehrhart, and $h^*$-polynomials of polytropes

Authors: Marie-Charlotte Brandenburg, Sophia Elia, Leon Zhang

Abstract: The univariate Ehrhart and $h^*$-polynomials of lattice polytopes have been widely studied. We describe methods from toric geometry for computing multivariate versions of volume, Ehrhart and $h^*$-polynomials of lattice polytropes, which are both tropically and classically convex. These algorithms are applied to all polytropes of dimensions 2,3 and 4, yielding a large class of integer polynomials.… ▽ More The univariate Ehrhart and $h^*$-polynomials of lattice polytopes have been widely studied. We describe methods from toric geometry for computing multivariate versions of volume, Ehrhart and $h^*$-polynomials of lattice polytropes, which are both tropically and classically convex. These algorithms are applied to all polytropes of dimensions 2,3 and 4, yielding a large class of integer polynomials. We give a complete combinatorial description of the coefficients of volume polynomials of 3-dimensional polytropes in terms of regular central subdivisions of the fundamental polytope. Finally, we provide a partial characterization of the analogous coefficients in dimension 4. △ Less

Submitted 7 March, 2023; v1 submitted 2 June, 2020; originally announced June 2020.

Comments: 24 pages

MSC Class: 14T05; 52A38; 52B55; 52B20; 13P10

Journal ref: Journal of Symbolic Computation, Volume 114, Pages 209-230, 2023

Localizations of tensor categories and fiber products of schemes

Authors: Martin Brandenburg

Abstract: 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… ▽ More 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. △ Less

Submitted 2 February, 2020; originally announced February 2020.

Comments: 32 pages

MSC Class: 14F05 (Primary); 18D10; 18D05; 18E35 (Secondary)

Bicategorical colimits of tensor categories

Authors: Martin Brandenburg

Abstract: 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. 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. △ Less

Submitted 27 January, 2020; originally announced January 2020.

Comments: 24 pages

MSC Class: 18D10 (Primary); 18-01; 18D05; 18A30 (Secondary)

Operations on categories of modules are given by Schur functors

Authors: Martin Brandenburg

Abstract: 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 classif… ▽ More 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. △ Less

Submitted 19 May, 2017; v1 submitted 7 October, 2016; originally announced October 2016.

Comments: 22 pages; complete revision; added references to strict polynomial functors

Journal ref: Appl. Categ. Structures 26(2):287-308, 2018

Tensor categorical foundations of algebraic geometry

Authors: Martin Brandenburg

Abstract: 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… ▽ More 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. △ Less

Submitted 7 October, 2014; originally announced October 2014.

Comments: PhD thesis; 247 pages

Reflexivity and dualizability in categorified linear algebra

Authors: Martin Brandenburg, Alexandru Chirvasitu, Theo Johnson-Freyd

Abstract: 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-… ▽ More 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. △ Less

Submitted 20 September, 2014; originally announced September 2014.

Comments: 18 pages

MSC Class: 18A30; 18A35; 18A40; 14A15; 14R20

Journal ref: Theory Appl. Cat. 30(23):808-835, 2015

Rosenberg's Reconstruction Theorem (after Gabber)

Authors: Martin Brandenburg

Abstract: 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. 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. △ Less

Submitted 27 April, 2014; v1 submitted 22 October, 2013; originally announced October 2013.

Comments: 18 pages; revised Thm 5.4

Journal ref: Expo. Math. 36(1):98-117, 2018

Algebraic games - Playing with groups and rings

Authors: Martin Brandenburg

Abstract: 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… ▽ More 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. △ Less

Submitted 4 May, 2017; v1 submitted 13 May, 2012; originally announced May 2012.

Comments: 31 pages; complete revision; added computations of nimbers and a section about polynomial rings

Journal ref: International J. Game Theory 47(2):417-450, 2018

Tensor functors between categories of quasi-coherent sheaves

Authors: Martin Brandenburg, Alexandru Chirvasitu

Abstract: 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… ▽ More 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. △ Less

Submitted 4 October, 2014; v1 submitted 23 February, 2012; originally announced February 2012.

Comments: 22 pages; revised version

Journal ref: J. Algebra 399 (2014), 675-692

Tensorial schemes

Authors: Martin Brandenburg

Abstract: 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… ▽ More 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. △ Less

Submitted 29 October, 2011; originally announced October 2011.

Comments: 16 pages