Skip to main content
Remarks about my misconceptions
Source Link
S. Carnahan
  • 45.7k
  • 6
  • 114
  • 220

Edit: 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.

The original question is below the line:


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):

  1. 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}$?
  2. 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)?
  3. I would be interested in seeing how the torsor can be cut out of the rank $n^2$ bundle of endomorphisms by inverting determinants.

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):

  1. 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}$?
  2. 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)?
  3. I would be interested in seeing how the torsor can be cut out of the rank $n^2$ bundle of endomorphisms by inverting determinants.

Edit: 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.

The original question is below the line:


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):

  1. 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}$?
  2. 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)?
  3. I would be interested in seeing how the torsor can be cut out of the rank $n^2$ bundle of endomorphisms by inverting determinants.
Source Link
S. Carnahan
  • 45.7k
  • 6
  • 114
  • 220

How do I describe the GL_n torsor attached to a smooth morphism of relative dimension n?

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):

  1. 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}$?
  2. 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)?
  3. I would be interested in seeing how the torsor can be cut out of the rank $n^2$ bundle of endomorphisms by inverting determinants.