All Questions
25 questions
2
votes
0
answers
153
views
A schematic representability of an algebraic space with group action
In the book "Néron Models" (BLR), there is a statement as follows (on page 164):
Let $S$ be a locally noetherian scheme and let $G$ be a smooth algebraic group space over $S$ with connected ...
- 291
2
votes
0
answers
69
views
Irreducibility of Białynicki-Birula cells
Let $X\subset \mathbb{P}^n$ be a smooth complex projective variety, and consider a non-trivial action of $\mathbb{C}^*$ on $X$. For any connected fixed component $Y$ of the fixed point locus, we may ...
0
votes
0
answers
118
views
Induced action on infinitesimal thickenings by an algebraic group
Let $X$ be an irreducible locally noetherian $k$-scheme (for $k$ any field), $G$ an algebraic group acting on $X$ via $a:G \times X \to X$ and $x \in X$ a closed point, which is by Zariski's lemma ...
- 6,028
3
votes
0
answers
229
views
Action of an algebraic group $G$ on a scheme $X$ with fixed rational point
Let $X$ be an irreducible locally noetherian $k$-scheme ($k$ any field) and $G$ an algebraic $k$-group acting on $X$.
Proposition 3.1.6 in these notes by M. Brion claims
Let $a : G \times X \to X$ be ...
- 6,028
4
votes
0
answers
198
views
Questions about the fixed point functor $X^G$ of a $G$-scheme
Let $X$ a (locally Noetherian; but not sure if that's really matter) $k$-scheme, $G$ a $k$-group scheme acting on $X$ via morphism $a:X \times G \to X$.
The fixed point functor of $X$ (where $X$ is ...
- 6,028
1
vote
1
answer
106
views
Torsor of finite presentation and surjectivity of map of $\overline{k}$-valued points
I have a question about the content of remark 2.6.6. (i) (p 18) from M. Brion's notes on structure of algebraic groups.
Let $G$ be a group scheme over certain fixed base field $k$ (as all other ...
- 6,028
1
vote
0
answers
263
views
An algebraic stack is an algebraic space if and only if it has the trivial stabilizer group
Let $G\to S$ be a smooth affine group scheme over a scheme. Let $U$ be a scheme over $S$ with an action of $G$. Let $[U/G]$ be the quotient stack.
In Alper's note: Stacks and Moduli, there is a result ...
- 11
3
votes
0
answers
105
views
When can we lift transitivity of an action from geometric points to a flat cover?
Let $G$ a nice group scheme (say, over $S$), $X$ a smooth $G$-scheme over $S$, that is, $\pi : X \to S$ a smooth, $G$-invariant morphism. Assume that the action is transitive on algebraically closed ...
- 605
6
votes
0
answers
190
views
Computing the automorphism scheme of projective space
$\newcommand{\Spec}{\operatorname{Spec}}$I'm trying to understand why $PGL_{n}$ is the automorphism scheme of $\mathbb{P}^{n-1}_{\mathbb{Z}}$.
In Conrad's Reductive Group Schemes, the following ...
- 605
1
vote
0
answers
44
views
What is the kernel of the differential of the orbit-stabilizer map for nonsmooth stabilizers?
$\newcommand{\Lie}{\operatorname{Lie}}$Let $G$ be a smooth linear algebraic variety over perfect field $k$, acting on a separated variety $X$, and for $x \in X(k)$ write $G_x$ for the scheme-theoretic ...
- 605
1
vote
0
answers
165
views
Discriminant ideal in a member of Barsotti-Tate Group
Let $S = \operatorname{Spec} R$ an affine scheme (in our case latter a complete dvr) and $p$ a prime. Then Barsotti-Tate group or $p$-divisible group $G$ of height $h$ over $S$
is an inductive system
...
- 6,028
1
vote
0
answers
146
views
Factoriality of schubert cells in affine flag variety
Take for simplicity $G=SL_n$ and consider the affine flag variety $Fl=G(\mathbb{C}((t)))/I$ for $I$ the Iwahori corresponding to the Borel of upper triangular matrices of determinant one.
For each $...
- 3,472
1
vote
0
answers
95
views
Units in the coordinate ring on a reductive group
Let $K$ be a field and $G$ a connected reductive group over $K$.
Can we describe $K[G]^{*}$?
- 3,472
4
votes
0
answers
162
views
Embed FPPF group scheme into smooth one
Let $A$ be a ring and $G$ be an affine commutative FPPF group scheme over $A$. Can we embed $G$ into a smooth group scheme over $A$?
- 3,472
1
vote
1
answer
121
views
Functorial description of a certain subgroup scheme
We work with schemes over an arbitrary field $k$. Let $X$ be a scheme, and $G$ a group scheme acting on $X$. Let $Y\subseteq X$ be a locally closed subscheme. Consider the following functor $N$: for ...
- 95
4
votes
1
answer
156
views
Group algebraic spaces that are locally of finite type and have only finitely many points
Let $k$ be an algebraically closed field of characteristic zero. Let $G$ be a group algebraic space over $k$ such that $G\to $ Spec $k$ is locally of finite type.
Suppose that $G(k)$ is finite.
...
- 181
4
votes
0
answers
169
views
Quotients of quasi affine varieties and extension of scalars
I have some questions about GIT quotients and extensions of scalars of categorical quotients:
1) Let $X$
be a complex algebraic quasi-affine variety, $G$
an algebraic reductive group over $\...
3
votes
1
answer
260
views
Chevalley devissage
Let $G$ be an algebraic group over a perfect field $k$. Then it is know that it can be written as an extension of an affine algebraic group and a proper algebraic group.
Is there a similar result for ...
- 3,472
9
votes
1
answer
448
views
Torsors trivializing over a fixed finite etale cover
Let $S$ be an integral regular scheme and let $T\to S$ be a finite etale morphism. Let $G$ be a smooth affine finite type group scheme over $S$.
Is the set of $S$-isomorphism classes of $G$-torsors ...
- 151
5
votes
1
answer
307
views
The stack of group algebraic spaces
The fibred category $\mathcal A$ of algebraic spaces over a scheme $S$ is a stack (over the category of affine schemes with the etale topology). This is proved in Laumon and Moret-Bailly's book (see (...
6
votes
0
answers
239
views
Can we classify reductive group schemes over curves
Let $C$ be a smooth quasi-projective connected curve over the complex numbers.
Can one classify all reductive group schemes over $C$?
Certainly, you have the trivial ones (coming from pulling-back ...
- 61
4
votes
0
answers
326
views
Tannaka categories and reductive groups
The group associated to a Tannaka category $T$ over a field is pro-reductive if and only if $T$ is semi-simple.
Pro-reductive groups make sense over any scheme.
Is there an extension of the theory ...
- 71
8
votes
1
answer
3k
views
Orbits of group scheme action
I am interested in orbits of the action of a group scheme on a scheme and I'm particularly interested in the following special case: Let $k$ be an algebraically closed field, let $G$ be an affine ...
- 83
3
votes
0
answers
90
views
on Neron defect of smoothness for groups schemes
Let $G$ a semisimple simply connected group over $\mathbb{C}$.
Let $\gamma\in G(\mathbb{C}[[t]])$ such that $\gamma$ is regular semisimple on $G(\mathbb{C}((t)))$.
We consider $I_{\gamma}$ the group ...
- 3,472
11
votes
4
answers
2k
views
The category of finite locally-free commutative group schemes
I'm trying to understand the properties of the category $\mathcal{FL}/S$ of finite locally-free commutative group schemes over an arbitrary base-scheme $S$. I know it is not in general an abelian ...
- 111