Skip to main content
Adding references for the $G_r$ condition
Source Link
Takumi Murayama
  • 1.8k
  • 1
  • 14
  • 29

Here is a (probably non-optimal) statement that may apply in your situation. In your situation with curves, the hypothesis says that you need $X$ and $Y$ to be Gorenstein.

We start by defining the $G_r$ condition.

Definition [Reiten and Fossum 1970, p. 142]. Let $X$ be a locally Noetherian scheme and fix an integer $r \ge 0$. We say that $X$ satisfies $G_r$ if $\mathcal{O}_{X,x}$ is Gorenstein for every point $x \in X$ such that $\dim(\mathcal{O}_{X,x}) \le r$.

Claim. Let $X$ and $Y$ be noetherianNoetherian schemes satisfying $G_1$ and $S_2$. IfSuppose that $f\colon X \to Y$ is a finite surjective morphism and. If $\mathscr{F}$ is a coherent reflexive sheaf on $X$, then $f_*\mathscr{F}$ is a coherent reflexive sheaf on $Y$.

Proof. On noetherianNoetherian schemes satisfying $G_1$ and $S_2$, reflexivity is equivalent to being $S_2$ (in Hartshorne'sSamuel's [1964, Proposition 6] sense [Vasconcelos 1968, Definition 1.1]) by [Vasconcelos 1968, Theorem 1.4; Hartshorne 1994, Thm.Theorem 1.9]. The claim then follows since the $S_r$ property is preserved under pushforward by finite surjective morphisms by [EGAIV$_2$, Prop.Proposition 5.7.9]. $\blacksquare$

I wanted to prove a statement for non-finite morphisms as well, and for integral schemes, you can say a bit more:

Claim. Let $X$ and $Y$ be integral noetherianNoetherian schemes satisfying $G_1$ and $S_2$. IfSuppose that $f\colon X \to Y$ is a proper dominant morphism with all fibers of the same dimension. If $\mathscr{F}$ is a coherent reflexive sheaf on $X$, then $f_*\mathscr{F}$ is a coherent reflexive sheaf on $Y$.

Proof. The fact that $f_*\mathscr{F}$ is coherent and normal follows from the proof of [Hartshorne 1980, Cor.Corollary 1.7]. By [Hartshorne 1994, Rem.Remark 1.11], to show $f_*\mathscr{F}$ is reflexive, it therefore suffices to show that it satisfies $S_1$. But being $S_1$ is equivalent to torsion-freeness for integral noetherian schemes [Hartshorne 1994, Lem.Lemma 1.5], hence the claim follows by the fact that torsion-freeness is preserved under pushforwards by dominant morphisms. $\blacksquare$

Remark. There are other notions called $G_r$ in the literature. For example, $S_r$ + Reiten and Fossum's condition $G_r$ is what Marinari calls $G_r$ in [Marinari 1972, Definition 4.5]. The condition $S_{r+1} + G_r$ is what Ischebeck calls $G_r$ in [Ischebeck 1969, Definition 3.16].

Edit 1. Added the hypothesis that $f$ is surjective in the first claim.

Edit 2. To address Shrugs's request in the comments, I added the definition of $G_r$ with some references to other definitions in the literature.

Here is a (probably non-optimal) statement that may apply in your situation. In your situation with curves, the hypothesis says that you need $X$ and $Y$ to be Gorenstein.

Claim. Let $X$ and $Y$ be noetherian schemes satisfying $G_1$ and $S_2$. If $f\colon X \to Y$ is a finite surjective morphism and $\mathscr{F}$ is a coherent reflexive sheaf on $X$, then $f_*\mathscr{F}$ is a coherent reflexive sheaf on $Y$.

Proof. On noetherian schemes satisfying $G_1$ and $S_2$, reflexivity is equivalent to being $S_2$ (in Hartshorne's sense) [Hartshorne 1994, Thm. 1.9]. The claim then follows since the $S_r$ property is preserved under pushforward by finite surjective morphisms by [EGAIV$_2$, Prop. 5.7.9]. $\blacksquare$

I wanted to prove a statement for non-finite morphisms as well, and for integral schemes, you can say a bit more:

Claim. Let $X$ and $Y$ be integral noetherian schemes satisfying $G_1$ and $S_2$. If $f\colon X \to Y$ is a proper dominant morphism with all fibers of the same dimension. If $\mathscr{F}$ is a coherent reflexive sheaf on $X$, then $f_*\mathscr{F}$ is a coherent reflexive sheaf on $Y$.

Proof. The fact that $f_*\mathscr{F}$ is coherent and normal follows from the proof of [Hartshorne 1980, Cor. 1.7]. By [Hartshorne 1994, Rem. 1.11], to show $f_*\mathscr{F}$ is reflexive, it therefore suffices to show that it satisfies $S_1$. But being $S_1$ is equivalent to torsion-freeness for integral noetherian schemes [Hartshorne 1994, Lem. 1.5], hence the claim follows by the fact that torsion-freeness is preserved under pushforwards by dominant morphisms. $\blacksquare$

Edit. Added the hypothesis that $f$ is surjective in the first claim.

Here is a (probably non-optimal) statement that may apply in your situation. In your situation with curves, the hypothesis says that you need $X$ and $Y$ to be Gorenstein.

We start by defining the $G_r$ condition.

Definition [Reiten and Fossum 1970, p. 142]. Let $X$ be a locally Noetherian scheme and fix an integer $r \ge 0$. We say that $X$ satisfies $G_r$ if $\mathcal{O}_{X,x}$ is Gorenstein for every point $x \in X$ such that $\dim(\mathcal{O}_{X,x}) \le r$.

Claim. Let $X$ and $Y$ be Noetherian schemes satisfying $G_1$ and $S_2$. Suppose that $f\colon X \to Y$ is a finite surjective morphism. If $\mathscr{F}$ is a coherent reflexive sheaf on $X$, then $f_*\mathscr{F}$ is a coherent reflexive sheaf on $Y$.

Proof. On Noetherian schemes satisfying $G_1$ and $S_2$, reflexivity is equivalent to being $S_2$ (in Samuel's [1964, Proposition 6] sense [Vasconcelos 1968, Definition 1.1]) by [Vasconcelos 1968, Theorem 1.4; Hartshorne 1994, Theorem 1.9]. The claim then follows since the $S_r$ property is preserved under pushforward by finite surjective morphisms by [EGAIV$_2$, Proposition 5.7.9]. $\blacksquare$

I wanted to prove a statement for non-finite morphisms as well, and for integral schemes, you can say a bit more:

Claim. Let $X$ and $Y$ be integral Noetherian schemes satisfying $G_1$ and $S_2$. Suppose that $f\colon X \to Y$ is a proper dominant morphism with all fibers of the same dimension. If $\mathscr{F}$ is a coherent reflexive sheaf on $X$, then $f_*\mathscr{F}$ is a coherent reflexive sheaf on $Y$.

Proof. The fact that $f_*\mathscr{F}$ is coherent and normal follows from the proof of [Hartshorne 1980, Corollary 1.7]. By [Hartshorne 1994, Remark 1.11], to show $f_*\mathscr{F}$ is reflexive, it therefore suffices to show that it satisfies $S_1$. But being $S_1$ is equivalent to torsion-freeness for integral noetherian schemes [Hartshorne 1994, Lemma 1.5], hence the claim follows by the fact that torsion-freeness is preserved under pushforwards by dominant morphisms. $\blacksquare$

Remark. There are other notions called $G_r$ in the literature. For example, $S_r$ + Reiten and Fossum's condition $G_r$ is what Marinari calls $G_r$ in [Marinari 1972, Definition 4.5]. The condition $S_{r+1} + G_r$ is what Ischebeck calls $G_r$ in [Ischebeck 1969, Definition 3.16].

Edit 1. Added the hypothesis that $f$ is surjective in the first claim.

Edit 2. To address Shrugs's request in the comments, I added the definition of $G_r$ with some references to other definitions in the literature.

The first claim should say that f is surjective.
Source Link
Takumi Murayama
  • 1.8k
  • 1
  • 14
  • 29

Here is a (probably non-optimal) statement that may apply in your situation. In your situation with curves, the hypothesis says that you need $X$ and $Y$ to be Gorenstein.

Claim. Let $X$ and $Y$ be noetherian schemes satisfying $G_1$ and $S_2$. If $f\colon X \to Y$ is a finite surjective morphism and $\mathscr{F}$ is a coherent reflexive sheaf on $X$, then $f_*\mathscr{F}$ is a coherent reflexive sheaf on $Y$.

Proof. On noetherian schemes satisfying $G_1$ and $S_2$, reflexivity is equivalent to being $S_2$ (in Hartshorne's sense) [Hartshorne 1994, Thm. 1.9]. The claim then follows since the $S_r$ property is preserved under pushforward by finite surjective morphisms by [EGAIV$_2$, Prop. 5.7.9]. $\blacksquare$

I wanted to prove a statement for non-finite morphisms as well, and for integral schemes, you can say a bit more:

Claim. Let $X$ and $Y$ be integral noetherian schemes satisfying $G_1$ and $S_2$. If $f\colon X \to Y$ is a proper dominant morphism with all fibers of the same dimension. If $\mathscr{F}$ is a coherent reflexive sheaf on $X$, then $f_*\mathscr{F}$ is a coherent reflexive sheaf on $Y$.

Proof. The fact that $f_*\mathscr{F}$ is coherent and normal follows from the proof of [Hartshorne 1980, Cor. 1.7]. By [Hartshorne 1994, Rem. 1.11], to show $f_*\mathscr{F}$ is reflexive, it therefore suffices to show that it satisfies $S_1$. But being $S_1$ is equivalent to torsion-freeness for integral noetherian schemes [Hartshorne 1994, Lem. 1.5], hence the claim follows by the fact that torsion-freeness is preserved under pushforwards by dominant morphisms. $\blacksquare$

Edit. Added the hypothesis that $f$ is surjective in the first claim.

Here is a (probably non-optimal) statement that may apply in your situation. In your situation with curves, the hypothesis says that you need $X$ and $Y$ to be Gorenstein.

Claim. Let $X$ and $Y$ be noetherian schemes satisfying $G_1$ and $S_2$. If $f\colon X \to Y$ is a finite morphism and $\mathscr{F}$ is a coherent reflexive sheaf on $X$, then $f_*\mathscr{F}$ is a coherent reflexive sheaf on $Y$.

Proof. On noetherian schemes satisfying $G_1$ and $S_2$, reflexivity is equivalent to being $S_2$ (in Hartshorne's sense) [Hartshorne 1994, Thm. 1.9]. The claim then follows since the $S_r$ property is preserved under pushforward by finite morphisms by [EGAIV$_2$, Prop. 5.7.9]. $\blacksquare$

I wanted to prove a statement for non-finite morphisms as well, and for integral schemes, you can say a bit more:

Claim. Let $X$ and $Y$ be integral noetherian schemes satisfying $G_1$ and $S_2$. If $f\colon X \to Y$ is a proper dominant morphism with all fibers of the same dimension. If $\mathscr{F}$ is a coherent reflexive sheaf on $X$, then $f_*\mathscr{F}$ is a coherent reflexive sheaf on $Y$.

Proof. The fact that $f_*\mathscr{F}$ is coherent and normal follows from the proof of [Hartshorne 1980, Cor. 1.7]. By [Hartshorne 1994, Rem. 1.11], to show $f_*\mathscr{F}$ is reflexive, it therefore suffices to show that it satisfies $S_1$. But being $S_1$ is equivalent to torsion-freeness for integral noetherian schemes [Hartshorne 1994, Lem. 1.5], hence the claim follows by the fact that torsion-freeness is preserved under pushforwards by dominant morphisms. $\blacksquare$

Here is a (probably non-optimal) statement that may apply in your situation. In your situation with curves, the hypothesis says that you need $X$ and $Y$ to be Gorenstein.

Claim. Let $X$ and $Y$ be noetherian schemes satisfying $G_1$ and $S_2$. If $f\colon X \to Y$ is a finite surjective morphism and $\mathscr{F}$ is a coherent reflexive sheaf on $X$, then $f_*\mathscr{F}$ is a coherent reflexive sheaf on $Y$.

Proof. On noetherian schemes satisfying $G_1$ and $S_2$, reflexivity is equivalent to being $S_2$ (in Hartshorne's sense) [Hartshorne 1994, Thm. 1.9]. The claim then follows since the $S_r$ property is preserved under pushforward by finite surjective morphisms by [EGAIV$_2$, Prop. 5.7.9]. $\blacksquare$

I wanted to prove a statement for non-finite morphisms as well, and for integral schemes, you can say a bit more:

Claim. Let $X$ and $Y$ be integral noetherian schemes satisfying $G_1$ and $S_2$. If $f\colon X \to Y$ is a proper dominant morphism with all fibers of the same dimension. If $\mathscr{F}$ is a coherent reflexive sheaf on $X$, then $f_*\mathscr{F}$ is a coherent reflexive sheaf on $Y$.

Proof. The fact that $f_*\mathscr{F}$ is coherent and normal follows from the proof of [Hartshorne 1980, Cor. 1.7]. By [Hartshorne 1994, Rem. 1.11], to show $f_*\mathscr{F}$ is reflexive, it therefore suffices to show that it satisfies $S_1$. But being $S_1$ is equivalent to torsion-freeness for integral noetherian schemes [Hartshorne 1994, Lem. 1.5], hence the claim follows by the fact that torsion-freeness is preserved under pushforwards by dominant morphisms. $\blacksquare$

Edit. Added the hypothesis that $f$ is surjective in the first claim.

OP asked about curves.
Source Link
Takumi Murayama
  • 1.8k
  • 1
  • 14
  • 29

Here are someis a (probably non-optimal) statementsstatement that may apply in your situation (they need some assumptions on the singularities of. In your situation with curves), the hypothesis says that you need $X$ and $Y$ to be Gorenstein.

Claim. Let $X$ and $Y$ be noetherian schemes satisfying $G_1$ and $S_2$. If $f\colon X \to Y$ is a finite morphism and $\mathscr{F}$ is a coherent reflexive sheaf on $X$, then $f_*\mathscr{F}$ is a coherent reflexive sheaf on $Y$.

Proof. On noetherian schemes satisfying $G_1$ and $S_2$, reflexivity is equivalent to being $S_2$ (in Hartshorne's sense) [Hartshorne 1994, Thm. 1.9]. The claim then follows since the $S_r$ property is preserved under pushforward by finite morphisms by [EGAIV$_2$, Prop. 5.7.9]. $\blacksquare$

ForI wanted to prove a statement for non-finite morphisms as well, and for integral schemes, you can say a bit more:

Claim. Let $X$ and $Y$ be integral noetherian schemes satisfying $G_1$ and $S_2$. If $f\colon X \to Y$ is a proper dominant morphism with all fibers of the same dimension. If $\mathscr{F}$ is a coherent reflexive sheaf on $X$, then $f_*\mathscr{F}$ is a coherent reflexive sheaf on $Y$.

Proof. The fact that $f_*\mathscr{F}$ is coherent and normal follows from the proof of [Hartshorne 1980, Cor. 1.7]. By [Hartshorne 1994, Rem. 1.11], to show $f_*\mathscr{F}$ is reflexive, it therefore suffices to show that it satisfies $S_1$. But being $S_1$ is equivalent to torsion-freeness for integral noetherian schemes [Hartshorne 1994, Lem. 1.5], hence the claim follows by the fact that torsion-freeness is preserved under pushforwards by dominant morphisms. $\blacksquare$

Here are some (probably non-optimal) statements that may apply in your situation (they need some assumptions on the singularities of your curves).

Claim. Let $X$ and $Y$ be noetherian schemes satisfying $G_1$ and $S_2$. If $f\colon X \to Y$ is a finite morphism and $\mathscr{F}$ is a coherent reflexive sheaf on $X$, then $f_*\mathscr{F}$ is a coherent reflexive sheaf on $Y$.

Proof. On noetherian schemes satisfying $G_1$ and $S_2$, reflexivity is equivalent to being $S_2$ (in Hartshorne's sense) [Hartshorne 1994, Thm. 1.9]. The claim then follows since the $S_r$ property is preserved under pushforward by finite morphisms by [EGAIV$_2$, Prop. 5.7.9]. $\blacksquare$

For integral schemes, you can say a bit more:

Claim. Let $X$ and $Y$ be integral noetherian schemes satisfying $G_1$ and $S_2$. If $f\colon X \to Y$ is a proper dominant morphism with all fibers of the same dimension. If $\mathscr{F}$ is a coherent reflexive sheaf on $X$, then $f_*\mathscr{F}$ is a coherent reflexive sheaf on $Y$.

Proof. The fact that $f_*\mathscr{F}$ is coherent and normal follows from the proof of [Hartshorne 1980, Cor. 1.7]. By [Hartshorne 1994, Rem. 1.11], to show $f_*\mathscr{F}$ is reflexive, it therefore suffices to show that it satisfies $S_1$. But being $S_1$ is equivalent to torsion-freeness for integral noetherian schemes [Hartshorne 1994, Lem. 1.5], hence the claim follows by the fact that torsion-freeness is preserved under pushforwards by dominant morphisms. $\blacksquare$

Here is a (probably non-optimal) statement that may apply in your situation. In your situation with curves, the hypothesis says that you need $X$ and $Y$ to be Gorenstein.

Claim. Let $X$ and $Y$ be noetherian schemes satisfying $G_1$ and $S_2$. If $f\colon X \to Y$ is a finite morphism and $\mathscr{F}$ is a coherent reflexive sheaf on $X$, then $f_*\mathscr{F}$ is a coherent reflexive sheaf on $Y$.

Proof. On noetherian schemes satisfying $G_1$ and $S_2$, reflexivity is equivalent to being $S_2$ (in Hartshorne's sense) [Hartshorne 1994, Thm. 1.9]. The claim then follows since the $S_r$ property is preserved under pushforward by finite morphisms by [EGAIV$_2$, Prop. 5.7.9]. $\blacksquare$

I wanted to prove a statement for non-finite morphisms as well, and for integral schemes, you can say a bit more:

Claim. Let $X$ and $Y$ be integral noetherian schemes satisfying $G_1$ and $S_2$. If $f\colon X \to Y$ is a proper dominant morphism with all fibers of the same dimension. If $\mathscr{F}$ is a coherent reflexive sheaf on $X$, then $f_*\mathscr{F}$ is a coherent reflexive sheaf on $Y$.

Proof. The fact that $f_*\mathscr{F}$ is coherent and normal follows from the proof of [Hartshorne 1980, Cor. 1.7]. By [Hartshorne 1994, Rem. 1.11], to show $f_*\mathscr{F}$ is reflexive, it therefore suffices to show that it satisfies $S_1$. But being $S_1$ is equivalent to torsion-freeness for integral noetherian schemes [Hartshorne 1994, Lem. 1.5], hence the claim follows by the fact that torsion-freeness is preserved under pushforwards by dominant morphisms. $\blacksquare$

Source Link
Takumi Murayama
  • 1.8k
  • 1
  • 14
  • 29
Loading