16
$\begingroup$

Following advice from this post, I am in the process of translating Ehresmann's 1934 paper "Sur la Topologie de Certains Espaces Homogènes" from French to English.

French-English dictionaries online and Google translate are helping me out quite a bit. However, I'm confused about the standard usage of the word variété in French mathematics writing. It can be translated as either variety or manifold.

Does the phrase variété algébrique translate to algebraic variety, or algebraic manifold?

The difference is subtle, and maybe not all that important for my purposes in studying the Grassmann manifolds which are simultaneously algebraic varieties and topological manifolds, whence algebraic manifolds. Of course, I could think of Grassmann manifolds all the time as algebraic manifolds, but in translating the paper I want to have the same frame of mind as Ehresmann did when he wrote it.

  • 0
    Great! This is what I thought to be true. Thanks.2011-05-19

1 Answers 1

14

Nowadays (note the caveat!) the translation into English of "variété algébrique" is definitely "algebraic variety". To give an explicit example, the equation $y^2=x^2+x^3$ describes "une variété algébrique affine" and in English "an affine algebraic variety" , not "an algebraic manifold". Traditionally, if you wanted to translate "algebraic manifold" into French you would say "une variété algébrique non-singulière": the adjectives "régulière" is more recent and "lisse" even more recent (due to Grothendieck I would guess). I even remember reading the clumsy sentence "une variété algébrique non nécessairement non-singulière" just meaning "an algebraic variety" !

A standard pun/joke is "une variété algébrique n'est pas une variété" which translated becomes "an algebraic variety is not a manifold", a true but not sidesplitting statement.

Finally, in (differential ) topology I have never heard anything but variété suitably qualified: topologique, différentiable (différentielle), $\mathcal C^k$, à bord. The translations would be : topological, differentiable (differential), $\mathcal C^k$, manifold and manifold with boundary .

  • 0
    Well said, @Mathematician12342016-01-02