Related papers: Explicitly Extending Frobenius Splittings over Fin…

We derive transformation rules for test ideals and $F$-singularities under an arbitrary finite surjective morphism $\pi : Y \to X$ of normal varieties in prime characteristic $p > 0$. The main technique is to relate homomorphisms $F_{*}…

Let $X$ and $Y$ be schemes of finite type over $\mathrm{Spec}\ \mathbb{Z}$ and let $\alpha: Y \to X$ be a finite map. We show the following holds for all sufficiently large primes $p$: If $\phi$ and $\psi$ are any splittings on $X \times…

Using limit linear series and a result controlling degeneration from separable maps to inseparable maps, we give a formula for the number of self-maps of the projective line with ramification to order e_i at general points P_i, in the case…

We introduce a notion of tame ramification for general finite covers. When specialized to the separable case, it extends to higher dimensions the classical notion of tame ramification for Dedekind domains and curves and sits nicely in…

We investigate the injectivity of the Frobenius map on thickenings of smooth varieties in projective space over a field of positive characteristic. We obtain uniform bounds -- i.e., independent of the characteristic -- on the thickening…

We prove that the Reeb space of a proper definable map $f:X \rightarrow Y$ in an arbitrary o-minimal expansion of a real closed field is realizable as a proper definable quotient. This result can be seen as an o-minimal analog of Stein…

Extending the notion of Frobenius-splitting, we prove that every finite height Calabi-Yau variety defined over an algebraically closed field of positive characteristic can be lifted to the ring of Witt vectors of length two.

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.…

We show that if f: X --> Y is a finite, separable morphism of smooth curves defined over a finite field F_q, where q is larger than an explicit constant depending only on the degree of f and the genus of X, then f maps X(F_q) surjectively…

We consider the problem of extending maps from algebras to their profinite completions in finitely generated quasivarieties. Our developments are based on the construction of the profinite completion of an algebra as its natural extension.…

In this paper, we prove that smooth Calabi--Yau hypersurfaces of degree $d$ over complete unramified discrete valuation rings with residue characteristic $p$ are perfectoid split if $p$ is larger than the relative dimension and $p\nmid d$.…

If $X$ is Frobenius split, then so is its normalization and we explore conditions which imply the converse. To do this, we recall that given an $\mathcal{O}_X$-linear map $\phi : F_* \mathcal{O}_X \to \mathcal{O}_X$, it always extends to a…

Let $\pi : Y \to X$ be a branched $\mathbf{Z}/p \mathbf{Z}$-cover of smooth, projective, geometrically connected curves over a perfect field of characteristic $p>0$. We investigate the relationship between the $a$-numbers of $Y$ and $X$ and…

Let $A$ be an abelian variety over a finite field $k$ with $|k|=q=p^m$. Let $\pi\in \text{End}_k(A)$ denote the Frobenius and let $v=\frac{q}{\pi}$ denote Verschiebung. Suppose the Weil $q$-polynomial of $A$ is irreducible. When…

For a normal F-finite variety $X$ and a boundary divisor $\Delta$ we give a uniform description of an ideal which in characteristic zero yields the multiplier ideal, and in positive characteristic the test ideal of the pair $(X,\Delta)$.…

Let $\pi\,:\, X \,\longrightarrow\, Y$ be a finite morphism of smooth projective varieties defined over an algebraically closed field of characteristic zero. We study the necessary and sufficient criteria for $\pi$ such that there exists a…

A Frobenius difference field is an algebraically closed field of characteristic $p>0$, enriched with a symbol for $x \mapsto x^{p^m}$. We study a sentence or formula in the language of fields with a distinguished automorphism, interpreted…

Motivated by the analogy between number fields and function fields, this paper extends the main result of \cite{janbazi2025unified} to the function field setting. Let $C$ be a smooth affine curve over a finite field, and let $\pi: S…

We study the kernel and cokernel of the Frobenius map on the $p$-typical Witt vectors of a commutative ring, not necessarily of characteristic $p$. We give some equivalent conditions to surjectivity of the Frobenus map on both finite and…

We present a concept of uniform encodability of theories and develop tools related to this concept. As an application we obtain general undecidability results which are uniform for large families of structures. In the way, we define…