Crystal (mathematics)
   HOME
*





Crystal (mathematics)
In mathematics, crystals are Cartesian sections of certain fibered categories. They were introduced by , who named them crystals because in some sense they are "rigid" and "grow". In particular quasicoherent crystals over the crystalline site are analogous to quasicoherent modules over a scheme. An isocrystal is a crystal up to isogeny. They are p-adic analogues of \mathbf_l-adic étale sheaves, introduced by and (though the definition of isocrystal only appears in part II of this paper by ). Convergent isocrystals are a variation of isocrystals that work better over non-perfect fields, and overconvergent isocrystals are another variation related to overconvergent cohomology theories. A Dieudonné crystal is a crystal with Verschiebung and Frobenius maps. An F-crystal is a structure in semilinear algebra somewhat related to crystals. Crystals over the infinitesimal and crystalline sites The infinitesimal site \text(X/S) has as objects the infinitesimal extensions of ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Cartesian Section
Fibred categories (or fibered categories) are abstract entities in mathematics used to provide a general framework for descent theory. They formalise the various situations in geometry and algebra in which ''inverse images'' (or ''pull-backs'') of objects such as vector bundles can be defined. As an example, for each topological space there is the category of vector bundles on the space, and for every continuous map from a topological space ''X'' to another topological space ''Y'' is associated the pullback bundle, pullback functor taking bundles on ''Y'' to bundles on ''X''. Fibred categories formalise the system consisting of these categories and inverse image functors. Similar setups appear in various guises in mathematics, in particular in algebraic geometry, which is the context in which fibred categories originally appeared. Fibered categories are used to define stack (mathematics), stacks, which are fibered categories (over a site) with "descent". Fibrations also play an impor ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  



MORE