nLab
2-vector space

Context

Higher algebra

Higher category theory

higher category theory

Basic concepts

Basic theorems

Applications

Models

Morphisms

Functors

Universal constructions

Extra properties and structure

1-categorical presentations

Content

Idea

The concept of a 2-vector space is supposed to be a categorification of the concept of a vector space. As usual in the game of ‘categorification’, this requires us to think deeply about what an ordinary vector space really is, and then attempt to categorify that idea.

What is a vector space?

There are at least three distinct conceptual roles which vectors and vector spaces play in mathematics:

  1. A vector is a column of numbers. This is the way vector spaces appear in quantum mechanics, sections of line bundles, elementary linear algebra, etc.

  2. A vector is a direction in space. Vector spaces of this kind are often the infinitesimal data of some global structure, such as tangent spaces to manifolds, Lie algebras of Lie groups, and so on.

  3. A vector is an element of a module over the base ring/field.

The first of these may be thought of as motivating the notion of

the second that of of

the third the notion of

Kapranov–Voevodsky 2-vector spaces

These were introduced in:

  • M. Kapranov and V. Voevodsky, 2-categories and Zamolodchikov tetrahedra equations in Algebraic groups and their generalization: quantum and infinite-dimensional methods, University Park, PA (1991) (eds: W. J. Haboush and B. J. Parshall), Proc. Sympos. Pure Math. 56 (Amer. Math. Soc., Providencem RIm 1994), pp. 177-259

The idea here is that just as a vector space can be regarded as a module over the ground field kk, a 2-vector space WW should be a category which is a monoidal category module with some nice properties (such as being an abelian category) over a suitable monoidal category VV which plays the role of the categorified ground field. There is then an obvious bicategory of such module categories.

In fact, Kapranov and Voevodsky defined a Kapranov–Voevodsky 22-vector space as an abelian Vect\Vect-module category equivalent to Vect n\Vect^n for some nn.

While this definition makes a lot of sense, its main shortcomings are twofold:

  • It does not give an abstract characterization of 2-vector spaces. That is, it is hardly different to simply defining a 2-vector space as a category equivalent to Vect nVect^n.

  • It uses the notion of an abelian category, which is considered by many to no longer be a foundational notion in mathematics. In practice derived categories seem more appropriate in applications.

Because Kapranov–Voevodsky 22-vector spaces categorify the idea of a vector space as a ‘state-space’ of a system, they are the notion of 2-vector space which feature on the right hand side of extended TQFTs (functors from higher cobordism categories to higher vector spaces).

An example of a Kapranov–Voevodsky 22-vector space is Rep(G)Rep(G), the category of representations of a finite group GG.

Baez–Crans 2-vector spaces

These were explicitly described in:

  • John C. Baez and Alissa S. Crans, Higher-Dimensional Algebra VI: Lie 2-Algebras (tac, pdf).

A Baez–Crans 22-vector space is defined as a category internal to Vect. They categorify the idea of a vector as a ‘direction in space’, and crop up when considering the infinitesimal directions of a structure, such as in higher Lie theory. In fact, (following for instance from an extension of the Dold-Kan theorem by Brown and Higgins), strict omega-categories internal to Vect\Vect are equivalent to chain complexes in non-negative degree and can be regarded as strict Disc(k)Disc(k)-\infty-modules. This allows to conceive much of homological algebra and many of the structures appearing in higher Lie theory – for instance the definition of L L_\infty-algebras, as being about \infty-vector spaces. Regarding a chain complex as an \infty-vector space is useful conceptually for understanding the meaning of some constructions on chain complexes, while of course chain complexes themselves are well suited for direct computation with the \infty-vector spaces which they are equivalent to. (See also the remark about different notions of 2-vector spaces further below.)

They were also independently introduced and studied by Magnus Forrester-Barker in his Bangor thesis, Representations of crossed modules and cat 1cat^1-groups.

22modules and 2-linear maps as algebras and bimodules

It is possible to conceive of 2-vector spaces of the Kapranov–Voevodsky and Baez–Crans type from a single unified perspective. Namely, by regarding the ground field itself as a discrete category we can think of it as a monoidal category. A Disc(k)Disc(k)-module category is a category whose space of objects and space of morphisms are both kk-modules – ordinary vector spaces! – such that all structure morphisms (source, target, identity, composition) respect the kk-action – hence are linear maps. This are categories internal to Vect k\Vect_k which are equivalent to chain complexes of vector spaces concentrated in degree 0 and 1.

