The concept of Duality - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T05:49:11Z http://mathoverflow.net/feeds/question/73711 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/73711/the-concept-of-duality The concept of Duality S. Sra 2011-08-26T00:22:59Z 2012-02-28T12:39:27Z <p>I have been thinking for sometime about asking this question, but because I did not want to have two "big-list" questions open at the same time, I did not ask this one. Now its time has come.</p> <p>Wikipedia has a good <a href="http://en.wikipedia.org/wiki/Duality_%28mathematics%29" rel="nofollow">page on several forms of "duality" in mathematics</a>, which outlines several notions of duality (geometric, in convex analysis, topology, set theory, etc.) I am very interested in getting help with the following goal:</p> <blockquote> <p>Collect an annotated list of various notions of duality that occur in mathematics, with the ultimate aim of describing the notions in a way that makes it easier to recognize and intuitively build connections between the various notions of duality. Also welcome are comments / answers that highlight how a particular notion of duality can be extremely useful (in proving theorems, in applications, for computational reasons, etc.)</p> </blockquote> <p><strong>Some additional context</strong></p> <p>I got thinking about this question after reading the following amazing paper: <a href="http://annals.math.princeton.edu/2009/169-2/p08" rel="nofollow">The concept of duality in convex analysis, and the characterization of the Legendre transform</a>, by <em>Shiri Artstein-Avidan and Vitali Milman</em>, where the authors talk about duality in more abstract terms (though, largely in the setting of convex analysis). Motivated by their abstract treatment got me thinking whether such abstract treatments of duality have been investigated for other types of duality, which eventually led to this question.</p> <p>Thus, in line with with the Avidan-Milman results, one may also ask similar questions about other types of duality (i.e., one tries to characterize why and how a chosen notion of duality is <em>the</em> only "natural" choice under a set of axiomatic requirements).</p> http://mathoverflow.net/questions/73711/the-concept-of-duality/73712#73712 Answer by Gerald Edgar for The concept of Duality Gerald Edgar 2011-08-26T00:28:41Z 2011-08-26T00:28:41Z <p>Projective geometry. Is that the first use of the term "dual" in mathematics?</p> http://mathoverflow.net/questions/73711/the-concept-of-duality/73714#73714 Answer by Michael Thaddeus for The concept of Duality Michael Thaddeus 2011-08-26T00:55:09Z 2011-08-26T00:55:09Z <p>The (1) Fourier transform, (2) mirror symmetry, (3) electric-magnetic duality, and the (4) Pontrjagin and (5) Langlands dualities of Lie groups are all seen to be interrelated by the proposal of Strominger-Yau-Zaslow for mirror symmetry and the work of Kapustin-Witten (foreshadowed by Montonen-Olive) framing the geometric Langlands program in physical terms.</p> http://mathoverflow.net/questions/73711/the-concept-of-duality/73715#73715 Answer by Joel David Hamkins for The concept of Duality Joel David Hamkins 2011-08-26T01:32:38Z 2011-08-26T01:32:38Z <p>There are various dualities arising in elementary logic:</p> <ul> <li><p>the duality between $\forall$ and $\exists$, as expressed by the validity $$\neg\forall x\ \neg\varphi(x)\iff \exists x\ \varphi(x).$$</p></li> <li><p>the duality between $\wedge$ (and) and $\vee$ (or), as expressed via the de Morgan laws $$\neg(p\wedge q)\iff (\neg p)\vee(\neg q).$$</p></li> <li><p>the duality in modal logic between possibility and necessity, as expressed via $$\neg\Diamond\varphi\iff\square\neg\varphi,$$ (that is: $\varphi$ is not possible if and only if $\neg\varphi$ is necessary), a principle which has manifestations for any of the diverse interpretations of these modal operators satisfying this equivalence.</p></li> </ul> <p>Each of these dualities arises in the conjugation of one logical quantifier or operation with $\neg$.</p> http://mathoverflow.net/questions/73711/the-concept-of-duality/73718#73718 Answer by David Roberts for The concept of Duality David Roberts 2011-08-26T01:57:49Z 2011-08-26T01:57:49Z <p>Galois connections (<a href="http://ncatlab.org/nlab/show/Galois+connection" rel="nofollow">nLab</a>,<a href="http://en.wikipedia.org/wiki/Galois_connection" rel="nofollow">wikipedia</a>). This is really just an adjuction between one category and the opposite of another, where these categories are preorders. A Galois correspondence is when this adjunction is an equivalence of categories.</p> <p>Stone duality (<a href="http://ncatlab.org/nlab/show/Stone+duality" rel="nofollow">nLab</a>,<a href="http://en.wikipedia.org/wiki/Stone_duality" rel="nofollow">wikipedia</a>). This is best explained by the linked page, but one I will point out is that one has as a small part of this duality, $FinSet \simeq FinBool^{op}$ (the category of finite sets is equivalent to the opposite of the category of finite boolean algebras), which has as a corollary, the category of <a href="http://ncatlab.org/nlab/show/Stone+space" rel="nofollow">Stone spaces</a> is equivalent to that of profinite sets.</p> <p>There is the nLab page <a href="http://ncatlab.org/nlab/show/duality" rel="nofollow">duality</a>, but one can see by <a href="http://ncatlab.org/nlab/search?_form_key=549279f500d00ab08456caa9fc27e2b2d92b9164&amp;query=duality" rel="nofollow">searching</a> the nLab, there are a number of other pages that people might find useful.</p> http://mathoverflow.net/questions/73711/the-concept-of-duality/73722#73722 Answer by Alex for The concept of Duality Alex 2011-08-26T02:13:55Z 2011-08-26T02:13:55Z <p>How about the duality between proofs and models?</p> http://mathoverflow.net/questions/73711/the-concept-of-duality/73746#73746 Answer by John Bentin for The concept of Duality John Bentin 2011-08-26T08:32:13Z 2011-08-27T07:03:04Z <p>Finite-dimensional linear spaces. A particular feature in this case is that the (algebraic) dual of a finite-dimensional vector space, namely the space of linear maps from the vector space into the base field, is isomorphic to the original space (since it is of the same dimensionality) but not <em>canonically</em> so. In contrast, the bi-dual (the dual of the dual) is <em>canonically</em> isomorphic to the original space, and so may be identified with it. </p> http://mathoverflow.net/questions/73711/the-concept-of-duality/73752#73752 Answer by Noah Stein for The concept of Duality Noah Stein 2011-08-26T09:25:53Z 2011-08-26T09:25:53Z <p>I enjoyed a series of talks by Bernd Sturmfels on some such interrelationships, which it looks like are written up in a paper by Rostalski and Sturmfels called "Dualities in Convex Algebraic Geometry."</p> <blockquote> <p>Abstract: Convex algebraic geometry concerns the interplay between optimization theory and real algebraic geometry. Its objects of study include convex semialgebraic sets that arise in semideﬁnite programming and from sums of squares. This article compares three notions of duality that are relevant in these contexts: duality of convex bodies, duality of projective varieties, and the Karush-Kuhn-Tucker conditions derived from Lagrange duality. We show that the optimal value of a polynomial program is an algebraic function whose minimal polynomial is expressed by the hypersurface projectively dual to the constraint set. We give an exposition of recent results on the boundary structure of the convex hull of a compact variety, we contrast this to Lasserre’s representation as a spectrahedral shadow, and we explore the geometric underpinnings of semideﬁnite programming duality.</p> </blockquote> http://mathoverflow.net/questions/73711/the-concept-of-duality/73759#73759 Answer by F. C. for The concept of Duality F. C. 2011-08-26T10:38:44Z 2011-08-26T10:38:44Z <p>Koszul duality is a useful duality. For example, one can cite</p> <ol> <li><p>Koszul duality of quadratic algebras (due to Priddy) which is related to inversion of formal power series.</p></li> <li><p>Koszul duality of quadratic operads (due to Ginzburg and Kapranov) which is related to reversion of formal power series or plethystic reversion.</p></li> <li><p>Koszul duality of cyclic quadratic operads (due to Getzler and Kapranov) which is related to Legendre duality and Legendre transform.</p></li> </ol> <p>One can see (1 and 2) that Koszul duality is often related to the notion of inversion $g \mapsto g^{-1}$ in a group.</p> http://mathoverflow.net/questions/73711/the-concept-of-duality/73762#73762 Answer by Igor Khavkine for The concept of Duality Igor Khavkine 2011-08-26T11:05:16Z 2011-08-26T11:05:16Z <p>I think that the obvious one between spaces (topological, differentiable, algebraic, etc.) and the rings of structure preserving functions on them should be mentioned. </p> http://mathoverflow.net/questions/73711/the-concept-of-duality/73763#73763 Answer by unknown (google) for The concept of Duality unknown (google) 2011-08-26T11:07:24Z 2011-08-26T11:07:24Z <p>Serre duality</p> <p>Grothendieck duality</p> <p>Verdier duality</p> http://mathoverflow.net/questions/73711/the-concept-of-duality/73765#73765 Answer by Gil Kalai for The concept of Duality Gil Kalai 2011-08-26T11:19:09Z 2011-09-01T10:10:35Z <p>In the study of convexity and convex polyhedra there are three (related) important notions of duality</p> <p>1) Polar duality </p> <p>This is a map assigning to every convex set $K$ containing the origin its polar dual: $K^*$ which is the set of all points whose inner product with every point in $K$ is at most 1.</p> <p>On polytopes it induces an order reversing map on the face lattices. This operation has subtle relations to mirror-symmetry and Koszul duality.</p> <p>Web sources (<a href="http://en.wikipedia.org/wiki/Polar_set" rel="nofollow">1</a>; <a href="http://en.wikipedia.org/wiki/Mahler_volume" rel="nofollow">2</a>; <a href="http://en.wikipedia.org/wiki/Dual_cone_and_polar_cone" rel="nofollow">3</a>; <a href="http://www.google.co.il/url?sa=t&amp;source=web&amp;cd=1&amp;ved=0CBwQFjAA&amp;url=http%253A%252F%252Fwww.emis.de%252Fjournals%252FDMJDMV%252Fxvol-icm%252F04%252FBatyrev.MAN.ps.gz&amp;rct=j&amp;q=polarity%2520convex%2520toric%2520batyrev&amp;ei=_lhfTv-7IIqI4gTxwtwZ&amp;usg=AFQjCNH5OPZ9CC_WqclpLuiCiqUI9T5CcQ" rel="nofollow">4</a>)</p> <p>2) Gale transform</p> <p>This is an operation to move from n points in $R^d$ to n points in $R^k$ where k=n-d-1. It is especially useful if the original n points are in convex position to study the convex polytope they define. (Web-sources: <a href="http://www.jedsmath.com/Appendix-Gale%2520Basics.pdf" rel="nofollow">1</a>, <a href="http://www.springerlink.com/content/p56775x676g25426/" rel="nofollow">2</a>; <a href="http://www.math.sunysb.edu/~sorin/eprints/projgale.pdf" rel="nofollow">3</a>; <a href="http://www.ams.org/bookstore/pspdf/stml-33-prev.pdf" rel="nofollow">4</a>)</p> <p>3) Linear programming duality</p> <p>This is an operation to move from a linear programming problem to a dual problem which have the same solution.</p> <p>(We sources: <a href="http://en.wikipedia.org/wiki/Linear_programming" rel="nofollow">1;</a> <a href="http://en.wikipedia.org/wiki/Dual_problem" rel="nofollow">2</a>; <a href="http://www.princeton.edu/~rvdb/542/lectures/lec5.pdf" rel="nofollow">3</a>;)</p> http://mathoverflow.net/questions/73711/the-concept-of-duality/73770#73770 Answer by Emil Jeřábek for The concept of Duality Emil Jeřábek 2011-08-26T13:26:03Z 2011-08-26T13:26:03Z <p>The <a href="http://en.wikipedia.org/wiki/J%C3%B3nsson%E2%80%93Tarski_duality" rel="nofollow">Jónsson–Tarski duality</a> between Boolean algebras with operators (in particular, modal algebras) and general frames. (A variant of this, called Esakia duality, has topological frames instead of general frames. There is also an analogous duality of Heyting algebras and intuitionistic frames, which I never remember whose name it bears.) This duality is the basis of the Kripke semantics for modal, intuitionistic, and other nonclassical logics.</p> http://mathoverflow.net/questions/73711/the-concept-of-duality/73771#73771 Answer by Emil Jeřábek for The concept of Duality Emil Jeřábek 2011-08-26T13:36:25Z 2011-08-26T13:36:25Z <p>The <a href="http://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence" rel="nofollow">Curry–Howard isomorphism</a> between typed $\lambda$-calculus and intuitionistic proofs.</p> http://mathoverflow.net/questions/73711/the-concept-of-duality/73774#73774 Answer by Haim for The concept of Duality Haim 2011-08-26T14:15:10Z 2011-08-26T14:15:10Z <p>The duality between measure and category in the set theory of the reals.</p> http://mathoverflow.net/questions/73711/the-concept-of-duality/73794#73794 Answer by Denis Serre for The concept of Duality Denis Serre 2011-08-26T19:27:43Z 2011-08-26T19:27:43Z <p>Duality is the corner stone of the theory of Distributions</p> http://mathoverflow.net/questions/73711/the-concept-of-duality/73813#73813 Answer by Vijay D for The concept of Duality Vijay D 2011-08-27T00:36:37Z 2011-08-30T10:22:14Z <p>This answer has a heavy bias towards logical structures. The simplest notion I know is order-theoretic duality.</p> <ol> <li>The dual of an order is the inverse relation of the order (less-than vs. greater-than, subset vs. superset)</li> <li>Greatest lower bounds and least upper bounds (minimum vs. maximum, intersection vs. union, conjunction vs. disjunction)</li> <li>Bottom and top </li> <li>Least and greatest fixed points</li> <li>Additive and multiplicative maps</li> </ol> <p>In structures containing negation, we have De Morgan duality, such as the examples from logic given by Joel David Hamkins. </p> <p>I do not know if 'duality' is the right term, but I think of adjunctions as duals too. To add to the answer of David Roberts:</p> <ol> <li>Conjunction and implication (both with one argument fixed) are adjoints</li> <li>Existential and universal quantification are adjoints to a certain form of substitution</li> <li>Strongest postconditions and weakest liberal preconditions in programming language semantics</li> <li>Sets of models and sets of formulae</li> <li>A lattice and its image under a closure operator</li> </ol> <p>In settings with a notion of time, there are temporal dualities from the interaction of the past and the future. There are several examples in temporal and modal logics. </p> <p>Some representation theorems for lattices are ancestors of dualities. For example, Stone's representation theorem for Boolean algebras is now usually referred to as a duality. There are various dualities relating families of lattices with families of discrete structures.</p> <ol> <li>Complete, atomic, Boolean algebras and powersets [Lindenbaum and Tarski]</li> <li>Finite distributive lattices and finite posets [Birkhoff]</li> <li>Completely distributive, algebraic lattices and posets [Raney, others I cannot recall]</li> <li>Boolean algebras with operators and sets with relations [Jónsson and Tarski]</li> <li>Distributive algebras with operators and ordered sets with relations [Gehrke and Jónsson (though there may be earlier work)]</li> </ol> <p>The list goes on. Such results are sometimes called discrete dualities. There is much recent work on discrete duality in terms of what are called canonical extensions. These duality results often include a topological component. </p> <ol> <li>Boolean algebras and Stone spaces [Stone]</li> <li>Distributive lattices and Priestley spaces [Priestley]</li> <li>Heyting algebras and Esakia spaces [Esakia]</li> <li>Topological representations of arbitrary lattices [Urquhart]</li> <li>Extensions of Stone and Priestley duality to lattices with operators</li> <li>Dualities arising in Modal logic [Goldblatt]</li> </ol> <p>One 'analogy between analogies' is that of a <a href="http://ncatlab.org/nlab/show/dualizing+object" rel="nofollow">dualising object</a>. The term schizophrenic object has also been used in this context.</p> <p>Porst and Tholen's article <a href="http://www.heldermann.de/R&amp;E/RAE18/ctw07.pdf" rel="nofollow">Concrete Dualities</a> discusses some of these and other dualities and the connection to adjunctions. Other references are Peter Johnstone's book Stone Spaces and Clarke and Davey's book Natural Dualities for the Working Algebraist.</p> http://mathoverflow.net/questions/73711/the-concept-of-duality/73840#73840 Answer by Pait for The concept of Duality Pait 2011-08-27T12:50:39Z 2011-08-27T12:50:39Z <p>In control theory there exists the duality controllability and observability. It is very well understood in the context of linear control theory, not so much for nonlinear systems. It is related to the linear space duality between vectors and functionals, but more work in understanding it from a more general perspective would be welcome.</p> http://mathoverflow.net/questions/73711/the-concept-of-duality/73851#73851 Answer by Murphy for The concept of Duality Murphy 2011-08-27T15:16:33Z 2011-08-27T15:16:33Z <p>The duality between projective modules and injective modules, also the duality between divisible abelian groups and free abelian groups.</p> http://mathoverflow.net/questions/73711/the-concept-of-duality/73933#73933 Answer by Spice the Bird for The concept of Duality Spice the Bird 2011-08-29T01:05:08Z 2011-08-29T05:57:21Z <p>One "duality principle" that occurs in category theory is that of Isbel Duality. My feeling is (feel free to correct me if I am wrong) is that this encapsulates stone duality, Gelfand duality, and the duality of affine schemes and commutative rings in the same disscusion. Let $\mathcal{C}$ be a (small) category. Then the presheaves on $\mathcal{C}$ and the co-presheaves on $\mathcal{C}$ are somehow dual to one another. Conceptually, one thinks of the presheves as spaces and co-presheaves as quantities. This is something that I am trying to understand myself. Some nice articals at n-lab are:</p> <p><a href="http://ncatlab.org/nlab/show/space+and+quantity" rel="nofollow">http://ncatlab.org/nlab/show/space+and+quantity</a></p> <p><a href="http://ncatlab.org/nlab/show/Isbell%20duality" rel="nofollow">http://ncatlab.org/nlab/show/Isbell%20duality</a></p> http://mathoverflow.net/questions/73711/the-concept-of-duality/74242#74242 Answer by David Corfield for The concept of Duality David Corfield 2011-09-01T08:23:03Z 2011-09-01T08:33:34Z <p>What would be useful here is a list of mechanisms lying behind these appearances of duality. So we have (at least)</p> <ol> <li>Duality pairing</li> <li>Dualizing object</li> <li>Maximal fixed subcategories of an adjunction</li> <li>Arrow reversal</li> </ol> <p>Then we could look at any relations between these mechanisms, such as between 2 and 3, maps into a <a href="http://ncatlab.org/nlab/show/dualizing+object" rel="nofollow">dualizing object</a> form the functors for an adjunction.</p> <p>Atiyah in his talk <a href="http://www.fme.upc.edu/arxius/butlleti-digital/riemann/071218_conferencia_atiyah-d_article.pdf" rel="nofollow">Duality in Mathematics and Physics</a> says </p> <blockquote> <p>"Fundamentally, duality gives <em>two different points of view of looking at the same object</em>. There are many things that have two different points of view and in principle they are all dualities."</p> </blockquote> <p>So perhaps we need </p> <p>5 . Something is seen in two different ways</p> <p>The Dynkin diagram for $SL_n$ is a string of $n-1$ dots, we can view it from either end as point, line, plane, etc. Put another way, the symmetry of the diagram corresponds to an outer automorphism which account for the duality of projective geometry. </p> <p>I wonder if 'deeper' dualities come from more intricate processes of seeing something from two points of view. Frenkel gives a very accessible talk <a href="http://online.itp.ucsb.edu/online/bblunch/frenkel/" rel="nofollow">What Do Fermat's Last Theorem and Electro-magnetic Duality Have in Common?</a> where he explains that the duality of Geometric Langlands arises from compactifying a 6d quantum field theory in two different ways onto 2d surfaces.</p> http://mathoverflow.net/questions/73711/the-concept-of-duality/75129#75129 Answer by Gil Kalai for The concept of Duality Gil Kalai 2011-09-11T06:30:18Z 2011-09-14T13:03:57Z <p>A very simple and important notion of duality is the following.</p> <p>Start with a collection $F$ of subsets of a ground set $X$.</p> <p>Now, define the <strong>blocker</strong> $F^*$ of $F$ as follows:</p> <p>$F^*=${$X \backslash A: A \notin F$}.</p> <p>In words, we take the complements of all sets <strong>not</strong> in $F$.</p> <p>This notion is very important in combinatorial optimization and polyhedral combinatorics. It is also a simple manifestation of Alexander duality from algebraic topology.</p> <hr> <p><strong>Addendum</strong> (Adam Bjorndahl):</p> <p>This construction can be viewed as a generalization of the quantifier duality $$\forall \equiv \lnot \exists \lnot.$$</p> <p>As above, fix a set $X$. For $F \subseteq 2^{X}$, define the formula $(\text{F}x) \ \phi(x)$ to mean that $$\{x \in X : \phi(x)\} \in F.$$ So $(\text{F}x) \ \phi(x)$ might be read "for $F$-many $x$, property $\phi$ holds". Three special cases deserve some attention.</p> <ul> <li><p>When $F = \{X\}$, we recover the usual "for all" quantifier. Succinctly, $\forall = \{X\}$.</p></li> <li><p>Dualizing, we obtain $$\lnot (\text{F}x) \lnot \phi(x) \iff \{x \in X : \lnot \phi(x)\} \notin F;$$ thus if $A = \{x \in X : \phi(x)\}$, we have $$\lnot (\text{F}x) \lnot \phi(x) \iff A \in F^{*} \iff (\text{F}^{*}x) \phi(x),$$ where $F^{*}$ is the blocker of $F$.</p></li> <li><p>Finally, if $U \subset 2^{X}$ is an ultrafilter on $X$, then $$\lnot (\text{U}x) \lnot \phi(x) \iff (\text{U}x)\phi(x),$$ which exhibits ultrafilters as self-dual quantifiers, a perspective I find appealing.</p></li> </ul> http://mathoverflow.net/questions/73711/the-concept-of-duality/75130#75130 Answer by Tony Huynh for The concept of Duality Tony Huynh 2011-09-11T07:26:11Z 2011-09-11T07:26:11Z <p>I am personally fond of <a href="http://en.wikipedia.org/wiki/Matroid#Matroid_duality" rel="nofollow">matroid duality</a>. Let $M$ be a matroid with ground set $E$. The <em>dual</em> of $M$ is the matroid with ground set $E$ and whose bases are the complements of bases of $M$. It is easy to verify that the dual of $M$ is indeed a matroid and we immediately have that $M^{dd}=M$. </p> <p>Matroid duality illustrates that deletion and contraction are actually dual operations. That is, deletion corresponds to contraction in the dual and vice versa. </p> <p>It also nicely generalizes duality for planar graphs. That is, if $G$ is a planar graph, and $M(G)$ is the cycle matroid of $G$, then $M^d(G)=M(G^d)$ (here, $G^d$ is the planar dual of $G$). </p> <p>Finally, here is a <a href="http://mathoverflow.net/questions/5357/theorems-for-nothing-and-the-proofs-for-free-closed" rel="nofollow">proof for free</a> of Euler's Formula via matroid duality. Let $G$ be a connected planar graph with edge set $E$. Suppose that $G$ has $v$ vertices, $e$ edges and $f$ faces. Let $r$ be the rank function of the cycle matroid of $G$ and let $r_d$ be the rank function of the dual of the cycle matroid of $G$. Then</p> <p>$e=r(E)+r_d(E)=(v-1)+(f-1).$</p> http://mathoverflow.net/questions/73711/the-concept-of-duality/89675#89675 Answer by Marc Palm for The concept of Duality Marc Palm 2012-02-27T15:47:15Z 2012-02-28T12:39:27Z <p>Differential geometry: Eigenvalues of Laplace operators $\Leftrightarrow$ length of closed geodesics</p> <p>representation theory: irreducible representations $\Leftrightarrow$ conjugacy classes in a group</p> <p>Number theory: primes $\Leftrightarrow$ zeros of $L$ functions</p> <p>Quantum mechanics: particles $\Leftrightarrow$ waves</p> <p>Argument principle in complex analysis: contour integrals $\Leftrightarrow$ residues</p> <p>Index theory: topological index $\Leftrightarrow$ analytic index</p> <p>Algebraic geometry: algebraic cycles $\Leftrightarrow$ motives</p> <p>Most of them can be found in: www.claymath.org/cw/arthur/pdf/52.pdf</p> <p>Trace fomulas like Poisson summation formula, Arthur's trace formula, Selberg's trace formula, Gutzwiller trace formula, Lefschetz trace formula, Weil's explicit formula quantify these relations.</p> <p>There is always a sort of Fourier uncertainty involved, so a one-to-one correspondance between "geometric objects" and "spectral objects" is not available, except perhaps for the symmetric group $S_n$ via Young diagrams.</p>