Related papers: A note on effective descent for overconvergent iso…

We prove a few results about the map $Spc(F)$ induced on tensor-triangular spectra by a tensor-triangulated functor $F$. First, $F$ is conservative if and only if $Spc(F)$ is surjective on closed points. Second, if $F$ detects…

In the search of a projective analog of Kunz's theorem and a Frobenius-theoretic analog of Mori--Hartshorne's theorem, we investigate the positivity of the kernel of the Frobenius trace (equivalently, the negativity of the cokernel of the…

Strong epimorphisms and regular epimorphisms are two important classes of morphisms, and they do not coincide in general. Yet, in a locally presentable category, it is known that any strong epimorphism can be decomposed into a transfinite…

We study the flatness and the projectivity of Hopf algebras, defined over a Dedekind ring, over their Hopf subalgebras. We give a criterion for the faithful flatness and use it to show the faithful flatness of an arbitrary flat Hopf algebra…

We prove constancy of Newton polygons of all convergent $F$-isocrystals on Abelian varieties over finite fields. Applying the constancy, we prove the isotriviality of projective smooth families of curves over Abelian varieties. We also…

We show that a Fourier--Mukai equivalence between smooth projective varieties of characteristic $p$ which commutes with either pushforward or pullback along Frobenius is a composition of shifts, isomorphisms, and tensor product with…

We show that the functor from curved differential graded algebras to differential graded categories, defined by the second author in [B], sends Cartesian diagrams to homotopy Cartesian diagrams, under certain reasonable hypotheses. This is…

We develop theory and examples of monoidal functors on tensor categories in positive characteristic that generalise the Frobenius functor from \cite{Os, EOf, Tann}. The latter has proved to be a powerful tool in the ongoing classification…

For any block of a finite group over an algebraically closed field of characteristic $2$ which has dihedral, semidihedral, or generalized quaternion defect groups, we determine explicitly the decomposition of the associated diagonal…

Here we prove that for a smooth projective variety $X$ of arbitrary dimension and for a vector bundle $E$ over $X$, the Harder-Narasimhan filtration of a Frobenius pull back of $E$ is a refinement of the Frobenius pull-back of the…

An important result in quasi-category theory due to Lurie is the that cocartesian fibrations are exponentiable, in the sense that pullback along a cocartesian fibration admits a right Quillen right adjoint that moreover preserves cartesian…

Let $S$ be the spectrum of a complete discrete valuation ring with fraction field of characteristic 0 and perfect residue field of characteristic $p\geq 3$. Let $G$ be a truncated Barsotti-Tate group of level 1 over $S$. If ``$G$ is not too…

Consider a locally cartesian closed category with an object I and a class of trivial fibrations, which admit sections and are stable under pushforward and retract as arrows. Define the fibrations to be those maps whose Leibniz exponential…

This work adresses the question of density of piecewise constant (resp. rigid) functions in the space of vector valued functions with bounded variation (resp. deformation) with respect to the strict convergence. Such an approximation…

This paper studies Frobenius maps on injective hulls of residue fields of complete local rings with a view toward providing constructive descriptions of objects originating from the theory of tight closure. Specifically, the paper describes…

Two-dimensional conformal field theory (CFT) can be defined through its correlation functions. These must satisfy certain consistency conditions which arise from the cutting of world sheets along circles or intervals. The construction of a…

Pilgrim's Finite Global Attractor Conjecture has been verified for polynomials [1], but remains open for general rational maps. In this paper, we prove the conjecture for a family of rational maps obtained by gluing two PCF polynomials…

Let $k$ be an algebraically closed field of positive characteristic $p$ and let $\mathbb{F}$ be an algebraically closed field of characteristic 0. We consider Alperin's weight conjecture (over $k$) from the point of view of (stable)…

This work concerns maps of commutative noetherian local rings containing a field of positive characteristic. Given such a map $\varphi$ of finite flat dimension, the results relate homological properties of the relative Frobenius of…

Let $R$ be a semilocal principal ideal domain. Two algebraic objects over $R$ in which scalar extension makes sense (e.g. quadratic spaces) are said to be of the same genus if they become isomorphic after extending scalars to all…