Tate vector space

Last updated February 26, 2024

In mathematics, a Tate vector space is a vector space obtained from finite-dimensional vector spaces in a way that makes it possible to extend concepts such as dimension and determinant to an infinite-dimensional situation. Tate spaces were introduced by AlexanderBeilinson , Boris Feigin ,and Barry Mazur ( 1991 ), who named them after John Tate.

Introduction

A typical example of a Tate vector space over a field k are the Laurent power series

V=k((t)).\,

It has two characteristic features:

as n grows, V is the union of its submodules $t^{-n}k[[t]]$ , where $k[[t]]$ denotes the power series ring. These submodules are referred to as lattices.
Even though each lattice is an infinite-dimensional vector space, the quotients of any individual lattices,

t^{-n}k[[t]]/t^{-m}k[[t]],\ n\geq m

are finite-dimensional k-vector spaces.

Tate modules

Tate modules were introduced by Drinfeld (2006) to serve as a notion of infinite-dimensional vector bundles. For any ring R, Drinfeld defined elementary Tate modules to be topological R-modules of the form

P\oplus Q^{*}

where P and Q are projective R-modules (of possibly infinite rank) and * denotes the dual.

For a field, Tate vector spaces in this sense are equivalent to locally linearly compact vector spaces, a concept going back to Lefschetz. These are characterized by the property that they have a base of the topology consisting of commensurable sub-vector spaces.

Tate objects

Tate objects can be defined in the context of any exact category C.^[1] Briefly, an exact category is way to axiomatize certain features of short exact sequences. For example, the category of finite-dimensional k-vector spaces, or the category of finitely generated projective R-modules, for some ring R, is an exact category, with its usual notion of short exact sequences.

The extension of the above example $k((t))$ to a more general situation is based on the following observation: there is an exact sequence

0\to k[[t]]\to k((t))\to t^{-1}k[t^{-1}]\to 0

whose outer terms are an inverse limit and a direct limit, respectively, of finite-dimensional k-vector spaces

k[[t]]=\lim _{n}k[t]/t^{n}

t^{-1}k[t^{-1}]=\operatorname {colim} _{m}\bigoplus _{i=-1}^{-m}t^{i}\cdot k.

In general, for an exact category C, there is the category Pro(C) of pro-objects and the category Ind(C) of ind-objects. This construction can be iterated and yields an exact category Ind(Pro(C)). The category of elementary Tate objects

\operatorname {Tate} ^{\text{el}}(C)

is defined to be the smallest subcategory of those Ind-Pro objects V such that there is a short exact sequence

0\to L\to V\to L'\to 0

where L is a pro-object and L' is an ind-object. It can be shown that this condition on V is equivalent to that requiring for an ind-presentation

V:I\to \operatorname {Pro} (C)

the quotients $V_{j}/V_{i}$ are in C (as opposed to Pro(C)).

The category Tate(C) of Tate objects is defined to be the closure under retracts (idempotent completion) of elementary Tate objects.

Braunling, Groechenig & Wolfson (2016) showed that Tate objects (for C the category of finitely generated projective R-modules, and subject to the condition that the indexing families of the Ind-Pro objects are countable) are equivalent to countably generated Tate R-modules in the sense of Drinfeld mentioned above.

Related notions and applications

A Tate Lie algebra is a Tate vector space with an additional Lie algebra structure. An example of a Tate Lie algebra is the Lie algebra of formal power series over a finite-dimensional Lie algebra.

The category of Tate objects is an exact category, as well, as can be shown. The construction can therefore be iterated, which is relevant to applications in higher-dimensional class field theory,^[2] which studies higher local fields such as

\mathbf {F} _{p}((t_{1}))\cdots ((t_{n})).

Kapranov (2001) has introduced the so-called determinant torsor for Tate vector spaces, which extends the usual linear algebra notions of determinants and traces etc. to automorphisms f of Tate vector spaces V. The essential idea is that, even though a lattice L in V is infinite-dimensional, the lattices L and f(L) are commensurable, so that the ? in the finite-dimensional sense can be uniquely extended to all lattices, provided that the determinant of one lattice is fixed. Clausen (2009) has applied this torsor to simultaneously prove the Riemann–Roch theorem, Weil reciprocity and the sum of residues formula. The latter formula was already proved by Tate (1968) by similar means.

