|
Tannakian Category
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 approximate, in some sense, 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. The name is taken from Tadao Tannaka and Tannaka–Krein duality, a theory about compact groups ''G'' and their representation theory. The theory was developed first in the school of Alexander Grothendieck. It was later reconsidered by Pierre Deligne, and some simplifications made. The pattern of the theory is that of Grothendieck's Galois theory, which is a theory about finite permutation representations of groups ''G'' which are profinite groups. The gist of the theory, which is rather elaborate in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Natural Transformation
In category theory, a branch of mathematics, a natural transformation provides a way of transforming one functor into another while respecting the internal structure (i.e., the composition of morphisms) of the categories involved. Hence, a natural transformation can be considered to be a "morphism of functors". Informally, the notion of a natural transformation states that a particular map between functors can be done consistently over an entire category. Indeed, this intuition can be formalized to define so-called functor categories. Natural transformations are, after categories and functors, one of the most fundamental notions of category theory and consequently appear in the majority of its applications. Definition If F and G are functors between the categories C and D , then a natural transformation \eta from F to G is a family of morphisms that satisfies two requirements. # The natural transformation must associate, to every object X in C, a morphism \eta_X : F ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Motivic Galois Group
In algebraic geometry, motives (or sometimes motifs, following French usage) is a theory proposed by Alexander Grothendieck in the 1960s to unify the vast array of similarly behaved cohomology theories such as singular cohomology, de Rham cohomology, etale cohomology, and crystalline cohomology. Philosophically, a "motif" is the "cohomology essence" of a variety. In the formulation of Grothendieck for smooth projective varieties, a motive is a triple (X, p, m), where ''X'' is a smooth projective variety, p: X \vdash X is an idempotent correspondence, and ''m'' an integer, however, such a triple contains almost no information outside the context of Grothendieck's category of pure motives, where a morphism from (X, p, m) to (Y, q, n) is given by a correspondence of degree n-m. A more object-focused approach is taken by Pierre Deligne in ''Le Groupe Fondamental de la Droite Projective Moins Trois Points''. In that article, a motive is a "system of realisations" – that is, a t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mumford–Tate Group
In algebraic geometry, the Mumford–Tate group (or Hodge group) ''MT''(''F'') constructed from a Hodge structure ''F'' is a certain algebraic group ''G''. When ''F'' is given by a rational representation of an algebraic torus, the definition of ''G'' is as the Zariski closure of the image in the representation of the circle group, over the rational numbers. introduced Mumford–Tate groups over the complex numbers under the name of Hodge groups. introduced the ''p''-adic analogue of Mumford's construction for Hodge–Tate modules, using the work of on p-divisible groups, and named them Mumford–Tate groups. Formulation The algebraic torus ''T'' used to describe Hodge structures has a concrete matrix representation, as the 2×2 invertible matrices of the shape that is given by the action of ''a''+''bi'' on the basis of the complex numbers C over R: :\begin a & b \\ -b & a \end. The circle group inside this group of matrices is the unitary group ''U''(1). Hodg ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
L-adic Representation
In mathematics, a Galois module is a ''G''-module, with ''G'' being the Galois group of some extension of fields. The term Galois representation is frequently used when the ''G''-module is a vector space over a field or a free module over a ring in representation theory, but can also be used as a synonym for ''G''-module. The study of Galois modules for extensions of local or global fields and their group cohomology is an important tool in number theory. Examples *Given a field ''K'', the multiplicative group (''Ks'')× of a separable closure of ''K'' is a Galois module for the absolute Galois group. Its second cohomology group is isomorphic to the Brauer group of ''K'' (by Hilbert's theorem 90, its first cohomology group is zero). *If ''X'' is a smooth proper scheme over a field ''K'' then the ℓ-adic cohomology groups of its geometric fibre are Galois modules for the absolute Galois group of ''K''. Ramification theory Let ''K'' be a valued field (with valuation denoted ''v ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hodge Structure
In mathematics, a Hodge structure, named after W. V. D. Hodge, is an algebraic structure at the level of linear algebra, similar to the one that Hodge theory gives to the cohomology groups of a smooth and compact Kähler manifold. Hodge structures have been generalized for all complex varieties (even if they are singular and non-complete) in the form of mixed Hodge structures, defined by Pierre Deligne (1970). A variation of Hodge structure is a family of Hodge structures parameterized by a manifold, first studied by Phillip Griffiths (1968). All these concepts were further generalized to mixed Hodge modules over complex varieties by Morihiko Saito (1989). Hodge structures Definition of Hodge structures A pure Hodge structure of integer weight ''n'' consists of an abelian group H_ and a decomposition of its complexification ''H'' into a direct sum of complex subspaces H^, where p+q=n, with the property that the complex conjugate of H^ is H^: :H := H_\otimes_ \Complex = \bigop ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Faithful Functor
In category theory, a faithful functor is a functor that is injective on hom-sets, and a full functor is surjective on hom-sets. A functor that has both properties is called a full and faithful functor. Formal definitions Explicitly, let ''C'' and ''D'' be (locally small) categories and let ''F'' : ''C'' → ''D'' be a functor from ''C'' to ''D''. The functor ''F'' induces a function :F_\colon\mathrm_(X,Y)\rightarrow\mathrm_(F(X),F(Y)) for every pair of objects ''X'' and ''Y'' in ''C''. The functor ''F'' is said to be *faithful if ''F''''X'',''Y'' is injectiveJacobson (2009), p. 22 *full if ''F''''X'',''Y'' is surjectiveMac Lane (1971), p. 14 *fully faithful (= full and faithful) if ''F''''X'',''Y'' is bijective for each ''X'' and ''Y'' in ''C''. A mnemonic for remembering the term "full" is that the image of the function fills the codomain; a mnemonic for remembering the term "faithful" is that you can trust (have faith) that F(X)=F(Y) implies X=Y. Properties A faithful functor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Exact Functor
In mathematics, particularly homological algebra, an exact functor is a functor that preserves short exact sequences. Exact functors are convenient for algebraic calculations because they can be directly applied to presentations of objects. Much of the work in homological algebra is designed to cope with functors that ''fail'' to be exact, but in ways that can still be controlled. Definitions Let P and Q be abelian categories, and let be a covariant additive functor (so that, in particular, ''F''(0) = 0). We say that ''F'' is an exact functor if whenever :0 \to A\ \stackrel \ B\ \stackrel \ C \to 0 is a short exact sequence in P then :0 \to F(A) \ \stackrel \ F(B)\ \stackrel \ F(C) \to 0 is a short exact sequence in Q. (The maps are often omitted and implied, and one says: "if 0→''A''→''B''→''C''→0 is exact, then 0→''F''(''A'')→''F''(''B'')→''F''(''C'')→0 is also exact".) Further, we say that ''F'' is *left-exact if whenever 0→''A''→''B''→' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Category Of Finite Dimensional K-vector Spaces
In algebra, given a ring ''R'', the category of left modules over ''R'' is the category whose objects are all left modules over ''R'' and whose morphisms are all module homomorphisms between left ''R''-modules. For example, when ''R'' is the ring of integers Z, it is the same thing as the category of abelian groups. The category of right modules is defined in a similar way. Note: Some authors use the term module category for the category of modules. This term can be ambiguous since it could also refer to a category with a monoidal-category action. Properties The categories of left and right modules are abelian categories. These categories have enough projectives and enough injectives. Mitchell's embedding theorem states every abelian category arises as a full subcategory of the category of modules. Projective limits and inductive limits exist in the categories of left and right modules. Over a commutative ring, together with the tensor product of modules ⊗, the category of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tensor Category
In mathematics, a monoidal category (or tensor category) is a category \mathbf C equipped with a bifunctor :\otimes : \mathbf \times \mathbf \to \mathbf that is associative up to a natural isomorphism, and an object ''I'' that is both a left and right identity for ⊗, again up to a natural isomorphism. The associated natural isomorphisms are subject to certain coherence conditions, which ensure that all the relevant diagrams commute. The ordinary tensor product makes vector spaces, abelian groups, ''R''-modules, or ''R''-algebras into monoidal categories. Monoidal categories can be seen as a generalization of these and other examples. Every ( small) monoidal category may also be viewed as a " categorification" of an underlying monoid, namely the monoid whose elements are the isomorphism classes of the category's objects and whose binary operation is given by the category's tensor product. A rather different application, of which monoidal categories can be considered an abs ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abelian Category
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. The motivating prototypical example of an abelian category is the category of abelian groups, Ab. The theory originated in an effort to unify several cohomology theories by Alexander Grothendieck and independently in the slightly earlier work of David Buchsbaum. Abelian categories are very ''stable'' categories; for example they are regular and they satisfy the snake lemma. The class of abelian categories is closed under several categorical constructions, for example, the category of chain complexes of an abelian category, or the category of functors from a small category to an abelian category are abelian as well. These stability properties make them inevitable in homological algebra and beyond; the theory has major applications in algebraic geometry, cohomology and pure category theory. Abelian categories are na ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rigid Category
In category theory, a branch of mathematics, a rigid category is a monoidal category where every object is rigid, that is, has a dual ''X''* (the internal Hom 'X'', 1 and a morphism 1 → ''X'' ⊗ ''X''* satisfying natural conditions. The category is called right rigid or left rigid according to whether it has right duals or left duals. They were first defined (following Alexander Grothendieck) by Neantro Saavedra Rivano in his thesis on Tannakian categories. Definition There are at least two equivalent definitions of a rigidity. *An object ''X'' of a monoidal category is called left rigid if there is an object ''Y'' and morphisms \eta_X : \mathbf \to X \otimes Y and \epsilon_X : Y \otimes X \to \mathbf such that both compositions X ~ \xrightarrow ~ (X \otimes Y) \otimes X ~ \xrightarrow ~ X \otimes (Y \otimes X) ~ \xrightarrow ~ X Y ~ \xrightarrow ~ Y \otimes (X \otimes Y ) ~ \xrightarrow ~ (Y \otimes X) \otimes Y ~ \xrightarrow ~ Y are identities. A right rigid ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
