PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
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 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, that is, categorical duality, are more general than others.

Duality definitions in mathematics:

  1. Categorical duality and Dual category: reversing arrows
  2. Duality principle
  3. Double duality
  4. Triality
  5. Self-duality
  6. Duality functors, (for example the duality functor $Hom_k(--,k)$ )
  7. Poincaré duality/Poincaré isomorphism
  8. Poincaré-Lefschetz duality, and Alexander-Lefschetz duality
  9. Alexander duality: J. W. Alexander's duality theory (cca. 1915)
  10. Serre duality : example- in the proof of the Riemann-Roch theorem for curves.
  11. Dualities in logic, example: De Morgan dual, Boolean algebra
  12. Stone duality: Boolean algebras and Stone spaces
  13. Dual numbers- as in an associative algebra; (almost synonymous with double)
  14. 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.
  15. Hamilton-Lagrange duality in theoretical mechanics and optics
  16. Dual space
  17. Dual space example
  18. Dual homomorphisms
  19. Duality of Projective Geometry
  20. Analytic dualities
  21. Duals of an algebra/algebraic duality, for example, dual pairs of Hopf *-algebras and duality of cross products of C*-algebras
  22. Tangled, or Mirror, duality: interchanging morphisms and objects
  23. Duality as a homological mirror symmetry
  24. Cohomology theory duals: de Rham cohomology $\leftarrow \rightarrow$ Alexander-Spanier cohomology
  25. Hodge dual
  26. Duality of locally compact groups
  27. Pontryagin duality, for locally compact commutative topological groups and their linear representations
  28. 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.
  29. Tannaka duality: an extension of Tannakian duality by Alexander Grothendieck to algebraic groups and Tannakian categories.
  30. Contravariant dualities
  31. Weak duality, example : weak duality theorem in linear programming; dual problems in optimization theory
  32. Dual codes
  33. 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, index of categories, Grothendieck category

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, theorem, 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 4 references to this entry.

This is version 48 of duality in mathematics, born on 2008-09-21, modified 2009-06-04.
Object id is 11063, canonical name is DualityInMathematics.
Accessed 1723 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)