Namespaces
Variants
Actions

Difference between revisions of "Synthetic differential geometry"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
Geometers like S. Lie, E. Cartan and their contemporaries explicitly used infinitesimal real numbers, infinitesimal curves, etc. and Lie referred to methods based on infinitesimals as  "synthetic" , as opposed to  "analytic"  (cf. [[#References|[a1]]]). In present day mathematics, based on set-theoretic foundations, such infinitesimal reals do not exist, and the synthetic methods cannot be made mathematically rigorous in a direct way.
+
<!--
 +
s0919201.png
 +
$#A+1 = 10 n = 1
 +
$#C+1 = 10 : ~/encyclopedia/old_files/data/S091/S.0901920 Synthetic differential geometry
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
The phrase "synthetic differential geometry" usually refers to a development initiated by F.W. Lawvere's 1967 lecture (later published as [[#References|[a2]]]). This development is based on category-theoretic rather than set-theoretic foundations, and is compatible with infinitesimals. For example, one of the basic axioms (often called the Kock–Lawvere axiom) states that for the subobject <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091920/s0919201.png" /> of the line <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091920/s0919202.png" /> the mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091920/s0919203.png" />, sending <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091920/s0919204.png" /> to the "infinitesimal" straight line <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091920/s0919205.png" />, is an isomorphism. Thus, the derivative of a function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091920/s0919206.png" /> at a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091920/s0919207.png" /> can be defined in a purely algebraic way as the unique number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091920/s0919208.png" /> for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091920/s0919209.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091920/s09192010.png" />; no limits are involved in this definition. Much of "infinitesimal" differential geometry, such as the theory of connections, curvature, etc., can be similarly developed in a purely algebraic fashion, by explicitly using infinitesimals. It is remarkable that in the context of synthetic differential geometry infinitesimal arguments such as those by Cartan literally make sense, and are mathematically rigorous.
+
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
 +
Geometers like S. Lie, E. Cartan and their contemporaries explicitly used infinitesimal real numbers, infinitesimal curves, etc. and Lie referred to methods based on infinitesimals as "synthetic" , as opposed to "analytic" (cf. [[#References|[a1]]]). In present day mathematics, based on set-theoretic foundations, such infinitesimal reals do not exist, and the synthetic methods cannot be made mathematically rigorous in a direct way.
 +
 
 +
The phrase "synthetic differential geometry" usually refers to a development initiated by F.W. Lawvere's 1967 lecture (later published as [[#References|[a2]]]). This development is based on category-theoretic rather than set-theoretic foundations, and is compatible with infinitesimals. For example, one of the basic axioms (often called the Kock–Lawvere axiom) states that for the subobject $  D= \{ x :  x  ^ {2} = 0 \} $
 +
of the line $  \mathbf R $
 +
the mapping $  \mathbf R \times \mathbf R \rightarrow \mathbf R  ^ {D} $,  
 +
sending $  ( a, b) $
 +
to the "infinitesimal" straight line $  ax+ b $,  
 +
is an isomorphism. Thus, the derivative of a function $  f: \mathbf R \rightarrow \mathbf R $
 +
at a point $  t \in \mathbf R $
 +
can be defined in a purely algebraic way as the unique number $  f ^ { \prime } ( t) $
 +
for which $  f( t+ x)= f ^ { \prime } ( t)+ x \cdot f ^ { \prime } ( t) $
 +
for all $  x \in D $;  
 +
no limits are involved in this definition. Much of "infinitesimal" differential geometry, such as the theory of connections, curvature, etc., can be similarly developed in a purely algebraic fashion, by explicitly using infinitesimals. It is remarkable that in the context of synthetic differential geometry infinitesimal arguments such as those by Cartan literally make sense, and are mathematically rigorous.
  
 
The relation with ordinary [[Differential geometry|differential geometry]] is established via suitable models, as presented in [[#References|[a3]]] and [[#References|[a4]]]. These models are Grothendieck topoi (cf. [[Topos|Topos]]), much like the ones in algebraic geometry, but based on rings of smooth functions on manifolds, and quotients of such rings by ordinary ideals.
 
The relation with ordinary [[Differential geometry|differential geometry]] is established via suitable models, as presented in [[#References|[a3]]] and [[#References|[a4]]]. These models are Grothendieck topoi (cf. [[Topos|Topos]]), much like the ones in algebraic geometry, but based on rings of smooth functions on manifolds, and quotients of such rings by ordinary ideals.
Line 12: Line 34:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> S. Lie,   "Allgemeine Theorie der partiellen Differentialgleichungen erster Ordnung" ''Math. Ann.'' , '''9''' (1876) pp. 245–296</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> F.W. Lawvere,   "Categorical dynamics" A. Kock (ed.) , ''Topos theoretic methods in geometry'' , Aarhus Univ. (1979) pp. 1–28</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> E. Dubuc,   "<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091920/s09192011.png" />-schemes" ''Amer. J. Math.'' , '''103''' (1981) pp. 683–690</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> I. Moerdijk,   G.E. Reyes,   "A smooth version of the Zariski topos" ''Adv. Math.'' , '''65''' (1987) pp. 229–253</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> R. Lavendhomme,   "Leçons de la géométrie différentielle synthétique naive" , Univ. Louvain (1987)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> A. Robinson,   "Non-standard analysis" , North-Holland (1966)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> A. Kock,   "Synthetic differential geometry" , Cambridge Univ. Press (1981)</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top"> I. Moerdijk,   G.E. Reyes,   "Models for smooth infinitesimal analysis" , Springer (1991)</TD></TR></table>
+
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> S. Lie, "Allgemeine Theorie der partiellen Differentialgleichungen erster Ordnung" ''Math. Ann.'' , '''9''' (1876) pp. 245–296 {{MR|1509861}} {{ZBL|09.0261.01}} {{ZBL|07.0225.01}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> F.W. Lawvere, "Categorical dynamics" A. Kock (ed.) , ''Topos theoretic methods in geometry'' , Aarhus Univ. (1979) pp. 1–28 {{MR|0552656}} {{ZBL|0403.18005}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> E. Dubuc, "<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091920/s09192011.png" />-schemes" ''Amer. J. Math.'' , '''103''' (1981) pp. 683–690 {{MR|0623133}} {{ZBL|0483.58003}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> I. Moerdijk, G.E. Reyes, "A smooth version of the Zariski topos" ''Adv. Math.'' , '''65''' (1987) pp. 229–253 {{MR|0904724}} {{ZBL|0648.18006}} </TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> R. Lavendhomme, "Leçons de la géométrie différentielle synthétique naive" , Univ. Louvain (1987)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> A. Robinson, "Non-standard analysis" , North-Holland (1966) {{MR|0205854}} {{ZBL|0151.00803}} </TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> A. Kock, "Synthetic differential geometry" , Cambridge Univ. Press (1981) {{MR|0649622}} {{MR|0596153}} {{ZBL|0487.18006}} {{ZBL|0466.51008}} </TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top"> I. Moerdijk, G.E. Reyes, "Models for smooth infinitesimal analysis" , Springer (1991) {{MR|1083355}} {{ZBL|0715.18001}} </TD></TR></table>

Latest revision as of 08:24, 6 June 2020


Geometers like S. Lie, E. Cartan and their contemporaries explicitly used infinitesimal real numbers, infinitesimal curves, etc. and Lie referred to methods based on infinitesimals as "synthetic" , as opposed to "analytic" (cf. [a1]). In present day mathematics, based on set-theoretic foundations, such infinitesimal reals do not exist, and the synthetic methods cannot be made mathematically rigorous in a direct way.

The phrase "synthetic differential geometry" usually refers to a development initiated by F.W. Lawvere's 1967 lecture (later published as [a2]). This development is based on category-theoretic rather than set-theoretic foundations, and is compatible with infinitesimals. For example, one of the basic axioms (often called the Kock–Lawvere axiom) states that for the subobject $ D= \{ x : x ^ {2} = 0 \} $ of the line $ \mathbf R $ the mapping $ \mathbf R \times \mathbf R \rightarrow \mathbf R ^ {D} $, sending $ ( a, b) $ to the "infinitesimal" straight line $ ax+ b $, is an isomorphism. Thus, the derivative of a function $ f: \mathbf R \rightarrow \mathbf R $ at a point $ t \in \mathbf R $ can be defined in a purely algebraic way as the unique number $ f ^ { \prime } ( t) $ for which $ f( t+ x)= f ^ { \prime } ( t)+ x \cdot f ^ { \prime } ( t) $ for all $ x \in D $; no limits are involved in this definition. Much of "infinitesimal" differential geometry, such as the theory of connections, curvature, etc., can be similarly developed in a purely algebraic fashion, by explicitly using infinitesimals. It is remarkable that in the context of synthetic differential geometry infinitesimal arguments such as those by Cartan literally make sense, and are mathematically rigorous.

The relation with ordinary differential geometry is established via suitable models, as presented in [a3] and [a4]. These models are Grothendieck topoi (cf. Topos), much like the ones in algebraic geometry, but based on rings of smooth functions on manifolds, and quotients of such rings by ordinary ideals.

Following Lawvere, every topos can be viewed as a universe of sets, with an intrinsic logic which is intuitionistic. Thus, it is possible to give foundations of synthetic differential geometry which are based on intuitionistic set theory rather than on category theory (this is done in [a5]).

It should be emphasized that the infinitesimals used in synthetic differential geometry are generally nilpotent, and hence cannot be accounted for in Robinson's non-standard analysis. The compatibility of non-standard analysis with synthetic differential geometry is demonstrated in [a4].

For detailed expositions of various aspects of synthetic differential geometry see [a5], [a7], [a8].

References

[a1] S. Lie, "Allgemeine Theorie der partiellen Differentialgleichungen erster Ordnung" Math. Ann. , 9 (1876) pp. 245–296 MR1509861 Zbl 09.0261.01 Zbl 07.0225.01
[a2] F.W. Lawvere, "Categorical dynamics" A. Kock (ed.) , Topos theoretic methods in geometry , Aarhus Univ. (1979) pp. 1–28 MR0552656 Zbl 0403.18005
[a3] E. Dubuc, "-schemes" Amer. J. Math. , 103 (1981) pp. 683–690 MR0623133 Zbl 0483.58003
[a4] I. Moerdijk, G.E. Reyes, "A smooth version of the Zariski topos" Adv. Math. , 65 (1987) pp. 229–253 MR0904724 Zbl 0648.18006
[a5] R. Lavendhomme, "Leçons de la géométrie différentielle synthétique naive" , Univ. Louvain (1987)
[a6] A. Robinson, "Non-standard analysis" , North-Holland (1966) MR0205854 Zbl 0151.00803
[a7] A. Kock, "Synthetic differential geometry" , Cambridge Univ. Press (1981) MR0649622 MR0596153 Zbl 0487.18006 Zbl 0466.51008
[a8] I. Moerdijk, G.E. Reyes, "Models for smooth infinitesimal analysis" , Springer (1991) MR1083355 Zbl 0715.18001
How to Cite This Entry:
Synthetic differential geometry. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Synthetic_differential_geometry&oldid=15789
This article was adapted from an original article by I. Moerdijk (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article