Return to Question

Let $X \subset \mathbf{P}^4$ be a complex threefold hypersurface with isolated singularities.

We denote as usual by $\textrm{Cl}(X)$ the group of Weil divisors modulo linear equivalence and by $\textrm{Pic}(X)$ the group of Cartier divisors modulo linear equivalence. We also write $G(X):=\textrm{Cl}(X)/\textrm{Pic}(X)$.

Recall that

$\bullet$ $X$ is called factorial if every Weil divisor is a Cartier divisor; by Lefschetz theorem, this is equivalent to say that $\textrm{Pic}(X)=\textrm{Cl}(X)=\mathbf{Z}$, generated by the hyperplane section;

$\bullet$ $X$ is called $\mathbf{Q}$-factorial if every Weil divisor has a multiple which is a Cartier divisor; this is equivalent to say that $G(X)$ is a torsion group.

Of course if $X$ factorial then $X$ is $\mathbf{Q}$-factorial, because if $X$ is factorial then $G(X)=0$. I'm interested in the other implication, so my first question is

Question 1. Assume that $X \subset \mathbf{P}^4$ is a $\mathbf{Q}$-factorial threefold with isolated singularities. Does this imply that $X$ is factorial? If not, what is a counterexample?

It is known that the answer to Question 1 is yes when $X$ is nodal, i.e. contains only ordinary double points. The way I see this is the following. There is an exact sequence (I think it is called Jaffe's exact sequence) $$0 \to \textrm{Pic}(X) \to \textrm{Cl}(X) \to \bigoplus_{p \in \textrm{Sing}(X)} \textrm{Cl}(\mathscr{O}_{X, p})$$ and the last group injects into $\bigoplus_{p \in \textrm{Sing}(X)} \textrm{Cl}(\widehat{\mathscr{O}}_{X, p})$. On the other hand, if $p$ is a node then $\textrm{Cl}(\widehat{\mathscr{O}}_{X, p}) \cong \mathbf{Z}$, so we have an inclusion $$G(X) \hookrightarrow \bigoplus \mathbf{Z}.$$ This implies that if $G(X)$ is a torsion group then necessarily $G(X)=0$, so factoriality and $\mathbf{Q}$-factoriality are equivalent conditions in this case. These considerations led me to the following

Question 2. Let $X \subset \mathbf{P}^4$ be a threefold hypersurface with isolated singularities and let $p \in \textrm{Sing}(X)$. Is it true that $\textrm{Cl}(\mathscr{O}_{X, p})$ is either torsion-free or zero? Or, still better, is it true that $\textrm{Cl}(\widehat{\mathscr{O}}_{X, p})$ is either torsion-free or zero?

An affirmative answer to Question 2 would imply an affirmative answer to Question 1, by the same argument used in the nodal case.

I'm particulary interested in the case where all the singularities of $X$ are $ordinary$, i.e. the corresponding tangent cone is a cone over a smooth surface in $\mathbf{P}^3$.

Any answer or reference to the existing literature will be greatly appreciated. Thank you!

EDIT. As pointed out by Artie in his comment, Question 1 has a positive answer when $X$ is Gorenstein with terminal singularities (here it is not required that $X \subset \mathbb{P}^4$).

Let $X \subset \mathbf{P}^4$ be a complex threefold hypersurface with isolated singularities.

We denote as usual by $\textrm{Cl}(X)$ the group of Weil divisors modulo linear equivalence and by $\textrm{Pic}(X)$ the group of Cartier divisors modulo linear equivalence. We also write $G(X):=\textrm{Cl}(X)/\textrm{Pic}(X)$.

Recall that

$\bullet$ $X$ is called factorial if every Weil divisor is a Cartier divisor; by Lefschetz theorem, this is equivalent to say that $\textrm{Pic}(X)=\textrm{Cl}(X)=\mathbf{Z}$, generated by the hyperplane section;

$\bullet$ $X$ is called $\mathbf{Q}$-factorial if every Weil divisor has a multiple which is a Cartier divisor; this is equivalent to say that $G(X)$ is a torsion group.

Of course if $X$ factorial then $X$ is $\mathbf{Q}$-factorial, because if $X$ is factorial then $G(X)=0$. I'm interested in the other implication, so my first question is

Question 1. Assume that $X \subset \mathbf{P}^4$ is a $\mathbf{Q}$-factorial threefold with isolated singularities. Does this imply that $X$ is factorial? If not, what is a counterexample?

It is known that the answer to Question 1 is yes when $X$ is nodal, i.e. contains only ordinary double points. The way I see this is the following. There is an exact sequence (I think it is called Jaffe's exact sequence) $$0 \to \textrm{Pic}(X) \to \textrm{Cl}(X) \to \bigoplus_{p \in \textrm{Sing}(X)} \textrm{Cl}(\mathscr{O}_{X, p})$$ and the last group injects into $\bigoplus_{p \in \textrm{Sing}(X)} \textrm{Cl}(\widehat{\mathscr{O}}_{X, p})$. On the other hand, if $p$ is a node then $\textrm{Cl}(\widehat{\mathscr{O}}_{X, p}) \cong \mathbf{Z}$, so we have an inclusion $$G(X) \hookrightarrow \bigoplus \mathbf{Z}.$$ This implies that if $G(X)$ is a torsion group then necessarily $G(X)=0$, so factoriality and $\mathbf{Q}$-factoriality are equivalent conditions in this case. These considerations led me to the following

Question 2. Let $X \subset \mathbf{P}^4$ be a threefold hypersurface with isolated singularities and let $p \in \textrm{Sing}(X)$. Is it true that $\textrm{Cl}(\mathscr{O}_{X, p})$ is either torsion-free or zero? Or, still better, is it true that $\textrm{Cl}(\widehat{\mathscr{O}}_{X, p})$ is either torsion-free or zero?

An affirmative answer to Question 2 would imply an affirmative answer to Question 1, by the same argument used in the nodal case.

I'm particulary interested in the case where all the singularities of $X$ are $ordinary$, i.e. the corresponding tangent cone is a cone over a smooth surface in $\mathbf{P}^3$.

Any answer or reference to the existing literature will be greatly appreciated. Thank you!

EDIT. As pointed out by Artie in his comment, Question 1 has a positive answer when $X$ is a Gorenstein threefold with terminal singularities (here the assumption $X \subset \mathbb{P}^4$ is not necessary).

Let $X \subset \mathbf{P}^4$ be a complex threefold hypersurface with isolated singularities.

We denote as usual by $\textrm{Cl}(X)$ the group of Weil divisors modulo linear equivalence and by $\textrm{Pic}(X)$ the group of Cartier divisors modulo linear equivalence. We also write $G(X):=\textrm{Cl}(X)/\textrm{Pic}(X)$.

Recall that

$\bullet$ $X$ is called factorial if every Weil divisor is a Cartier divisor; by Lefschetz theorem, this is equivalent to say that $\textrm{Pic}(X)=\textrm{Cl}(X)=\mathbf{Z}$, generated by the hyperplane section;

$\bullet$ $X$ is called $\mathbf{Q}$-factorial if every Weil divisor has a multiple which is a Cartier divisor; this is equivalent to say that $G(X)$ is a torsion group.

Of course if $X$ factorial then $X$ is $\mathbf{Q}$-factorial, because if $X$ is factorial then $G(X)=0$. I'm interested in the other implication, so my first question is

Question 1. Assume that $X \subset \mathbf{P}^4$ is a $\mathbf{Q}$-factorial threefold with isolated singularities. Does this imply that $X$ is factorial? If not, what is a counterexample?

It is known that the answer to Question 1 is yes when $X$ is nodal, i.e. contains only ordinary double points. The way I see this is the following. There is an exact sequence (I think it is called Jaffe's exact sequence) $$0 \to \textrm{Pic}(X) \to \textrm{Cl}(X) \to \bigoplus_{p \in \textrm{Sing}(X)} \textrm{Cl}(\mathscr{O}_{X, p})$$ and the last group injects into $\bigoplus_{p \in \textrm{Sing}(X)} \textrm{Cl}(\widehat{\mathscr{O}}_{X, p})$. On the other hand, if $p$ is a node then $\textrm{Cl}(\widehat{\mathscr{O}}_{X, p}) \cong \mathbf{Z}$, so we have an inclusion $$G(X) \hookrightarrow \bigoplus \mathbf{Z}.$$ This implies that if $G(X)$ is a torsion group then necessarily $G(X)=0$, so factoriality and $\mathbf{Q}$-factoriality are equivalent conditions in this case. These considerations led me to the following

Question 2. Let $X \subset \mathbf{P}^4$ be a threefold hypersurface with isolated singularities and let $p \in \textrm{Sing}(X)$. Is it true that $\textrm{Cl}(\mathscr{O}_{X, p})$ is either torsion-free or zero? Or, still better, is it true that $\textrm{Cl}(\widehat{\mathscr{O}}_{X, p})$ is either torsion-free or zero?

An affirmative answer to Question 2 would imply an affirmative answer to Question 1, by the same argument used in the nodal case.

I'm particulary interested in the case where all the singularities of $X$ are $ordinary$, i.e. the corresponding tangent cone is a cone over a smooth surface in $\mathbf{P}^3$.

Any answer or reference to the existing literature will be greatly appreciated. Thank you!

Let $X \subset \mathbf{P}^4$ be a complex threefold hypersurface with isolated singularities.

We denote as usual by $\textrm{Cl}(X)$ the group of Weil divisors modulo linear equivalence and by $\textrm{Pic}(X)$ the group of Cartier divisors modulo linear equivalence. We also write $G(X):=\textrm{Cl}(X)/\textrm{Pic}(X)$.

Recall that

$\bullet$ $X$ is called factorial if every Weil divisor is a Cartier divisor; by Lefschetz theorem, this is equivalent to say that $\textrm{Pic}(X)=\textrm{Cl}(X)=\mathbf{Z}$, generated by the hyperplane section;

$\bullet$ $X$ is called $\mathbf{Q}$-factorial if every Weil divisor has a multiple which is a Cartier divisor; this is equivalent to say that $G(X)$ is a torsion group.

Of course if $X$ factorial then $X$ is $\mathbf{Q}$-factorial, because if $X$ is factorial then $G(X)=0$. I'm interested in the other implication, so my first question is

Question 1. Assume that $X \subset \mathbf{P}^4$ is a $\mathbf{Q}$-factorial threefold with isolated singularities. Does this imply that $X$ is factorial? If not, what is a counterexample?

It is known that the answer to Question 1 is yes when $X$ is nodal, i.e. contains only ordinary double points. The way I see this is the following. There is an exact sequence (I think it is called Jaffe's exact sequence) $$0 \to \textrm{Pic}(X) \to \textrm{Cl}(X) \to \bigoplus_{p \in \textrm{Sing}(X)} \textrm{Cl}(\mathscr{O}_{X, p})$$ and the last group injects into $\bigoplus_{p \in \textrm{Sing}(X)} \textrm{Cl}(\widehat{\mathscr{O}}_{X, p})$. On the other hand, if $p$ is a node then $\textrm{Cl}(\widehat{\mathscr{O}}_{X, p}) \cong \mathbf{Z}$, so we have an inclusion $$G(X) \hookrightarrow \bigoplus \mathbf{Z}.$$ This implies that if $G(X)$ is a torsion group then necessarily $G(X)=0$, so factoriality and $\mathbf{Q}$-factoriality are equivalent conditions in this case. These considerations led me to the following

Question 2. Let $X \subset \mathbf{P}^4$ be a threefold hypersurface with isolated singularities and let $p \in \textrm{Sing}(X)$. Is it true that $\textrm{Cl}(\mathscr{O}_{X, p})$ is either torsion-free or zero? Or, still better, is it true that $\textrm{Cl}(\widehat{\mathscr{O}}_{X, p})$ is either torsion-free or zero?

An affirmative answer to Question 2 would imply an affirmative answer to Question 1, by the same argument used in the nodal case.

I'm particulary interested in the case where all the singularities of $X$ are $ordinary$, i.e. the corresponding tangent cone is a cone over a smooth surface in $\mathbf{P}^3$.

Any answer or reference to the existing literature will be greatly appreciated. Thank you!

EDIT. As pointed out by Artie in his comment, Question 1 has a positive answer when $X$ is Gorenstein with terminal singularities (here it is not required that $X \subset \mathbb{P}^4$).

Let $X \subset \mathbf{P}^4$ be a complex threefold hypersurface with isolated singularities.

We denote as usual by $\textrm{Cl}(X)$ the group of Weil divisors modulo linear equivalence and by $\textrm{Pic}(X)$ the group of Cartier divisors modulo linear equivalence. We also write $G(X):=\textrm{Cl}(X)/\textrm{Pic}(X)$.

Recall that

$\bullet$ $X$ is called factorial if every Weil divisor is a Cartier divisor; by Lefschetz theorem, this is equivalent to say that $\textrm{Pic}(X)=\textrm{Cl}(X)=\mathbf{Z}$, generated by the hyperplane section;

$\bullet$ $X$ is called $\mathbf{Q}$-factorial if every Weil divisor has a multiple which is a Cartier divisor; this is equivalent to say that the group $G(X)$ is a torsion group.

Of course if $X$ factorial then $X$ is $\mathbf{Q}$-factorial, because if $X$ is factorial then $G(X)=0$. I'm interested in the other implication, so my first question is

Question 1. Assume that $X \subset \mathbf{P}^4$ is a $\mathbf{Q}$-factorial threefold with isolated singularities. Does this imply that $X$ is factorial? If not, what is a counterexample?

It is known that the answer to Question 1 is yes when $X$ is nodal, i.e. contains only ordinary double points. The way I see this is the following. There is an exact sequence (I think it is called Jaffe's exact sequence) $$0 \to \textrm{Pic}(X) \to \textrm{Cl}(X) \to \bigoplus_{p \in \textrm{Sing}(X)} \textrm{Cl}(\mathscr{O}_{X, p})$$ and the last group injects into $\bigoplus_{p \in \textrm{Sing}(X)} \textrm{Cl}(\widehat{\mathscr{O}}_{X, p})$. On the other hand, if $p$ is a node then $\textrm{Cl}(\widehat{\mathscr{O}}_{X, p}) \cong \mathbf{Z}$, so we have an inclusion $$G(X) \hookrightarrow \bigoplus \mathbf{Z}.$$ This implies that if $G(X)$ is a torsion group then necessarily $G(X)=0$, so factoriality and $\mathbf{Q}$-factoriality are equivalent conditions in this case. These considerations led me to the following

Question 2. Let $X \subset \mathbf{P}^4$ be a threefold hypersurface with isolated singularities and let $p \in \textrm{Sing}(X)$. Is it true that $\textrm{Cl}(\mathscr{O}_{X, p})$ is torsion free? Or, still better, is it true that $\textrm{Cl}(\widehat{\mathscr{O}}_{X, p})$ is torsion free?

An affirmative answer to Question 2 would imply an affirmative answer to Question 1, by the same argument used in the nodal case.

I'm particulary interested in the case where all singularities of $X$ are $ordinary$, i.e. the corresponding tangent cone is a cone over a smooth surface in $\mathbf{P}^3$.

Any answer or reference to the existing literature will be greatly appreciated. Thank you!

Let $X \subset \mathbf{P}^4$ be a complex threefold hypersurface with isolated singularities.

We denote as usual by $\textrm{Cl}(X)$ the group of Weil divisors modulo linear equivalence and by $\textrm{Pic}(X)$ the group of Cartier divisors modulo linear equivalence. We also write $G(X):=\textrm{Cl}(X)/\textrm{Pic}(X)$.

Recall that

$\bullet$ $X$ is called factorial if every Weil divisor is a Cartier divisor; by Lefschetz theorem, this is equivalent to say that $\textrm{Pic}(X)=\textrm{Cl}(X)=\mathbf{Z}$, generated by the hyperplane section;

$\bullet$ $X$ is called $\mathbf{Q}$-factorial if every Weil divisor has a multiple which is a Cartier divisor; this is equivalent to say that $G(X)$ is a torsion group.

Of course if $X$ factorial then $X$ is $\mathbf{Q}$-factorial, because if $X$ is factorial then $G(X)=0$. I'm interested in the other implication, so my first question is

Question 1. Assume that $X \subset \mathbf{P}^4$ is a $\mathbf{Q}$-factorial threefold with isolated singularities. Does this imply that $X$ is factorial? If not, what is a counterexample?

It is known that the answer to Question 1 is yes when $X$ is nodal, i.e. contains only ordinary double points. The way I see this is the following. There is an exact sequence (I think it is called Jaffe's exact sequence) $$0 \to \textrm{Pic}(X) \to \textrm{Cl}(X) \to \bigoplus_{p \in \textrm{Sing}(X)} \textrm{Cl}(\mathscr{O}_{X, p})$$ and the last group injects into $\bigoplus_{p \in \textrm{Sing}(X)} \textrm{Cl}(\widehat{\mathscr{O}}_{X, p})$. On the other hand, if $p$ is a node then $\textrm{Cl}(\widehat{\mathscr{O}}_{X, p}) \cong \mathbf{Z}$, so we have an inclusion $$G(X) \hookrightarrow \bigoplus \mathbf{Z}.$$ This implies that if $G(X)$ is a torsion group then necessarily $G(X)=0$, so factoriality and $\mathbf{Q}$-factoriality are equivalent conditions in this case. These considerations led me to the following

Question 2. Let $X \subset \mathbf{P}^4$ be a threefold hypersurface with isolated singularities and let $p \in \textrm{Sing}(X)$. Is it true that $\textrm{Cl}(\mathscr{O}_{X, p})$ is either torsion-free or zero? Or, still better, is it true that $\textrm{Cl}(\widehat{\mathscr{O}}_{X, p})$ is either torsion-free or zero?

An affirmative answer to Question 2 would imply an affirmative answer to Question 1, by the same argument used in the nodal case.

I'm particulary interested in the case where all the singularities of $X$ are $ordinary$, i.e. the corresponding tangent cone is a cone over a smooth surface in $\mathbf{P}^3$.

Any answer or reference to the existing literature will be greatly appreciated. Thank you!