All Questions
624 questions
9
votes
1
answer
1k
views
Top chern class in positive characteristic
Given a nonsingular, projective variety $X$ of dimension $n$ over an algebraically closed field $k$.
Over $k=\mathbb{C}$, the top chern class $c_n(T_X)$ of the tangent sheaf is the Euler ...
- 4,902
4
votes
0
answers
197
views
Inequalities between numerical invariants of nonsingular projective Varieties in positive Characteristic
It is well-known that Miyaoka and Yau-type inequalities do not hold in positive characteristic. In "a note on Bogomolov-Gieseker’s inequality in positive characteristic", however, we can ...
- 4,902
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 ...
- 395
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 ...
- 75
4
votes
1
answer
674
views
Inseparable Galois Cohomology
First let me give a general form of my question, and then I'll give some motivation and a more specific version of it. Let $K/k$ be a Galois extension of fields with Galois group $G$, and let $X$ be ...
- 1,199
5
votes
1
answer
710
views
Log resolutions on surfaces and 3-folds in characteristic p
If $X$ is a normal projective variety and $D$ a divisor in it, we say that $\pi\colon (\widetilde X,\widetilde D)\rightarrow (X,D)$ is a log resolution if $\widetilde X$ is a resolution of $X$, the ...
- 2,215
8
votes
0
answers
873
views
Resolution of singularities in positive characteristic
I am currently trying to make some small parts of the minimal model program work for some very explicit varities in positive characteristic. I have such a variety $X_1$ and I know that there is a ...
- 783
9
votes
0
answers
560
views
Function fields of characteristic p modular curves, and mod p reductions of the classical modular equation
Let l and p be distinct primes, l>2. There are "characteristic p modular curves" X_0(l) and X(l), defined over an algebraic closure, K, of Z/p, solving moduli problems for elliptic curves with some ...
- 5,422
2
votes
1
answer
406
views
Isomorphism between pull-backs of an F-crystal by different liftings of Frobenius
This might be a naive question. But since I haven't seen this in any reference, I'll try to ask it here. Let $T$ be a smooth scheme over the algebraically closed field $k$ of characteristic $p>0$ (...
- 637
6
votes
1
answer
804
views
Del pezzo surfaces in positive characteristic
For me a Del Pezzo surface $X$ over an algebraically closed field of characteristic $p$ is an algebraic surface where the anticanonical bundle $\omega^{-1}_X$ or $-K_X$ is ample. (I prefer the second ...
- 2,215
21
votes
1
answer
2k
views
When does the relative differential $df=0$ imply that $f$ comes from the base?
Let $A \to B$ be a map of commutative rings, and $d : B \to I/I^2$ be
defined by $df = f\otimes 1 - 1\otimes f$, where $I$ is the kernel of
$B \otimes_A B \to B$, as in [Hartshorne II.8].
If $df=0$,...
- 27.9k
5
votes
1
answer
446
views
More questions involving characteristic 2 theta series identities
In my answer to my earlier question, "Existence of certain identities involving characteristic 2 thetas", I established some curious identities when the thetas have prime "level" congruent to 1 mod 4 ...
- 5,422
2
votes
1
answer
304
views
Connected extensions of finite by connected algebraic groups
Let $1\to H\to E\to G\to 1$ be a short exact sequence of algebraic groups defined over an algebraically closed field $k$ of characteristic $p$. Suppose $H$ is a finite group, and $G$ and $E$ are ...
- 631
11
votes
1
answer
615
views
Do Richardson varieties have rational singularities in arbitrary characteristic?
The title basically asks the question. I'll review the relevant terminology and explain what I have and haven't found in the literature.
Let $G$ be a reductive group. Let $v \leq w$ be elements of ...
- 156k
8
votes
1
answer
331
views
If C is a fusion category over a field of nonzero characteristic and dim C = 0, is Z(C) ever fusion?
If $C$ is a fusion category and $\dim(C) \neq 0$ (the latter is automatic in characteristic zero, but not in nonzero characteristic), then the Drinfel'd center $Z(C)$ is fusion. More generally, if $C$...
- 28.1k
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
9
votes
1
answer
1k
views
Coderivations of $S(V)$ correspond to linear maps $S(V) \to V.$ Only over characteristic $0$?
Definition. Let $k$ be a commutative ring. Let $V$ be a $k$-module. We turn the symmetric algebra $\mathrm{S}\left(V\right)$ of $V$ into a graded Hopf algebra by defining the comultiplication
\begin{...
- 33.8k
13
votes
1
answer
690
views
Obstructions to formally integrating vector fields in characteristic p?
Let $M$ be a smooth scheme over some field $k$ of characteristic $p$, and $\vec X$ a vector field on it. Equivalently, $\vec X$ gives a map $Spec\ k[\epsilon]/\langle \epsilon^2 \rangle \times M \to M$...
- 27.9k
12
votes
1
answer
2k
views
Replacement for derivations in characteristic p?
Let $k$ be a field.
If $f \in k[x]$ is a polynomial, and $d/dx\ f = 0$, then either
$f$ is constant, or
$char\ k = p$ and $f \in k[x^p]$.
So "annihilated by all derivations" is perhaps not the right ...
- 27.9k
21
votes
4
answers
2k
views
Simplest example of jumping of cohomology of structure sheaf in smooth families?
Using Hodge theory (and the ill-defined Lefschetz principle), one can show that in characteristic 0, given a proper smooth family $X \rightarrow B$, the cohomology groups of the structure sheaf of the ...
- 3,857
4
votes
1
answer
627
views
Can the projection (tensor algebra) -> (symmetric algebra) be forced to split in char. p by factoring out p-th powers?
Question 1 (the weak and simple statement, which, I think, already is wrong): Let $p$ be a prime. Let $k$ be a field with characteristic $p$.
For any $k$-vector space $V$, consider the canonical ...
- 33.8k
9
votes
0
answers
1k
views
Ample vector bundles, $H^1=0$ and global generation in characteristic $p$
This is a follow up from Ample vector bundles on curves question, in characteristic $p>0$. First, some background. It is known that in characteristic $0$, a vector bundle $E$ on say a projective ...
- 2,976
32
votes
10
answers
3k
views
Which 'well-known' algebraic geometric results do not hold in characteristic 2?
A smooth curve $X$ in $\mathbb{P}^n$ is strange if there is a point $p$ which lies on all the tangent lines of $X$.
Examples are $\mathbb{P}^1$ is strange and so is $y=x^2$ in characteristic $2$. ...
- 2,215
4
votes
1
answer
221
views
Do permutation modules of solvable groups have self-dual socle in characteristic 2?
I was searching through the small groups database in GAP to find counterexamples to a certain conjecture (which is not important here). I was checking non-nilpotent solvable groups and noticed that ...
- 143
5
votes
2
answers
556
views
Existence of certain identities involving characteristic 2 "thetas"
Let l=2m+1 be prime. In my previous MO question, "What are the polynomial relations between these characteristic 2 thetas?", I defined a subring of Z/2[[x]] as follows:
The subring, S, is generated ...
- 5,422
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
5
votes
0
answers
234
views
Modular reduction of exceptional complex reflection groups
I am interested in reducing reflection representations of complex reflection groups modulo a prime $p$. For the infinite family $G(m,r,n)$, it is straightforward to get "good reduction" provided that $...
- 10.7k
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
19
votes
2
answers
3k
views
Bertini theorems for base-point-free linear systems in positive characteristics
Suppose that $X$ is a smooth algebraic variety over an algebraically closed (uncountable if it helps) field of characteristic $p > 0$. Suppose that $L$ is a line bundle, probably ample or at least ...
- 20.5k
12
votes
4
answers
2k
views
Finite subgroups of $PGL_2(K)$ in characteristic $p$
Let $K$ be a field of characteristic $p$. What are the finite subgroups of $PGL_2(K)$ whose orders are divisible by $p$? And if $G$ and $H$ are two such subgroups that are isomorphic, can one say when ...
- 1,199
2
votes
1
answer
690
views
Restricted universal enveloping algebra of Abelian p-Lie algebra
Question: Let $p$ be a prime. Let $k$ be a commutative ring such that $p=0$ in $k$.
Let $\mathfrak g$ be an abelian $p$-restricted Lie algebra over $k$. In other words, let $\mathfrak g$ be a $k$-...
- 33.8k
13
votes
2
answers
1k
views
Is the Characteristic of a Field Detectable from the Topology of a Topological Vector Space?
Motivation
A topological vector space is a vector space over a (topological) field, K, that carries a topology such that addition and scalar multiplication are continuous maps, e.g., all normed vector ...
13
votes
1
answer
651
views
Help wanted with Chebotarev condition in characteristic 2
Having promised a longtime collaborator that I would clear my plate to finish up some joint work of ours, I am swallowing my pride and tossing up the following technical point of function field ...
- 65.4k
15
votes
0
answers
779
views
Lifting varieties from char. $p$ to char. 0 after alterations
The question is related to this MO question:
Lifting varieties to characteristic zero.
Let $X$ be a projective smooth variety over $k$ alg. closed field of char. $p.$ Does there always exist an ...
- 4,265
4
votes
2
answers
604
views
Adem-Wu relations from Bullett-Macdonald identities
Question. Let $p$ be a prime. Let $q$ be a power of $p$. Let $P^0$, $P^1$, $P^2$, ... be elements of some associative $\mathbb F_q$-algebra $A$. (Here, $P^i$ does not mean $P$ to the $i$-th power; ...
- 33.8k
5
votes
1
answer
461
views
Given a branched cover with branch cycle description $(g_1,...,g_r)$, does $g_i$ generate some decomposition group?
Classically:
Let $a_1,...,a_r$ be points in $\mathbb{P}^1_{\mathbb{C}}$, and let $\alpha_1,...,\alpha_r$ be simple loops around the $a_i$, all counterclockwise, and none touching (so $\alpha_1...\...
- 5,929
21
votes
2
answers
5k
views
State of resolution in positive characteristic?
Heisuke Hironaka's coming talk makes me wonder how the state of the work on that theme is. So far, I noticed (but didn't read) these papers:
Kawanoue, Hiraku, Toward resolution of singularities over ...
- 10.8k
4
votes
2
answers
694
views
Ample line bundle and Frobenius morphism on smooth toric variety
Let $k$ be an algebraically closed field of $\mathrm{char}(k)=p>0$, $X$ a smooth toric projective variety of $\dim X=n$, $F_X:X\rightarrow X$ the absolute Frobenius morphism of $X$. Then for any $\...
- 85
2
votes
1
answer
332
views
Ample bundle under Frobenius morphism
Let $k$ be an algebraically closed field of char($k$)=p>0, $X$ a smooth projective variety over $k$, $F:X\rightarrow X^{(1)}$ the relative Frobenius morphism. Let $E$ be an ample vector bundle on $X$. ...
- 85
0
votes
0
answers
352
views
Liftability in positive characteristic
What clsses of algebraic varieties over field of positive characteristic can be lift to $W_2(k)$?
- 85
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
0
votes
0
answers
524
views
DeRham cohomology
The Poincare lemma fails in positive characteristic, since pth powers vanish under differention. My question is : is there still some kind of resolution of the local system k by considering some ...
- 1
20
votes
2
answers
2k
views
Frobenius splitting and derived Cartier isomorphism
Let $X$ be a smooth algebraic variety over an algebraically closed field $k$ of characteristic $p>\dim X$. The motivation for my question comes from the following results.
1. If $X$ is Frobenius ...
- 16.2k
6
votes
1
answer
825
views
More on universal homeomorphisms
I would like to understand this notion better; where could I find some examples? In particular, I am interested in the following questions (and references for the answers).
Is a universal ...
- 16.9k
4
votes
2
answers
339
views
Is the pre-image of a regular subscheme with respect to a universal homeomorphism of regular schemes regular?
Let $f:X\to Y$ be a universal homeomorphism of regular (excellent finite-dimensional) schemes, $Z\subset Y$ be a regular subscheme. Is $f^{-1}(Z)$ necessarily regular?
- 16.9k
6
votes
1
answer
393
views
finite quotients of fundamental groups in positive characteristic
For affine smooth curves over $k=\bar{k}$ of char. $p,$ Abhyankar's conjecture (proved by Raynaud and Harbater) tells us exactly which finite groups can be realized as quotients of their fundamental ...
- 4,265
11
votes
2
answers
863
views
Valuations and separable extensions
Let $R$ be a valuation ring containing a field $k$, with residue field $F$ and quotient field $K$. Assume $F/k$ is separable. Is $K/k$ separable?
I have convinced myself that (for a positive answer) ...
- 19.6k
2
votes
1
answer
528
views
Is there an easy proof of the fact that the intermediate image functor respects weights?
It was proven in BBD (see Corollary 5.3.2) that for an open immersion $j$ the functor $j_{!*}$ preserves weights of mixed sheaves. The proof relies on several previous results; it is especially ...
- 16.9k
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
- 141
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 ${\...
- 16.9k