PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
duality in mathematics (Topic)

Duality in Mathematics

The following is a mathematical (rather than philosophical) topic entry on different types of duality encountered in different areas of Mathematics; accordingly there is a string of distinct definitions associated with this topic rather than a single, general definition, although some of the linked definitions, e.g. categorical duality, are more general than others.

Definitions of Duality in Mathematics:

  1. Categorical duality/Dual category: reversing arrows
  2. Duality principle
  3. Duality functors, (for example the duality functor $ Hom_k(--,k)$ )
  4. Poincaré duality/Poincaré isomorphism
  5. Poincaré-Lefschetz duality, and Alexander-Lefschetz duality
  6. Alexander duality: J. W. Alexander's duality theory (cca. 1915)
  7. Serre duality : example- in the proof of the Riemann-Roch theorem for curves.
  8. Dualities in Logic, example: De Morgan dual, Boolean algebra
  9. Stone duality: Boolean algebras and Stone spaces
  10. Dual numbers- as in an associative algebra; (almost synonymous with double)
  11. Geometric dualities: dual polyhedron, dual of a planar graph, duality in order theory, the Legendre transformation -an application of the duality between points and lines; generalized Legendre, that is, the Legendre-Fenchel transformation.
  12. Hamilton-Lagrange duality in Theoretical Mechanics and Optics
  13. Dual space
  14. Dual space example
  15. Dual homomorphisms
  16. Duality of Projective Geometry
  17. Analytic dualities
  18. Duals of an algebra/Algebraic duality, for example, dual pairs of Hopf *-algebras and duality of cross products of C*-algebras
  19. Tangled, or Mirror, duality: interchanging morphisms and objects
  20. Duality as a Homological mirror symmetry
  21. Cohomology theory duals: de Rham cohomology $ \leftarrow \rightarrow$ Alexander-Spanier cohomology
  22. Hodge dual
  23. Duality of Locally Compact Groups
  24. Pontryagin duality, for locally compact commutative topological groups and their linear representations
  25. Tannaka-Krein duality: for compact matrix pseudogroups and non-commutative topological groups; its generalization leads to quantum groups in Quantum theories; Tannaka's theorem provides the means to reconstruct a compact group $ G$ from its category of representations $ \Pi(G)$; Krein's theorem shows which categories arise as a dual object to a compact group; the finite-dimensional representations of Drinfel'd 's quantum groups form a braided monoidal category, whereas $ \Pi(G)$ is a symmetric monoidal category.
  26. Tannaka duality: an extension of Tannakian duality by Alexander Grothendieck to algebraic groups and Tannakian categories
  27. Contravariant dualities
  28. Weak duality, example : weak duality theorem in linear programming; dual problems in optimization theory
  29. Dual codes
  30. Duality in Electrical Engineering

Examples of duals:

  1. a category $ \mathcal{C}$ and its dual $ \mathcal{C}^{op}$
  2. the category of Hopf algebras over a field is (equivalent to) the opposite category of affine group schemes over $ \operatorname{spec} k$
  3. Dual Abelian variety
  4. Example of a dual space theorem
  5. Example of Pontryagin duality
  6. initial and final object
  7. kernel and cokernel
  8. limit and colimit
  9. direct sum and product

Bibliography

1
S. Doplicher and J. Roberts. A new duality theory for compact groups. Inventiones Mathematicae, 98:157-218, 1989.
2
André Joyal and Ross Street, An introduction to Tannaka duality and quantum groups, in Part II of Category Theory, Proceedings, Como 1990, eds. A. Carboni, M. C. Pedicchio and G. Rosolini, Lectures Notes in Mathematics No.1488, Springer, Berlin, 1991, 411-492.



"duality in mathematics" is owned by bci1.
(view preamble | get metadata)

View style:

See Also: index of category theory, Serre duality, Stone space, compact quantum group, Poincaré duality, polarity, the dual of a coalgebra is an algebra, Grassmann-Hopf algebras and coalgebras\gebras, Pontryagin duality, linear programming, ideal inverting in Prüfer ring

Other names:  categorical duality, Poincaré duality, polarity
Keywords:  duality in mathematics, duality functors, Serre duality, dualizing sheaf, duality of the projective geometry
Log in to rate this entry.
(view current ratings)

Cross-references: product, direct sum, colimit, limit, cokernel, kernel, abelian variety, group schemes, opposite category, equivalent, field, Hopf algebras, dual codes, algebraic, extension, symmetric monoidal category, monoidal category, finite-dimensional, category, group, quantum theories, quantum groups, non-commutative, matrix, compact, representations, topological groups, commutative, locally compact, de Rham cohomology, cohomology, symmetry, objects, morphisms, C*-algebras, cross products, *-algebras, analytic, transformation, lines, points, application, Legendre transformation, order, planar graph, polyhedron, algebra, associative, Stone spaces, Boolean algebra, logic, Serre duality, theory, functors, definitions, string, areas, duality, types
There are 5 references to this entry.

This is version 38 of duality in mathematics, born on 2008-09-21, modified 2008-09-24.
Object id is 11063, canonical name is DualityInMathematics.
Accessed 610 times total.

Classification:
AMS MSC18-00 (Category theory; homological algebra :: General reference works )
 55M05 (Algebraic topology :: Classical topics :: Duality)
 14F25 (Algebraic geometry :: homology theory :: Classical real and complex cohomology)
 51A10 (Geometry :: Linear incidence geometry :: Homomorphism, automorphism and dualities)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)