All Questions
828 questions
3
votes
0
answers
289
views
Conjugation of faces in root systems / of parabolic subgroups having same Levi in split reductive groups
If $(V,\Phi)$ is a root system of rank $n$, one knows that its Weyl group $W$ acts simply and transitively on Weyl chambers. But in general, if $d\lt n$, the action of $W$ on faces of dimension $d$ is ...
- 31
3
votes
0
answers
308
views
Invertible Hasse-Witt for non-ordinary curves
Assume that $S$ is a smooth curve of over a field $k$ of characteristic $p>0$ and $f\colon X\to S$ is a relative curve over $S$ (i.e., the fibers are curves). It is well-known that when all the ...
- 395
3
votes
0
answers
281
views
What would be a characteristic-$p$ analogue for $C^{\infty}$-fiber bundles?
I'd like to know a notion for a morphism between algebraic varieties in characteristic $p$ that plays the role of a $C^{\infty}$-fiber bundle. It should be, in particular, flat. I'm not assuming the ...
- 4,265
2
votes
2
answers
839
views
Possible Borel subgroups of GL_n?
I am trying to understand the interaction between Borel subgroups of $GL_n$ and its roots. Is it correct to say that for any choice of roots among each pair of reciprocal roots
there is a Borel ...
- 2,842
2
votes
2
answers
1k
views
Normalizers of maximal compact groups?
Consider a reductive group over a local field. What is the normalizer of a maximal compact subgroup?
If this is to general, what is the normalizer of $GL(n, \mathbb{Z}_p)$ in $GL(n, \mathbb{Q}_p)$, ...
- 11.2k
2
votes
2
answers
267
views
Openness of finite index subgroups of $\mathrm{GL}_n(\prod O_v)$
Let $K$ be a global field and set $O := \prod_{v\nmid \infty} O_v$ where $v$ runs over the finite places of $K$. Equip $\mathrm{GL}_n(O) = \prod_v \mathrm{GL}_n(O_v)$ with the product of the $v$-adic ...
- 1,103
2
votes
2
answers
875
views
Parabolic subgroups and BN-pairs
We note $G$ a connected algebraic group, $T$ a maximal torus in $G$, $B$ a Borel subgroup containing $T$. We put also, $N=N_{G}(T)$ the normalizer of $T$ in $G$. We know that $(B,N)$ is a BN-pair of $...
- 933
2
votes
2
answers
344
views
What is the normalization factor for $GL_n( \mathbb{Q}_p) // GL_n( \mathbb{\mathbb{Z}_p})$?
Consider $G = GL_n( \mathbb{Q}_p)$ and $K = GL_n( \mathbb{Z}_p)$, or more favorable replace $ \mathbb{Q}_p$ by a non archimedean field and $\mathbb{Z}_p$ by the ring of integers.
Note that the space ...
- 11.2k
2
votes
2
answers
483
views
Coherent cohomology of G/U, G = reductive group, B = TU Borel subgroup
Hi,
Let $G$ be an algebraic reductive group over an algebraically closed field $k$, $T$ a maximal torus and $B = TU$ a Borel subgroup containing it. I'm interested in computing $H^*(G/U,\mathcal O_{G/...
- 2,842
2
votes
1
answer
332
views
Ample bundle under Frobenius morphism
Let $k$ be an algebraically closed field of char($k$)=p>0, $X$ a smooth projective variety over $k$, $F:X\rightarrow X^{(1)}$ the relative Frobenius morphism. Let $E$ be an ample vector bundle on $X$. ...
- 85
2
votes
1
answer
528
views
Is there an easy proof of the fact that the intermediate image functor respects weights?
It was proven in BBD (see Corollary 5.3.2) that for an open immersion $j$ the functor $j_{!*}$ preserves weights of mixed sheaves. The proof relies on several previous results; it is especially ...
- 16.9k
2
votes
2
answers
765
views
Can the intersection of a maximal parabolic with a closed sub-group contain more than one maximal parabolic?
Suppose that we have a closed embedding $G_1\hookrightarrow G_2$ of reductive groups (say over $\mathbb{Q}$), and suppose that we have a maximal parabolic sub-group $P_2\subset G_2$, and a minimal ...
- 3,032
2
votes
1
answer
278
views
What is the family derived from the absolute Frobenius on the Hilbert scheme?
Let $f$ be a Hilbert polynomial, and $X := Hilb_h(P^d_{F_p})$ a Hilbert scheme defined over $F_p$. Then there is an absolute Frobenius map $F: X \to X$. I'm even interested in the case $f \equiv 1$, ...
- 27.9k
2
votes
2
answers
408
views
a conjugacy question in quasi-split reductive groups
I have a somewhat technical question about conjugacy in
quasi-reductive groups.
Let $k$ be a field (in my main case interest, $k$ is finite), $G$ be a connected
quasi-split reductive group over $k$....
- 26.1k
2
votes
1
answer
291
views
Representation theory of G1 versus G/Z
Let $G$ be an locally compact group $G$, then every irreucible representations $\pi$ is isomorphic to $\omega_{\pi} \otimes \pi'$, where $\omega_{\pi}$ is the central character of $\pi$ and $\pi'$ an ...
- 11.2k
2
votes
1
answer
304
views
Connected extensions of finite by connected algebraic groups
Let $1\to H\to E\to G\to 1$ be a short exact sequence of algebraic groups defined over an algebraically closed field $k$ of characteristic $p$. Suppose $H$ is a finite group, and $G$ and $E$ are ...
- 631
2
votes
2
answers
2k
views
Reference of primitive root mod p
Can any body give me a reference of the result about primitive root mod p for a class of prime number p.
The result that I am looking for is something along this line:
$2$ is a primitive root mod $p$...
- 73
2
votes
1
answer
106
views
Does a polynomial $P(X,Y)$ that specializes to a polynomial $P(x_0,Y)$ with distinct roots in $\overline{k}$ have distincts roots in $\overline{k(X)}$
Let $k$ be a field, $P\in k[X][Y]$ be a monic polynomial of degree $n$ in $Y$.
I am looking for a simple proof of the following fact.
"If there exists $x_0\in k$ such that $P(x_0,Y) \in k[Y]$ has ...
- 2,521
2
votes
1
answer
608
views
Do we have Hodge symmetry for char $p$?
Let $X$ be a smooth projective variety over a field $k$. Let $h^{p,q}=dim_k H^q(X,\Omega_{X/k}^p)$ be the Hodge numbers.
If $k$ is of char $0$, by Lefschetz principle, we always have Hodge symmetry, i....
- 547
2
votes
2
answers
230
views
The stabiliser group of an isotropic quadratic form over $\mathbb{Q}_p$ is non-compact?
Let $\mathbb{Q}_p$ denote the $p$-adic integers. Let $V$ be a $\mathbb{Q}_p$-vector space and $Q : V \rightarrow \mathbb{Q}_p$ be a non-degenerate integral quadratic form. We say that the pair $(Q,V)$ ...
- 63
2
votes
2
answers
645
views
Supersingular elliptic curves and their automorphisms
If $E$ is a supersingular elliptic curve over a finite field of characteristic $p$, what is known about its automorphism group (i.e the stabilizer of a point in algebraic curves terminology).
Do all ...
2
votes
1
answer
281
views
Unitary representation with fixed Casimir
Let $G$ be a connected reductive real Lie group with Lie algebra $\mathfrak{g}$. We denote by $\widehat{G}_u$ the unitary dual, that is the set of isomorphism classes of unitary reprensentation of $G$....
- 1,111
2
votes
2
answers
480
views
Lifting to char 0, references and questions
Suppose that I have a surface $S$, smooth proper over an algebraically closed (perfect?)field $k$ that lifts algebraically to some $S_W$ defined over a field of char 0. I am interested in properties ...
- 645
2
votes
2
answers
420
views
Twisted Gelfand pairs (Reference and examples)
Let $G$ be a locally compact group and let $K$ be a compact group. Let $(\tau, V_\tau)$ be an irreducible representation of $K$.
We consider the space of $Endo_K(\tau)$-valued, compactly supported ...
- 11.2k
2
votes
2
answers
571
views
What is a canonical set of representatives in $GL(n,F)$ for the vertices in the Bruhat Tits building?
$F$ is a non archimedean field here. To be more precise, I would actually prefer a set of representative in $B(F)$ for the discrete space $B(F) / B(o)Z(F)$?
This can be phrased also as question about ...
- 11.2k
2
votes
1
answer
170
views
Automorphism of positive characteristic field
Suppose $K$ is a field with $\text{char}(K) \geq 0$. Let $L$ be a cyclic extension of $K$ with degree $2n$. We consider the generator $\sigma$ of the Galois group $\text{Gal}(L/K)$.
I am interested in ...
- 923
2
votes
2
answers
273
views
Finiteness of the volume of $G(F) \backslash G(\mathbb A)$
Let $G$ be a semisimple algebraic group over a number field $F$ with trivial center. Let $\mathfrak S \subset G(\mathbb A)$ be a Siegel domain (defined in terms of a given maximal split torus and ...
- 6,180
2
votes
1
answer
285
views
Highest weight vector as a global section of an affine scheme
Let $G$ be a connected, reductive quasi-split group over a field $k$, acting on an afffine $k$-variety $X$. Let $B = TU$ be a Borel subgroup of $G$ with maximal torus $T$ and unipotent radical $U$. ...
- 6,180
2
votes
1
answer
355
views
Spherical building at infinity for $SL(n, \mathbb{Q}_p)$
Is there somewhere I can read about the spherical building at infinity for $SL(n, \mathbb{Q}_p)$?
I'm looking for something with lots of explicit examples and computations. (I have books on the ...
- 161
2
votes
2
answers
663
views
Regular embeddings of reductive groups
A regular embedding of a connected reductive linear algebraic group $G$ defined over $\mathbb{F}_q$ is a morphism $\varphi : G \rightarrow G'$ of algebraic groups which is a closed immersion where $G'$...
- 309
2
votes
1
answer
661
views
Unipotent conjugacy classes
Consider a connected reductive group G over the complex numbers. Is there a `simple' formula for the number of conjugacy classes of unipotent elements in G?
- 1,190
2
votes
1
answer
876
views
When is compact induction in GL(2) from an open compact group admissible?
Let $G$ be a locally profinite group and $K$ an open compact subgroup (mod the center), then Bushnell has shown that the following three statements are equivalent for a finite dimensional ...
- 11.2k
2
votes
1
answer
406
views
Isomorphism between pull-backs of an F-crystal by different liftings of Frobenius
This might be a naive question. But since I haven't seen this in any reference, I'll try to ask it here. Let $T$ be a smooth scheme over the algebraically closed field $k$ of characteristic $p>0$ (...
- 637
2
votes
1
answer
690
views
Restricted universal enveloping algebra of Abelian p-Lie algebra
Question: Let $p$ be a prime. Let $k$ be a commutative ring such that $p=0$ in $k$.
Let $\mathfrak g$ be an abelian $p$-restricted Lie algebra over $k$. In other words, let $\mathfrak g$ be a $k$-...
- 33.8k
2
votes
1
answer
176
views
Isomorphisms $S^d(S^m(V)^*) \cong \Lambda^d(S^{m+d-1}(V)^*)$
$\DeclareMathOperator\SL{SL}$Let $K$ be an algebraically closed field. Let $V$ be a 2-dimensional vector space over $K$. The group $G=\SL_2(K)$ acts naturally on $V$ by left-multiplication on column ...
- 185
2
votes
1
answer
205
views
Orbital integrals of $\operatorname{SL}_2$ and the fundamental lemma
$\DeclareMathOperator\SL{SL}$When I was checking some orbital integral computations of Sally-Shalika's The Plancherel Formula for $\SL_2$ over a Local Field, Proceedings of the National Academy of ...
- 709
2
votes
1
answer
197
views
Find an analogue of Weyl chamber structure
Let $G$ be a split reductive group and let $T$ be a split maximal torus whose rank is $l$. Is it possible to find a base $\gamma_1,..., \gamma_l$ of the weight lattice $X(T)$ such that the cone $C$ in ...
- 291
2
votes
1
answer
148
views
Does the F-unitary group isomorphism arises from a conformal isometry?
Let $K$ be a CM-field with totally real subfield $F$. Let $(V_1, h_1)$ and $(V_2, h_2)$ be two $n$-dimensional $K$-vector spaces with nondegenerate Hermitian forms, where $n\geq 3$.
Question 1 Does ...
- 337
2
votes
1
answer
361
views
Lie algebroid in algebraic geometry
When I did net-surfing at home, I met some geometric backgrounds of Lie algebras and encountered the concept of Lie algebroids. In differential geometry, a Lie algebroid seems to be defined as ...
- 145
2
votes
2
answers
214
views
Definition of cusp form in $L^2$ and convergence over $N_{\mathbb Q} \backslash N_{\mathbb A}$
Let $G$ be an adjoint semisimple group over $\mathbb Q$ with parabolic subgroup $P = MN$ in good position relative to a compact subgroup $U= \prod\limits_v K_v$ of $G(\mathbb A)$. Let $L$ be the ...
- 6,180
2
votes
1
answer
681
views
The centralizer of a semisimple element which is not contained in any proper parabolic subgroups
Let $G$ be a connected, reductive group over a field $k$. Let $A_G$ be the split component of $G$. If necessary, assume $k$ is perfect. Let $g \in G(k)$ be a semisimple element. Then the ...
- 6,180
2
votes
1
answer
451
views
Tie-Breaking Trick for Log Canonical Pairs and F-pure pairs in Positive Characteristic
Let $X$ be a projective 3-fold in characteristic $p>0$. Let $(X, D)$ be a klt pair, and $D'$ a $\mathbb{R}$-Cartier divisor such that $D'=A'+B'$, where $A\geq 0$ is an ample $\mathbb{Q}$-divisor ...
- 313
2
votes
1
answer
439
views
Minimal parabolic subgroups are $G(k)$-conjugate: a cohomological interpretation?
Let $G$ be a connected,reductive group over a $p$-adic field $k$. Let $M_0$ be a minimal Levi subgroup of $G$, and define $M_0^{\operatorname{der}}$ to be $M_0 \cap G_{\operatorname{der}}$. Lemma 2....
- 6,180
2
votes
1
answer
207
views
Subschemes in group action
Let $k$ be a field, of any characteristic. Let $G$ be a smooth group scheme over $k$ and let $X$ be a smooth scheme of finite type over $k$. Let $Y\subseteq X$ be a smooth subscheme of $X$, and let $...
- 21
2
votes
1
answer
153
views
A question about decomposing mod 2 modular forms of level p^2
Fix an odd prime $p$. Each $f \in \mathbb{Z}/2[[x]]$ can be written as $f_{+} + f_{-} + f_0$ where each exponent k of $x$ appearing in $f_{+}$ (resp. $f_{-}$, $f_0$) has Legendre symbol $(k/p)$ equal ...
- 5,422
2
votes
1
answer
848
views
Compatibility of two definitions of elliptic elements in GLn
For an element $g$ of a connected reductive group $G$ (over a local field),
$g$ is called $elliptic$ if it is semisimple and the maximal split subtorus of the center of the centralizer of $g$ is equal ...
- 945
2
votes
1
answer
791
views
Branching rule for classical Lie algebras in positive characteristic
The restriction of an irreducible $\mathfrak{sl}_n(\mathbb{C})$-module to $\mathfrak{sl}_{n-1}(\mathbb{C})$ is described by a branching rule which says that if $L(\lambda)$ is the simple $\mathfrak{sl}...
- 2,721
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)(...
- 165
2
votes
1
answer
303
views
Lifting vector fields to its resolution in char $p$
In this paper 4.7, the authors showed that on a normal variety $X$, if there is a tangent vector field on its smooth locus, then it can be lifted as a logarithmic tangent vector field on a log ...
- 656
2
votes
1
answer
633
views
Pseudo coefficients and orbital integrals
I am looking for a reference/idea, how this passage from Labesse's Snowbird Lecture "Introduction to endoscopy" pg.5 can be explained:
"We shall denote by $f_\pi$ a pseudo-coefficient for $\pi$, ...
- 11.2k