3 problems

Let $S$ be a global excellent Dedekind scheme with function field $K$, and let $G$ be a smooth algebraic group over $K$. A Néron lft-model of $G$ is a smooth separated $S$-group al…

Relative compactification conjecture. For some $n_0\in{\mathbf N}$, $P_{n_0}$ is a relative compactification of ${\mathcal G}$ and

Grothendieck's perfectness conjecture. The pairing above is perfect.