In other words, a Baez–Crans 22-vector space can be thought of as a Kapranov–Voevodsky 22-vector space, if one ‘categorifies’ the ground field by simply regarding it as a discrete monoidal category.

For VV a general symmetric closed monoidal category the full bicategory of all monoidal category modules over VV is in general hard to get under control, but what is more tractable is the sub-bicategory which may be addressed as the bicategory of VV-modules with basis namely the category VModV-Mod in the sense of enriched category theory with

  • objects are categories CC enriched over VV, to be thought of as placeholders for their categories of modules, Mod C:=[C,V]Mod_C := [C,V]

  • morphisms CDC \to D are bimodules C opDVC^{op}\otimes D \to V;

  • 2-morphisms are natural transformations.

Notice that all VV-categories Mod CMod_C of modules over a VV-category CC are naturally tensored over VV and hence are monoidal category modules over VV. In analogy to how a vector space WW (a kk-module) is equipped with a basis by finding a set SS such that W[S,k]W \simeq [S,k], we can think of a general monoidal category module WW over VV to be equipped with a basis by providing an equivalence W[C,V]W \simeq [C,V], for some VV-category VV. In this sense VModV-Mod is the category of VV 2-vector spaces with basis.

All of the examples on this page are special cases of this one.

Vect\Vect-enriched categories

According to the above a VectVect-enriched category CC can be regarded as a basis for the VectVect-module Mod C=[C,Vect]Mod_C = [C,Vect]. A VectVect-enriched category is just an algebroid. If it has a single object it is an algebra and Mod CMod_C is the familiar category of modules over an algebra.

Notice that, by the very definition of Morita equivalence, two algebras (algebroids) have equivalent module categories, and hence can be regarded as different bases for the same Vect\Vect 22-vector space, iff they are Morita equivalent.

VectVect-enriched categories as models for 2-vector spaces appear in

  • Jacob Lurie, On the classification of topological field theories (pdf) (see example 1.2.4)

  • B. Toën, G. Vezzosi, A note on Chern character, loop spaces and derived algebraic geometry, (arXiv, p. 6)

2-vector spaces in the sub-bicategory of algebras (VectVect-enriched categories with a single object), bimodules and intertwiners are discussed in

  • U. Schreiber, AQFT from nn-functorial QFT (arXiv) (appendix A)

and

  • U. Schreiber and K. Waldorf, Connections on non-abelian gerbes and their holonomy (arXiv)

Some blog discussion of this point is at 2-Vectors in Trodheim.

Ch(Vect)Ch(Vect)-enriched categories

More generally one can replace vector spaces by complexes of vector spaces and consider Ch(Vect)ModCh(Vect)\Mod as a model for the 2-category of 2-vector spaces (with basis): its objects are dg-categories.

It is argued in

  • B. Toën, G. Vezzosi, A note on Chern character, loop spaces and derived algebraic geometry, (arXiv, p. 6)

that the generalization from VectModVect\Mod to Ch(Vect)ModCh(Vect)\Mod is necessary to have a good notion of higher sheaves of sections of 2-vector bundles, i.e. of higher coherent sheaves.

Revisiting Kapranov–Voevodsky 2-vector spaces

Upon further restriction of VectMod\Vect\Mod to 2-vector spaces whose basis is a discrete category, namely a set SS (or the VectVect-enriched category over SS which has just the ground field object sitting over each element of SS) one arrives at VectVect-modules of the form

[S,Vect]=Mod k n(Vect) n [S, Vect] = Mod_{k^n} \simeq (Vect)^n

(where k nk^n denotes the algebra of diagonal n×nn\times n-matrices). These are precisely Kapranov–Voevodsky 22-vector spaces.

Elgueta 22-vector spaces

Another notion of 2-vector space which also includes Kaparanov–Voevodsky as particular instances is given in

  • Josep Elgueta, Generalized 2-vector spaces and general linear 2-groups (arXiv)

The idea is to categorify the construction of a vector space as the space of finite linear combinations of elements in any set SS. Instead of SS, we start now with any category CC, and take first the free kk-linear category generated by CC, and next the additive completion of this. Kapranov–Voevodsky 22-vector spaces are recovered when CC is discrete. In some cases this gives nonabelian and even non-Karoubian (i.e., nonidempotent complete) categories. This is the case, for instance, when we take as CC the one-object category defined by the additive monoid of natural numbers. The 2-vector space this category generates can be identified with the category of free k[T]k[T]-modules, which is nonKaroubian.

Infinite-dimensional K-V 2-vector spaces

