2
$\begingroup$

In the following context: Let $S$ be a connected smooth projective surface over $\mathbb{C}$, and let $\Sigma$ be the complete linear system of a very ample divisor $D$ on $S$. Let $d=\dim(\Sigma)$ and $\phi_{\Sigma}: S\hookrightarrow \mathbb{P}^{d} $ the closed embedding of $S$ on $\mathbb{P}^{d}$, induced by $\Sigma$.

Let $\mathbb{P}^{d*}$ be the dual projective space of $\mathbb{P}^{d}$ parametrizing hyperplanes in $\mathbb{P}^{d}$ and let $\overline{\eta}$ be the geometric generic point of $\mathbb{P}^{d*}$. Recall that by definition $\Sigma=\mathbb{P}^{d*}$.

For any closed point $t\in\Sigma=\mathbb{P}^{d*}$, let $H_t$ be the hyperplane in $\mathbb{P}^{d}$ corresponding to $t$, $C_t=H_t\cap S$ the corresponding hyperplane section (which are curves over $\mathbb{C}$) of $S$, and
\begin{equation*} r_t:C_t\hookrightarrow S \end{equation*} the closed embedding of the curve $C_t$ into $S$.

My questions are:

  1. For the geometric generic point $\overline{\eta}\in\Sigma=\mathbb{P}^{d*}$, can I also consider $H_{\overline{\eta}}$ be the hyperplane in $\mathbb{P}^{d}$ corresponding to $\overline{\eta}$ and $C_{\overline{\eta}}=H_{\overline{\eta}}\cap S$ be the corresponding hyperplane section of $S$ (which is a curve over $\overline{\eta}$), and
    \begin{equation*} r_{\overline{\eta}}:C_{\overline{\eta}} \hookrightarrow S \end{equation*} the closed embedding of the curve $C_{\overline{\eta}}$ into $S$ ?.

  2. In the paper: https://arxiv.org/abs/1405.6430v2 the autors work in a more general setting: instead of $S$ they work with a variety $X$ of dimension $2n$, and the geometric generic hyperplane section is denoted by $Y_{\overline{\eta}}$. They work over an uncountable algebraically closed field of characteristic zero and they work with the etale cohomoly.

Since I am working over the complex numbers I think I can use the usual cohomology (for example with integers coeficients) instead of the etale cohomology, but when I want to prove some facts about the geometric generic curve $C_{\overline{\eta}}$ (which is a curve over $\overline{\eta}$ ) it seems weird to use the cohomology with integer coefficients (i.e. $H^{1}(C_{\overline{\eta}},\mathbb{Z})$ ), so I am wondering if I should use etale cohomology to proof properties about the geoemetric generic curve $C_{\overline{\eta}}$ of the family parametrized by $\Sigma$?

Thank you very much for your help!

$\endgroup$

0

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.