Related papers: $p^{-1}$-linear maps in algebra and geometry
If $X$ is a smooth scheme over a perfect field of characteristic $p$, and if $\sD_X$ is the sheaf of differential operators on $X$ [EGAIV], it is well known that giving an action of $\sD_X$ on an $\sO_X$-module $\sE$ is equivalent to giving…
Let R be a ring of polynomials in a finite number of variables over a perfect field k of characteristic p>0 and let F:R\to R be the Frobenius map of R, i.e. F(r)=r^p. We explicitly describe an R-module isomorphism Hom_R(F_*(M),N)\cong…
On a locally Noetherian scheme X over a field of positive characteristic p we study the category of coherent O_X-modules M equipped with a p^{-e}-linear map, i.e. an additive map C: O_X \to O_X satisfying rC(m)=C(r^{p^e}m) for all m in M, r…
We consider *-linear maps into a commutative C*-algebra C (X) of continuous functions on a locally compact Hausdorff space X with certain specified properties and prove two results: (1) an extension result for a class of *-linear maps Y -->…
In this paper, we prove two theorems concerning the test properties of the Frobenius endomorphism over commutative Noetherian local rings of prime characteristic $p$. Our first theorem generalizes a result of Funk-Marley on the vanishing of…
We prove the following two results 1. For a proper holomorphic function $ f : X \to D$ of a complex manifold $X$ on a disc such that $\{df = 0 \} \subset f^{-1}(0)$, we construct, in a functorial way, for each integer $p$, a geometric…
We study congruences relating Fourier coefficients of meromorphic modular forms and Frobenius eigenvalues of elliptic curves corresponding to their poles. We develop a $p$-adic cohomological framework that interprets these congruences via…
Let G be either of Mat(n), GL(n) or SL(n), let O_q(G) be the quantum function algebra - over Z[q,q^{-1}] - associated to G, and let O_e(G) be the specialisation of O_q(G) at a root of unity, of odd order l. Then O_e(G) is a module over the…
In an attempt to propose more general conditions for decoherence to occur, we study spectral and ergodic properties of unital, completely positive maps on not necessarily unital $C^*$-algebras, with a particular focus on gapped maps for…
We develop a new cohomology theory in characteristic p>0, the so called F-gauge cohomology, a cohomology with values in the category of so-called F-gauges, which refines the cristalline cohomology. In this first paper we mainly discuss the…
We compute the first and second cohomology groups with coefficients in the adjoint module of frobeniusian model algebras whose parameters move in a dense open subset of $\mathbb{C}^{p-1}$, and obtain upper bounds for the dimension of…
We consider modules E over a C*-algebra A which are equipped with a map into A_+ that has the formal properties of a norm. We completely determine the structure of these modules. In particular, we show that if A has no nonzero commutative…
Let $R$ be an $F$-finite Noetherian regular ring containing an algebraically closed field $k$ of positive characteristic, and let $M$ be an $\F$-finite $\F$-module over $R$ in the sense of Lyubeznik (for example, any local cohomology module…
It is well-known that for a large class of local rings of positive characteristic, including complete intersection rings, the Frobenius endomorphism can be used as a test for finite projective dimension. In this paper, we exploit this…
For any algebraically closed field $K$ and any endomorphism $f$ of $\mathbb{P}^1(K)$ of degree at least 2, the automorphisms of $f$ are the M\"obius transformations that commute with $f$, and these form a finite subgroup of…
The Frobenius depth denoted by F-depth defined by Hartshorne-Speiser in 1977 and later by Lyubeznik in 2006, in a different way, for rings of positive characteristic. The first aim of the present paper is to compare the F-depth with formal…
A regular F-manifold is an F-manifold (with Euler field) (M, \circ, e, E), such that the endomorphism {\mathcal U}(X) := E \circ X of TM is regular at any p\in M. We prove that the germ ((M,p), \circ, e, E) is uniquely determined (up to…
Let $X$ be a smooth proper scheme over an algebraically closed field $k$ in characteristic $p$. In this short note, by interpreting $\mathcal{D}_{X}$-modules as $F$-divided sheaves and establishing a cohomological boundedness property for…
Let $X/\mathbb{C}$ be a smooth variety with simple normal crossings compactification $\bar{X}$, and let $L$ be an irreducible $\overline{\mathbb{Q}}_{\ell}$-local system on $X$ with torsion determinant. Suppose $L$ is cohomologically rigid.…
Suppose that $\pi \: Y \to X$ is a finite map of normal varieties over a perfect field of characteristic $p > 0$. Previous work of the authors gave a criterion for when Frobenius splittings on $X$ (or more generally any $p^{-e}$-linear map)…