Notes

Related Research Articles

In mathematics, a set $B$ of vectors in a vector space $V$ is called a basis if every element of $V$ may be written in a unique way as a finite linear combination of elements of $B$ . The coefficients of this linear combination are referred to as components or coordinates of the vector with respect to $B$ . The elements of a basis are called basis vectors.

In mathematics, an abelian category is a category in which morphisms and objects can be added and in which kernels and cokernels exist and have desirable properties.

<span class="mw-page-title-main">Lie algebra representation</span>

In the mathematical field of representation theory, a Lie algebra representation or representation of a Lie algebra is a way of writing a Lie algebra as a set of matrices in such a way that the Lie bracket is given by the commutator. In the language of physics, one looks for a vector space $together with a collection of operators on satisfying some fixed set of commutation relations, such as the relations satisfied by the angular momentum operators.$

In mathematics and theoretical physics, the term quantum group denotes one of a few different kinds of noncommutative algebras with additional structure. These include Drinfeld–Jimbo type quantum groups, compact matrix quantum groups, and bicrossproduct quantum groups. Despite their name, they do not themselves have a natural group structure, though they are in some sense 'close' to a group.

In mathematics, especially representation theory, a quiver is another name for a multidigraph; that is, a directed graph where loops and multiple arrows between two vertices are allowed. Quivers are commonly used in representation theory: a representation $V$ of a quiver assigns a vector space $V (x)$ to each vertex $x$ of the quiver and a linear map $V (a)$ to each arrow $a$ .

In mathematics, particularly in algebra, the class of projective modules enlarges the class of free modules over a ring, keeping some of the main properties of free modules. Various equivalent characterizations of these modules appear below.

In mathematics, a vertex operator algebra (VOA) is an algebraic structure that plays an important role in two-dimensional conformal field theory and string theory. In addition to physical applications, vertex operator algebras have proven useful in purely mathematical contexts such as monstrous moonshine and the geometric Langlands correspondence.

In mathematics, the Grothendieck group, or group of differences, of a commutative monoid $M$ is a certain abelian group. This abelian group is constructed from $M$ in the most universal way, in the sense that any abelian group containing a homomorphic image of $M$ will also contain a homomorphic image of the Grothendieck group of $M$ . The Grothendieck group construction takes its name from a specific case in category theory, introduced by Alexander Grothendieck in his proof of the Grothendieck–Riemann–Roch theorem, which resulted in the development of K-theory. This specific case is the monoid of isomorphism classes of objects of an abelian category, with the direct sum as its operation.

In mathematics, especially in the fields of representation theory and module theory, a Frobenius algebra is a finite-dimensional unital associative algebra with a special kind of bilinear form which gives the algebras particularly nice duality theories. Frobenius algebras began to be studied in the 1930s by Richard Brauer and Cecil Nesbitt and were named after Georg Frobenius. Tadashi Nakayama discovered the beginnings of a rich duality theory, . Jean Dieudonné used this to characterize Frobenius algebras. Frobenius algebras were generalized to quasi-Frobenius rings, those Noetherian rings whose right regular representation is injective. In recent times, interest has been renewed in Frobenius algebras due to connections to topological quantum field theory.

In mathematics, an operad is a structure that consists of abstract operations, each one having a fixed finite number of inputs (arguments) and one output, as well as a specification of how to compose these operations. Given an operad $, one defines an algebra over to be a set together with concrete operations on this set which behave just like the abstract operations of . For instance, there is a Lie operad such that the algebras over are precisely the Lie algebras; in a sense abstractly encodes the operations that are common to all Lie algebras. An operad is to its algebras as a group is to its group representations.$

In conformal field theory and representation theory, a W-algebra is an associative algebra that generalizes the Virasoro algebra. W-algebras were introduced by Alexander Zamolodchikov, and the name "W-algebra" comes from the fact that Zamolodchikov used the letter W for one of the elements of one of his examples.

In category theory, a branch of mathematics, a dual object is an analogue of a dual vector space from linear algebra for objects in arbitrary monoidal categories. It is only a partial generalization, based upon the categorical properties of duality for finite-dimensional vector spaces. An object admitting a dual is called a dualizable object. In this formalism, infinite-dimensional vector spaces are not dualizable, since the dual vector space V^∗ doesn't satisfy the axioms. Often, an object is dualizable only when it satisfies some finiteness or compactness property.

