The tag has no usage guidance.

learn more… | top users | synonyms

4
votes
0answers
84 views

Can I combine the category of Drinfeld modules and the category of the base O_S

I am learning about Drinfeld modules,T-modules,...They are said to be analogues of elliptic curves, abelian varieties,... Let K be a finite extension of k = Frac(A), and $O_K$ the integral closure of ...
5
votes
0answers
61 views

Symplectic leaves in positive characteristic

I am currently considering a family of filtered algebras over an algebraically closed field of positive characteristic with the property that the associated graded algebra is a finitely generated ...
12
votes
1answer
295 views

Independence of $\ell$ of Betti numbers

When $X$ is a smooth proper variety over $\mathbb F_q$, we know by Deligne's theory of weights that the dimension of $H^i_{\operatorname{\acute et}}(\bar X, \mathbb Q_\ell)$ does not depend on $\ell$. ...
2
votes
0answers
142 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 ...
3
votes
1answer
226 views

Generic Smoothness Type of Results in Positive Characteristic

Let $f:X\to Y$ be a surjective morphism between two projective varieties over a field of characteristic $p>0$. Also assume that $f_*\mathcal{O}_X=\mathcal{O}_Y$, and $X$ is smooth. We know that ...
4
votes
2answers
270 views

Lefschetz on étale fundamental group for quasi-projective varieties

If $X$ is a smooth projective variety of dimension at least $3$ over $\mathbb{C}$, Lefschetz's Hyperplane theorem says that for every hyperplane section $H$ $$\pi^1(H)\to\pi^1(X)$$ is an isomorphism, ...
7
votes
2answers
270 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, ...
6
votes
2answers
364 views

Pullback along Frobenius morphism

Let $X$ be a scheme over a finite field $\mathbb{F}_q$ and let $F : X \to X$ be the absolute Frobenius morphism. If $\mathcal{L}$ is an invertible $\mathcal{O}_X$-module, then there is a natural ...
4
votes
1answer
215 views

Examples of perfect pseudo algebraically closed fields in positive characteristic

Is there any known example of a perfect pseudo algebraically closed field of positive characteristic containing $\overline{\mathbb{F}_p}$ but is not algebraically closed?
8
votes
1answer
329 views

Automorphisms of curves in positive characteristic

It is well known that over an algebraically closed field of characteristic zero a general curve (for an open subset of $M_g$) of genus $g\geq 3$ is automorphism-free. Is this result still true over ...
9
votes
1answer
415 views

Non-algebraic K3 surfaces in characteristic $p$

I have a very naive question. Recall that over the field of complex numbers, there exist non-algebraic K3 surfaces. Namely, smooth non-projective simply connected compact complex surfaces with ...
3
votes
1answer
139 views

Interpreting Frobenius pullback as an invariant differential in the case of an elliptic curve

Let $S$ be an affine scheme of characteristic $p > 0$, let $E \rightarrow S$ be an elliptic curve over $S$, and let $F$ denote the absolute Frobenius. Since $E$ is its own $\mathrm{Pic}^0$ there is ...
4
votes
1answer
297 views

Excellent schemes

I noticed that many results in positive characteristic assumes that the object of the theorem is excellent. I have looked up the definition of excellent and have tried to get a feeling for it, but all ...
10
votes
2answers
572 views

On a proposition in Hartshorne's paper “Ample vector bundles on curves”

