How do I describe the GL_n torsor attached to a smooth morphism of relative dimension n? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T11:43:23Z http://mathoverflow.net/feeds/question/27531 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/27531/how-do-i-describe-the-gl-n-torsor-attached-to-a-smooth-morphism-of-relative-dimen How do I describe the GL_n torsor attached to a smooth morphism of relative dimension n? S. Carnahan 2010-06-08T22:12:31Z 2010-06-09T20:26:21Z <p><b>Edit:</b> It seems I had two different constructions mixed up in my head, namely the frame torsor and the automorphism bundle of a vector bundle. This made the main question a bit confusing. The first two auxiliary questions were about the frame torsor, and the last one was about the automorphism bundle. If anyone knows a published reference for either construction, I would still be most appreciative.</p> <p>The original question is below the line:</p> <hr> <p>I feel like I should have learned this in grad school, but I never encountered a construction.</p> <p>Let $n$ be a positive integer, and let $f: Y \to X$ be a smooth morphism of schemes of relative dimension $n$. The sheaf $\Omega_{Y/X}$ is then a rank $n$ locally free <code>$\mathcal{O}_Y$</code>-module. Using the symmetric algebra functor, we can form the associated rank $n$ vector bundle <code>$\mathbf{V}(\Omega_{Y/X}) = \operatorname{Spec}_Y \operatorname{Sym}_{\mathcal{O}_Y} \Omega_{Y/X}$</code> (cf. EGA2 1.7.8). I've heard it called the bundle of 1-jets, which ought to mean tangent bundle, but I'm always confused by this, so maybe it's the cotangent bundle.</p> <p><strong>Main question:</strong> Is there a reference for the construction of the commutative <code>$\mathcal{O}_Y$</code>-algebra $A$ for which <code>$\operatorname{Spec}_Y(A)$</code> is the <code>$GL_{n,Y}$</code>-torsor $P$ of automorphisms of <code>$\mathbf{V}(\Omega_{Y/X})$</code>? Specifically, I'd like the torsor to satisfy the property that I can retrieve 1-jets by the <a href="http://en.wikipedia.org/wiki/Associated_bundle" rel="nofollow">associated bundle</a> construction: <code>$\mathbf{V}(\Omega_{Y/X}) \cong P \overset{GL_{n,Y}}{\times} \mathcal{O}_Y^{\oplus n}$</code></p> <p>This can be viewed as a question about constructing the automorphism torsor of any bundle, but 1-jets seem to have specific structural features that may make a more specialized construction possible. For example, it should be a quotient of some canonical infinite-dimensional torsor of coordinates coming from the Gelfand-Kazhdan formal geometry theory.</p> <p>Auxiliary questions (not as important):</p> <ol> <li>Is there a concise description of the functor the torsor represents, e.g., are $S$-points on the torsor equal to $S$-points $g:S \to Y$ equipped with isomorphisms <code>$\mathcal{O}_S^{\oplus n} \to g^*\Omega_{Y/X}$</code>?</li> <li>Is there a nice way to describe the <code>$GL_{n,Y}$</code>-action (since writing an explicit comodule structure sounds like it could be a mess)?</li> <li>I would be interested in seeing how the torsor can be cut out of the rank $n^2$ bundle of endomorphisms by inverting determinants.</li> </ol> http://mathoverflow.net/questions/27531/how-do-i-describe-the-gl-n-torsor-attached-to-a-smooth-morphism-of-relative-dimen/27537#27537 Answer by Michael Thaddeus for How do I describe the GL_n torsor attached to a smooth morphism of relative dimension n? Michael Thaddeus 2010-06-08T23:16:15Z 2010-06-08T23:16:15Z <p>It seems there is nothing special about the relative Kahler differentials here. One could take any vector bundle V over Y. Then V = Spec Sym V<sup>* </sup> as you say. By the same token, End V = Spec Sym (V &otimes; V<sup>* </sup>). The determinant gives a section det of this sheaf of algebras. Now since GL(n) is cut out in gl(n) by the non-vanishing of the determinant, if we let R = det<sup>-1</sup> Sym (V &otimes; V<sup>* </sup>) = Sym (V &otimes; V<sup>* </sup>) [t]/(t det-1) be the localization of Sym (V &otimes; V<sup>* </sup>) at the multiplicatively closed subset generated by det, then Spec R is what you want.</p> <p>Be careful when calling this a torsor, however; it is not a principal GL(n)- bundle, but rather an adjoint GL(n)-bundle, in which the fibers carry a group structure and there is a canonical identity section.</p> http://mathoverflow.net/questions/27531/how-do-i-describe-the-gl-n-torsor-attached-to-a-smooth-morphism-of-relative-dimen/27562#27562 Answer by Mattia Talpo for How do I describe the GL_n torsor attached to a smooth morphism of relative dimension n? Mattia Talpo 2010-06-09T08:31:51Z 2010-06-09T09:46:42Z <p>I don't know about jets and you already got an answer regarding the bundle of automorphisms, anyway if you want a $GL_{n,Y}$-torsor over $Y$ that gives you back your original vector bundle $Z=V(\mathcal{E})=Spec_Y Sym(\mathcal{E})\to Y$ when you apply the associate bundle construction with $\mathcal{O}_Y^n$, you should take the bundle of local frames of $Z$, that is $P=\underline{Isom}_Y(\mathbb{A}^n_Y,Z)\to Y$, where $\underline{Isom}$ is the scheme representing the sheaf of isomorphisms. This is a $GL_{n,Y}$-torsor over $Y$ by the action of $GL_{n,Y}$ on $\mathbb{A}^n_Y$, and if you want a sheaf $\mathcal{F}$ of $\mathcal{O}_Y$-algebras such that $P=Spec_Y(\mathcal{F})$, it seems reasonable (but i didn't really check) that you can take $\mathcal{F}=\underline{Isom}_{\mathcal{O}_Y-\text{alg}}(Sym(\mathcal{E}),\mathcal{O}_Y^n[x_1,..,x_n])$.</p>