Skip to main content
edited to include a flatness assumption on one of the morphisms
Source Link
Spencer Leslie
  • 2.5k
  • 15
  • 26

GivenConsider two morphisms $T\to Z$ and $Y\to Z$ of varieties over an algebraically closed field $k$ where $Z$ is an affine space. If $Y\to Z$ is flat, is it always true that the fiber product of $T\times_Z Y$ is a complete intersection in $T\times_k Y$?

The motivation comes from an argument of Knop in his paper On the Set of Orbits for a Borel Subgroup. Let $G$ be a reductive group with Lie algebra $\mathfrak{g}$, and $X$ be a spherical variety on which $G$ acts. In the proof of Lemma 6.5, where $Y=\mathfrak{t}$ is a Cartan subalgebra of $\mathfrak{g}$, $Z=\mathfrak{t}/W$ is the quotient by the Weyl group, and $T=T^\ast X$ is the cotangent bundle over $X$, the above statement is claimed for $$T^\ast X\times_{\mathfrak{t}/W}\mathfrak{t}\subset T^\ast X\times_k \mathfrak{t}.$$ EDIT: I have edited to include a flatness assumption to avoid simple counterexamples, as pointed out by @Alexander Braverman.

I would like to understand this point a bit better. Is this a standard argument, and if so is there a good reference?

Given two morphisms $T\to Z$ and $Y\to Z$ of varieties over an algebraically closed field $k$ where $Z$ is an affine space, is it always true that the fiber product of $T\times_Z Y$ is a complete intersection in $T\times_k Y$?

The motivation comes from an argument of Knop in his paper On the Set of Orbits for a Borel Subgroup. Let $G$ be a reductive group with Lie algebra $\mathfrak{g}$, and $X$ be a spherical variety on which $G$ acts. In the proof of Lemma 6.5, where $Y=\mathfrak{t}$ is a Cartan subalgebra of $\mathfrak{g}$, $Z=\mathfrak{t}/W$ is the quotient by the Weyl group, and $T=T^\ast X$ is the cotangent bundle over $X$, the above statement is claimed for $$T^\ast X\times_{\mathfrak{t}/W}\mathfrak{t}\subset T^\ast X\times_k \mathfrak{t}.$$

I would like to understand this point a bit better. Is this a standard argument, and if so is there a good reference?

Consider two morphisms $T\to Z$ and $Y\to Z$ of varieties over an algebraically closed field $k$ where $Z$ is an affine space. If $Y\to Z$ is flat, is it always true that the fiber product of $T\times_Z Y$ is a complete intersection in $T\times_k Y$?

The motivation comes from an argument of Knop in his paper On the Set of Orbits for a Borel Subgroup. Let $G$ be a reductive group with Lie algebra $\mathfrak{g}$, and $X$ be a spherical variety on which $G$ acts. In the proof of Lemma 6.5, where $Y=\mathfrak{t}$ is a Cartan subalgebra of $\mathfrak{g}$, $Z=\mathfrak{t}/W$ is the quotient by the Weyl group, and $T=T^\ast X$ is the cotangent bundle over $X$, the above statement is claimed for $$T^\ast X\times_{\mathfrak{t}/W}\mathfrak{t}\subset T^\ast X\times_k \mathfrak{t}.$$ EDIT: I have edited to include a flatness assumption to avoid simple counterexamples, as pointed out by @Alexander Braverman.

I would like to understand this point a bit better. Is this a standard argument, and if so is there a good reference?

Source Link
Spencer Leslie
  • 2.5k
  • 15
  • 26

Complete intersection argument

Given two morphisms $T\to Z$ and $Y\to Z$ of varieties over an algebraically closed field $k$ where $Z$ is an affine space, is it always true that the fiber product of $T\times_Z Y$ is a complete intersection in $T\times_k Y$?

The motivation comes from an argument of Knop in his paper On the Set of Orbits for a Borel Subgroup. Let $G$ be a reductive group with Lie algebra $\mathfrak{g}$, and $X$ be a spherical variety on which $G$ acts. In the proof of Lemma 6.5, where $Y=\mathfrak{t}$ is a Cartan subalgebra of $\mathfrak{g}$, $Z=\mathfrak{t}/W$ is the quotient by the Weyl group, and $T=T^\ast X$ is the cotangent bundle over $X$, the above statement is claimed for $$T^\ast X\times_{\mathfrak{t}/W}\mathfrak{t}\subset T^\ast X\times_k \mathfrak{t}.$$

I would like to understand this point a bit better. Is this a standard argument, and if so is there a good reference?