We can regard the objects of the nn-dimensional Kapranov–Voevodsky 22-vector space Vect nVect^n – which are nn-tuples of vector spaces – as vector bundles over the finite set of nn elements. This has an obvious generalization to vector bundles over any topological space – in terms of modules these are the finitely generated projective modules of the algebra of continuous functions on this space. So categories of vector bundles can be regarded as infinite-dimensional 2-vector spaces. For the case that the underlying topological space is a measure space such infinite dimensional K-V 2-vector spaces have been studied in

  • John C. Baez, Aristide Baratin, Laurent Freidel, Derek K. Wise, Infinite-Dimensional Representations of 2-Groups (arXiv)

Using a modular tensor category

The relevance of module categories as models for 2-vector spaces was apparently first realized in the context of conformal field theory, where the monoidal category VV in question is a modular tensor category. A result by Victor Ostrik showed that all VV-module categories are equivalent to Mod AMod_A for AA some one-object VV-enriched category (i.e., an algebra internal to VV) in

  • V. Ostrik, Module Categories, weak Hopf Algebras and Modular Invariants (arXiv, blog)

2-Modules as modules over a 2-ring

One can go further and derive the identification of 2-modules and 2-linear maps with algebras and bimodules from a more fundamental notion of modules over 2-rings. For the moment see there at 2-ring – Compatibly monoidal presentable categories for more details.

Remark on the different notions of 22-vector spaces

As the above list shows, there are 2-vector spaces of very different kind. There is not the notion of 2-vector space which is the universal right answer. Different notions of vector spaces are applicable and useful in different situations. This can be regarded as nothing but a more pronounced incarnation of the fact that already ordinary vector space appear in different flavors which are useful in different situations (real vector spaces, complex vector spaces, vector spaces over a finite field, etc.)

For instance Disc(k)Disc(k)-module categories are crucial for higher Lie theory but 2-bundles with fibers Disc(k)Disc(k)-module categories are comparatively boring as far as general 2-bundles go, as they are essentially complexes of ordinary vector bundles. See

  • Nils. A. Baas?, Marcel Bökstedt, Tore August Kro, Two-Categorical Bundles and Their Classifying Spaces, J. K-Theory, 10 (2012) 299 - 369, with a preliminary version at (arXiv)

22-Hilbert spaces

2-vector spaces have to a large extent been motivated by and applied in (2-dimensional) quantum field theory. In that context it is usually not the concept of a plain vector space which needs to be categorified, but that of a Hilbert space.

2-Hilbert spaces as a Hilb\Hilb-enriched categories with some extra properties were discribed in

  • John Baez, Higher-Dimensional Algebra II: 2-Hilbert Spaces (arXiv) .

In applications one often assumes these 2-Hilbert spaces to be semisimple in which case such a 2-Hilbert space is a Kapranov–Voevodsky 22-vector space equipped with extra structure.

A review of these ideas of 2-Hilbert spaces as well as applications of 2-Hilbert spaces to finite group representation theory are in

  • Bruce Bartlett, On unitary 2-representations of finite groups and topological quantum field theory (arXiv)

Properties

Tannaka duality

Tannaka duality for categories of modules over monoids/associative algebras

monoid/associative algebracategory of modules
AAMod AMod_A
RR-algebraMod RMod_R-2-module
sesquialgebra2-ring = monoidal presentable category with colimit-preserving tensor product
bialgebrastrict 2-ring: monoidal category with fiber functor
Hopf algebrarigid monoidal category with fiber functor
hopfish algebra (correct version)rigid monoidal category (without fiber functor)
weak Hopf algebrafusion category with generalized fiber functor
quasitriangular bialgebrabraided monoidal category with fiber functor
triangular bialgebrasymmetric monoidal category with fiber functor
quasitriangular Hopf algebra (quantum group)rigid braided monoidal category with fiber functor
triangular Hopf algebrarigid symmetric monoidal category with fiber functor
form Drinfeld doubleform Drinfeld center
trialgebraHopf monoidal category

2-Tannaka duality for module categories over monoidal categories

monoidal category2-category of module categories
AAMod AMod_A
RR-2-algebraMod RMod_R-3-module
Hopf monoidal categorymonoidal 2-category (with some duality and strictness structure)

3-Tannaka duality for module 2-categories over monoidal 2-categories

monoidal 2-category3-category of module 2-categories
AAMod AMod_A
RR-3-algebraMod RMod_R-4-module

References

A systematic definition of 2-modules over 2-rings (see there for more) is in

See also at

the section on 2-modules.

Revised on October 29, 2013 00:19:10 by Noam Zeilberger (193.55.250.120)