I feel like I should have learned this in grad school, but I never encountered a construction.
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 $\mathcal{O}_Y$-module. Using the symmetric algebra functor, we can form the associated rank $n$ vector bundle $\mathbf{V}(\Omega_{Y/X}) = \operatorname{Spec}_Y \operatorname{Sym}_{\mathcal{O}_Y} \Omega_{Y/X}$ (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.
Main question: Is there a reference for the construction of the commutative $\mathcal{O}_Y$-algebra $A$ for which $\operatorname{Spec}_Y(A)$ is the $GL_{n,Y}$-torsor $P$ of automorphisms of $\mathbf{V}(\Omega_{Y/X})$? Specifically, I'd like the torsor to satisfy the property that I can retrieve 1-jets by the associated bundle construction: $\mathbf{V}(\Omega_{Y/X}) \cong P \overset{GL_{n,Y}}{\times} \mathcal{O}_Y^{\oplus n}$
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.
Auxiliary questions (not as important):
- 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 $\mathcal{O}_S^{\oplus n} \to g^*\Omega_{Y/X}$?
- Is there a nice way to describe the $GL_{n,Y}$-action (since writing an explicit comodule structure sounds like it could be a mess)?
- I would be interested in seeing how the torsor can be cut out of the rank $n^2$ bundle of endomorphisms by inverting determinants.