28
$\begingroup$

In Riemannian geometry, the "lowering indices" operator is denoted by $\flat:TM \to T^*M$ and the "raising indices" operator by $\sharp:T^*M \to TM$. These isomorphisms are sometimes referred to as musical isomorphisms, as stated on Wikipedia and in several other sources. Surely, the motivation for such terminology is clear. I would nevertheless like to know who decided to adpot these (rather amusing) notations, so here is a question:

What was the first paper / textbook that made use of the notations $\flat$ and $\sharp$?

and a possible follow-up question:

If such notations were not adopted widely after the first appearance, who popularized them?

Improve this question
$\endgroup$
1
  • 3
    $\begingroup$ Wasn't it Marcel Berger who introduced them? I might be wrong... $\endgroup$
    – Olivier Bégassat
    Commented Jun 29, 2011 at 1:49

2 Answers 2

Reset to default
20
$\begingroup$

Marcel Berger, on p. 696 of his Springer-book: A panoramic view of Riemannian Geometry, writes "Next we define the canonical musical duality", referring to a footnote: "These dualities are called musical because they are often written with symbols like ♭: V $\rightarrow$ V* and ♯: V* $\rightarrow$ V."

Even if this is not the first metioning of "musical", we can assume that Berger invented that expression, because in a panoramic viev of over 800 pages, a reference to another originator could have been expected.

Further Rob Kusner's hint here # or "sharp" is what Marcel Berger calls a "musical isomorphism" and Olivier Bégassat's comment here seem to provide sufficient evidence to determine the inventor.

To answer this question completely, one would have to read through Berger's complete works. But if we wait for a while, this task will probably be reduced to touching a button.

Improve this answer
$\endgroup$
14
$\begingroup$

The musical isomorphisms already appear in 1971 on page 21 of BERGER M. et al, Le spectre d'une variete riemannienne, Lecture Notes in Math. 194, 1971, Springer, see http://ci.nii.ac.jp/naid/10003477917/

However, I am not convinced that this is the first place where they appear, or that Berger was the inventor. One would have to trace German textbooks in Riemannian geometry from the 1960s or perhaps earlier. Interesting question!

Improve this answer
$\endgroup$
3
  • 3
    $\begingroup$ Maybe someone could ask Berger directly? $\endgroup$
    – Deane Yang
    Commented Apr 11, 2013 at 12:56
  • 12
    $\begingroup$ I did, but he does not remember. $\endgroup$
    – Mikhail Katz
    Commented Apr 13, 2013 at 20:12
  • 1
    $\begingroup$ I found an earlier reference, also from Berger, in: Lascoux, A., Berger, M. (1970). Varietes C ∞ — Varietes Riemanniennes. In: Variétés Kähleriennes Compactes. Lecture Notes in Mathematics, vol 154. link.springer.com/chapter/10.1007/BFb0069332 $\endgroup$
    – duetosymmetry
    Commented Apr 26 at 15:27

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .