Skip to main content

All Questions

304 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
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$-...
Lisa's user avatar
  • 61
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 ...
Joaquín Moraga's user avatar
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 ...
Andry's user avatar
  • 103
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 ...
dongrugose's user avatar
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)/...
unknownymous's user avatar
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 $...
unknownymous's user avatar
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{\...
Mellon's user avatar
  • 197
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 ...
D_S's user avatar
  • 6,180
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. ...
unknownymous's user avatar
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$...
Huy Dang's user avatar
  • 245
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 ...
D_S's user avatar
  • 6,180
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}$ ...
Alexander's user avatar
  • 953
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 ...
D_S's user avatar
  • 6,180
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^...
Somatic Custard's user avatar
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 ...
D_S's user avatar
  • 6,180
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^...
paul Monsky's user avatar
  • 5,422
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 ...
D_S's user avatar
  • 6,180
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, ...
Question Machine's user avatar
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$-...
Uriya First's user avatar
  • 2,928
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 ...
Claudius's user avatar
  • 121
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)$ ...
Desiderius Severus's user avatar
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'...
rollover's user avatar
  • 203
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. ...
Emiliano Ambrosi's user avatar
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}$...
Mayday's user avatar
  • 193
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)$, ...
D_S's user avatar
  • 6,180
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 $\...
Alexander's user avatar
  • 953
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 ...
Not a grad student's user avatar
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 \...
D_S's user avatar
  • 6,180
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 ...
Universe's user avatar
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$ ...
D_S's user avatar
  • 6,180
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 ...
user45397's user avatar
  • 2,323
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 $(...
user97635's user avatar
  • 143
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))$ ...
Cheng-Chiang Tsai's user avatar
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 ...
Dimitri Koshelev's user avatar
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}$. ...
Dan's user avatar
  • 233
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 ...
Mikhail Bondarko's user avatar
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 ...
Mario's user avatar
  • 21
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)\...
user avatar
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 ...
JJH's user avatar
  • 1,457
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 ...
Marc's user avatar
  • 614
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 ...
Justin Campbell's user avatar
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 ...
Omprokash's user avatar
  • 165
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. ...
Jack's user avatar
  • 637
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 ...
user avatar
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 ...
Simon Wadsley's user avatar
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=\...
user267839's user avatar
  • 6,006
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 ...
youknowwho's user avatar
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)$ ...
Yellow Pig's user avatar
  • 2,974
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 ...
user536406's user avatar
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)$ ...
youknowwho's user avatar

1
3 4
5
6 7