Related papers: 2-Rig Extensions and the Splitting Principle

In this short note, we classify linear categorified open topological field theories in dimension two by pivotal Grothendieck-Verdier categories, a type of monoidal category equipped with a weak, not necessarily rigid duality. In combination…

Let $G$ be an affine group scheme over a noetherian commutative ring $R$. We show that every $G$-equivariant vector bundle on an affine toric scheme over $R$ with $G$-action is extended from $\Spec(R)$ for several cases of $R$ and $G$. We…

An integro-differential ring is a differential ring that is closed under an integration operation satisfying the fundamental theorem of calculus. Via the Newton--Leibniz formula, a generalized evaluation is defined in terms of integration…

We adapt the classical framework of algebraic theories to work in the setting of (infinity,1)-categories developed by Joyal and Lurie. This gives a suitable approach for describing highly structured objects from homotopy theory. A central…

We introduce a notion of equivariant vector bundles on schemes over semirings. We do this by considering the functor of points of a locally free sheaf. We prove that every toric vector bundle on a toric scheme $X$ over an idempotent…

We give a complete and explicit description of the kinematical data of higher gauge theory on principal 2-bundles with the string 2-group model of Schommer-Pries as structure 2-group. We start with a self-contained review of the weak…

Since Schwarzenberger and his celebrated paper called "Vector bundles on the projective plane" we know that any rank two vector bundle on $\P^2$ is a direct image of a line bundle on a double covering of the plane. This theorem suggests to…

We define a turning of a rank-$2k$ vector bundle $E \to B$ to be a homotopy of bundle automorphisms $\psi_t$ from $\mathbb{Id}_E$, the identity of $E$, to $-\mathbb{Id}_E$, minus the identity, and call a pair $(E, \psi_t)$ a turned bundle.…

This thesis contains various results on unitary 2-representations of finite groups and their 2-characters, as well as on pivotal structures for fusion categories. The motivation is extended topological quantum field theory (TQFT), where the…

Let $S$ be a smooth del Pezzo surface over a field $k$ of characteristic $\neq 2, 3$. We define an invariant in the Grothendieck-Witt ring $GW(k)$ for "counting" rational curves in a curve class $D$ of fixed positive degree (with respect to…

The contributions of this paper are twofold. Within the framework of Grothendieck's fibrational category theory, we present a web of fundamental 2-adjunctions surrounding the formation of the category of all small diagrams in a given…

Invertibility is an important concept in category theory. In higher category theory, it becomes less obvious what the correct notion of invertibility is, as extra coherence conditions can become necessary for invertible structures to have…

Fix a finite field. A hyperelliptic curve determines a measure on the discrete space of rank two bundles on the projective line: the mass of a given vector bundle is the number of line bundles whose pushforward it is. In a sequence of…

In this paper we introduce the notion of an assembler, which formally encodes "cutting and pasting" data. An assembler has an associated $K$-theory spectrum, in which $\pi_0$ is the free abelian group of objects of the assembler modulo the…

The gauge principle is at the heart of a good part of fundamental physics: Starting with a group G of so-called rigid symmetries of a functional defined over space-time Sigma, the original functional is extended appropriately by additional…

For a given category B we are interested in studying internal categorical structures in B. This work is the starting point, where we consider reflexive graphs and precategories (i.e., for the purpose of this note, a simplicial object…

Categories are coreflectively embedded in multicategories via the "discrete cocone" construction, the right adjoint being given by the monoid construction. Furthermore, the adjunction lifts to the "cartesian level": preadditive categories…

Stieltjes integral theorem is more commonly known by the phrase 'integration by parts' and enables rearrangement of an otherwise intractable integral to a more amenable form; often permitting completion of an integral in closed form.…

A new calculus of planar diagrams involving diagrammatics for biadjoint functors and degenerate affine Hecke algebras is introduced. The calculus leads to an additive monoidal category whose Grothendieck ring contains an integral form of…

If $G$ is a finite group, the Grothendieck group ${\mathbf{K}}\_G(G)$ of the category of $G$-equivariant ${\mathbb{C}}$-vector bundles on $G$ (for the action of $G$ on itself by conjugation) is endowed with a structure of (commutative)…