All Questions
828 questions
7
votes
3
answers
927
views
Lefschetz fixed-point theorem for the Frobenius map
Where can one find a proof of Lefschetz fixed-point theorem for the Frobenius map on elliptic curves over algebraic closures of $F_{p}$ ?
This could immediately follow if their coholomogies (for the ...
- 305
7
votes
1
answer
400
views
Does perfect fraction field imply perfect residue field?
Let $A$ be a local integral domain of characteristic $p$. Let $K$ be the fraction field and let $k$ be the residue field of $A$. If $K$ is perfect, is $k$ necessarily perfect?
Thoughts:
If $A$ is ...
- 428
7
votes
1
answer
2k
views
Can proper-smooth base change be used to show that varieties cannot be lifted to characteristic zero?
Recall the following corollary to the proper and smooth base change theorems:
Let $\pi: X \to S$ be a proper, smooth morphism. Then the direct images $R^i \pi_* \mathcal{F}$ are locally constant ...
- 25.6k
7
votes
2
answers
827
views
$p$-torsion of an abelian variety of $p$-rank $0$
Let $k$ be an algebraically closed field of characteristic $p > 0$ and let $A$ be an abelian variety over $k$ such that $A[p](k) = 0$, i.e., such that $A$ has $p$-rank $0$. If I am not mistaken, ...
- 2,663
7
votes
2
answers
1k
views
Hochschild Kostant Rosenberg theorem for varieties in positive characteristic?
Is there is a known version of the HKR theorem as proved in say Swan's paper "Hochschild Cohomology of Quasiprojective Varieties" in positive characteristic? I assume something is known about this as ...
- 3,758
7
votes
1
answer
684
views
Type of place versus type of unitary group
Let $F$ be a totally real number field, $E$ a totally imaginary quadratic extension over $E$, and $V$ an hermitian $n$-dimensional vector space over $F$. I assume $n=2m$ is even. Let $U$ be a unitary ...
- 5,434
7
votes
1
answer
256
views
On existence of a certain irreducible character of $SL(5, q)$
Let $q=p^f$ be a prime power such that $q \equiv 1 \pmod 5$. According to the list of irreducible (complex) character degrees of $SL(5, q)$ in Frank Luebeck's homepage (here), $SL(5, q)$ has 20 ...
- 143
7
votes
2
answers
332
views
Are all cuspidals induced?
This is a follow-up to this question by Marc Palm asked 7 years ago:
Let $K$ be a finite extension of $\mathbb{Q}_p$, and $G$ a reductive group over $K$. Is every irreducible cuspidal ...
- 858
7
votes
1
answer
1k
views
Why are spherical representations subquotients of unramified principal series?
I'm trying to learn the basics of the representation theory of $p$-adic groups and I'm stuck on a few things:
Let $G$ is a connected split reductive group over a non-archimedean local field $F$, and $...
7
votes
2
answers
513
views
Tameness for the Galois closure of a map of curves
Say we are working over some $K=\overline{K}$, of characteristic $p>0$. Let $\phi: Y\rightarrow X$ be a nonconstant map of smooth projective curves. To this map we can associate a map $\psi: Z\...
- 801
7
votes
1
answer
287
views
What are the intermediate semisimple groups of type A?
Background: The first examples one sees of reductive groups over a field $k$ are $\text{GL}_n$, $\text{SL}_n$, and $\text{PGL}_n$. We all know the definitions of $\text{GL}_n$ and $\text{SL}_n$, and ...
- 835
7
votes
2
answers
330
views
Explicit description of SU(2,2)/U
Consider the real diagonal $4\times 4$ - matrix
$$I_{2,2}={\rm diag}(1,1,-1,-1)$$
and the corresponding special unitary group
$$ G={\rm SU}(2,2)=\{g\in {\rm SL}(4,{\mathbb{C}})\ |\ g\cdot I_{2,2}\...
- 14.2k
7
votes
1
answer
608
views
$GSp(4)$ vs $PSp(4)$
After some months wandering through examples of algebraic groups in the theory of automorphic forms and number theory, I wonder why so many efforts are spent in understanding $GSp(4)$ (local newforms, ...
- 5,434
7
votes
2
answers
1k
views
How does one compute induced representations for modular representations?
The set-up is this: Let $G$ be a finite group, and $H$ a subgroup. We are given an irreducible representation of $H, \rho: H\rightarrow GL_n(K)$ (I will notationally identify $\rho$ with its character)...
- 1,386
7
votes
1
answer
799
views
Liftability of Enriques Surfaces (from char. p to zero)
Let $k$ be an algebraically closed field of characteristic $p > 0$, $X$ a variety over $k$.
We say $X$ lifts to characteristic zero, if there exists a local ring $R$ containing $\mathbb Z$ with ...
- 839
7
votes
3
answers
3k
views
congruent to 1 mod p
This is a somewhat vague question: for a prime number p, we often see that various counts come out to be 1 modulo p. What are the possible reasons for this?
Here are some I've encountered:
For some ...
7
votes
1
answer
310
views
Faithful representations of integral models
I am reposting a question that I had asked on stackexachage three weeks ago.
Let $G/\mathbb{Q}$ be a connected reductive group, and $\mathcal{G}/\mathbb{Z}$ be an integral model (i.e. flat affine ...
- 831
7
votes
1
answer
397
views
Is there a Chevalley map for spherical varieties?
If $G$ is a reductive group, $T$ a maximal torus and $W$ its Weyl group the Chevalley restriction theorem (in its "multiplicative" version) gives an isomorphism between the GIT quotient of $...
- 553
7
votes
1
answer
363
views
Properness of reductive group actions on smooth varieties
Suppose that $G$ is a reductive algebraic group acting on a smooth variety $X$, and that the action has finite stabilizers. When is the action of $G$ on $X$ proper? What is an example where the action ...
- 437
7
votes
1
answer
1k
views
Rosenlicht's theorem and rationality questions
Let $G$ be a connected algebraic group over an algebraically closed field $\overline{k}$ acting on an irreducible variety $X$. A geometric quotient is a morphism of varieties $\pi: X \rightarrow X/\...
- 6,180
7
votes
1
answer
5k
views
Chevalley's Theorem on Constructible Sets
I'm having a hard time understanding the theorem in the title, more specifically the proof of the related fact that the image of a dominant morphism contains a dense open set of it's closure. (My ...
- 75
7
votes
1
answer
718
views
Ways to characterize supersingular primes?
I've read the definition, and it basically says p is a supersingular prime iff
the fundamental domain of a group generated by \Gamma(p) and a matrix ((0, 1), (-p, 0)) is rational.
And there's a ...
- 15.1k
7
votes
2
answers
316
views
Holomorphic discrete series vs. discrete series
(I apologize in advance if this question is too naive for experts.) Let $G$ be a real semisimple Lie group. I know that holomorphic discrete series representations are only a part of all the discrete ...
- 709
7
votes
2
answers
611
views
Relation between unipotent cuspidal representations and cuspidal local systems
This could well be a question for reading suggestion. Hope it's not too bad and thanks a lot.
So the question is as in the title. What are the relations between the notion of unipotent cuspidal ...
- 1,856
7
votes
1
answer
295
views
Is there a "spherical building" for a reductive group over a Henselian local ring?
Let $A$ be a Henselian local ring and let $G$ be a split reductive $A$-group. I'm interested in some notion of a "building of parabolic subgroups" for the group scheme $G$.
In my specific ...
- 835
7
votes
1
answer
372
views
Gelfand pair, weakly symmetric pair, and spherical pair
I am a bit confused with the relations among Gelfand pairs, weakly symmetric pairs, and spherical pairs defined in the book "Harmonic analysis on commutative spaces" written by professor ...
- 951
7
votes
1
answer
336
views
Nilpotent orbits of a parabolic subgroup
Suppose $G$ is a reductive group over an algebraically closed field of characteristic $0$ with parabolic $P$, Levi quotient $M$, and unipotent radical $U$. We denote the nilpotent elements of $\mathrm{...
- 953
7
votes
1
answer
498
views
Weyl algebra as an Azumaya algebra over its centre
Assume that $k$ is an algebraically closed field of positive characteristic $p$. On page 3 (page 6 of the PDF file) of Bezrukavnikov, Mirković, and Rumynin - Localisation of Modules for a semisimple ...
- 111
7
votes
1
answer
165
views
Which groups can have $GSp(4)$ as local component?
In some cases the relations between a global group $G$ (over the adeles $\mathbb{A}$ of a field $F$) and its local components $G_v$ (where $v$ are the places of $F$) are well known. Obviously a group ...
- 5,434
7
votes
1
answer
851
views
Understanding the structure of unitary groups
I would like to understand precisely the structure of unitary groups.
Let $F$ be a global number field, $E$ a quadratic extension of $F$, and $U$ a unitary group on $E$ (i.e. the group of ...
- 5,434
7
votes
2
answers
697
views
Decomposing representations of GL(n,F_q) induced from certain kinds of parabolics
The answer to the question below is almost certainly known to the representation theorists; in fact, I'm pretty sure it can be extracted from Green's paper "The characters of the finite general linear ...
- 71
7
votes
1
answer
239
views
Definition of functions in the induced space from parabolic induction
Let $P$ be a parabolic subgroup of a connected, reductive group $G$ over a $p$-adic field. Let $M$ be a Levi subgroup of $P$, and let $N$ be the unipotent radical of $P$. If $(\pi,V)$ is a smooth, ...
- 6,180
7
votes
1
answer
540
views
Mod 2 modular forms in levels 5 and 25--how to account for this Hecke isomorphism?
The space $P1$ of my earlier question 203755 "Two spaces attached to mod 2 level 9 modular forms...", is essentially the space of mod 2 level 3 modular forms. That such a space should appear inside ...
- 5,422
7
votes
1
answer
424
views
Open cell decomposition after applying a Weyl group element
Let $G=\operatorname{GL}(n,\mathbb C)$. What follows can be put into a more general context, but I would like to first understand it for this case, the generalization is a second step.
For Zariski-...
- 4,902
7
votes
2
answers
536
views
What are the polynomial relations between these characteristic 2 "thetas" ?
Suppose $\ell=2m+1$, $m>0$. Define $[i]$ in $\mathbb{Z}/2\mathbb{Z}[[x]]$ to be $$\sum_{n\equiv i\mod l} x^{n^2}.$$ Note that $[0]=1$, and that $[i]=[j]$ whenever $\ell$ divides $i+j$ or $i-j$.
...
- 5,422
7
votes
0
answers
231
views
Field extensions that preserve given cohomology classes
Let $G$ be a connected reductive group over $\mathbb{Q}$ and let $\operatorname{Ker}^1(\mathbb{Q},G) \subset H^1(\mathbb{Q},G)$ be the subset of classes that are trivial at all places. I am trying to ...
- 537
7
votes
0
answers
291
views
What does it mean for a complex valued function on $G(\mathbb A)$ to be smooth (or smooth of compact support)?
Let $G$ be a linear algebraic group over a number field $k$. Let $\mathbb A$ denote the adeles of $k$, $\mathbb A_f$ the finite adeles, and $k_{\infty} = \prod\limits_{v \mid \infty} k_v$. Here are ...
- 6,180
7
votes
0
answers
374
views
Arbitrarily non-degenerate Hodge to de Rham spectral sequence
It is true that for any $n$ there exists a compact complex manifold which Frolicher spectral sequence does not degenerate at the $n$-th page(https://arxiv.org/pdf/0709.0481.pdf).
Does the analogous ...
- 7,377
7
votes
0
answers
355
views
Are curves over imperfect fields defined over a smaller field?
Let $C$ be regular projective curve defined over a field $K$. Let $K/L$ be a totally inseparable finite extension. Does there exist a regular projective curve $C'$ over $L$ such that that the pullback ...
- 149k
7
votes
0
answers
294
views
Picard scheme of varieties over imperfect fields
Let $k$ be a field and $X$ a proper $k$-scheme. It is a theorem of Murre and Oort that the Picard functor is representable by a $k$-group scheme $\operatorname{Pic}_{X/k}$ which is locally of finite ...
- 4,450
7
votes
0
answers
236
views
Invariant theory of $SL_2$ over a field of positive characteristic
Let $k$ be an algebraically closed field of characteristic $p>0$. Let $W$ be a finite dimensional $SL_2$-module over $k$. Let $V$ be the natural representation of $SL_2$.
What can be said - in ...
- 605
7
votes
0
answers
286
views
Level p characteristic 2 modular forms and thetas
BACKGROUND
Let p be an odd prime. An element of Z/2[[x]] is "modular of level p" if it is the mod 2 reduction of a g in Z[[x]] with g the Fourier expansion of a modular form for gamma_0(p). In ...
- 5,422
7
votes
0
answers
207
views
Unicritical rational functions on curves in characteristic $p$
Let $k$ be an algebraically closed field of positive characteristic $p$, and let $X_{/k}$ be a smooth projective connected curve. Let $x_0$ be a point of $X(k)$.
How precisely can one describe the ...
- 1,199
7
votes
0
answers
491
views
Alterations of regular varieties
Let $X$ be a regular quasi-projective variety over a perfect field $k$. The existence of a "good compactification" of $X$, i.e. a regular projective variety $\bar{X}$ with an embedding $X\...
- 4,450
6
votes
4
answers
415
views
Interpretation of the algebra of natural endomorphisms of the fiber functor of $\operatorname{Rep}(G)$
Let $G$ be a connected algebraic group over an algebraically closed field $k$ of characteristic zero (I'm mostly interested in the case of a reductive group).
By the Tannakian formalism, $G(k)$ can be ...
- 3,446
6
votes
1
answer
771
views
A regular, geometrically reduced but non-smooth curve
Can anyone give an example of a projective, regular, geometrically reduced but non-smooth curve ?
Of course, the base field should be imperfect.
In Exercise 4.3.22 of Qing Liu's book Algebraic ...
- 620
6
votes
1
answer
685
views
Definition of locally symmetric space of reductive groups
This might seems like a bit of philosophical question and so maybe if I keep reading a bit more, I might get my answer. But, I ask nonetheless.
In my attempt to study Shimura varieties, I came across ...
- 831
6
votes
2
answers
1k
views
Parabolic induction GL(n,Zp)
Let $P$ be a parabolic subgroup of $GL(n)$ with Levi decomposition $P =MN$, where $N$ is the unipotent radical.
Let $\pi$ be an irreducible representation of $M(\mathbf{Z}_p)$ inflated to $P(\mathbf{...
- 11.2k
6
votes
2
answers
945
views
Notation/name for "Artin-Schreier roots"?
If x is an element of a field K and n is a positive integer, we have both a symbol and a name for a root of the polynomial t^n - x = 0: we denote it by x^{1/n} and call it an nth root of x.
Of course ...
- 65.4k
6
votes
1
answer
501
views
Cusp forms have an orthonormal basis of eigenfunctions for all Hecke operators
I am reading Langlands' pape Euler Products and have a few questions. Let $G$ be a split adjoint semisimple group over $\mathbb Q$. If $p$ is a place of $\mathbb Q$, finite or infinite, let $G_{\...
- 6,180