Skip to main content

All Questions

17 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
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 ...
C.D.'s user avatar
  • 605
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 ...
User12345's user avatar
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 ...
user267839's user avatar
  • 6,028
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$?
prochet's user avatar
  • 3,472
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 $\...
Frosinoneculone's user avatar
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 ...
User123456's user avatar
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 ...
user267839's user avatar
  • 6,028
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 ...
C.D.'s user avatar
  • 605
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 ...
prochet's user avatar
  • 3,472
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 ...
Allen Lee's user avatar
  • 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 ...
YetAnotherPhDStudent's user avatar
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 ...
Yuen's user avatar
  • 11
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 ...
C.D.'s user avatar
  • 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 ...
user267839's user avatar
  • 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 $...
prochet's user avatar
  • 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]^{*}$?
prochet's user avatar
  • 3,472
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 ...
user267839's user avatar
  • 6,028