
arXiv: 1408.3360
Let $X\to Y^0$ be an abelian prime-to-$p$ Galois covering of smooth schemes over a perfect field $k$ of characteristic $p>0$. Let $Y$ be a smooth compactification of $Y^0$ such that $Y-Y^0$ is a normal crossings divisor on $Y$. We describe a logarithmic $F$-crystal on $Y$ whose rational crystalline cohomology is the rigid cohomology of $X$, in particular provides a natural $W[F]$-lattice inside the latter; here $W$ is the Witt vector ring of $k$. If a finite group $G$ acts compatibly on $X$, $Y^0$ and $Y$ then our construction is $G$-equivariant. As an example we apply it to Deligne-Lusztig varieties. For a finite field $k$, if ${\mathbb G}$ is a connected reductive algebraic group defined over $k$ and ${\mathbb L}$ a $k$-rational torus satisfying a certain standard condition, we obtain a meaningful equivariant $W[F]$-lattice in the cohomology ($\ell$-adic or rigid) of the corresponding Deligne-Lusztig variety and an expression of its reduction modulo $p$ in terms of equivariant Hodge cohomology groups.
log crystalline cohomology, Algebra and Number Theory, Applied Mathematics, rigid cohomology, Deligne-Lusztig variety, \(p\)-adic cohomology, crystalline cohomology, Theoretical Computer Science, Deligne–Lusztig variety, Mathematics - Algebraic Geometry, FOS: Mathematics, Log crystalline cohomology, Rigid cohomology, Representation Theory (math.RT), Algebraic Geometry (math.AG), Engineering(all), Mathematics - Representation Theory
log crystalline cohomology, Algebra and Number Theory, Applied Mathematics, rigid cohomology, Deligne-Lusztig variety, \(p\)-adic cohomology, crystalline cohomology, Theoretical Computer Science, Deligne–Lusztig variety, Mathematics - Algebraic Geometry, FOS: Mathematics, Log crystalline cohomology, Rigid cohomology, Representation Theory (math.RT), Algebraic Geometry (math.AG), Engineering(all), Mathematics - Representation Theory
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 3 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
