Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
started formal dg-algebra
expanded a bit more
In the old Sullivan reference the condition for A to be formal is that there is a quasi-iso .
In newer references, such as the survey by Kathry Hess, it says instead that there is a span of quasi-isos between and
. Since in the model structure on dg-algebras all objects are fibrant, I take it that this is equivalent to saying that
and
are isomorphic in the homotopy category. This is the way I state the definition now. But check if I am mixed up.
Given the use of Sullivan models for encoding quantization/eom’s, what is the physical meaning of quantization described by nonformal spaces?
Let’s see. Essentially by definition it means that all Bianchi identities are of the standard untwisted form dF=0. So the system looks EoM-wise like a bunch of (possibly higher and/or self-dual but otherwise) ordinary free abelian gauge fields. Their flux quantization by a corresponding formal classifying space means to nevertheless enforce torsion-relations that may differ from those of standard free abelian gauge fields.
Is that an answer to what you are asking?
Sort of. In some (different) physics contexts, quasi-isomorphisms are sometimes interpreted as RG flow statements, what I was wondering is what such quasi-isomorphisms mean here.
pointer
which I also added to Manuel Amann
1 to 6 of 6