Skip to main content
added motivation
Source Link
Minseon Shin
  • 2k
  • 1
  • 15
  • 21

Let $X$ be a quasi-compact scheme. Say that $X$ has property $\mathbf{P}$$\mathbf{P}_{n}$ if $X$ admits an open cover $X = \bigcup_{i=1}^{n} U_{i}$ such that each $U_{i}$ is affine and each pairwise intersection $U_{i} \cap U_{j}$ is distinguished affine open (also "principal affine open") in both $U_{i}$ and $U_{j}$.

Does every quasi-compact (semi-)separated scheme $X$ have property $\mathbf{P}$$\mathbf{P}_{n}$ for some $n$?

Thoughts:

  1. If $X$ admits an ample line bundle $\mathcal{L}$ then $X$ has property $\mathbf{P}$$\mathbf{P}_{n}$ for some $n$. Namely if $s_{1},\dotsc,s_{n} \in \Gamma(X,\mathcal{L})$ are global sections such that each $X_{s_{i}}$ is affine and $X = \bigcup_{i=1}^{n} X_{s_{i}}$, then $X_{s_{i}} \cap X_{s_{j}}$ is the nonvanishing locus of $\varphi(s_{j}|_{X_{s_{i}}})$$\varphi_{i}(s_{j}|_{X_{s_{i}}})$ where $\varphi : \mathcal{L}|_{X_{s_{i}}} \to \mathcal{O}_{X_{s_{i}}}$$\varphi_{i} : \mathcal{L}|_{X_{s_{i}}} \to \mathcal{O}_{X_{s_{i}}}$ is a trivialization.

  2. If $f : X \to Y$ is an affine morphism and $Y$ has $\mathbf{P}$$\mathbf{P}_{n}$, then $X$ has $\mathbf{P}$$\mathbf{P}_{n}$. Is the converse true if $f$ is also finitely presented and faithfully flat?

  3. Using 2 and Noetherian approximation, we may assume that $X$ is of finite type over $\mathbb{Z}$.