In mathematics, a Tannakian category is a particular kind of monoidal category C, equipped with some extra structure relative to a given field K. The role of such categories C is to generalise the category of linear representations of an algebraic group G defined over K. A number of major applications of the theory have been made, or might be made in pursuit of some of the central conjectures of contemporary algebraic geometry and number theory.

In mathematics a Yetter–Drinfeld category is a special type of braided monoidal category. It consists of modules over a Hopf algebra which satisfy some additional axioms.

In category theory, a branch of mathematics, the center is a variant of the notion of the center of a monoid, group, or ring to a category.

In mathematics, the field with one element is a suggestive name for an object that should behave similarly to a finite field with a single element, if such a field could exist. This object is denoted F₁, or, in a French–English pun, F_un. The name "field with one element" and the notation F₁ are only suggestive, as there is no field with one element in classical abstract algebra. Instead, F₁ refers to the idea that there should be a way to replace sets and operations, the traditional building blocks for abstract algebra, with other, more flexible objects. Many theories of F₁ have been proposed, but it is not clear which, if any, of them give F₁ all the desired properties. While there is still no field with a single element in these theories, there is a field-like object whose characteristic is one.

In mathematics, semi-simplicity is a widespread concept in disciplines such as linear algebra, abstract algebra, representation theory, category theory, and algebraic geometry. A semi-simple object is one that can be decomposed into a sum of simple objects, and simple objects are those that do not contain non-trivial proper sub-objects. The precise definitions of these words depends on the context.

In algebra, a perfect complex of modules over a commutative ring A is an object in the derived category of A-modules that is quasi-isomorphic to a bounded complex of finite projective A-modules. A perfect module is a module that is perfect when it is viewed as a complex concentrated at degree zero. For example, if A is Noetherian, a module over A is perfect if and only if it is finitely generated and of finite projective dimension.

In mathematics, compact objects, also referred to as finitely presented objects, or objects of finite presentation, are objects in a category satisfying a certain finiteness condition.

References

Arkhipov, Sergey (2002), "Semiinfinite cohomology of Tate Lie algebras", Moscow Mathematical Journal, 2 (1): 35–40, arXiv: math/0003015 , Bibcode:2000math......3015A, ISSN 1609-3321, MR 1900583
Arkhipov, Sergey; Kremnizer, Kobi (2010), "2-gerbes and 2-Tate spaces", Arithmetic and geometry around quantization, vol. 279, Birkhäuser, pp. 23–35, arXiv: 0708.4401 , doi:10.1007/978-0-8176-4831-2_2, MR 2656941
Beilinson, Alexander; Feigin, B.; Mazur, Barry (1991), Notes on Conformal Field Theory, Unpublished manuscript
Braunling, Oliver; Groechenig, Michael; Wolfson, Jesse (2016), "Tate objects in exact categories", Mosc. Math. J., 16 (3), arXiv: 1402.4969v4 , MR 3510209
Clausen, Dustin (2009), Infinite-dimensional linear algebra, determinant line bundle and Kac–Moody extension, Harvard 2009 seminar notes
Drinfeld, Vladimir (2006), "Infinite-dimensional vector bundles in algebraic geometry: an introduction", in Pavel Etingof; Vladimir Retakh; I. M. Singer (eds.), The Unity of Mathematics, Birkhäuser Boston, pp. 263–304, arXiv: math/0309155v4 , doi:10.1007/0-8176-4467-9_7, ISBN 978-0-8176-4076-7, MR 2181808
Kapranov, M. (2001), Semiinfinite symmetric powers, arXiv: math/0107089 , Bibcode:2001math......7089K
Previdi, Luigi (2011), "Locally compact objects in exact categories", Internat. J. Math., 22 (12): 1787–1821, arXiv: 0710.2509 , doi:10.1142/S0129167X11007379, MR 2872533
Tate, John (1968), "Residues of differentials on curves", Annales scientifiques de l'École Normale Supérieure, 4, 1 (1): 149–159

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Braunling, Groechenig & Wolfson (2016), Previdi (2011)

[2] Arkhipov & Kremnizer (2010)

[1]

[2]