Skip to main content
etale -> étale
Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

Let $P$ denote a parabolic subgroup scheme of $\text{Sp}(2n;F)$$\operatorname{Sp}(2n;F)$, where $F$ is a field (I am interested in $K=\mathbb{Q}_p$ so possibly okay to assume local with characteristic $0$ if it makes life easier).

Let $X$ be a smooth quasi-projective scheme over $F$, and let $T\longrightarrow X$ denote a principal $P$-bundle over $X$, i.e. a $P$-torsor over $X$. By definition, $P$ is etaleétale locally trivial.

Question: Is $P$ also Zariski locally trivial?

A reference or a proof would be appreciated!

Let $P$ denote a parabolic subgroup scheme of $\text{Sp}(2n;F)$, where $F$ is a field (I am interested in $K=\mathbb{Q}_p$ so possibly okay to assume local with characteristic $0$ if it makes life easier).

Let $X$ be a smooth quasi-projective scheme over $F$, and let $T\longrightarrow X$ denote a principal $P$-bundle over $X$, i.e. a $P$-torsor over $X$. By definition, $P$ is etale locally trivial.

Question: Is $P$ also Zariski locally trivial?

A reference or a proof would be appreciated!

Let $P$ denote a parabolic subgroup scheme of $\operatorname{Sp}(2n;F)$, where $F$ is a field (I am interested in $K=\mathbb{Q}_p$ so possibly okay to assume local with characteristic $0$ if it makes life easier).

Let $X$ be a smooth quasi-projective scheme over $F$, and let $T\longrightarrow X$ denote a principal $P$-bundle over $X$, i.e. a $P$-torsor over $X$. By definition, $P$ is étale locally trivial.

Question: Is $P$ also Zariski locally trivial?

A reference or a proof would be appreciated!

added 6 characters in body
Source Link
kindasorta
  • 2.9k
  • 5
  • 14

Let $P$ denote a parabolic subgroup scheme of $\text{Sp}(2n;F)$, where $F$ is a field (I am interested in $K=\mathbb{Q}_p$ so possibly okay to assume local with characteristic $0$ if it makes life easier).

Let $X$ be a smooth quasi-projective scheme over $F$, and let $T\longrightarrow X$ denote a principal $P$-bundle over $X$, i.e. a $P$-torsor over $X$. ClearlyBy definition, $P$ is etale locally trivial.

Question: Is $P$ also Zariski locally trivial?

A reference or a proof would be appreciated!

Let $P$ denote a parabolic subgroup scheme of $\text{Sp}(2n;F)$, where $F$ is a field (I am interested in $K=\mathbb{Q}_p$ so possibly okay to assume local with characteristic $0$ if it makes life easier).

Let $X$ be a smooth quasi-projective scheme over $F$, and let $T\longrightarrow X$ denote a principal $P$-bundle over $X$, i.e. a $P$-torsor over $X$. Clearly, $P$ is etale locally trivial.

Question: Is $P$ also Zariski locally trivial?

A reference or a proof would be appreciated!

Let $P$ denote a parabolic subgroup scheme of $\text{Sp}(2n;F)$, where $F$ is a field (I am interested in $K=\mathbb{Q}_p$ so possibly okay to assume local with characteristic $0$ if it makes life easier).

Let $X$ be a smooth quasi-projective scheme over $F$, and let $T\longrightarrow X$ denote a principal $P$-bundle over $X$, i.e. a $P$-torsor over $X$. By definition, $P$ is etale locally trivial.

Question: Is $P$ also Zariski locally trivial?

A reference or a proof would be appreciated!

Source Link
kindasorta
  • 2.9k
  • 5
  • 14

Are principal parabolic group scheme bundles Zariski locally trivial?

Let $P$ denote a parabolic subgroup scheme of $\text{Sp}(2n;F)$, where $F$ is a field (I am interested in $K=\mathbb{Q}_p$ so possibly okay to assume local with characteristic $0$ if it makes life easier).

Let $X$ be a smooth quasi-projective scheme over $F$, and let $T\longrightarrow X$ denote a principal $P$-bundle over $X$, i.e. a $P$-torsor over $X$. Clearly, $P$ is etale locally trivial.

Question: Is $P$ also Zariski locally trivial?

A reference or a proof would be appreciated!