All Questions
304 questions with no upvoted or accepted answers
2
votes
0
answers
92
views
Conjugates of relative root groups by an element of the Weyl group
Let $G$ be a reductive group (over an algebraically closed field), $T$ a maximal torus, and $\Phi$ the root system of $(G,T)$. Then for each root $\alpha \in \Phi$ there is a unique connected $T$-...
2
votes
0
answers
157
views
Semisimple covers of varieties
Let $X$ be an algebraic variety.
The finite étale covers of $X$ are measured by the étale fundamental group $\pi_1^{\rm et}(X)$.
On the other hand, the Cox ring ${\rm Cox}(X)$ of $X$ (finitely ...
2
votes
0
answers
171
views
Monogenic function fields
Recall that a number field $K$ is said to be monogenic if its ring of integers is of the form $\mathbb{Z}[\alpha]$, or equivalently, if it has a power integral basis. There are many references one can ...
2
votes
0
answers
287
views
Frobenius endomorphism is not flat
I am actually going through "Twenty four hours of local cohomology". They discuss the Frobenius endomorphism in Chapter 21. Here is the Exercise 21.6 which I am finding hard to solve:
Find a ...
2
votes
0
answers
160
views
Principal bundles with no trivializable extensions
Let $Q \to M$ be a principal $G$-bundle. Given a homomorphism $\phi: G \to H$, we can ‘extend the structure group’ of $Q$ to $H$, by defining an associated principal $H$-bundle: $Q_{H} := (Q \times H)/...
2
votes
0
answers
190
views
Conjugacy classes in centralizers
Let $G$ be a complex reductive group, let $g$ be an element, and let $C$ be the connected component of its centralizer. I'm curious about what is known about the intersection of conjugacy classes in $...
2
votes
0
answers
186
views
Determining a toric GIT quotient
Consider the following $G = (\mathbb{C}^*)^{\times 3}$-action on $\mathbb{A}^6$:
$(\lambda_0,\lambda_1,\lambda_2) \cdot (x_0,x_1,x_2,y_0,y_1,y_2) = (\lambda_0x_0,\lambda_1x_1,\lambda_2x_2,\frac{\...
2
votes
0
answers
139
views
Bruhat-Tits theory: how does the normalizer act on an apartment?
Let $G$ be the points of a split, simply connected, semisimple algebraic group over a $p$-adic field $k$. Let $T$ be a maximal torus of $G$, $T_c$ its unique maximal compact subgroup, and $N$ the ...
2
votes
0
answers
175
views
Jordan normal form in a reductive group
Let $G$ be a connected complex reductive group. Given an element $g \in G$, there is a canonical decomposition $g = s u$ such that $s$ is semisimple, $u$ is unipotent and $s$ and $u$ commute. ...
2
votes
0
answers
100
views
Composing equal characteristic and mixed characteristic deformations
Suppose $k$ is an algebraically closed field of characteristic $p>0$ and $A$ is a $k$-point on a moduli space of certain objects over $k$. Suppose, moreover, that $A$ deforms to a $k[[t]]$-point $B$...
2
votes
0
answers
119
views
The definition of Langlands' L-function $L(s,\pi,r)$ in the case of $\operatorname{GL}_1$
Let $G$ be a split reductive group over a $p$-adic local field $k$. For $\pi$ an unramified representation of $G(k)$, and $r$ a finite dimensional representation of the L-group $^LG$, Langlands ...
2
votes
0
answers
94
views
$p$-adic Harish-Chandra character of a stable virtual character
Let $F$ be a $p$-adic field and let $G$ be a reductive group over $F$. Associated to an irreducible admissible representation of $\pi$ of $G(F)$, we have a distribution character $\Theta_{\pi}$ ...
2
votes
0
answers
227
views
Classification of finite dimensional representations of split complex reductive groups
Finite dimensional, irreducible representations of simply connected, complex semisimple algebraic groups can be classified by their highest weight. I was wondering if there is an analogous ...
2
votes
0
answers
177
views
vanishing of higher algebraic de Rham cohomology and sheaves of differentials for singular curves
I'm looking for some results or references about de Rham cohomology of curves in less-than-optimal cases. The two vanishing results I care about are:
$H^{k}_{\text{dR}}(X) = 0$ for $k>2$, since $H^...
2
votes
0
answers
304
views
Question about the Fourier expansion of adelic Eisenstein series for $\operatorname{GL}_2$
My reference is Daniel Bump's book, Automorphic Forms and Representations, Chapter 3.7. Let $k$ be a number field, $G = \operatorname{GL}_2$, $B$ and $T$ the usual Borel subgroup and maximal torus ...
2
votes
0
answers
60
views
A conjectural formula for the "minimal degree function", $k\rightarrow d\min(k)$, attached to recursion, $f\rightarrow A(f)$, in char $3$
THE RECURSION: $f\rightarrow A(f)$
$A: t(\mathbb{Z}/3)[t^3]\rightarrow t(\mathbb{Z}/3)[t^3]$ is the $\mathbb{Z}/3$-linear map with $A(t)=0, A(t^4)=t, A(t^7)=t^4$, and $A((t^9)f)=(2t^9)A(f)+(t^3)A((t^...
2
votes
0
answers
47
views
If $f \in \operatorname{c-Ind}_Q^P \sigma$, then $f|_N$ is compactly supported modulo $Q \cap N$?
There is a claim in a proof in Casselman's notes on representation theory which I have not been able to verify. I have asked several people and nobody knows why it is true.
The thing I can't figure ...
2
votes
0
answers
258
views
Is a reductive group scheme always parahoric?
Let $R$ be complete (or, more generally, Henselian) discrete valuation ring with fraction field $K$. Let $G$ be a reductive $R$-group scheme. Is $G$ a parahoric in the sense of Bruhat-Tits? If so, ...
2
votes
0
answers
100
views
Classical reductive group schemes vs. unitary groups of separable algebras with involution --- reference request
Let $K$ be a field with $2\in K^\times$, let $A$ be a separable $K$-algebra (i.e. $A$ is finite-dimensional, semisimple and its center is an etale $K$-algebra), and let $\sigma:A\to A$ be a $K$-...
2
votes
0
answers
104
views
Valuations of root group elements appearing in the intersection of Iwasawa and Cartan double cosets
$\newcommand{\GL}{\operatorname{GL}}
\newcommand{\diag}{\operatorname{diag}}
\newcommand{\val}{\mathit{val}}$Let $F$ be a local non-Archimedean field with valuation $\val$ and $G$ be (the
$F$-points ...
2
votes
0
answers
81
views
Continuity of the conductor of automorphic representations
I am interested in properties of (semi-)continuity of the conductor of automorphic representation. Let $F$ be a number field.
The meta question is, given a function on the unitary dual of $PGL(2, F)$ ...
2
votes
0
answers
304
views
Surjectivity of map of Picard schemes implies abelian
Note: This question was asked on MSE first, but got zero reactions. So I deleted it there, and am now posting it here.
I am looking for a reference or explanation of the fact that is used in Mumford'...
2
votes
0
answers
121
views
Global invariant cycles in positive characteristic
Let $k$ be an algebraically closed field of positive characteristic $p$ and fix a prime $\ell\neq p$. Let $X$ be a smooth connected $k$-variety and $f:Y\rightarrow X$ a smooth projective morphism. ...
2
votes
0
answers
382
views
Integral smooth model of unramified reductive groups
My question is motivated by the following observations. Let $\mathrm{T}$ be a torus defined over a $p$-adic field $K$, then by theories of tori, we have it is uniquely determined by a free $\mathbb{Z}$...
2
votes
0
answers
948
views
Description of the center of a reductive group using absolute and relative roots
Let $G$ be a connected, reductive group over a field $k$. Let $T \subseteq B$ be a maximal torus and Borel subgroup of $G$ with corresponding base $\Delta \subseteq X(T)$. Then $T$ contains $Z(G)$, ...
2
votes
0
answers
178
views
Absolute and Relative Coroots
$G$ is a connected reductive group over a field $k$. $T$ is a maximal torus and $S \subset T$ is a maximal $k$-split torus. We have an embedding $X_*(S) \hookrightarrow X_*(T)$. Is it true that if $\...
2
votes
0
answers
885
views
Why is the radical of a reductive group equal to the connected component of the center?
If $G$ is a connected reductive group over a perfect field $k$ (The definition given in Milne's "Algebraic Groups": $G$ is a connected group variety containing no non-trivial connected unipotent ...
2
votes
0
answers
436
views
Central isogenies differ by an element of the maximal torus
Let $G, G'$ be connected, reductive groups over an algebraically closed field $k$, and let $T$ be a maximal torus of $G$. A central isogeny is a surjective morphism of algebraic groups $\phi: G \...
2
votes
0
answers
286
views
Does the sheaf of locally exact differential forms splitting in positive characteristic
Let k be an algebraically closed field of characteristic $p>2$, $X$ a smooth projective curve of genus $g>1$ over $k$, and $F_X:X\rightarrow X$ be the absolute Frobenius morphism. Let $B^1_X$ be ...
2
votes
0
answers
419
views
How can this argument calculating the Haar measure on a parabolic subgroup be generalized to the non-split case?
Let $\mathbf G$ be a connected, reductive group over a local field $F$. Assume there is a maximal torus $\mathbf T$ which is split over $F$. Let $\mathbf P$ be a parabolic subgroup of $\mathbf G$ ...
2
votes
0
answers
345
views
Examples of semi-stable models of curves
Let $R$ be a discrete valuation ring with fraction field $K$ of characteristic zero and residue field $k$ of characteristic $p>0$. Assume $k$ is algebraically closed. I want to produce examples of ...
2
votes
0
answers
142
views
Unipotent characters of (disconnected) centralizers of semisimple elements: Why these two definitions are equivalent?
Assume that $\mathcal{G}$ is a simple simply-connected algebraic group over $k$, where $k$ is algebraic closure of a finite field of characteristic $p>0$, and $F$ is a Frobenius endomorphism. Let $(...
2
votes
0
answers
142
views
Iwahori subalgebra as maximal solvable
I think the following is true, but haven't came up with a proof myself. Thanks in advance!
Let $G$ be a semisimple (to avoid more words) algebraic group over $\mathbb{C}$. Write $F=\mathbb{C}((t))$ ...
2
votes
0
answers
148
views
Purely inseparable $k$-rational dominant maps between an absolutely irreducible $k$-surface and $\mathbb{P}^2$
Let $X$ be an absolutely irreducible surface over an algebraically closed or finite field $k$ of characteristic $p$. Is it true that the following conditions are equivalent?
There is a purely ...
2
votes
0
answers
45
views
Automorphic forms annihilated by $I_1$ but not $I_2$ for finite codim ideals $I_1 \subsetneq I_2$
Suppose $G$ is a connected real reductive Lie group, $\mathfrak{g} = \text{Lie}(G)$, and $\mathcal{Z} = \mathcal{Z}[U(\mathfrak{g})]$ the center of the universal enveloping algebra of $\mathfrak{g}$.
...
2
votes
0
answers
476
views
Does the numerical equivalence relation coincide with the homological one for 1-cycles (in positive characteristic)?
Is the Grothendieck's Standard Conjecture D (stating that the numerical equivalence relation for algebraic cycles with rational coefficients coincides with the homological one) known to be true for ...
2
votes
0
answers
975
views
Complete reducibility of representations of reductive algebraic groups
I need a reasonably detailed reference for the proof of the fact that, in characteristic 0, any linear representation of a reductive algebric group is completely reducible. I looked in Humphries and ...
2
votes
0
answers
136
views
Splitting for Subsequence of Automorphism Sequence for Algebraic Groups
Let $G$ be a split reductive algebraic group over an arbitrary field $k$ Suppose we have a split maximal torus $T$. There is a short exact sequence of groups
$$
1\to \mathrm{Inn}(G)\to \mathrm{Aut}(G)\...
2
votes
0
answers
415
views
Algebraic characters and quasi-characters of reductive algebraic group over non-archimedean local field
Let $G$ be a reductive algebraic group over $F$, where $F$ is a non-archimedean local field.
Then $G(F)$ is a p-adic group.
Let $\Psi(G)$ be the lattice of algebraic characters.
Let $\Lambda_G$ be the ...
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 ...
2
votes
0
answers
255
views
Lang isogeny for group stacks
Let $G$ be a commutative algebraic group stack over $\mathbb{F}_q$ (I don't really care about the precise definition: I'm secretly thinking about the Picard stack of a projective curve). To what ...
2
votes
0
answers
606
views
Kawamata-Viehweg Vanishing Theorem for Excellent Surfaces
Is there any version of Kawamata-Viehweg vanishing theorem that holds for excellent surfaces? I will be very glad if there is one such, but if not then is it at least true for a surface over a non ...
2
votes
0
answers
279
views
deRham cohomoloy of CM liftings of Jacobians
Let $k$ be field of characteristic $p>0$ and $W=W(k)$ the ring of Witt vectors of $k$. We call a smooth curve over $k$, ordinary, when the Jacobian of $J(X)$ of $X$ is an ordinary abelian variety. ...
2
votes
0
answers
464
views
understanding Milne's article "Duality in the flat cohomology of a surface"
I have trouble understanding a point of Milne's article "Duality in the flat cohomology of a surface" http://jmilne.org/math/articles/1976a.pdf
see the "Alternatively" on p. 177, paragraph before ...
2
votes
0
answers
321
views
Dimension of fibres of moment maps in characteristic $p$
Suppose $G$ is a connected semisimple linear algebraic group with Lie algebra $\mathfrak{g}$ and $X$ is a homogeneous $G$-space with isotropy subgroup $H$ (associated Lie algebra $\mathfrak{h}$) that ...
1
vote
0
answers
89
views
Generic reducedness of geometric generic fibre
Let $f:X\to Y$ be a surjective morphism between two projective schemes over a field of characteristic $p>0$. Also assume that $X$ is smooth,$Y$ smooth & irreducible and $f_*\mathcal{O}_X=\...
1
vote
0
answers
19
views
Behavior of the number of components of disconnected reductive groups when intersecting a Levi subgroup
Let $G$ be a connected reductive group over $\mathbb{C}$. Let $P=MN$ be a parabolic subgroup of $G$ with its Levi decomposition ($N$ the unipotent radical, $M$ a Levi).
Let $H\subset M$ be a finite ...
1
vote
0
answers
82
views
Behavior of translation functors in characteristic $p$
Let $G$ be a semisimple and simply connected algebraic group over an algebraically closed field of characteristic $p>0$, and let $\mathfrak g$ be the Lie algebra of $G$. Let $U_\chi(\mathfrak g)$ ...
1
vote
0
answers
58
views
Linear algebraic group, absolute root system, computing roots
Let $G(F)$ be a reductive linear algebraic group, where $F$ is a local field. Let $T(F)$ be a maximal anisotropic torus of $G$ that splits over a quadratic extension of $F$. Is there an efficient ...
1
vote
0
answers
77
views
Asymptotic behavior of Shalika germs near non-regular elements
Let $G$ be a connected reductive group over a $p$-adic field $F$. Let $T\subset G$ be a maximal torus. Fix a special maximal compact subgroup $K$ of $G(F)$ and for any closed subgroup $H\subset G(F)$ ...