Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
0 answers
175 views

Is this double quotient of $\operatorname{SL}_2$ representable by an algebraic space or a scheme?

$\DeclareMathOperator\SL{SL}$Let $B$ be a Borel subgroup (upper triangular matrices), and let $\Gamma := \langle \sigma\rangle$ be the group generated by a (hyperbolic) element of $\SL_2/\mathbb{Q}_p$ ...
kindasorta's user avatar
  • 2,907
8 votes
0 answers
325 views

Moduli stacks and representability of diagonal by schemes

The answer to my question might very well be standard, but I have had trouble finding the right keywords to search for it, so I apologize if this is something well-known to the experts. I am learning ...
Wojowu's user avatar
  • 28.2k
5 votes
0 answers
283 views

Reference for Grothendieck's theorem on representation of unramified functors

In the Exposé 294 of the Bourbaki Seminar of the year 1964-1965, Murre gives an outline of proof of a theorem of Grothendieck giving necessary and sufficient conditions of representability by a scheme ...
Matthieu Romagny's user avatar
0 votes
1 answer
87 views

representing base changes of the unit section

Let $S$ be a scheme and $G$ be a sheaf in groups on the big étale site over $S$. Let $e:S\rightarrow G$ be the unit section. Is it true that given an algebraic space in groups $H$, étale over $S$, and ...
Manuel 's user avatar
7 votes
2 answers
800 views

Is an algebraic space over a DVR, whose special fibre and generic fibre are schemes, actually a scheme?

Is an algebraic space over a DVR, whose special fibre (and all its infinitesimal neighborhood) and generic fibre are schemes, actually a scheme?
Heer's user avatar
  • 997
0 votes
1 answer
226 views

Prorepresentable functors repres. by alg. spaces? Covering spaces by alg. spaces.

Let $X$ be a (reasonable) scheme. I'm curious about constructing the constructing the covering space of a scheme algebraically. The covering space functor $F$ (below) can be represented by a ...
LMN's user avatar
  • 3,555
6 votes
2 answers
789 views

Do quotients of representable sheaves represent quotients?

Here's the context for the question: Proposition 4.6 of Freitag and Kiehl's book on etale cohomology shows that a sheaf (of sets) $\mathcal{F}$ (on the site Et(X)) is constructible if and only if it ...
Rebecca Bellovin's user avatar