Diophantine finiteness results should be a result of the principle rational points are special points.
An idea is that Zilber-pink conjecture would imply Mordell’s conjecture. Suppose
There is a big difference between vector bundles and vector bundles with connections. Vector bundles are always locally trivial and so they not to be studied locally. However, vector bundles with connections has extra structure and their local study make sense. In fact it is expected that you don’t lose much information by studying them locally.
A horizontan section is a section
The flat sections
For
If we think of Coleman integral as a theory of analytic continuation. And think of continuation as giving isomorphism functors between the fibre functors
We should think of these functors as ‘paths’ in the category of vector bundles with connections. Because real path might not exist, but these functors can see them and is an evidence of some kind of ‘path’.
The simplest example is the tower of logarithm, let’s consider