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.
1 to 1 of 1
The note Bryant 05 uses the convention to call a differential 3-form $\sigma$ on a 7-manifold for which at each point there is a $GL(7)$-transformation that identifies it with the fixed associative 3-form on $\mathbb{R}^7$ a “definite 3-form”.
One may observe that in differential cohesion being a definite 3-form means that pulled back to the infinitesimal disk bundle and then regarded as a section of the $\mathbf{\Omega}^3(\mathbb{D}^7)$-bundle associated to the frame bundle it gives a homotopy of the form
$\array{ && \ast \\ & \nearrow & \downarrow^{\mathrlap{\phi}} \\ U &\swArrow & \mathbf{\Omega}^3(\mathbb{D}^7) \\ \downarrow && \downarrow \\ X &\stackrel{\sigma}{\longrightarrow} & \mathbf{\Omega}^3(\mathbb{D}^7)//GL(7) }$for a given atlas $U \to X$. This homotopy is in componentes just the $GL(7)$-valued function which transforms $\sigma|_U$ pointwise into $\phi$.
This is a condition that makes sense much more generally, and I am looking for a terminology for functions $\sigma : X \to A$ on $V$-manifolds $X$ with values in some $\infty$-stack $A$ such that there is a homotopy of the form
$\array{ && \ast \\ & \nearrow & \downarrow^{\mathrlap{\phi}} \\ U &\swArrow & A(\mathbb{D}^7) \\ \downarrow && \downarrow \\ X &\stackrel{\sigma}{\longrightarrow} & A(X)//GL(V) }$What would be a nice term for these? Would definite work in this generality? I am inclined to say “$\sigma$ is definite on $\phi$”, but I am not decided yet.
1 to 1 of 1