Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
LeechLattice's user avatar
  • 9,501
4 votes
0 answers
183 views

Characters of finite fields - Reference request

Let $\mathbf{F}_q$ ($q=p^f$) be a finite field. We are interested in the characters $\chi: \mathbf{F}_q\rightarrow \mathbf{K}$ ($\chi(0)=0$) where the $ \mathbf{K}$ is an alg.closed field of ...
Grad Student's user avatar
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 ...
user197402's user avatar
3 votes
0 answers
112 views

What are the possibilities of the general fibres in an Iitaka fibration?

This question is motivated by complex algebraic geometry. If $X$ is a complex algebraic variety with Kodaira dimension in $[1,\dim X-1]$, then the Iitaka fibration (the rational map induced by the ...
LeechLattice's user avatar
  • 9,501
47 votes
1 answer
1k views

Summing infinitely many infinitesimally small variables makes sense in algebra

There is an identity $e^x=\lim_{n\to \infty} (1+x/n)^n$, and I always thought it is a purely analytic statement. But then I discovered its curious interpretation in pure algebra: Consider the ring of ...
Anton Mellit's user avatar
  • 3,772
9 votes
2 answers
910 views

Example of a smooth projective family of varieties in characteristic $p$ where the Hodge numbers jump

Let $\mathbb F$ be an algebraic closure of the field of order $p$. Let $S=\textrm{Spec}(\mathbb F[[z]])$ with special point $s$ and generic point $\eta$. I'm looking for an example of a smooth ...
Raju's user avatar
  • 790
9 votes
1 answer
356 views

Reference request for indecomposable representations of $\mathfrak{sl}(2)$ over an algebraically closed field of characteristic $p > 0$

Is there a good reference on the classification of indecomposable representations of the Lie algebra $\mathfrak{sl}(2)$ over an algebraically closed field of characteristic $p > 0$ (of course, in ...
tyrese's user avatar
  • 239
3 votes
1 answer
129 views

Schur multiplier of finite-dimensional simple Lie algebras in positive characteristic

The Schur multipliers of finite simple groups are known and easily accessible: https://en.wikipedia.org/wiki/List_of_finite_simple_groups Moreover, as a consequence of the second Whitehead's Lemma, if ...
Rocky Smith's user avatar
6 votes
0 answers
173 views

Orlik-Solomon algebra and hyperplane complements in positive characteristic

Let $k$ be an algebraically closed field of characteristic $p\geq 0$, $\underline H:=\{H_1,\dots, H_m\}$ a set of hyperplanes in $\mathbb A_k^n$ and $X:=\mathbb A^n-(\bigcup H_i)$. Given a ring $R$ ...
Emiliano Ambrosi's user avatar
27 votes
2 answers
3k views

Reference for de Rham cohomology in positive characteristic

It is known in characteristic $0$ that (algebraic) de Rham cohomology is a Weil cohomology theory. However, in characteristic $p > 0$ it isn't, if only because it has mod $p$ coefficients, whereas ...
R. van Dobben de Bruyn's user avatar
8 votes
1 answer
774 views

A variant on characteristic $p$ de Rham cohomology

I was thinking about de Rham cohomology in characteristic $p$, and in particular the recent question about Poincare residues, and I came up with the following construction. Let $k$ be a perfect field ...
David E Speyer's user avatar
4 votes
2 answers
460 views

Are Chow groups invariant under universal homeomorphisms?

Let $f:X\to Y$ be a universal homeomorphism of schemes, $R$ a coefficient ring. Which assumptions on $f$ and $R$ are suffient to ensure that the pullback map $f^*$ of $R$-linear Chow groups is ...
Mikhail Bondarko's user avatar
15 votes
2 answers
596 views

When is the etale cohomology of $\mathrm{Sym}^n(X)$ isomorphic to the $\Sigma_n$-invariants in the étale cohomology of $X^n$?

Suppose $X$ is a smooth projective variety defined over an arbitrary algebraically closed field $k$, and consider the action of $\Sigma_n$ on the $n$-fold product $X^n$. Is it true that $H_{\acute{e}t}...
Sarah Frei's user avatar
7 votes
3 answers
927 views

Lefschetz fixed-point theorem for the Frobenius map

Where can one find a proof of Lefschetz fixed-point theorem for the Frobenius map on elliptic curves over algebraic closures of $F_{p}$ ? This could immediately follow if their coholomogies (for the ...
user50311's user avatar
  • 305
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 ...
Karl Schwede's user avatar
  • 20.5k
11 votes
1 answer
334 views

An identity in Lie algebras over fields of positive characteristic

Let $L$ be a Lie algebra over a field of characteristic $p>0$ and $D$ a derivation of $L$. For every $x\in L$ denote by $\mathrm{ad} x$ the adjoint map $\mathrm{ad}x: L \rightarrow L, a\mapsto [x,...
Rocky Smith's user avatar
9 votes
1 answer
381 views

Lifting of families of curves to characteristic 0

Let $k$ be a finite field, $X_0$ be a smooth affine variety over $k$ and $C\rightarrow X$ a smooth projective family of curves of genus $\geq 2$. By a result of Elkik we can always lift $X_0$ to a ...
Emiliano Ambrosi's user avatar
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
3 votes
0 answers
112 views

Indecomposablity in purely inseparable extensions

Let $k$ be a field of characteristic $p$ (e.g. the separable closure of $\mathbb{F}_p(t)$) and consider the extension $k(x)/k$ where $x^p\in k$ but $x$ does not. Consider a (finitely generated) ...
HyperCrypto's user avatar
4 votes
1 answer
502 views

Motivic integration in positive characteristic: how much is known?

It seems that in papers on motivic integration people usually assume the base field to have characteristic $0$ (and algebraically closed?). My question is: how much can one prove over a positive ...
Mikhail Bondarko's user avatar
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
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) ...
user45397's user avatar
  • 2,323
2 votes
2 answers
480 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 ...
Sofia Tirabassi's user avatar
4 votes
0 answers
285 views

Application of Frobenius splitting in characteristic $0$

In general, Frobenius splitting only defines on field of characteristic $p$ (algebraically closed) field. I am reading Brion and Kumar's book and I can see that there are geometric results can be ...
Ben's user avatar
  • 849
0 votes
0 answers
440 views

Foliations in positive characteristic

Ekedahl wrote about foliations in positive characteristic, over the field $\mathbb{Z}/p\mathbb{Z}$ as a subsheaf of the tangent sheaf, that are closed with respect to involution and $p$-power. My ...
camilo's user avatar
  • 1
4 votes
0 answers
209 views

Partial differential Equation over characteristic p

I want some references on partial differential equations over characteristic $p$. If we have a first order partial differential equation, how can we check whether there exists polynomials or rational ...
Amit Sinhababu's user avatar
7 votes
1 answer
799 views

Liftability of Enriques Surfaces (from char. p to zero)

Let $k$ be an algebraically closed field of characteristic $p > 0$, $X$ a variety over $k$. We say $X$ lifts to characteristic zero, if there exists a local ring $R$ containing $\mathbb Z$ with ...
Holger Partsch's user avatar
11 votes
0 answers
576 views

What's known about the mod 2 reduction of the level l Jacobi modular equation?

Motivation: Let $\ell$ be an odd prime. Let $A$ in ${\mathbb Z}/2[[x]]$ be $x+x^9+x^{25}+x^{49}+...$, and $B=A(x^\ell)$. One can use the level $\ell$ Jacobi modular equation to get a polynomial ...
paul Monsky's user avatar
  • 5,422
10 votes
0 answers
323 views

The mod 3 reduction of some powers of delta

Let f in Z/3[[x]] be the mod 3 reduction of the Fourier expansion of the normalized weight 12 cusp form delta for the full modular group. The exponents appearing in f are all 1 mod 3. Fix k>0 and ...
paul Monsky's user avatar
  • 5,422
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 ...
paul Monsky's user avatar
  • 5,422
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