7
$\begingroup$

I am aware of the following: in the context of synthetic differential geometry (SDG) one obtains a Lie algebra by exponentiating a microlinear group by a standard infinitesimal object and taking the infinitesimal commutator, and that the functor expressed by this operation factors through formal group laws (FGLs) in the usual way. This reveals that Lie groups are FGLs with respect to first-order infinitesimals.

Now I would like to consider a lined topos equipped with higher-order infinitesimals, and develop in this context a modified notion of microlinearity. I have not yet developed the details of this. But does modifying microlinearity in this way, to yield R-modules by exponentiating FGLs with higher-order infinitesimals, sound reasonable? It is worth saying that in general we want certain polynomial identities to hold in the resulting R-modules, e.g. the Jacobian identity.

While FGLs have been thought of in this way (e.g. Didry in [1], an attempt to extend Lie theory to include Leibniz algebras), I have not found sources discussing modifications of microlinearity to subsume FGLs in the language of SDG. Some suggestive remarks can be found in Nishimura's work, such as in the introduction of the paper [2], where the author discusses prolongations of spaces with respect to polynomial algebras as generalizations of Weil algebras.

Any sources or ideas that sound relevant to this speculation would be great. Maybe it's already been done! Feel free to let me know.


[1] http://www.heldermann-verlag.de/jlt/jlt17/didla.pdf

[2] https://arxiv.org/abs/1207.5121

$\endgroup$
5
  • 1
    $\begingroup$ Let us wait a few days to see if you do get an answer here. After that and if that does not happen, please flag the question so that some moderator can move it to MathOverflow. (In particular, please do not reask the question!) $\endgroup$ Jan 16, 2018 at 5:51
  • $\begingroup$ @Mark Thank you for pointing this out, I will keep it in mind for future questions. $\endgroup$ Jan 16, 2018 at 6:02
  • 1
    $\begingroup$ @Mariano Are you suggesting that I not post the question there as well? Rather, wait and move it? Or you mean just don't wait and repost on MSE? $\endgroup$ Jan 16, 2018 at 6:03
  • 1
    $\begingroup$ Well, I am suggesting exactly what I wrote... Do not repost the question there, here, or anywhere else in the SE network. $\endgroup$ Jan 16, 2018 at 6:04
  • $\begingroup$ @Mariano Ok, got it. $\endgroup$ Jan 16, 2018 at 6:28

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.