All Questions
304 questions with no upvoted or accepted answers
3
votes
0
answers
135
views
Localizations of smooth spherical varieties at simple roots
Setup
Let $G$ be a (connected) reductive group over an algebraically closed field $k$, and fix a Borel subgroup
$B \subset G$ and a maximal torus $T \subset B$. Let $\lambda: \mathbb{G}_m \to T$ be a ...
3
votes
0
answers
191
views
Harmonic analysis on reductive groups over $\mathbb{R}$
A common way of doing harmonic analysis on (the $\mathbb{R}$-points of) reductive groups over $\mathbb{R}$ seems to be to use results from semisimple groups and "see what happens on the center&...
- 131
3
votes
0
answers
197
views
How to write down an explicit equation of given degree yielding a smooth hypersurface in a projective space?
Let F be a field of positive characteristic $p$ and let $d,n$ be two positive integers.
Can we explicitly write down an equation defining a smooth hypersurface $X_d⊂\mathbb P^n_F$ of degree d ?
This ...
- 417
3
votes
0
answers
218
views
Is there a proper smooth variety in characteristic $p$ whose Hodge-to-de Rham spectral sequence does not degenerate at $E_1$?
By Deligne-Illusie, such a variety has no lifting to $W_2(k)$. In their paper they state that they do not know if such an example exists. Has this question been answered since then?
- 4,164
3
votes
0
answers
249
views
Representation of Levi subgroup $L\subset P \subset G$
Let $G$ be a split connected reductive group over a finite field extension of $\mathbb{Q}_p$ with split maximal torus $T$ of rank $d$ and simple roots $\Delta$. Furthermore associated to $I\subset \...
- 473
3
votes
0
answers
335
views
Tits Reductive Groups over Local Fields Example 1.15 (Quasi-split special unitary groups in odd dimension)
I hope this question about Tits's paper "Reductive groups over local fields" in Algebraic groups and discontinuous subgroups ends up having an easy answer, but I'm a little stuck on the ...
- 841
3
votes
0
answers
85
views
Reference request: boundedness for semistable principal bundles on a family of curves
We work over an algebraically closed field $k$.
Let $G$ be a reductive group and $X$ be a smooth projective curve over $k$. It is proven in [1, Theorem 1.2] that the moduli of semi-stable principal $G$...
- 495
3
votes
0
answers
252
views
Reductive Lie groups and existence of maximal compact subgroup
I am reading Knapp's book "Lie groups beyond an introduction" (2nd edition). I am struggling to understand the following point. Recall that $G$ is a reductive Lie group. If the Lie algebra $\...
- 1,879
3
votes
0
answers
79
views
Residual and continuous spectra of $L^2( G(k) \backslash G(\mathbb A) ; \omega)$, and cuspidal automorphic data
Let $G$ be a connected, reductive group over a number field $k$. Let $\mathbb A$ be the ring of adeles of $k$, $\omega$ be unitary character of $Z_G(\mathbb A)/Z_G(k)$, and $V = L^2(G(k) \backslash G(...
- 6,180
3
votes
0
answers
232
views
Lifting a Frobenius endomorphism under an étale morphism
Let $X$ be a smooth affine scheme over $\mathbb{Z}/{p^2}$ that is a complete intersection, say $X$ is the spectrum of $\mathbb{Z}/{p^2}[x_1,...x_n]/(f_1, ... f_r)$, where $n-r$ is the dimension of $X$....
- 111
3
votes
0
answers
143
views
What kind of equivalences exist between categories of characteristic $0$ and characteristic $p$?
The tilting equivalence for perfectoid algebras gives an equivalence of categories $$K\text{-perf} \cong K^\flat\text{-perf}$$
where the left-hand-side are algebras in characteristic zero and the ...
- 4,164
3
votes
0
answers
788
views
Elliptic Maximal Tori and Elliptic Elements
I would be grateful if someone could provide a reference/proof of the following fact (or give a counterexample if I've misunderstood and it's false!)
Let $G$ be a reductive group over a field $F$ (in ...
- 953
3
votes
0
answers
375
views
What is the meaning of the "constant term of Eisenstein series" in terms of Fourier analysis
Let $G$ be a connected, reductive group over $\mathbb Q$, with parabolic subgroup $P = MN$. Let $\pi$ be a cuspidal automorphic representation of $M(\mathbb A)$. For a smooth, right $K$-finite ...
- 6,180
3
votes
0
answers
226
views
Geometric interpretation of duality for representations of reductive groups
For a reductive group $G$ over a nonarchimedean local field, let $\Omega$ be a connected component of the variety of cuspidal data. Let $\Omega$ have dimension $d$. Let $\mathcal{M}^f(\Omega)$ be the ...
- 726
3
votes
0
answers
286
views
Errata for Casselman's unpublished notes
In the first chapter of W. Casselman's unpublished notes on representation theory, there is at least one stated result which is not true:
A counterexample to this last result is given in the question ...
- 6,180
3
votes
0
answers
504
views
On Local Langlands correspondences
Both over global function fields and $p$-adic fields, we have a series of conjectures under the name of “geometric Langlands conjectures”.
Over global function fields of char $p$, they are due to ...
user125985
3
votes
0
answers
154
views
Are these statements correct for all reductive groups, or just for $\operatorname{GL}_2$?
I'm reading the following notes on Brian Conrad's website. There are a couple of statements there which seem too good to be true. There is Proposition 3.6, which states:
(Bernstein): Every ...
- 6,180
3
votes
0
answers
112
views
Indecomposablity in purely inseparable extensions
Let $k$ be a field of characteristic $p$ (e.g. the separable closure of $\mathbb{F}_p(t)$) and consider the extension $k(x)/k$ where $x^p\in k$ but $x$ does not. Consider a (finitely generated) ...
- 31
3
votes
0
answers
156
views
Holomorphic homomorphism of complex reductive groups is algebraic
Could you hint (or give a reference) for: A holomorphic group homomorphism between complex reductive algebraic groups is algebraic.
Thank you!
- 5,562
3
votes
0
answers
231
views
Kottwitz's vertical map
I'm looking at the map $w_H$ defined by Kottwitz in "Isocrystals with additional structure II" in section 7. It is a surjective group homomorphism defined for all reductive groups $H$ from $H$ to $X^{*...
- 2,429
3
votes
0
answers
307
views
Isotrivial factors of Jacobian
Let $k$ be an algebraically closed field of positive characteristic that it is not the algebraic closure of a finite field. Fix a smooth proper $k$-curve $C$ and write $J_C$ for its Jacobian abelian ...
- 728
3
votes
0
answers
113
views
Cohomologies of $[V/GL_n]$ in characteristic $p$ for a representation $V$ of $GL_n$
Let $V$ be a representation of $G=GL_n$ (or more generally any reductive group $G$) over an algebraically closed field $\mathbb k$ of characteristic $p$. Let $[V/G]$ be the corresponding quotient ...
- 790
3
votes
0
answers
108
views
Special fibers of parahorics
Tits' Corvallis article introduces a map on special fibers of group schemes associated to the elements fixing sets pointwise in a building from $\bar{\mathcal{P}_\Omega}$ to $\bar{\mathcal{P}_{\Omega'}...
- 2,429
3
votes
0
answers
145
views
Correspondence between dual center and linear characters of finite reductive group
Let $(G,F)$ be a connected reductive group defined over $\mathbb{F}_q$ via the Frobenius $F$ and let $(G^*,F^*)$ be a group in duality with $(G,F)$ with respect to rational maximal tori $T \subseteq G$...
- 309
3
votes
0
answers
146
views
$X$-points of reductive group schemes, if $X$ is a proper smooth curve over a finite field
Let $X$ be a connected proper smooth curve over a finite field (so the generic point of $X$ is the spectrum of a global field $K$), and let $G \rightarrow X$ be an affine $X$-group scheme of finite ...
- 1,103
3
votes
0
answers
742
views
Explicit description of O^{cris}_n in Fontaine/Messing
Let $k$ be a perfect field of characteristic $p$, $W(k)$ the Witt ring and $K$ its quotient field. In their article "$p$-adic periods and $p$-adic etale cohomology" Fontaine and Messing give in II.1.4 ...
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
0
answers
97
views
Centralizer bound for irreducible representations of $\operatorname{SU}_n(\mathbb{C})$
Let $G$ be a finite group, $χ$ be the character of an irreducible representation $V$ of $G$, and $g ∈ G$. Then a classical bound on the trace of $g$ is given by: $|χ(g)|² ≤ |C_G(g)|$, where $C_G(g)$ ...
- 2,907
2
votes
0
answers
160
views
Centre of centralisers in connected reductive groups
Let $G$ be a connected reductive group over an algebraically closed field. Let $T$ be a maximal torus and $x\in T$. Let $G_x$ denote the centraliser of $x$ in $G$.
Question: What is an explicit ...
- 2,751
2
votes
0
answers
44
views
Nonvanishing of Jacquet modules of principal series subquotients
Let $G$ be a connected reductive group over a $p$-adic field $F$. For simplicity, we assume $G$ to be split. Fix a Borel $B=TU$ with its Levi decomposition ($U$ unipotent radical, $T$ maximal torus). ...
- 709
2
votes
0
answers
73
views
Number of rational points of a connected reductive group in a compact subset
Let $G$ be a connected reductive $\mathbb{Q}$-group. Let $\mathbb{A}$ denote the ring of adèles of $\mathbb{Q}$. Let $B \subset G(\mathbb{A})$ be a compact, let $x \in G(\mathbb{A})$ and consider the ...
- 81
2
votes
0
answers
76
views
Simplest way to classify reducibility of principal series for $p$-adic $\mathrm{SL}_2$
Let $F$ be a $p$-adic field and $G_1=\mathrm{SL}_2(F)\subset \mathrm{GL}_2(F)=G$. For simplicity, we assume $p>2$. Denote by $|\cdot|$ the normalized absolute value on $F$. Here I shall focus on ...
- 709
2
votes
0
answers
110
views
On the character of a representation of $\mathrm{GL}(n,\mathbb{R})$
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\Ad{Ad}$Let $G=\GL(n,\mathbb{R})$. Given a continuous admissible irreducible representation of $G$ in a Frechet (or a Banach) space. Then its character ...
- 21.8k
2
votes
0
answers
127
views
Classification of restricted Lie algebras of reductive groups
$\DeclareMathOperator\Lie{Lie}$Let $G/K$ be a reductive group over a field $K$. In characteristic $0$ the Lie algebra is invariant under base change of fields, so to understand $\Lie(G)$ it is enough ...
- 461
2
votes
0
answers
95
views
Torsion equivariant cohomology of reductive groups
Let $G$ be a reductive group with maximal torus $T$. One knows that the equivariant cohomology ring of a point with rational coefficients is $\mathbb{Q}[X^*(T)]^W$, and also there is an equivariant ...
- 125
2
votes
0
answers
100
views
Relative position of Borel subgroups for the symplectic group
Background
Let $n$ be a positive integer, let $W$ be the Weyl group of $\text{GL}_n$.
Its set of Borel subgroups is isomorphic to the full flag variety $\mathcal{F}_n$.
In this question, I studied ...
- 153
2
votes
0
answers
119
views
Resolution of singularities of the resultant locus
We consider projective space of dimension $n$ as the parameter space of degree $n$ polynomials in one variable. Then, I am interested in resolving the singularities of the "resultant locus" $...
- 7,746
2
votes
0
answers
207
views
Springer sheaf and Deligne-Lusztig induction
Let $G=Gl_n$ be the general linear group over the algebraic closure of a finite field $\overline{\mathbb{F}}_q $ and let $F:G \to G$ be the standard Frobenius. On $G$ there is the Springer (perverse) ...
- 1,061
2
votes
0
answers
145
views
How to compute the character of the Steinberg module for the group $\mathrm{SL}_n$ over a field of characteristic $p$?
It is known that the Steinberg representation $V$ of the group $\mathrm{SL}_n$ over a field $k$ of characteristic $p$ (maybe one needs to assume that $k$ is perfect, I am not sure) is the irreducible ...
2
votes
0
answers
47
views
Characters of simple $\mathfrak{sl}_n$-modules in positive characteristic with subregular nilpotent central character
Consider representations of $\mathfrak{sl}_n$ in positive characteristic with a subregular nilpotent central character $\chi$ (i.e. $\chi$ is a nilpotent matrix whose Jordan normal form has two blocks ...
2
votes
0
answers
71
views
Principal series representations for complex groups
Let $G$ be a complex semisimple group.
In Bernstein-Gelfand, "Tensor products of finite and infinite dimensional representations of semisimple Lie algebras" (http://www.numdam.org/article/...
- 21
2
votes
0
answers
177
views
How do characters of representations in cohomology depend on the (positive-characteristic) field?
The following sentence appears in Jantzen - Representations of algebraic groups, 2nd edition, p. x, where $G$ is a reductive group over an algebraically closed field $k$, $B$ is a Borel subgroup, $T$ ...
- 12.9k
2
votes
0
answers
101
views
Number of points of parabolic Springer fibres for general reductive groups
My question is the same as this post but for an arbitrary reductive $G$ instead of just $\mathrm{GL}_n$.
Let $G$ be a connected split reductive group over a finite field $k$.
Let $P$ be a parabolic ...
- 2,751
2
votes
0
answers
253
views
Künneth formula for algebraic de Rham cohomology
Let $X$ and $Y$ be finite type schemes over a field $k$, and let $H^i(X/k)$ denote the $i$-th algebraic de Rham cohomology group of $X$ over $k$. I'm interested in the extent to which a Künneth ...
- 333
2
votes
0
answers
74
views
Image of tori in locally symmetric spaces and homology
Suppose we have a reductive group $G$ over $\mathbb{Q}$, a compact subgroup of the adelic points $K_f\subset G(\mathbb{A}_{\mathbb{Q}})$, and the associated locally symmetric space
$$Y_K := G(\mathbb{...
- 2,054
2
votes
0
answers
218
views
Borel-Weil-Bott theorem for wonderful compactification in characteristic p
Are there any known results for a Borel-Weil-Bott theorem for the wonderful compactifications over characteristic $p$ (i.e., theorems that classify the cohomologies of all line bundles on a wonderful ...
- 41
2
votes
0
answers
147
views
Automorphism groups of "reductive" Lie algebras in positive characteristic
I put "reductive" in quotes because, of course, in positive characteristic one should speak of Lie algebras of reductive groups, not of reductive Lie algebras.
Let $G$ be a reductive group ...
- 12.9k
2
votes
0
answers
97
views
Non-noetherian Cartier Isomorphism
A result in positive characteristic is that if $R/\mathbb{F}_p$ is a smooth ring, then we have a Cartier isomorphism
$$\Omega_{R}^\bullet\cong H^\bullet(\Omega_R^\bullet)$$
which is essentially ...
- 4,428