Editing Isospectral

{{Short description|Linear operators with a common spectrum}}
In [[mathematics]], two [[linear operator]]s are called '''isospectral''' or '''cospectral''' if they have the same [[spectrum of an operator|spectrum]]. Roughly speaking, they are supposed to have the same [[Set (mathematics)|sets]] of [[eigenvalue]]s, when those are counted with [[Multiplicity (mathematics)|multiplicity]].

The theory of isospectral operators is markedly different depending on whether the space is finite or infinite dimensional.  In finite-dimensions, one essentially deals with square [[matrix (mathematics)|matrices]].

In infinite dimensions, the spectrum need not consist solely of isolated eigenvalues.  However, the case of a [[compact operator]] on a [[Hilbert space]] (or [[Banach space]]) is still tractable, since the eigenvalues are at most countable with at most a single limit point ''λ''&nbsp;=&nbsp;0.  The most studied isospectral problem in infinite dimensions is that of the [[Laplace operator]] on a domain in '''R'''<sup>2</sup>.  Two such domains are called isospectral if their Laplacians are isospectral.  The problem of inferring the geometrical properties of a domain from the spectrum of its Laplacian is often known as [[hearing the shape of a drum]].

==Finite dimensional spaces==

In the case of operators on finite-dimensional vector spaces, for [[complex number|complex]] square matrices, the relation of being isospectral for two [[diagonalizable matrix|diagonalizable matrices]] is just [[similar (linear algebra)|similarity]]. This doesn't however reduce completely the interest of the concept, since we can have an '''isospectral family''' of matrices of shape ''A''(''t'') = ''M''(''t'')<sup>&minus;1</sup>''AM''(''t'') depending on a [[parameter]] ''t'' in a complicated way. This is an evolution of a matrix that happens inside one similarity class.

A fundamental insight in [[soliton]] theory was that the [[infinitesimal]] analogue of that equation, namely

:''A''{{prime}} = [''A'', ''M''] = ''AM'' &minus; ''MA''

was behind the conservation laws that were responsible for keeping solitons from dissipating. That is, the preservation of spectrum was an interpretation of the conservation mechanism. The identification of so-called [[Lax pair]]s (P,L) giving rise to analogous equations, by [[Peter Lax]], showed how linear machinery could explain the non-linear behaviour.

== Isospectral manifolds ==

Two closed [[Riemannian manifold]]s are said to be isospectral if the eigenvalues of their [[Laplace–Beltrami operator]] (Laplacians), counted multiplicities, coincide. One of fundamental problems in spectral geometry is to ask to what extent the eigenvalues determine the geometry of a given manifold.

There are many examples of isospectral manifolds which are not isometric. The first example was given in 1964 by [[John Milnor]]. He constructed a pair of flat tori of 16 dimension, using arithmetic lattices first studied by [[Ernst Witt]]. After this example, many isospectral pairs in dimension two and higher were constructed (for instance, by M. F. Vignéras, A. Ikeda, H. Urakawa, C. Gordon). In particular {{harvtxt|Vignéras|1980}}, based on the [[Selberg trace formula]] for PSL(2,'''R''') and PSL(2,'''C'''), constructed examples of isospectral, non-isometric closed hyperbolic 2-manifolds and 3-manifolds as quotients of hyperbolic 2-space and 3-space by arithmetic subgroups, constructed using quaternion algebras associated with quadratic extensions of the rationals by [[class field theory]].<ref>{{harvnb|Maclachlan|Reid|2003}}</ref>  In this case Selberg's trace formula shows that the spectrum of the Laplacian fully determines the ''length spectrum''{{Citation needed|date=May 2010}}, the set of lengths of closed geodesics in each free homotopy class, along with the twist along the geodesic in the 3-dimensional case.<ref>This amounts to knowing the conjugacy class of the corresponding group element in PSL(2,'''R''') or PSL(2,'''C''').
</ref>

In 1985 [[Toshikazu Sunada]] found a general method of construction based on a [[covering space]] technique, which, either in its original or certain generalized versions, came to be known as the Sunada method or Sunada construction. Like the previous methods it is based on the trace formula, via the [[Selberg zeta function]]. Sunada noticed that the method of constructing number fields with the same [[Dedekind zeta function]] could be adapted to compact manifolds. His method relies on the fact that if ''M'' is a finite covering of a compact Riemannian manifold
''M''<sub>0</sub> with ''G'' the [[finite group]] of [[deck transformation]]s and ''H''<sub>1</sub>, ''H''<sub>2</sub> are subgroups of ''G'' meeting each conjugacy class of ''G'' in the same number of elements, then the manifolds ''H''<sub>1</sub> \ ''M'' and ''H''<sub>2</sub> \ ''M'' are isospectral
but not necessarily isometric. Although this does not recapture the arithmetic examples of Milnor and Vignéras{{Citation needed|date=May 2010}}, Sunada's method yields many known examples of isospectral manifolds. It led C. Gordon, [[David Webb (mathematician)|D. Webb]] and S. Wolpert to the discovery in 1991 of a counter example to [[Mark Kac]]'s problem "[[Hearing the shape of a drum|Can one hear the shape of a drum?]]" An elementary treatment, based on Sunada's method, was later given in {{harvtxt|Buser|Conway|Doyle|Semmler|1994}}.

Sunada's idea also stimulated the attempt to find isospectral examples which could not be obtained by his technique. Among many examples, the most striking one is a simply connected example of {{harvtxt|Schueth|1999}}. On the other hand, [[Alan Reid (mathematician)|Alan Reid]] proved that certain isospectral arithmetic hyperbolic manifolds in are commensurable. <ref>{{ Cite journal | url = http://doi.org/10.1215/S0012-7094-92-06508-2 | title = Isospectrality and commensurability of arithmetic hyperbolic 2- and 3-manifolds| date = 1992| doi = 10.1215/S0012-7094-92-06508-2| last1 = Reid| first1 = Alan W.| journal = Duke Mathematical Journal| volume = 65| issue = 2}}</ref>

==See also==
*[[Hearing the shape of a drum]]
*[[Spectral geometry]]

==Notes==
{{Reflist}}

== References ==
*{{citation|last=Bérard|first=Pierre|title=Variétés riemanniennes isospectrales non isométriques, exposé 705|series=Séminaire Bourbaki|volume=31|year=1988–1989|url=http://archive.numdam.org/ARCHIVE/SB/SB_1988-1989__31_/SB_1988-1989__31__127_0/SB_1988-1989__31__127_0.pdf|postscript=<!--none-->}}
*{{citation|doi=10.2307/2322897|title=Constructing Isospectral Manifolds
 |first=Robert
 |last= Brooks
 |author1-link= Robert W. Brooks
 |journal=American Mathematical Monthly|volume= 95|year= 1988|pages=823–839|issue=9|publisher=Mathematical Association of America|postscript=<!--none-->|jstor=2322897}}
*{{citation|last=Buser|first=Peter|authorlink=Jürg Peter Buser|title=Isospectral Riemann surfaces|journal=Annales de l'Institut Fourier |year=1986|
url=http://archive.numdam.org/ARCHIVE/AIF/AIF_1986__36_2/AIF_1986__36_2_167_0/AIF_1986__36_2_167_0.pdf| volume=36|issue=2|pages= 167–192|postscript=<!--none-->|doi=10.5802/aif.1054|doi-access=free}}
*{{citation|first1=Peter|last1= Buser|authorlink1=Jürg Peter Buser|first2= John|last2=Conway|authorlink2=John Horton Conway|first3= Peter|last3= Doyle|first4= Klaus-Dieter|last4= Semmler|
title=Some planar isospectral domains|journal=[[International Mathematics Research Notices]]| year=1994|volume= 1994|issue= 9|pages= 391–400|doi= 10.1155/S1073792894000437|url=http://www.geom.uiuc.edu/docs/research/drums/cover/cover.html|postscript=<!--none-->|doi-access= <!-- not free-->}}
*{{citation|doi=10.1002/cpa.3160250302|last=McKean|first=H. P.|title=Selberg's trace formula as applied to a compact Riemann surface|journal=Comm. Pure Appl. Math.
|volume=25|year=1972|issue=3|pages= 225–246|postscript=<!--none-->}}
*{{citation|title=The Arithmetic of Hyperbolic 3-manifolds|first1=C.|last1=Maclachlan|first2= Alan W. |last2=Reid|publisher= Springer|year= 2003
|isbn=0387983864|pages=383–394|postscript=<!--none-->}},
* {{Citation | doi=10.1073/pnas.51.4.542 | first=John|last=Milnor | title=Eigenvalues of the Laplace operator on certain manifolds | journal=Proc. Natl. Acad. Sci. USA | volume=51 | year=1964 | pages=542 | pmid=16591156 | issue=4 | pmc=300113 | postscript=<!--none--> | bibcode=1964PNAS...51..542M | doi-access=free}}
* {{Citation | doi=10.2307/121026 | first=D.|last= Schueth | title=Continuous families of isospectral metrics on simply connected manifolds | journal=Annals of Mathematics  | volume=149 | issue=1 | year=1999 | pages=287–308 | postscript=<!--none--> | jstor=121026 | arxiv=dg-ga/9711010 | s2cid=10898684}}
*{{citation|last=Selberg|first= Atle|title=Harmonic analysis and discontinuous groups in weakly symmetric Riemannian spaces with applications to Dirichlet series|journal=J. Indian Math. Soc.|volume= 20|year=1956| pages=47–87|postscript=<!--none-->}}
* {{Citation | doi=10.2307/1971195 | first=T.|last= Sunada | title=Riemannian coverings and isospectral manifolds | journal=Annals of Mathematics | volume=121 | issue=1 | year=1985 | pages=169&ndash;186 | postscript=<!--none--> | jstor=1971195 }}
*{{citation|doi=10.2307/1971319|first=Marie-France|last=Vignéras|title=Variétés riemanniennes isospectrales et non isométriques|journal=Annals of Mathematics|year=1980|pages=21–32| volume=112|issue=1|postscript=<!--none-->|jstor=1971319}}
*{{citation|doi=10.1090/S0002-9904-1977-14425-X|last=Wolpert|first=Scott|title=The eigenvalue spectrum as moduli for compact Riemann surfaces|journal=Bull. Amer. Math. Soc.|volume= 83|issue=6
|year=1977|pages= 1306–1308|url=https://www.ams.org/bull/1977-83-06/S0002-9904-1977-14425-X/S0002-9904-1977-14425-X.pdf|postscript=<!--none-->|doi-access=free}}
*{{citation|doi=10.2307/1971114|last=Wolpert|first=Scott|title=The length spectra as moduli for compact Riemann surfaces|journal=Annals of Mathematics|volume= 109|issue=2|year=1979|pages= 323–351|postscript=<!--none-->|jstor=1971114}}

{{Functional analysis}}

[[Category:Spectral theory]]