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.

25 questions
Filter by
Sorted by
Tagged with
202 views

Constructions with Superschemes via Kan extensions

Let $\operatorname{CAlg}$ be the category of commutative rings (with unit) and $\operatorname{S-CAlg}$ the category of supercommutative $\mathbb{Z}/2$-graded rings. Then we have an adjoint triple (as ...
218 views

Geometric intuition for $R[x,y]/ (x^2,y^2)$, kinematic second tangent bundle, and Wraith axiom

This is a sort of continuation of this question. In synthetic differential geometry (SDG), we have $D\subset R$ comprised of the second order nilpotents. The Kock-Lawvere axiom (KL axiom) implies that ...
178 views

Examples of connection preserving maps in differential geometry

In synthetic differential geometry and tangent categories, linear connections on the tangent bundle are treated as a sort of algebraic gadgets that incorporate the tangent bundle. Like any other ...
129 views

Making area/volume calculations that use SIA rigorous

There are some intriguing "proofs" using Smooth Infinitesimal Analysis of theorems concerning areas and volumes. Some examples: A proof that $\sin'(0) = 1$. A proof that the surface area of a cone is ...
350 views

Intuition and analogue of Wraith axiom from synthetic differential geometry

In synthetic differential geometry, an object $M$ verifies the Wraith axiom if for all functions $\tau:D\times D\to M$ which are constant on the axes $\tau(d,0)=\tau(0,d)=\tau(0,0)$ for all $d\in D$, ...
739 views

Constructing computable synthetic differential geometry?

I'm a computer scientist, not a mathematician, so apologies if I've messed up a lot of things greatly. I've been reading about synthetic differential geometry, and trying to formalize it in Coq. ...
335 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}$ ...
940 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. ...
490 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 ...
762 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 ...
731 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 ...
173 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 ...
158 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 ...
37 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 ...
2k 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 ...
144 views

493 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 ...