In Prop. 4.1, p. 87 of the article "Ample vector bundles on curves" (Nagoya Math. J. 43 [1971], 73--89), R. Hartshorne states the following: Let $A$ be an abelian variety [over an alg. closed field $...
6
votes
0answers
126 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 ...
9
votes
1answer
586 views

Are there noncommutative extensions of $\alpha_p$ by $\mathbb{G}_m$?

Let $k$ be a field of characteristic $p > 0$ (algebraically closed, if you want; that doesn't make a difference). Consider a finite type $k$-group scheme $E$ that is a (central) extension of $\...
8
votes
1answer
419 views

Deligne's exterior power

In "Catégories Tannakiennes", Deligne defines the $n$th exterior power of an object $A$ of an abelian tensor category $\mathcal{C}$ as the image of the morphism $$p : A^{\otimes n} \to A^{\otimes n}, ...
10
votes
1answer
436 views

Can a division algebra have degree divisible by its characteristic?

I apologize in advance if this is easy, but I've tried Googling, and had no luck. I'm currently working on a proof, and I realized in the course of writing that this proof will break if out there ...
2
votes
2answers
276 views

Lifting to char 0, references and questions

Suppose that I have a surface $S$, smooth proper over an algebraically closed (perfect?)field $k$ that lifts algebraically to some $S_W$ defined over a field of char 0. I am interested in properties ...
16
votes
1answer
701 views

Number of curves over a finite field

Let $K$ be a finite field. Is there a formula for the number of isomorphism classes of genus $g$ smooth curves over $K$? In other words does there exists a formula for the number of rational points ...
6
votes
1answer
447 views

Nagata's conjecture in positive characteristic

For a $\mathbb C P^2$ is known a result: if through the generic points $p_1,p_2,\dots p_n$ with multiplicities $m_1,m_2\dots, m_n$ correspondingly a degree $d$ irreducible reduced curve passes then $d^...
5
votes
3answers
546 views

Does every linear group admit a subgroup of dimension 1?

Suppose that $G$ is a linear group of positive dimension, defined over some field $k$. Is that true, that $G$ admits a (closed) one-dimensional subgroup? I'm pretty much sure this is true in ...
1
vote
1answer
166 views

On Non F-pure ideal and Sharp F-Purity for a pair $(X, \Delta)$ where $K_X+\Delta$ is NOT $\mathbb{Q}$-Cartier

Suppose $(X,\Delta\ge 0)$ is a pair such that $(p^g-1)(K_X+\Delta)$ is an Integral Weil Divisor for some $g>0$ and $X$ is a normal variety. Define $\mathcal{L}_{e,\Delta} = \mathcal{O}_X( (1-p^g)(...
4
votes
1answer
328 views

Properties of divisors when moving from char 0 to char p.

Consider a smooth projective variety $X$ over $\mathbb{C}$ such that $X$ has models over $\mathbb{Z}[1/N]$ and $X_p=X_{\mathbb{Z}[1/N]}\times \text{Spec}(\mathbb{F}_p)$ is also a smooth projective ...
8
votes
1answer
491 views

Vanishing theorems in positive characteristic

In the paper Deligne, Pierre; Illusie, Luc (1987), "Relèvements modulo $p^{2}$ et décomposition du complexe de De Rham", Inventiones Mathematicae 89 (2): 247–270, doi:10.1007/BF01389078 I found the ...
2
votes
0answers
192 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
0answers
359 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 ...
3
votes
0answers
344 views

Adjunction Formula for Weil Divisors on a Normal Variety X

Let $X$ be a normal variety over an algebraically closed field $k$ of characteristic $p>0$ and $S$ be a prime Weil divisor on $X$ which is normal too. Now if $K_X+S$ is NOT $\mathbb{Q}$-Cartier, ...
1
vote
0answers
260 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,...
2
votes
1answer
187 views

On a Strongly F-regular Pair (X, \Delta)

Let $X$ be a normal projective variety over a field of characteristic $p>0$ and $(X, \Delta\geq 0)$ be a pair such that $K_X+\Delta$ is $\mathbb{Q}$-Cartier whose index is not divisible by $p$. ...
8
votes
1answer
349 views

Commutativity of the Chow ring in positive characteristic

I was looking in Ravi Vakil's notes on Intersection Theory, Class 20, where he introduces the bivariant intersection theory, in particular the Chow ring $A^\ast (X)$. On p. 2, he writes the following ...
1
vote
0answers
164 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 ...
3
votes
1answer
567 views

Heisenberg group in characteristic two

I have seen two constructions called the Heisenberg group. If $k$ is a field of characteristic not equal to $2$ and $V$ is a $2n$-dimensional vector space over $k$ with symplectic form $\omega : V \...
3
votes
2answers
439 views

Is the absolute Galois group of the field of Laurent series in positive characteristic finitely generated?

If $K$ is an algebraically closed field of characteristic $p>0$, then $K((t))$, the field of Laurent series with coefficients in $K$, has infinitely many Galois extensions of degree $p$. Indeed, ...
1
vote
0answers
145 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?.
2
votes
0answers
344 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 ...