The motivation for my question was a naive/"crank"y attempt to construct ample families of line bundles on a scheme with affine diagonal (c.f. Question 1 in the introduction to Totaro's "The resolution property for schemes and stacks"). Here is a cute fact: If $X$ has $\mathbf{P}_{2}$, then $X$ admits an ample family of line bundles (and hence has the resolution property). Proof: Set $U_{12} := U_{1} \cap U_{2}$. Let $s_{i} \in \Gamma(U_{i},\mathcal{O}_{X})$ such that $(U_{i})_{s_{i}} = U_{12}$. Let $\mathcal{L}_{1}$ be the line bundle on $X$ defined by the transition map $\times s_{1}|_{U_{12}} : \mathcal{O}_{U_{2}}|_{U_{12}} \to \mathcal{O}_{U_{1}}|_{U_{12}}$. Then there is a section $t_{1} \in \Gamma(X,\mathcal{L}_{1})$ which restricts to $s_{1}$ on $U_{1}$ and $1$ on $U_{2}$, so that $X_{t_{1}} = U_{2}$. Similarly, there is a line bundle $\mathcal{L}_{2}$ on $X$ and a section $t_{2} \in \Gamma(X,\mathcal{L}_{2})$ such that $X_{t_{2}} = U_{1}$. Then $\{\mathcal{L}_{1} , \mathcal{L}_{2}\}$ is an ample family of line bundles on $X$. If $X$ has $\mathbf{P}_{n}$ for $n \ge 3$, it seems much more complicated and I am wondering whether this sort of argument can be made to work.

Let $X$ be a quasi-compact scheme. Say that $X$ has property $\mathbf{P}$ if $X$ admits an open cover $X = \bigcup_{i=1}^{n} U_{i}$ such that each $U_{i}$ is affine and each pairwise intersection $U_{i} \cap U_{j}$ is distinguished affine open (also "principal affine open") in both $U_{i}$ and $U_{j}$.

Does every quasi-compact (semi-)separated scheme $X$ have property $\mathbf{P}$?

Thoughts:

  1. If $X$ admits an ample line bundle $\mathcal{L}$ then $X$ has property $\mathbf{P}$. Namely if $s_{1},\dotsc,s_{n} \in \Gamma(X,\mathcal{L})$ are global sections such that each $X_{s_{i}}$ is affine and $X = \bigcup_{i=1}^{n} X_{s_{i}}$, then $X_{s_{i}} \cap X_{s_{j}}$ is the nonvanishing locus of $\varphi(s_{j}|_{X_{s_{i}}})$ where $\varphi : \mathcal{L}|_{X_{s_{i}}} \to \mathcal{O}_{X_{s_{i}}}$ is a trivialization.

  2. If $f : X \to Y$ is an affine morphism and $Y$ has $\mathbf{P}$, then $X$ has $\mathbf{P}$. Is the converse true if $f$ is also finitely presented and faithfully flat?

  3. Using 2 and Noetherian approximation, we may assume that $X$ is of finite type over $\mathbb{Z}$.

Let $X$ be a quasi-compact scheme. Say that $X$ has property $\mathbf{P}_{n}$ if $X$ admits an open cover $X = \bigcup_{i=1}^{n} U_{i}$ such that each $U_{i}$ is affine and each pairwise intersection $U_{i} \cap U_{j}$ is distinguished affine open (also "principal affine open") in both $U_{i}$ and $U_{j}$.

Does every quasi-compact (semi-)separated scheme $X$ have property $\mathbf{P}_{n}$ for some $n$?

Thoughts:

  1. If $X$ admits an ample line bundle $\mathcal{L}$ then $X$ has property $\mathbf{P}_{n}$ for some $n$. Namely if $s_{1},\dotsc,s_{n} \in \Gamma(X,\mathcal{L})$ are global sections such that each $X_{s_{i}}$ is affine and $X = \bigcup_{i=1}^{n} X_{s_{i}}$, then $X_{s_{i}} \cap X_{s_{j}}$ is the nonvanishing locus of $\varphi_{i}(s_{j}|_{X_{s_{i}}})$ where $\varphi_{i} : \mathcal{L}|_{X_{s_{i}}} \to \mathcal{O}_{X_{s_{i}}}$ is a trivialization.

  2. If $f : X \to Y$ is an affine morphism and $Y$ has $\mathbf{P}_{n}$, then $X$ has $\mathbf{P}_{n}$. Is the converse true if $f$ is also finitely presented and faithfully flat?

  3. Using 2 and Noetherian approximation, we may assume that $X$ is of finite type over $\mathbb{Z}$.

The motivation for my question was a naive/"crank"y attempt to construct ample families of line bundles on a scheme with affine diagonal (c.f. Question 1 in the introduction to Totaro's "The resolution property for schemes and stacks"). Here is a cute fact: If $X$ has $\mathbf{P}_{2}$, then $X$ admits an ample family of line bundles (and hence has the resolution property). Proof: Set $U_{12} := U_{1} \cap U_{2}$. Let $s_{i} \in \Gamma(U_{i},\mathcal{O}_{X})$ such that $(U_{i})_{s_{i}} = U_{12}$. Let $\mathcal{L}_{1}$ be the line bundle on $X$ defined by the transition map $\times s_{1}|_{U_{12}} : \mathcal{O}_{U_{2}}|_{U_{12}} \to \mathcal{O}_{U_{1}}|_{U_{12}}$. Then there is a section $t_{1} \in \Gamma(X,\mathcal{L}_{1})$ which restricts to $s_{1}$ on $U_{1}$ and $1$ on $U_{2}$, so that $X_{t_{1}} = U_{2}$. Similarly, there is a line bundle $\mathcal{L}_{2}$ on $X$ and a section $t_{2} \in \Gamma(X,\mathcal{L}_{2})$ such that $X_{t_{2}} = U_{1}$. Then $\{\mathcal{L}_{1} , \mathcal{L}_{2}\}$ is an ample family of line bundles on $X$. If $X$ has $\mathbf{P}_{n}$ for $n \ge 3$, it seems much more complicated and I am wondering whether this sort of argument can be made to work.

Source Link
Minseon Shin
  • 2k
  • 1
  • 15
  • 21

Affine covering whose intersections are distinguished affine open

Let $X$ be a quasi-compact scheme. Say that $X$ has property $\mathbf{P}$ if $X$ admits an open cover $X = \bigcup_{i=1}^{n} U_{i}$ such that each $U_{i}$ is affine and each pairwise intersection $U_{i} \cap U_{j}$ is distinguished affine open (also "principal affine open") in both $U_{i}$ and $U_{j}$.

Does every quasi-compact (semi-)separated scheme $X$ have property $\mathbf{P}$?

Thoughts:

  1. If $X$ admits an ample line bundle $\mathcal{L}$ then $X$ has property $\mathbf{P}$. Namely if $s_{1},\dotsc,s_{n} \in \Gamma(X,\mathcal{L})$ are global sections such that each $X_{s_{i}}$ is affine and $X = \bigcup_{i=1}^{n} X_{s_{i}}$, then $X_{s_{i}} \cap X_{s_{j}}$ is the nonvanishing locus of $\varphi(s_{j}|_{X_{s_{i}}})$ where $\varphi : \mathcal{L}|_{X_{s_{i}}} \to \mathcal{O}_{X_{s_{i}}}$ is a trivialization.

  2. If $f : X \to Y$ is an affine morphism and $Y$ has $\mathbf{P}$, then $X$ has $\mathbf{P}$. Is the converse true if $f$ is also finitely presented and faithfully flat?

  3. Using 2 and Noetherian approximation, we may assume that $X$ is of finite type over $\mathbb{Z}$.