Skip to main content

All Questions

2 votes
0 answers
66 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
0 votes
0 answers
113 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
  • 5,780
3 votes
0 answers
209 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
  • 5,780
4 votes
0 answers
189 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
  • 5,780
1 vote
1 answer
103 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 ...
user267839's user avatar
  • 5,780
1 vote
0 answers
217 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
3 votes
0 answers
102 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
  • 565
6 votes
0 answers
176 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
  • 565
1 vote
0 answers
43 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
  • 565
1 vote
0 answers
162 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
  • 5,780
1 vote
0 answers
143 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,452
1 vote
0 answers
94 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,452
4 votes
0 answers
158 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,452
1 vote
1 answer
119 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 ...
Kabim's user avatar
  • 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. ...
Gerard's user avatar
  • 181

15 30 50 per page