Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeApr 13th 2011
    • (edited Apr 13th 2011)

    I have touched formal group a bit, but don’t have time to do anything substantial.

    I need to adjust some of the terminology that I had been setting up at cohesive (infinity,1)-topos related to infinitesimal cohesion : the abstract notion currently called “\infty-Lie algebroid” there should be called “formal cohesive \infty-groupoid”. The actual L-infinity algebroids are (just) the first order formal smooth \infty-groupoids.

    While on the train I started expanding some other entries on this point, but I need to quit now and continue after a little interruption.

    • CommentRowNumber2.
    • CommentAuthorzskoda
    • CommentTimeApr 13th 2011
    • (edited Apr 13th 2011)

    In the usual context there is both an algebroid and a formal groupoid, te latter can be first order, second order, whatever. In any case they are different beasts there. I learned a version of the latter from Tomasz Maszczyk.

    For example, for infinite neighborhood of a diagonal Δ\Delta, there is a sequence of embeddings ΔΔ ()X×X\Delta\hookrightarrow\Delta^{(\infty)}\hookrightarrow X\times X. Now consider a groupoid GG with X=G 0X = G_0, with target and source put together into one map GX×XG\to X\times X. If one pulls it back one gets G G^{\infty} over Δ ()\Delta^{(\infty)} equipped with a composition induced from the composition on GG, satisfying certain associativity etc. relations. This is sort of infinitesimal groupoid. And it is not an algebroid, just an infinitesimal version of the groupoid whose structure is as close as possible, even in structure, to the original.

    • CommentRowNumber3.
    • CommentAuthorzskoda
    • CommentTimeApr 13th 2011

    I mean G G^\infty which I mentioned above has the appeal that it is supported at Δ \Delta^\infty, just as one wants: one has composition of things which are close one to another, that is belong to a neighborhood of the diagonal.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeApr 13th 2011
    • (edited Apr 13th 2011)

    Yes, that’s what I said. A Lie algebroid is a first order instance of a formal groupoid.

    Do we have a special term for “finite order formal”?

    • CommentRowNumber5.
    • CommentAuthorzskoda
    • CommentTimeApr 13th 2011
    • (edited Apr 13th 2011)

    Urs, maybe you said, but just for the clearing-up record, I said that there exists a notion of infinitesimal groupoid of any order. Even the first order formal tangent groupoid is a different notion from the first order tangent algebroid. The matter is not in the order but in the packing of data. For a formal groupoid one still has analogues of the source and target map, but they get factored through the infinitesimal neighborhood and do not live on the whole of X×XX\times X like the original groupoid, nor live on the strict diagonal as the tangent algebroid.

    Finite order formal, well, for me it is just nn-th order truncation or the formal groupoid supported at nn-th neighborhood.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeApr 13th 2011

    Okay, so probably this is just a matter of repackaging data. At infinity-Lie algebroid is a fairly detailed discussion of how Lie algebroids are first order formal groupoids.

    • CommentRowNumber7.
    • CommentAuthorTodd_Trimble
    • CommentTimeFeb 10th 2018

    I added to formal group the fundamental class of examples of a 1-dimensional formal group law, given by μ(x,y)=f 1(f(x)+f(y))\mu(x, y) = f^{-1}(f(x) + f(y)) where f(x)f(x) is any power series of the form x+a 2x 2+a 3x 3+x + a_2 x^2 + a_3 x^3 +\ldots in R[[x]]R[ [x] ]. (That the universal formal group law arises in this way should be in some sense the content of Lazard’s theorem, right? So the same observation should probably go there.)

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeFeb 10th 2018
    • (edited Feb 10th 2018)

    Thanks, Todd!!

    You seem to be looking into formal power series things now. I wonder what motivates you? But it’s great.

    should be in some sense the content of Lazard’s theorem, right?

    Yes, looks like it should. I haven’t thought about it this way. Or if I have, I forgot.

    • CommentRowNumber9.
    • CommentAuthorTodd_Trimble
    • CommentTimeFeb 10th 2018

    The immediate source of this is that Jim Dolan is back in the States and he and I are talking about a bunch of things. So I’m digging underneath and establishing some infrastructure to help boost my understanding in these discussions, and there’s a good chance I’ll continue touching quite a few entries in the process.

    • CommentRowNumber10.
    • CommentAuthorDavidRoberts
    • CommentTimeFeb 10th 2018
    • (edited Feb 10th 2018)

    back in the States

    A visit? Or moved back?

    • CommentRowNumber11.
    • CommentAuthorTodd_Trimble
    • CommentTimeFeb 10th 2018

    Well, I think moved back, but I don’t know the details.

    • CommentRowNumber12.
    • CommentAuthorDavidRoberts
    • CommentTimeFeb 11th 2018

    Thanks, Todd. Pass on my regards.

  1. Hello, I just came across Example 1.5. It says that the unitality condition corresponds to requiring

    a i,0={1 ifi=0 0 otherwisea_{i,0} = \left\{ \array{ 1 & if i = 0 \\ 0 & otherwise } \right.

    I think it should say i=1i = 1 instead, as it does further down the page.

    (Is posting here the right way to go about this? Since I am not familiar with this topic, I thought that I shouldn’t be editing the page.)

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeMay 11th 2019
    • (edited May 11th 2019)

    Thanks for the alert. Yes that’s the right way to go about this.

    I have fixed it now in the entry

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeJan 22nd 2021

    added pointer to:

    • Antonia W. Bluher, Formal groups, elliptic curves, and some theorems of Couveignes, in: J.P. Buhler (eds.) Algorithmic Number Theory ANTS 1998. Lecture Notes in Computer Science, vol 1423. Springer 1998 (arXiv:math/9708215, doi:10.1007/BFb0054887)

    diff, v43, current