Related papers: 2-Rig Extensions and the Splitting Principle

We categorify Lusztig's version of the quantized enveloping algebra for sl(2). Using a graphical calculus a 2-category is constructed whose split Grothendieck ring is isomorphic to Lusztig's algebra. The indecomposable morphisms of this…

We study the restrictions of rank 2 semistable vector bundles E on P^2 to conics. A Grauert-Mulich type theorem on the generic splitting is proven. The jumping conics are shown to have the scheme structure of a hypersurface J_{2} in P^5 of…

We associate to a 2-vector bundle over an essentially finite groupoid a 2-vector space of parallel sections, or, in representation theoretic terms, of higher invariants, which can be described as homotopy fixed points. Our main result is…

We study monoidal categories that enjoy a certain weakening of the rigidity property, namely, the existence of a dualizing object in the sense of Grothendieck and Verdier. We call them Grothendieck-Verdier categories. Notable examples…

Regular logic can be regarded as the internal language of regular categories, but the logic itself is generally not given a categorical treatment. In this paper, we understand the syntax and proof rules of regular logic in terms of the free…

Our main theorem is that the pullback of an associated noncommutative vector bundle induced by an equivariant map of quantum principal bundles is a noncommutative vector bundle associated via the same finite-dimensional representation of…

Let R be a subring of the rationals. We want to investigate self splitting R-modules G that is Ext_R(G,G)=0 holds and follow Schultz to call such modules splitters. Free modules and torsion-free cotorsion modules are classical examples for…

A rig is a riNg without Negatives. We analyse the free rig on a generator x subject to the equivalence x = 1 + x + x^2, showing that in it the non-constant polynomials form a ring. This ring can be identified with the Gaussian integers,…

We deal with the symmetries of a (2-term) graded vector space or bundle. Our first theorem shows that they define a (strict) Lie 2-groupoid in a natural way. Our second theorem explores the construction of nerves for Lie 2-categories,…

A natural question in the theory of Tannakian categories is: What if you don't remember $\Forget$? Working over an arbitrary commutative ring $R$, we prove that an answer to this question is given by the functor represented by the \'etale…

A cone spherical metric is called irreducible if any developing map of the metric does not have monodromy in ${\rm U(1)}$. By using the theory of indigenous bundles, we construct on a compact Riemann surface $X$ of genus $g_X \geq 1$ a…

Let $k$ be a field of characteristic not $2$. We give a positive answer to Serre's injectivity question for any smooth connected reductive $k$-group whose Dynkin diagram contains connected components only of type $A_n$, $B_n$ or $C_n$. We…

As a formulation of 'codimension-two arguments' in invariant theory, we define a (rational) almost principal bundle. It is a principal bundle off closed subsets of codimension two or more. We discuss the behavior of the category of…

A 2-Hilbert space is a category with structures and properties analogous to those of a Hilbert space. More precisely, we define a 2-Hilbert space to be an abelian category enriched over Hilb with a *-structure, conjugate-linear on the…

A graph in which every connected induced subgraph has a disconnected complement is called a cograph. Such graphs are precisely the graphs that do not have the 4-vertex path as an induced subgraph. We define a $2$-cograph to be a graph in…

Let $J$ be a set of pairs consisting of good modules over an affine quantum algebra and invertible elements. The distribution of poles of the normalized R-matrices yields Khovanov-Lauda-Rouquier algebras $R^J$. We define a functor $F$ from…

Givental has defined a Lagrangian cone in a symplectic vector space which encodes all genus-zero Gromov-Witten invariants of a smooth projective variety X. Let Y be the subvariety in X given by the zero locus of a regular section of a…

We give an alternate conception of string diagrams as labeled 1-dimensional oriented cobordisms, the operad of which we denote by Cob/O, where O is the set of string labels. The axioms of traced (symmetric monoidal) categories are fully…

A digraph is 2-regular if every vertex has both indegree and outdegree two. We define an embedding of a 2-regular digraph to be a 2-cell embedding of the underlying graph in a closed surface with the added property that for every…

The regular representation of an essentially finite 2-group $\mathbb{G}$ in the 2-category $\mathbf{2Vect}_k$ of (Kapranov and Voevodsky) 2-vector spaces is defined and cohomology invariants classifying it computed. It is next shown that…