|
Cartier Dual
In mathematics, Cartier duality is an analogue of Pontryagin duality for commutative group schemes. It was introduced by . Definition using characters Given any finite flat commutative group scheme ''G'' over ''S'', its Cartier dual is the group of characters, defined as the functor that takes any ''S''-scheme ''T'' to the abelian group of group scheme homomorphisms from the base change G_T to \mathbf_ and any map of ''S''-schemes to the canonical map of character groups. This functor is representable by a finite flat ''S''-group scheme, and Cartier duality forms an additive involutive antiequivalence from the category of finite flat commutative ''S''-group schemes to itself. If ''G'' is a constant commutative group scheme, then its Cartier dual is the diagonalizable group ''D''(''G''), and vice versa. If ''S'' is affine, then the duality functor is given by the duality of the Hopf algebras of functions. Definition using Hopf algebras A finite commutative group scheme over a fi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pontryagin Duality
In mathematics, Pontryagin duality is a duality between locally compact abelian groups that allows generalizing Fourier transform to all such groups, which include the circle group (the multiplicative group of complex numbers of modulus one), the finite abelian groups (with the discrete topology), and the additive group of the integers (also with the discrete topology), the real numbers, and every finite dimensional vector space over the reals or a -adic field. The Pontryagin dual of a locally compact abelian group is the locally compact abelian topological group formed by the continuous group homomorphisms from the group to the circle group with the operation of pointwise multiplication and the topology of uniform convergence on compact sets. The Pontryagin duality theorem establishes Pontryagin duality by stating that any locally compact abelian group is naturally isomorphic with its bidual (the dual of its dual). The Fourier inversion theorem is a special case of this th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group Scheme
In mathematics, a group scheme is a type of object from Algebraic geometry, algebraic geometry equipped with a composition law. Group schemes arise naturally as symmetries of Scheme (mathematics), schemes, and they generalize algebraic groups, in the sense that all algebraic groups have group scheme structure, but group schemes are not necessarily connected, smooth, or defined over a field. This extra generality allows one to study richer infinitesimal structures, and this can help one to understand and answer questions of arithmetic significance. The Category (mathematics), category of group schemes is somewhat better behaved than that of Group variety, group varieties, since all homomorphisms have Kernel (category theory), kernels, and there is a well-behaved deformation theory. Group schemes that are not algebraic groups play a significant role in arithmetic geometry and algebraic topology, since they come up in contexts of Galois representations and moduli problems. The ini ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hopf Algebra
Hopf is a German surname. Notable people with the surname include: *Eberhard Hopf (1902–1983), Austrian mathematician *Hans Hopf (1916–1993), German tenor *Heinz Hopf (1894–1971), German mathematician *Heinz Hopf (actor) (1934–2001), Swedish actor *Ludwig Hopf (1884–1939), German physicist *Maria Hopf Maria Hopf (13 September 1913 – 24 August 2008) was a pioneering archaeobotanist, based at the RGZM, Mainz. Career Hopf studied botany from 1941–44, receiving her doctorate in 1947 on the subject of soil microbes. She then worked in phyto ... (1914-2008), German botanist and archaeologist {{surname, Hopf German-language surnames ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dual Module
In mathematics, the dual module of a left (respectively right) module ''M'' over a ring ''R'' is the set of module homomorphisms from ''M'' to ''R'' with the pointwise right (respectively left) module structure. The dual module is typically denoted ''M''∗ or . If the base ring ''R'' is a field, then a dual module is a dual vector space. Every module has a canonical homomorphism to the dual of its dual (called the double dual). A reflexive module is one for which the canonical homomorphism is an isomorphism. A torsionless module is one for which the canonical homomorphism is injective. Example: If G = \operatorname(A) is a finite commutative group scheme represented by a Hopf algebra Hopf is a German surname. Notable people with the surname include: *Eberhard Hopf (1902–1983), Austrian mathematician *Hans Hopf (1916–1993), German tenor *Heinz Hopf (1894–1971), German mathematician *Heinz Hopf (actor) (1934–2001), Swedis ... ''A'' over a commutative ring ''k'', then the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal Group
In mathematics, a formal group law is (roughly speaking) a formal power series behaving as if it were the product of a Lie group. They were introduced by . The term formal group sometimes means the same as formal group law, and sometimes means one of several generalizations. Formal groups are intermediate between Lie groups (or algebraic groups) and Lie algebras. They are used in algebraic number theory and algebraic topology. Definitions A one-dimensional formal group law over a commutative ring ''R'' is a power series ''F''(''x'',''y'') with coefficients in ''R'', such that # ''F''(''x'',''y'') = ''x'' + ''y'' + terms of higher degree # ''F''(''x'', ''F''(''y'',''z'')) = ''F''(''F''(''x'',''y''), ''z'') (associativity). The simplest example is the additive formal group law ''F''(''x'', ''y'') = ''x'' + ''y''. The idea of the definition is that ''F'' should be something like the formal power series expansion of the product of a Lie group, where we choose coordinates so that the id ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geometric Class Field Theory
In mathematics, geometric class field theory is an extension of class field theory to higher-dimensional geometrical objects: much the same way as class field theory describes the abelianization of the Galois group of a local or global field, geometric class field theory describes the abelianized fundamental group of higher dimensional schemes in terms of data related to algebraic cycle In mathematics, an algebraic cycle on an algebraic variety ''V'' is a formal linear combination of subvarieties of ''V''. These are the part of the algebraic topology of ''V'' that is directly accessible by algebraic methods. Understanding the al ...s. References * {{cite book , last=Schmidt , first=Alexander , editor-first1=Stéphane, editor1=Ballet, editor-first2=Marc, editor2=Perret, editor-first3=Alexey, editor3= Zaytsev, title=Algorithmic arithmetic, geometry, and coding theory, publisher=Amer. Math. Soc. , date=2015 , pages=301–306 , chapter=A survey on class field theory for varieties, i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gérard Laumon
Gérard Laumon (; born 1952) is a French mathematician, best known for his results in number theory, for which he was awarded the Clay Research Award. Life and work Laumon studied at the École Normale Supérieure and Paris-Sud 11 University, Orsay. He was awarded the Silver Medal of the CNRS in 1987, and the E. Dechelle prize of the French Academy of the Sciences in 1992.2004 Clay Institute Annual report, available at http://www2.maths.ox.ac.uk/cmi/library/annual_report/ar2004/04report_clayaward.pdf In 2004, Laumon and Ngô Bảo Châu received the Clay Research Award for the proof of the fundamental lemma for unitary groups, a component in the Langlands program in number theory. In 2012, he became a fellow of the American Mathematical Society. retrieved 2013-01- ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quasi-coherent Module
In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a class of sheaves closely linked to the geometric properties of the underlying space. The definition of coherent sheaves is made with reference to a sheaf of rings that codifies this geometric information. Coherent sheaves can be seen as a generalization of vector bundles. Unlike vector bundles, they form an abelian category, and so they are closed under operations such as taking kernels, images, and cokernels. The quasi-coherent sheaves are a generalization of coherent sheaves and include the locally free sheaves of infinite rank. Coherent sheaf cohomology is a powerful technique, in particular for studying the sections of a given coherent sheaf. Definitions A quasi-coherent sheaf on a ringed space (X, \mathcal O_X) is a sheaf \mathcal F of \mathcal O_X-modules which has a local presentation, that is, every point in X has an open neighborhood U in which there is an exac ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Motive (algebraic Geometry)
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 tupl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
