We’re rewarding the question askers & reputations are being recalculated! Read more.

Questions tagged [synthetic-differential]

Synthetic differential geometry is an axiomatic formulation of differential geometry in smooth toposes. The axioms ensure that a well-defined notion of infinitesimal spaces exists in the topos, whose existence concretely and usefully formalizes the wide-spread but often vague intuition about the role of infinitesimals in differential geometry.

Filter by
Sorted by
Tagged with
8
votes
1answer
301 views

The (co)tangent sheaf of a topological space

Let $X$ be a topological space (assume additional assumptions if needed) and denote by $\mathcal O _X$ its sheaf of $\Bbbk$-valued continuous functions where $\Bbbk$ is $\mathbb{R}$ or $\mathbb{C}$ ...
9
votes
1answer
563 views

Differential algebraic geometry vs Diffiety theory

Algebraic geometry is said to be useful to study not only specific solutions of polynomial equations but to understand the intrinsic properties of the totality of solutions of a system of equations. ...
9
votes
1answer
307 views

Constructive analysis and synthetic differential geometry

I am curious if (any of) the various inequivalent constructions of the real line in constructive mathematics can be used to build a model of Kock and Lawvere's synthetic differential geometry? In ...
14
votes
1answer
591 views

Query about SDG (Synthetic Differential Geometry)

(Edited 10/17/17): With the hope of obtaining informed responses on the following intriguing remark of Marta Bunge on the status of Synthetic Differential Geometry, I have added a third question to ...
9
votes
1answer
484 views

Relationship between synthetic differential geometry and differential cohesion?

I'm a big fan of synthetic differential geometry (or smooth infinitesimal analysis), as developed by Anders Kock and Bill Lawvere. It's a beautiful and intuitive geometric theory, which gives ...
4
votes
1answer
134 views

Semi-holonomic jets in synthetic differential geometry

Anders Kock's two texts on synthetic differential geometry (SDG) are a great place to get geometric intuition, especially when it comes to jets. Unfortunately, he doesn't seem to cover semi-holonomic ...
7
votes
0answers
150 views

Is integration smooth?

Let $M$ be a compact manifold and $\varphi:C^\infty(M)\rightarrow \mathbb{R}$ be a function which assigns to every $f\in C^\infty(M)$ the value $\int_M fdV.$ In a smooth topos which is a well adapted ...
2
votes
0answers
36 views

Characterization of formally étale morphisms between microlinear objects?

The following is taken from Penon's thesis, (d) at the top of page 44. Can anybody explain how to prove this? Let $f:M\to N$ be an arrow of microlinear objects. Then the square below is a ...
18
votes
1answer
1k views

What is meant by the inverse function theorem in algebraic geometry?

I heard several times the inverse function theorem fails in algebraic geometry. Now I realize I'm pretty confused by this. This question has two parts. The first part asks for the correct formulation ...
3
votes
1answer
138 views

Internal characterizations of lifting properties?

This is basically a restatement of this question. Two arrows $f,g$ are orthogonal, i.e satisfy $f\perp g$, iff the square below is a pullback $$\require{AMScd} \begin{CD} \mathsf C(B,X) @>{f^\...
4
votes
0answers
122 views

When are descriptions of formal unramifiedness/smoothness via lifting properties equivalent to those via induced arrows to pullbacks?

Formal unramifiedness of an arrow $f:M\rightarrow N$ in algebraic geometry or synthetic differential geometry in defined by asking the lifting problem below to have at most one solution (existence is ...
2
votes
0answers
70 views

Local diffeomorphism (étale maps) in terms of infinitesimal tubular neighborhood?

In this MO question I asked for some help with several definitions of formally etale maps. The definitions I'm asking about are 'isomorphism of tangent spaces', i.e the square below is a pullback $$\...
6
votes
0answers
484 views

Competing notions of formal étaleness

I'm writing some notes to myself on algebraic geometry and I'm trying to get the most conceptual definitions. Having arrived at formally étale morphisms, I am pretty desperate. Here is a list of ...
9
votes
1answer
420 views

Étale morphisms in SDG

On page 70 here, Kock defines a formally étale morphism $f:M\rightarrow N$ as one for which the following square is a pullback for each $d:\mathbf 1\rightarrow D$ $$\require{AMScd} \begin{CD} M^D @>...
13
votes
1answer
893 views

Intuition for the Cartan connection and “rolling without slipping” in Cartan geometry

Consider a Cartan geometry $\pi: \mathcal{G} \to M$ with Cartan connection $\omega$ modelled on the Klein geometry $(G, H)$. The Cartan connection is supposed to formalize what it means to "roll ...
4
votes
0answers
99 views

Resources on a smooth topos containing complex analytic/holomorphic geometry

In this question Urs Schreiber mentioned there are models in synthetic differential geometry of complex analytic geometry. First of all: When Urs writes complex analytic geometry, does he mean ...
4
votes
1answer
181 views

Lie functor preserves “surjections” in synthetic differential geometry?

In classical finite-dimensional differential geometry, the Lie functor preserves surjections, sending a surjective Lie group homomorphism to a surjective Lie algebra homomorphism. As pointed out ...
6
votes
1answer
461 views

Jets in synthetic differential geometry

As I understand it from Kostecki's notes, the $k$-jet $j^k f$ of a function $f: R^n \to R^m$ should be the map $$f^{D_k(n)} : {(R^n)}^{D_k(n)} \to (R^m)^{D_k(n)},$$ where $$D_k(n) = \{(x_1, \ldots, ...
46
votes
6answers
7k views

Synthetic vs. classical differential geometry

To provide context, I'm a differential geometry grad student from a physics background. I know some category theory (at the level of Simmons) and differential and Riemannian geometry (at the level of ...