Etymology of 'spectrum' in algebraic geometry and algebraic topology
$begingroup$
In algebraic geometry, one has the notion of the spectrum of a commutative ring. These spectra serve as local charts for schemes.
In algebraic topology, a spectrum is a sequence of pointed spaces $X_n$ $(n in mathbbN)$ together with the structure maps $S^1 wedge X_nrightarrow X_n+1$. One can associate a generalized cohomology theory to such a spectrum.
My question is whether these two notions are etymologically related. It would be amusing since, in some sense, the field of derived algebraic geometry seeks to merge them into one.
ag.algebraic-geometry at.algebraic-topology etymology
$endgroup$
|
show 1 more comment
$begingroup$
In algebraic geometry, one has the notion of the spectrum of a commutative ring. These spectra serve as local charts for schemes.
In algebraic topology, a spectrum is a sequence of pointed spaces $X_n$ $(n in mathbbN)$ together with the structure maps $S^1 wedge X_nrightarrow X_n+1$. One can associate a generalized cohomology theory to such a spectrum.
My question is whether these two notions are etymologically related. It would be amusing since, in some sense, the field of derived algebraic geometry seeks to merge them into one.
ag.algebraic-geometry at.algebraic-topology etymology
$endgroup$
3
$begingroup$
There is also the spectrum of an operator which could be relevant. In what sense does DAG "seek to merge them into one"?
$endgroup$
– Piotr Achinger
Aug 27 '18 at 8:20
$begingroup$
@PiotrAchinger in the sense that spectral schemes are locally modelled on highly structured ring spectra. Somewhat loose analogy, I admit
$endgroup$
– Aknazar Kazhymurat
Aug 27 '18 at 9:19
3
$begingroup$
Words can be etymologically related if they have the same or close roots, like e.g. spectrum, specter, respect, specular, spectacular.... But what is the meaning of "etymologically related" referred to notions?
$endgroup$
– Pietro Majer
Aug 27 '18 at 9:20
1
$begingroup$
@PiotrAchinger as for spectrum of operator, its etymology is pretty close to etymology of the spectrum of commutative ring, I believe
$endgroup$
– Aknazar Kazhymurat
Aug 27 '18 at 9:22
2
$begingroup$
Maybe the choice of the word "etymology" is a bit misleading, as it refer to words and their roots, and here there is but one word. I understand the question is, when spectrum was introduced in science (I believe the first use was related to light refraction), and what logic path extended its use from optics to electromagnetism, chemistry, operator theory, and all various uses in mathematics.
$endgroup$
– Pietro Majer
Aug 27 '18 at 9:48
|
show 1 more comment
$begingroup$
In algebraic geometry, one has the notion of the spectrum of a commutative ring. These spectra serve as local charts for schemes.
In algebraic topology, a spectrum is a sequence of pointed spaces $X_n$ $(n in mathbbN)$ together with the structure maps $S^1 wedge X_nrightarrow X_n+1$. One can associate a generalized cohomology theory to such a spectrum.
My question is whether these two notions are etymologically related. It would be amusing since, in some sense, the field of derived algebraic geometry seeks to merge them into one.
ag.algebraic-geometry at.algebraic-topology etymology
$endgroup$
In algebraic geometry, one has the notion of the spectrum of a commutative ring. These spectra serve as local charts for schemes.
In algebraic topology, a spectrum is a sequence of pointed spaces $X_n$ $(n in mathbbN)$ together with the structure maps $S^1 wedge X_nrightarrow X_n+1$. One can associate a generalized cohomology theory to such a spectrum.
My question is whether these two notions are etymologically related. It would be amusing since, in some sense, the field of derived algebraic geometry seeks to merge them into one.
ag.algebraic-geometry at.algebraic-topology etymology
ag.algebraic-geometry at.algebraic-topology etymology
asked Aug 27 '18 at 8:15
Aknazar KazhymuratAknazar Kazhymurat
914826
914826
3
$begingroup$
There is also the spectrum of an operator which could be relevant. In what sense does DAG "seek to merge them into one"?
$endgroup$
– Piotr Achinger
Aug 27 '18 at 8:20
$begingroup$
@PiotrAchinger in the sense that spectral schemes are locally modelled on highly structured ring spectra. Somewhat loose analogy, I admit
$endgroup$
– Aknazar Kazhymurat
Aug 27 '18 at 9:19
3
$begingroup$
Words can be etymologically related if they have the same or close roots, like e.g. spectrum, specter, respect, specular, spectacular.... But what is the meaning of "etymologically related" referred to notions?
$endgroup$
– Pietro Majer
Aug 27 '18 at 9:20
1
$begingroup$
@PiotrAchinger as for spectrum of operator, its etymology is pretty close to etymology of the spectrum of commutative ring, I believe
$endgroup$
– Aknazar Kazhymurat
Aug 27 '18 at 9:22
2
$begingroup$
Maybe the choice of the word "etymology" is a bit misleading, as it refer to words and their roots, and here there is but one word. I understand the question is, when spectrum was introduced in science (I believe the first use was related to light refraction), and what logic path extended its use from optics to electromagnetism, chemistry, operator theory, and all various uses in mathematics.
$endgroup$
– Pietro Majer
Aug 27 '18 at 9:48
|
show 1 more comment
3
$begingroup$
There is also the spectrum of an operator which could be relevant. In what sense does DAG "seek to merge them into one"?
$endgroup$
– Piotr Achinger
Aug 27 '18 at 8:20
$begingroup$
@PiotrAchinger in the sense that spectral schemes are locally modelled on highly structured ring spectra. Somewhat loose analogy, I admit
$endgroup$
– Aknazar Kazhymurat
Aug 27 '18 at 9:19
3
$begingroup$
Words can be etymologically related if they have the same or close roots, like e.g. spectrum, specter, respect, specular, spectacular.... But what is the meaning of "etymologically related" referred to notions?
$endgroup$
– Pietro Majer
Aug 27 '18 at 9:20
1
$begingroup$
@PiotrAchinger as for spectrum of operator, its etymology is pretty close to etymology of the spectrum of commutative ring, I believe
$endgroup$
– Aknazar Kazhymurat
Aug 27 '18 at 9:22
2
$begingroup$
Maybe the choice of the word "etymology" is a bit misleading, as it refer to words and their roots, and here there is but one word. I understand the question is, when spectrum was introduced in science (I believe the first use was related to light refraction), and what logic path extended its use from optics to electromagnetism, chemistry, operator theory, and all various uses in mathematics.
$endgroup$
– Pietro Majer
Aug 27 '18 at 9:48
3
3
$begingroup$
There is also the spectrum of an operator which could be relevant. In what sense does DAG "seek to merge them into one"?
$endgroup$
– Piotr Achinger
Aug 27 '18 at 8:20
$begingroup$
There is also the spectrum of an operator which could be relevant. In what sense does DAG "seek to merge them into one"?
$endgroup$
– Piotr Achinger
Aug 27 '18 at 8:20
$begingroup$
@PiotrAchinger in the sense that spectral schemes are locally modelled on highly structured ring spectra. Somewhat loose analogy, I admit
$endgroup$
– Aknazar Kazhymurat
Aug 27 '18 at 9:19
$begingroup$
@PiotrAchinger in the sense that spectral schemes are locally modelled on highly structured ring spectra. Somewhat loose analogy, I admit
$endgroup$
– Aknazar Kazhymurat
Aug 27 '18 at 9:19
3
3
$begingroup$
Words can be etymologically related if they have the same or close roots, like e.g. spectrum, specter, respect, specular, spectacular.... But what is the meaning of "etymologically related" referred to notions?
$endgroup$
– Pietro Majer
Aug 27 '18 at 9:20
$begingroup$
Words can be etymologically related if they have the same or close roots, like e.g. spectrum, specter, respect, specular, spectacular.... But what is the meaning of "etymologically related" referred to notions?
$endgroup$
– Pietro Majer
Aug 27 '18 at 9:20
1
1
$begingroup$
@PiotrAchinger as for spectrum of operator, its etymology is pretty close to etymology of the spectrum of commutative ring, I believe
$endgroup$
– Aknazar Kazhymurat
Aug 27 '18 at 9:22
$begingroup$
@PiotrAchinger as for spectrum of operator, its etymology is pretty close to etymology of the spectrum of commutative ring, I believe
$endgroup$
– Aknazar Kazhymurat
Aug 27 '18 at 9:22
2
2
$begingroup$
Maybe the choice of the word "etymology" is a bit misleading, as it refer to words and their roots, and here there is but one word. I understand the question is, when spectrum was introduced in science (I believe the first use was related to light refraction), and what logic path extended its use from optics to electromagnetism, chemistry, operator theory, and all various uses in mathematics.
$endgroup$
– Pietro Majer
Aug 27 '18 at 9:48
$begingroup$
Maybe the choice of the word "etymology" is a bit misleading, as it refer to words and their roots, and here there is but one word. I understand the question is, when spectrum was introduced in science (I believe the first use was related to light refraction), and what logic path extended its use from optics to electromagnetism, chemistry, operator theory, and all various uses in mathematics.
$endgroup$
– Pietro Majer
Aug 27 '18 at 9:48
|
show 1 more comment
1 Answer
1
active
oldest
votes
$begingroup$
No, they are not etymologically related. The early development of stable homotopy theory happened simultaneously with the early developments of scheme theory, so certainly neither terminology was influenced by the other.
Grothendieck's choice of terminology of the "spectrum" of a ring comes from functional analysis. One can speak of the eigenvalue spectrum of an operator, which can be generalized to the spectrum of a whole family of mutually commuting operators, which can be abstracted to the (Gelfand) spectrum of a commutative $C^ast$-algebra. The Gelfand-Naimark theorem says that the $C^ast$-algebra is canonically the algebra of functions on the topological space given by the spectrum, just as in scheme theory.
Spectra in topology were introduced by Lima and his advisor Spanier. It is a minor mystery why they chose the name "spectrum", but most likely it is used in the second sense of this definition:
Physics.
(a) An array of entities, as light waves or particles, ordered in accordance with the magnitudes of a common physical property, as wavelength or mass: often the band of colors produced when sunlight is passed through a prism, comprising red, orange, yellow, green, blue, indigo, and violet. (b) This band or series of colors together with extensions at the ends that are not visible to the eye, but that can be studied by means of photography, heat effects, etc., and that are produced by the dispersion of radiant energy other than ordinary light rays. Compare band spectrum, electromagnetic spectrum, mass spectrum.
- A broad range of varied but related ideas or objects, the individual features of which tend to overlap so as to form a continuous series or sequence: the spectrum of political beliefs.
$endgroup$
$begingroup$
Moreover its quite puzzling how bad the match between the physical "spectrum" of a system and the set of eigenvalues (of its energy operator) is. Namely the measurable spectrum is composed of differences in the eigenvalues, rather than the eigenvalues themselves!
$endgroup$
– Rudi_Birnbaum
Aug 27 '18 at 9:21
4
$begingroup$
@Rudi_Birnbaum It's puzzling how good the match is! The notion of eigenvalue spectrum and spectral decomposition of an operator predates quantum mechanics.
$endgroup$
– Dan Petersen
Aug 27 '18 at 9:26
$begingroup$
I wonder if things like Goodwillie calculus can actually bring together spectra of homotopy theory and spectra of operators
$endgroup$
– მამუკა ჯიბლაძე
Aug 27 '18 at 11:20
1
$begingroup$
If it's really a mystery why Lima and Spanier chose the name "spectrum", then it seems unlikely to me that they didn't at least have the physics / functional analysis meaning of the word in mind when they chose it. I don't see how the second definition above is applicable at all.
$endgroup$
– Tim Campion
Aug 27 '18 at 13:03
1
$begingroup$
@Tim I'm imagining something very pedestrian like Lima looking up 'sequence' in a thesaurus, going from there to 'range', and from there to 'spectrum'. But yes, it could also be something more imaginative, like a decomposition of a stable homotopy type into different "wavelengths" $X_n$.
$endgroup$
– Dan Petersen
Aug 27 '18 at 14:04
|
show 1 more comment
Your Answer
StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "504"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);
else
createEditor();
);
function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f309204%2fetymology-of-spectrum-in-algebraic-geometry-and-algebraic-topology%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
No, they are not etymologically related. The early development of stable homotopy theory happened simultaneously with the early developments of scheme theory, so certainly neither terminology was influenced by the other.
Grothendieck's choice of terminology of the "spectrum" of a ring comes from functional analysis. One can speak of the eigenvalue spectrum of an operator, which can be generalized to the spectrum of a whole family of mutually commuting operators, which can be abstracted to the (Gelfand) spectrum of a commutative $C^ast$-algebra. The Gelfand-Naimark theorem says that the $C^ast$-algebra is canonically the algebra of functions on the topological space given by the spectrum, just as in scheme theory.
Spectra in topology were introduced by Lima and his advisor Spanier. It is a minor mystery why they chose the name "spectrum", but most likely it is used in the second sense of this definition:
Physics.
(a) An array of entities, as light waves or particles, ordered in accordance with the magnitudes of a common physical property, as wavelength or mass: often the band of colors produced when sunlight is passed through a prism, comprising red, orange, yellow, green, blue, indigo, and violet. (b) This band or series of colors together with extensions at the ends that are not visible to the eye, but that can be studied by means of photography, heat effects, etc., and that are produced by the dispersion of radiant energy other than ordinary light rays. Compare band spectrum, electromagnetic spectrum, mass spectrum.
- A broad range of varied but related ideas or objects, the individual features of which tend to overlap so as to form a continuous series or sequence: the spectrum of political beliefs.
$endgroup$
$begingroup$
Moreover its quite puzzling how bad the match between the physical "spectrum" of a system and the set of eigenvalues (of its energy operator) is. Namely the measurable spectrum is composed of differences in the eigenvalues, rather than the eigenvalues themselves!
$endgroup$
– Rudi_Birnbaum
Aug 27 '18 at 9:21
4
$begingroup$
@Rudi_Birnbaum It's puzzling how good the match is! The notion of eigenvalue spectrum and spectral decomposition of an operator predates quantum mechanics.
$endgroup$
– Dan Petersen
Aug 27 '18 at 9:26
$begingroup$
I wonder if things like Goodwillie calculus can actually bring together spectra of homotopy theory and spectra of operators
$endgroup$
– მამუკა ჯიბლაძე
Aug 27 '18 at 11:20
1
$begingroup$
If it's really a mystery why Lima and Spanier chose the name "spectrum", then it seems unlikely to me that they didn't at least have the physics / functional analysis meaning of the word in mind when they chose it. I don't see how the second definition above is applicable at all.
$endgroup$
– Tim Campion
Aug 27 '18 at 13:03
1
$begingroup$
@Tim I'm imagining something very pedestrian like Lima looking up 'sequence' in a thesaurus, going from there to 'range', and from there to 'spectrum'. But yes, it could also be something more imaginative, like a decomposition of a stable homotopy type into different "wavelengths" $X_n$.
$endgroup$
– Dan Petersen
Aug 27 '18 at 14:04
|
show 1 more comment
$begingroup$
No, they are not etymologically related. The early development of stable homotopy theory happened simultaneously with the early developments of scheme theory, so certainly neither terminology was influenced by the other.
Grothendieck's choice of terminology of the "spectrum" of a ring comes from functional analysis. One can speak of the eigenvalue spectrum of an operator, which can be generalized to the spectrum of a whole family of mutually commuting operators, which can be abstracted to the (Gelfand) spectrum of a commutative $C^ast$-algebra. The Gelfand-Naimark theorem says that the $C^ast$-algebra is canonically the algebra of functions on the topological space given by the spectrum, just as in scheme theory.
Spectra in topology were introduced by Lima and his advisor Spanier. It is a minor mystery why they chose the name "spectrum", but most likely it is used in the second sense of this definition:
Physics.
(a) An array of entities, as light waves or particles, ordered in accordance with the magnitudes of a common physical property, as wavelength or mass: often the band of colors produced when sunlight is passed through a prism, comprising red, orange, yellow, green, blue, indigo, and violet. (b) This band or series of colors together with extensions at the ends that are not visible to the eye, but that can be studied by means of photography, heat effects, etc., and that are produced by the dispersion of radiant energy other than ordinary light rays. Compare band spectrum, electromagnetic spectrum, mass spectrum.
- A broad range of varied but related ideas or objects, the individual features of which tend to overlap so as to form a continuous series or sequence: the spectrum of political beliefs.
$endgroup$
$begingroup$
Moreover its quite puzzling how bad the match between the physical "spectrum" of a system and the set of eigenvalues (of its energy operator) is. Namely the measurable spectrum is composed of differences in the eigenvalues, rather than the eigenvalues themselves!
$endgroup$
– Rudi_Birnbaum
Aug 27 '18 at 9:21
4
$begingroup$
@Rudi_Birnbaum It's puzzling how good the match is! The notion of eigenvalue spectrum and spectral decomposition of an operator predates quantum mechanics.
$endgroup$
– Dan Petersen
Aug 27 '18 at 9:26
$begingroup$
I wonder if things like Goodwillie calculus can actually bring together spectra of homotopy theory and spectra of operators
$endgroup$
– მამუკა ჯიბლაძე
Aug 27 '18 at 11:20
1
$begingroup$
If it's really a mystery why Lima and Spanier chose the name "spectrum", then it seems unlikely to me that they didn't at least have the physics / functional analysis meaning of the word in mind when they chose it. I don't see how the second definition above is applicable at all.
$endgroup$
– Tim Campion
Aug 27 '18 at 13:03
1
$begingroup$
@Tim I'm imagining something very pedestrian like Lima looking up 'sequence' in a thesaurus, going from there to 'range', and from there to 'spectrum'. But yes, it could also be something more imaginative, like a decomposition of a stable homotopy type into different "wavelengths" $X_n$.
$endgroup$
– Dan Petersen
Aug 27 '18 at 14:04
|
show 1 more comment
$begingroup$
No, they are not etymologically related. The early development of stable homotopy theory happened simultaneously with the early developments of scheme theory, so certainly neither terminology was influenced by the other.
Grothendieck's choice of terminology of the "spectrum" of a ring comes from functional analysis. One can speak of the eigenvalue spectrum of an operator, which can be generalized to the spectrum of a whole family of mutually commuting operators, which can be abstracted to the (Gelfand) spectrum of a commutative $C^ast$-algebra. The Gelfand-Naimark theorem says that the $C^ast$-algebra is canonically the algebra of functions on the topological space given by the spectrum, just as in scheme theory.
Spectra in topology were introduced by Lima and his advisor Spanier. It is a minor mystery why they chose the name "spectrum", but most likely it is used in the second sense of this definition:
Physics.
(a) An array of entities, as light waves or particles, ordered in accordance with the magnitudes of a common physical property, as wavelength or mass: often the band of colors produced when sunlight is passed through a prism, comprising red, orange, yellow, green, blue, indigo, and violet. (b) This band or series of colors together with extensions at the ends that are not visible to the eye, but that can be studied by means of photography, heat effects, etc., and that are produced by the dispersion of radiant energy other than ordinary light rays. Compare band spectrum, electromagnetic spectrum, mass spectrum.
- A broad range of varied but related ideas or objects, the individual features of which tend to overlap so as to form a continuous series or sequence: the spectrum of political beliefs.
$endgroup$
No, they are not etymologically related. The early development of stable homotopy theory happened simultaneously with the early developments of scheme theory, so certainly neither terminology was influenced by the other.
Grothendieck's choice of terminology of the "spectrum" of a ring comes from functional analysis. One can speak of the eigenvalue spectrum of an operator, which can be generalized to the spectrum of a whole family of mutually commuting operators, which can be abstracted to the (Gelfand) spectrum of a commutative $C^ast$-algebra. The Gelfand-Naimark theorem says that the $C^ast$-algebra is canonically the algebra of functions on the topological space given by the spectrum, just as in scheme theory.
Spectra in topology were introduced by Lima and his advisor Spanier. It is a minor mystery why they chose the name "spectrum", but most likely it is used in the second sense of this definition:
Physics.
(a) An array of entities, as light waves or particles, ordered in accordance with the magnitudes of a common physical property, as wavelength or mass: often the band of colors produced when sunlight is passed through a prism, comprising red, orange, yellow, green, blue, indigo, and violet. (b) This band or series of colors together with extensions at the ends that are not visible to the eye, but that can be studied by means of photography, heat effects, etc., and that are produced by the dispersion of radiant energy other than ordinary light rays. Compare band spectrum, electromagnetic spectrum, mass spectrum.
- A broad range of varied but related ideas or objects, the individual features of which tend to overlap so as to form a continuous series or sequence: the spectrum of political beliefs.
edited Aug 27 '18 at 8:57
answered Aug 27 '18 at 8:48
Dan PetersenDan Petersen
26k276142
26k276142
$begingroup$
Moreover its quite puzzling how bad the match between the physical "spectrum" of a system and the set of eigenvalues (of its energy operator) is. Namely the measurable spectrum is composed of differences in the eigenvalues, rather than the eigenvalues themselves!
$endgroup$
– Rudi_Birnbaum
Aug 27 '18 at 9:21
4
$begingroup$
@Rudi_Birnbaum It's puzzling how good the match is! The notion of eigenvalue spectrum and spectral decomposition of an operator predates quantum mechanics.
$endgroup$
– Dan Petersen
Aug 27 '18 at 9:26
$begingroup$
I wonder if things like Goodwillie calculus can actually bring together spectra of homotopy theory and spectra of operators
$endgroup$
– მამუკა ჯიბლაძე
Aug 27 '18 at 11:20
1
$begingroup$
If it's really a mystery why Lima and Spanier chose the name "spectrum", then it seems unlikely to me that they didn't at least have the physics / functional analysis meaning of the word in mind when they chose it. I don't see how the second definition above is applicable at all.
$endgroup$
– Tim Campion
Aug 27 '18 at 13:03
1
$begingroup$
@Tim I'm imagining something very pedestrian like Lima looking up 'sequence' in a thesaurus, going from there to 'range', and from there to 'spectrum'. But yes, it could also be something more imaginative, like a decomposition of a stable homotopy type into different "wavelengths" $X_n$.
$endgroup$
– Dan Petersen
Aug 27 '18 at 14:04
|
show 1 more comment
$begingroup$
Moreover its quite puzzling how bad the match between the physical "spectrum" of a system and the set of eigenvalues (of its energy operator) is. Namely the measurable spectrum is composed of differences in the eigenvalues, rather than the eigenvalues themselves!
$endgroup$
– Rudi_Birnbaum
Aug 27 '18 at 9:21
4
$begingroup$
@Rudi_Birnbaum It's puzzling how good the match is! The notion of eigenvalue spectrum and spectral decomposition of an operator predates quantum mechanics.
$endgroup$
– Dan Petersen
Aug 27 '18 at 9:26
$begingroup$
I wonder if things like Goodwillie calculus can actually bring together spectra of homotopy theory and spectra of operators
$endgroup$
– მამუკა ჯიბლაძე
Aug 27 '18 at 11:20
1
$begingroup$
If it's really a mystery why Lima and Spanier chose the name "spectrum", then it seems unlikely to me that they didn't at least have the physics / functional analysis meaning of the word in mind when they chose it. I don't see how the second definition above is applicable at all.
$endgroup$
– Tim Campion
Aug 27 '18 at 13:03
1
$begingroup$
@Tim I'm imagining something very pedestrian like Lima looking up 'sequence' in a thesaurus, going from there to 'range', and from there to 'spectrum'. But yes, it could also be something more imaginative, like a decomposition of a stable homotopy type into different "wavelengths" $X_n$.
$endgroup$
– Dan Petersen
Aug 27 '18 at 14:04
$begingroup$
Moreover its quite puzzling how bad the match between the physical "spectrum" of a system and the set of eigenvalues (of its energy operator) is. Namely the measurable spectrum is composed of differences in the eigenvalues, rather than the eigenvalues themselves!
$endgroup$
– Rudi_Birnbaum
Aug 27 '18 at 9:21
$begingroup$
Moreover its quite puzzling how bad the match between the physical "spectrum" of a system and the set of eigenvalues (of its energy operator) is. Namely the measurable spectrum is composed of differences in the eigenvalues, rather than the eigenvalues themselves!
$endgroup$
– Rudi_Birnbaum
Aug 27 '18 at 9:21
4
4
$begingroup$
@Rudi_Birnbaum It's puzzling how good the match is! The notion of eigenvalue spectrum and spectral decomposition of an operator predates quantum mechanics.
$endgroup$
– Dan Petersen
Aug 27 '18 at 9:26
$begingroup$
@Rudi_Birnbaum It's puzzling how good the match is! The notion of eigenvalue spectrum and spectral decomposition of an operator predates quantum mechanics.
$endgroup$
– Dan Petersen
Aug 27 '18 at 9:26
$begingroup$
I wonder if things like Goodwillie calculus can actually bring together spectra of homotopy theory and spectra of operators
$endgroup$
– მამუკა ჯიბლაძე
Aug 27 '18 at 11:20
$begingroup$
I wonder if things like Goodwillie calculus can actually bring together spectra of homotopy theory and spectra of operators
$endgroup$
– მამუკა ჯიბლაძე
Aug 27 '18 at 11:20
1
1
$begingroup$
If it's really a mystery why Lima and Spanier chose the name "spectrum", then it seems unlikely to me that they didn't at least have the physics / functional analysis meaning of the word in mind when they chose it. I don't see how the second definition above is applicable at all.
$endgroup$
– Tim Campion
Aug 27 '18 at 13:03
$begingroup$
If it's really a mystery why Lima and Spanier chose the name "spectrum", then it seems unlikely to me that they didn't at least have the physics / functional analysis meaning of the word in mind when they chose it. I don't see how the second definition above is applicable at all.
$endgroup$
– Tim Campion
Aug 27 '18 at 13:03
1
1
$begingroup$
@Tim I'm imagining something very pedestrian like Lima looking up 'sequence' in a thesaurus, going from there to 'range', and from there to 'spectrum'. But yes, it could also be something more imaginative, like a decomposition of a stable homotopy type into different "wavelengths" $X_n$.
$endgroup$
– Dan Petersen
Aug 27 '18 at 14:04
$begingroup$
@Tim I'm imagining something very pedestrian like Lima looking up 'sequence' in a thesaurus, going from there to 'range', and from there to 'spectrum'. But yes, it could also be something more imaginative, like a decomposition of a stable homotopy type into different "wavelengths" $X_n$.
$endgroup$
– Dan Petersen
Aug 27 '18 at 14:04
|
show 1 more comment
Thanks for contributing an answer to MathOverflow!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f309204%2fetymology-of-spectrum-in-algebraic-geometry-and-algebraic-topology%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
3
$begingroup$
There is also the spectrum of an operator which could be relevant. In what sense does DAG "seek to merge them into one"?
$endgroup$
– Piotr Achinger
Aug 27 '18 at 8:20
$begingroup$
@PiotrAchinger in the sense that spectral schemes are locally modelled on highly structured ring spectra. Somewhat loose analogy, I admit
$endgroup$
– Aknazar Kazhymurat
Aug 27 '18 at 9:19
3
$begingroup$
Words can be etymologically related if they have the same or close roots, like e.g. spectrum, specter, respect, specular, spectacular.... But what is the meaning of "etymologically related" referred to notions?
$endgroup$
– Pietro Majer
Aug 27 '18 at 9:20
1
$begingroup$
@PiotrAchinger as for spectrum of operator, its etymology is pretty close to etymology of the spectrum of commutative ring, I believe
$endgroup$
– Aknazar Kazhymurat
Aug 27 '18 at 9:22
2
$begingroup$
Maybe the choice of the word "etymology" is a bit misleading, as it refer to words and their roots, and here there is but one word. I understand the question is, when spectrum was introduced in science (I believe the first use was related to light refraction), and what logic path extended its use from optics to electromagnetism, chemistry, operator theory, and all various uses in mathematics.
$endgroup$
– Pietro Majer
Aug 27 '18 at 9:48