All Questions
2,543 questions
26
votes
1
answer
2k
views
Example of non-projective variety with non-semisimple Frobenius action on etale cohomology?
This question was motivated by a more general question raised by Jan Weidner here. In general one starts with a variety $X$ (say smooth) over an algebraic closure of a finite field $\mathbb{F}_q$ of ...
CommunityBot
- 1
22
votes
4
answers
4k
views
Is there a "universal group object"? (answered: yes!)
I want to say that a group object in a category (e.g. a discrete group, topological group, algebraic group...) is the image under a product-preserving functor of the "group object diagram", $D$. One ...
- 747
5
votes
1
answer
837
views
When does the derived subgroup of $G(F)$ contains the $F$-points of unipotent subgroups of $G$
Let $F$ be a local field of characteristic $0$ and $G$ a connected split reductive group over $F$.
Let's look at the derived groups. We have $(G(F),G(F)) \subset (G,G)(F)$ and this inclusion is of ...
CommunityBot
- 1
2
votes
0
answers
263
views
Chevalley groups over $k[t]/t^n$
This question is motivated partly by a recent question on Chevalley groups over arbitrary commutative rings (and see also this older question). The answers to that question point to a large and ...
CommunityBot
- 1
3
votes
1
answer
304
views
A question on algebraic loop groops
Setup:
Let $\mathcal{K}=\mathbb{C}((t))$, $\mathcal{O}:= \mathbb{C}[[t]]$ and $G$ be a reductive algebraic group (over $\mathbb{C}$). Let further $\mathcal{K}_n$ denote the $\mathcal{O}$-ideal in $\...
- 36
3
votes
1
answer
138
views
On matrices conjugated in a faithful representation
Let $k$ an algebraically closed field.
Let $O=k[[\pi]]$ and $F=k((\pi))$ and $G\rightarrow GL_{n}$ a faithful representation of a semisimple group.
Let $A, B\in G(O)\cap G(F)^{rs}$ (rs for regular ...
CommunityBot
- 1
5
votes
1
answer
892
views
Zariski dense subgroups of linear algebraic groups
The theorem of Matthews, Vaserstein and Weisfeiler asserts that if $G$ is a simply connected absolutely almost simple groups over $Q$ and $\Gamma$ a finitely generated subgroup of $G(Q)$ which is ...
- 37k
2
votes
1
answer
336
views
Subgroup containing a given torus as a maximal torus
Let T be a non-trivial torus in a semisimple group G of adjoint type defined over Q.
I was wondering whether there exists a reductive subgroup H of G (defined over Q !) such that T is a maximal torus ...
4
votes
2
answers
394
views
Colon property of Gorenstein rings
Let $(R, \mathfrak{m})$ be a Gorenstein local ring of characteistic $p>0$. Let $x_1,...,x_d$ be a system of parameters of $R$. Let $I$ be an $\mathfrak{m}$-primary ideal containg $(x_1,...,x_d)$. ...
- 2,773
8
votes
0
answers
366
views
Higher-dimensional generalization of Pink's theorem
Pink's theorem in the title of the question refers to the main theorem of Pink's paper "Compact Subgroups of Linear Algebraic Groups" that appeared in Journal of Algebra (206) in 1998. It essentially ...
- 26.1k
10
votes
2
answers
782
views
Equivariant normalization?
Let $G=\mathrm{Gl}_n\mathbb C$ and let $X$ be an affine $G$-variety. Let $\phi:\tilde X\to X$ be the normalization of $X$, i.e. the spectrum of the integral closure of $\mathbb C[X]$ in its fraction ...
- 156k
4
votes
1
answer
252
views
Finding Finite Generators of a Subset of a Quaternion Algebra/Cocompact Lattices
I was wondering if anyone had some ideas (books, papers, experience) on how to explicitly compute generators for the elements of a quaternion algebra, $Q$, with reduced norm $1$. I'm trying to ...
- 43
5
votes
1
answer
608
views
When does a group action on a k-algebra induce an algebraic action on the spectrum?
This question arose from my last question, which I considered answered - from the comments, however, it is obvious that the answer is only complete in characteristic zero, and I am trying to ...
CommunityBot
- 1
0
votes
0
answers
168
views
semisimple conjugacy classes over general bases
Let $k$ be an algebraically closed field, $G$ a connected reductive group, $T$ a maximal torus, $W$ the Weyl group and $\chi:G\rightarrow T/W$ the Steinberg morphism.
We know that if $\gamma,\gamma'\...
- 3,472
7
votes
1
answer
306
views
Smooth affine algebraic subgroups as complete intersections
Let's fix an algebraically closed field $k$ of arbitrary characteristic and a connected nonsingular affine algebraic $k$-group $G$. Under what conditions can I assume that a connected nonsingular ...
- 156k
4
votes
0
answers
185
views
Are these subspaces of $\mathbb{Z}/3[[x]]$ stable under the shallow Hecke algebra?
This is a characteristic $3$ analog of part of my earlier question, "Are these two subspaces of $\mathbb{Z}/2[[x]]$ the same?"
Notation
Fix a prime $N$ other than $3$. Let $F,G \in \mathbb{Z}/3[[x]]$...
CommunityBot
- 1
2
votes
0
answers
244
views
Descent theory of line bundles on abelian varieties under isogenies (in char p>0)
I have a couple of questions regarding the descent theory of line bundles on abelian varieties under isogenies in positive characteristic.
Let $X$ be an abelian variety and $L\in Pic(X)$ a line ...
CommunityBot
- 1
9
votes
3
answers
1k
views
Unipotent linear algebraic groups
Let $U_1$ be a unipotent group inside some Chevalley group $G$. For now, think of $G$ as being $SL_n(K)$ where $K$ is a field; then we can take $U_1$ to be a bunch of strictly upper triangular matrics....
- 631
6
votes
1
answer
693
views
Nagata's conjecture in positive characteristic
For a $\mathbb C P^2$ is known a result: if through the generic points $p_1,p_2,\dots p_n$ with multiplicities $m_1,m_2\dots, m_n$ correspondingly a degree $d$ irreducible reduced curve passes then $d^...
- 1,811
0
votes
0
answers
333
views
on the Galois cohomology of reductive groups
Let $G$ a simply connected group over an algebraically closed field.
$F=k((t))$ and $\mathcal{O}=k[[t]]$.
Let $\gamma\in G(\mathcal{O})\cap G(F)^{rs}$.
Let $E=k((t^{1/n}))$ with $n$ prime to the ...
- 3,472
1
vote
1
answer
450
views
Equivariant fibre product
Let $G$ be an algebraic group. Let $X$ and $Y$ be $S$-schemes such that $X$, $Y$ and $S$ are $G$-schemes and the structural morphisms are equivariant. My question is: Can the fiber product $P:=X\...
- 15.9k
2
votes
0
answers
117
views
integral stable conjugacy classes
Let $G$ be a semisimple simply connected group over $k$ algebraically closed field .
Let $\gamma,\gamma'\in G(k[[\pi]])$ that are generically regular semisimple on $G(k((\pi)))$.
We assume that ...
- 1,323
1
vote
0
answers
508
views
on the open bruhat cell
Let $G$ a connected reductive group and $S=U^{-}TU$ the open cell.
Do we have $G=\bigcup\limits_{g\in G}gSg^{-1}$?
And also if I assume that $G$ is adjoint and $\overline{G}$ is the de Concini-...
- 3,472
8
votes
1
answer
382
views
Action of the endomorphism monoid on an irreducible GL-module
Let $G=\mathrm{Gl}_n(\mathbb C)$ and $V$ an irreducible $G$-module on which $G$ acts polynomially. In other words, the algebraic group action of $G$ on the affine space $V$ extends to an algebraic ...
- 2,649
4
votes
1
answer
395
views
The Representation of $\mathrm{Sp}_{2n}$ of Dimension $2^n$ in characteristic 2
Let $G:=\mathrm{Sp}_{2n}$ be the simple algebraic group of simply connected type with root-system $C_n$.
Is there a way, to explicitly construct the
highest weight representation $\mathrm{L}(\lambda)$,...
- 430
47
votes
2
answers
9k
views
current status of crystalline cohomology?
The great references given on Ilya's question make me wonder about the current status of the many conjectures and open questions in Illusie's survey from 1994 on crystalline cohomology. Obviously (...
CommunityBot
- 1
2
votes
0
answers
212
views
Compute the discriminant for reductive groups
Consider $G=GL_{2}$ and $F=k((\pi))$, and a diagonal matrix $t=\left(\begin{array}{cc}a&0\\0&b\end{array}\right)$.
The characteristic polynomial of $t$ is $X^{2}-(a+b)X+ab$, and the ...
- 3,472
7
votes
3
answers
752
views
Does every linear group admit a subgroup of dimension 1?
Suppose that $G$ is a linear group of positive dimension, defined over some field $k$. Is that true, that $G$ admits a (closed) one-dimensional subgroup?
I'm pretty much sure this is true in ...
- 267
3
votes
1
answer
397
views
Existence of quotient variety for group implies existence of quotient for normal subgroups
Let $G=G_1\times G_2$ be a product of two linear algebraic groups over an algebraically closed field. Assume that $G$ acts on a variety $X$ such that the quotient $X\rightarrow X/G$ exists in the ...
- 13.2k
46
votes
2
answers
8k
views
Definition of "finite group of Lie type"?
The list of finite simple groups of Lie type has been understood for half a century, modulo some differences in notation (and identifications between some of the very small groups coming from ...
- 2,246
4
votes
2
answers
1k
views
Splitting field of a Torus
Let $T$ be a torus over a non-necessary perfect field $k$. Let $\bar k$ an algebraic closure of $k$. Is there a smallest extension $k'$ of $k$ in $\bar k$ such that $T \times_{{\rm spec}\, k} {\rm ...
- 52.9k
4
votes
0
answers
330
views
determine if a toric variety is Gorenstein
Let $G$ a simply connected group over $k$ and $car(k)=0$.
Let $T_{+}=(T\times T)/Z_{G}$ we consider the closure $\overline{T}_{+}$ of the torus $T_{+}$ in $\prod End(V_{\omega_{i}})\times\prod\...
- 3,472
0
votes
0
answers
115
views
a very elementary question on the conjugated matrices
Let $A$ and $B$ two matrices in $GL_{n}(K[[\pi]])$, regular semisimple on $GL_{n}(K((\pi)))$, with $K$ an algebraically closed field of characteristic zero .
We suppose that they have the same ...
- 3,472
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
4
votes
0
answers
164
views
Is there an analogue of distributions in characteristic p?
Some motivation: When working over $\mathbb{C}$, distributions (in the sense of generalized functions) act as natural generators for $D$-modules (in the sense that any regular holonomic $D$-module is ...
- 1,488
4
votes
2
answers
357
views
Why does the expression "the largest quotient of a linear algebraic group that is multiplicative type" make sense?
For the past few weeks I've been trying to get myself acquainted with the language and basic theory of linear algebraic group schemes. In an attempt to see whether I have learned enough to read a ...
- 1,031
2
votes
0
answers
205
views
Is the Mumford-Tate group determined by its $\mathbb{Q}$-points?
Let $V$ be a $\mathbb{Q}$-Hodge structure and $MT \subset GL_V$ its Mumford-Tate group. Let $I \subset \mathcal{O}_{GL_V}$ be the ideal of functions vanishing on $MT(\mathbb{Q})$.
Is $\mathcal{O}_{...
5
votes
1
answer
455
views
$(\varphi, \Gamma)$-module of dimension 2 modulo $p$
Let $p$ be a prime number $\geq 3$. Let $V$ be a representation of $Gal(\bar{\mathbb{Q}}_p/ \mathbb{Q}_p)$ with coefficients in $\mathbb{F}_p$. Assume $V$ is a non-split extension of two characters $\...
CommunityBot
- 1
5
votes
1
answer
453
views
A subgroup of the Weyl group
Let $D$ be a connected Dynkin diagram with an automorphism $\nu$ of order 2.
Let $Q=Q(D)$ denote the root lattice of $D$.
Let $W=W(D)$ denote the Weyl group, it acts effectively on $Q$ and it is ...
- 52.9k
6
votes
1
answer
516
views
One-parameter subgroups of symplectic group associated to roots
I'm having trouble sorting out some basic definitions concerning Chevalley groups. The groups I'm interested in are the simply connected groups of type $C_n$, so the groups $\text{Sp}_{2n}$. The ...
- 31.5k
11
votes
2
answers
2k
views
Partial (or complete) flag varieties as GIT quotients of affine spaces
I am looking for presentations of partial or complete flag varieties as GIT quotients of affine varieties spaces. That is, for a choice of of dimensions $0=d_1<d_2<\dots<d_k = n$, I would ...
- 27.9k
2
votes
1
answer
267
views
On Non F-pure ideal and Sharp F-Purity for a pair $(X, \Delta)$ where $K_X+\Delta$ is NOT $\mathbb{Q}$-Cartier
Suppose $(X,\Delta\ge 0)$ is a pair such that $(p^g-1)(K_X+\Delta)$ is an Integral Weil Divisor for some $g>0$ and $X$ is a normal variety. Define $\mathcal{L}_{e,\Delta} = \mathcal{O}_X( (1-p^g)(...
- 20.5k
4
votes
1
answer
398
views
Properties of divisors when moving from char 0 to char p.
Consider a smooth projective variety $X$ over $\mathbb{C}$ such that $X$ has models over $\mathbb{Z}[1/N]$ and $X_p=X_{\mathbb{Z}[1/N]}\times \text{Spec}(\mathbb{F}_p)$ is also a smooth projective ...
- 4,111
6
votes
0
answers
3k
views
Representations of the orthogonal group O(n) vs representations of the special orthogonal group SO(n), over an arbitrary field
Let $O(n)$ and $SO(n)$ denote the split orthogonal linear algebraic group and its special subgroup, over some fixed field of characteristic not two.
I am looking for a reference that explains how to ...
CommunityBot
- 1
3
votes
2
answers
655
views
Simple representations of products of algebraic groups
I am looking for a reference for the following assertion that I believe to be true. All representations are assumed to be finite-dimensional.
Let $G_1$ and $G_2$ be affine algebraic group schemes ...
4
votes
0
answers
189
views
Does this space of mod 2 modular forms admit a (Z/8)* degree decomposition?
Fix an odd N>0. Let M consist of all odd elements of Z/2[[x]] that are the mod 2 reductions of elements of Z[[x]] arising as the Fourier expansions of modular forms for (Gamma_0)(N); it's easy to see ...
- 5,422
3
votes
0
answers
247
views
K-theory of categories of group schemes and abelian varieties
Let $k$ be a field (perfect, or characteristic zero if you want - I'm especially interested in when $k$ is a number field). Consider the categories $\mathsf{G}_k=\{\text{commutative affine group ...
CommunityBot
- 1
3
votes
0
answers
356
views
Jordan decomposition for non algebraically closed fields
Let $G$ be a (linear?) algebraic group defined over some field $k$ (not necessarily algebraically closed). For $g\in G$ we have the Jordan decomposition $g=su$ in the semisimple part $s$ and the ...
- 265
2
votes
2
answers
459
views
Rank of the character group of a maximal $K$-torus for semisimple and adjoint algebraic groups
I've been trying to understand some of the idiosyncrasies associated to algebraic groups over non-algebraically closed fields $K$ of characteristic $p > 0$.
Let $G$ is a connected almost ...
- 576
2
votes
0
answers
256
views
Certain central extensions of simply connected simple algebraic groups
An offbeat question involving Milnor's $K_2$ has come up recently. Start with an algebraically closed field $F$ (perhaps required to be of characteristic 0). Let $G$ be a connected, simply connected ...
- 11.2k