All Questions
404 questions
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
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$ ...
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 ...
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 ...
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 ...
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 ...
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
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
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
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
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
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
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
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
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
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
1
answer
149
views
When is $R$ a direct summand of Frobenius pushforwards?
Let $(R,\mathfrak m)$ be a reduced Noetherian local ring of prime characteristic $p$. For integer $e>0$, let $F^e_* R$ denote the $R$-module which is $R$ as an abelian group, but the $R$-module ...
1
vote
1
answer
280
views
Norms of elements in Artin-Schreier extensions
The following is claimed in the proof of Theorem 7.5 of Auslander, Goldman, "The Brauer group of a commutative ring":
Let $k$ be a nonperfect field of positive characteristic $p$, let $K := k(x)$ ...
1
vote
1
answer
700
views
CM liftings of abelian varieties and liftings of Frobenius
It is well-known that if $A$ is an ordinary abelian variety over a finite perfect field $ k$ of characteristic $ p>0$ and $ W=W(k)$ is the ring of Witt vectors over $ k$, then the canonical ...
1
vote
2
answers
393
views
Could the Kunneth decomposition of a motif depend on the choice of $l$?
Suppose that over some (algebraically closed) field $K$ of characteristic $p>0$ we have: numerical equivalence of cycles coincides with homological one with respect to ${\mathbb{Q}}_{l}$ and ${\...
1
vote
1
answer
88
views
Generic finite subgroups, associated to small finite fields, of reductive algebraic groups
Theorem 1 of [LS] Liebeck and Seitz - On the subgroup structure of exceptional groups says:
Let $X = X(q)$ be a quasisimple group of Lie type in characteristic $p$, and suppose that $X < G$, where ...
1
vote
1
answer
245
views
Centralizers in Jacobson-Witt Lie algebras
Recall the (Jacobson-)Witt Lie algebras in positive characteristic: $W(n,1)$ is the Lie algebra of derivations of $\Bbbk[X_1,\dots,X_n]/(X_1^p,\dots,X_n^p)$. (For simplicity; more generally, I'm ...
1
vote
2
answers
197
views
What are the finite étale coverings of a quasi-hyperelliptic surface?
Let $X$ be a quasi-hyperelliptic surface in characteristic 3 where the canonical bundle $K_X$ is trivial.
Question: Is there a finite étale covering $Y \rightarrow X$ such that
$Y$ is an abelian ...
1
vote
1
answer
241
views
locally closed orbits in metric Hausdorff topology
I learned the following fact from Bruhat and Tits's paper "Homomorphismes “abstraits” de groupes algebriques simples" Section 3.18 that
Let $k$ be a local field. Suppose that a $k$-group $H$ acts $k$...
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
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
88
views
Bad primes of twists of modular curves $X_E^{-1}(p)$
I am interested in a good reference for reading about primes of bad reduction for the modular curve $X_E^{-}(N)$, which is a twist of $X(N)$ parametrizing all elliptic curves $E'$ whose $N$-torsion ...
1
vote
0
answers
150
views
Relative compactification without resolutions of singularities
Let $Y$ be a smooth proper variety over a field $k$, let $X$ be a smooth variety over $k$, $U\hookrightarrow X$ the complement of a strict normal crossing divisor and $\phi\colon U\to Y$ a map. By ...
1
vote
0
answers
51
views
Do we have $\cap_{P\in S}\left(\mathcal{O}_P+(1-\tau)(K)\right)=\left(\cap_{P\in S}\mathcal{O}_P\right)+(1-\tau)(K)$?
Let $\mathbb{F}$ be a finite field and let $q$ be its number of elements. Let $(C,\mathcal{O}_C)$ be a geometrically irreducible smooth projective curve over $\mathbb{F}$ and let $K=\mathbb{F}(C)$ be ...
1
vote
0
answers
246
views
Frobenius twist of a field
Let $k$ be a field of characteristic $p>0$ (not necessarily perfect). Consider the Frobenius endomorphism $F : k \to k$, $x \mapsto x^p$. I am curious about what happens when we take $k$ as a $k$-...
1
vote
0
answers
348
views
rigid analytic geometry positive characteristic
I am a beginning graduate student. I have the following basic question I am very confused about:
Suppose $C$ is a smooth geometrically irreducible curve over a finite field $\mathbb{F}_q$, $q=p^m$, $...
1
vote
0
answers
187
views
Unitary dual of the Heisenberg group over non-archimedean local fields of characteristic two
What is the unitary dual of the Heisenberg group over non-archimedean local fields k of characteristic two? This is well-known for the real Heisenberg group and in fact, when local fields have ...
1
vote
0
answers
149
views
Smoothability of stable curves in mixed characteristic
Let $R$ be a complete DVR with residue field $k$ algebraically closed of characteristic $p$ and fraction field $K$ of characteristic zero. Let $C$ be a stable curve (in the sense of Mumford-Deligne) ...
1
vote
0
answers
120
views
Vanishing theorems that work in positive characteristic
Let $X$ be a smooth projective variety over a field of characteristic $p>0$ of dimension at least $2$. I am looking for some examples when $H^2(\mathcal{O}_X)$ vanishes. Is there any standard way ...
1
vote
0
answers
301
views
How to Construct a ''Nice'' Birational Model in Characteristic $p>0$?
Let $X={\rm Spec} A$ be a normal affine variety of dimension $n$ over an algebraically closed field $k$ of characteristic $p>0$. Also, assume that $S\subset X$ is a prime Weil-divisor on $X$.
Now,...
1
vote
0
answers
220
views
Dimension of faithful irreducible representations of $\mathbb{Z}_q\rtimes \mathbb{Z}_{p^2}$ in characteristic p,q
Let $p,q$ be primes s.t. $q=np+1$. Denote $m=p^2$. Then $\mathbb{Z}_p$ acts non-trivially on $\mathbb{Z}_q$, so we have a non-abelian semi-direct product $\mathbb{Z}_q\rtimes \mathbb{Z}_m$, with the ...
1
vote
0
answers
192
views
"Higher" Tangent spaces in char-p geometry - definition?
Hi, everyone!
I have some construction that requires exact definition.
I considered polynomial homomorphisms from $\Bbbk$ to $U_n(\Bbbk)$ (unitriangular matrices), where $char \Bbbk = p>0$ (more ...
1
vote
0
answers
238
views
Classification of fibres in pencils of curves of genus two
For the case of characteristic positive, there exist some clasification of families of curves of genus two over a elliptic curve?.
0
votes
2
answers
386
views
Zariski closures of one parameter additive maps in positive characteristic
Suppose we are in characteristic $p$, and that the field, $K$, that we are working over is imperfect. We have a map $\Theta: K \to K^{\delta}$ where each coordinate function $\Theta_i$ is an additive ...
0
votes
2
answers
2k
views
non discrete valuation ring [closed]
Hi,
I am looking for examples of non-discrete valuation rings. Could you help me?
Thanks
0
votes
1
answer
175
views
An inseparable lift of a regular variety.
Let $X$ be a variety over an (imperfect) field $k$, that is regular as a scheme. Let $k'/k$ be an algebraic inseparable extension (I am interested in $k'$ being the perfection or the algebraic closure ...
0
votes
1
answer
97
views
Automorphisms of Lie algebra of type $A_5$ modulo its center in characteristic 2
Let $L$ be classical Lie algebra of type $A_5$ over field of characteristic 2; let $M$ be the quotient $L/Z(L)$ modulo its center $Z(L)$.
What about the group of automorphisms of M?
Does anybody ...
0
votes
0
answers
190
views
About Chern classes via Atiyah class
I am trying to understand a construction of the Chern classes of a vector bundle $\mathcal{E}$ via the Atiyah class, like is done in this text and here in section 1.4. I am interested in the case ...