Related papers: Ample filters and Frobenius amplitude
Classical theorems from the early 20th century state that any Haar measurable homomorphism between locally compact groups is continuous. In particular, any Lebesgue-measurable homomorphism $\phi:\mathbb{R} \to \mathbb{R}$ is of the form…
We construct a cohomology theory using quasi-smooth derived schemes as generators and an analogue of the bordism relation using derived fibre products as relations. This theory has pull-backs along all morphisms between smooth schemes…
In this short note we explain the proof that proper surjective and faithfully flat maps are morphisms of effective descent for overconvergent isocrystals. We then show how to deduce the folklore theorem that for an arbitrary variety over a…
We prove, for quasicompact separated schemes over ground fields, that Cech cohomology coincides with sheaf cohomology with respect to the Nisnevich topology. This is a partial generalization of Artin's result that for noetherian schemes…
We expand the toolbox of (co)homological methods in computational topology by applying the concept of persistence to sheaf cohomology. Since sheaves (of modules) combine topological information with algebraic information, they allow for…
Let X be a flexible variety of F be an isomorphism of closed one-dimensional subschemes of $X$. We develop criteria which guarantee that F extends to au automorphism of X.
Under mild hypotheses, given a scheme $U$ and an open subset $V$ whose complement has codimension at least two, the pushforward of a torsion-free coherent sheaf on $V$ is coherent on $U$. We prove an analog of this result in the context of…
Bott proved a strong vanishing theorem for sheaf cohomology on projective space, namely that $H^j(X,\Omega^i_X\otimes L)=0$ for every $j>0$, $i\geq 0$, and $L$ ample. This holds for toric varieties, but not for most other varieties. We…
Let $X$ be a smooth projective variety over a perfect field $k$ of characteristic $p>0$, and $V$ be a vector bundle over $X$. It is well known that if $X$ is a curve and $V$ is not strongly semistable, then some Frobenius pullback…
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 study some functorial properties of certain sheaves of meromorphic forms on reduced complex space; particulary, the meromorphic forms which extend holomorphicaly on any desingularisation. The purpose concern their behavior under pull…
We consider the cone of concentration matrices related to linear concentration models and Wishart laws. We prove that this cone is a Monge--Amp\`ere domain and that the log-likelihood function generates its potential function at the…
We prove analogues for Cartan geometries of Gromov's major theorems on automorphisms of rigid geometric structures. The starting point is a Frobenius theorem, which says that infinitesimal automorphisms of sufficiently high order integrate…
We present a generalization of Takegoshi's relative version of the Grauert-Riemenschneider vanishing theorem. Under some natural assumptions, we extend Takegoshi's vanishing theorem to the case of Nakano semi-positive coherent analytic…
Given scheme-theoretic equations for a nonsingular subvariety, we prove that the higher cohomology groups for suitable twists of the corresponding ideal sheaf vanish. From this result, we obtain linear bounds on the multigraded…
We consider the following conjecture: if X is a smooth projective variety over a field of characteristic zero, then there is a dense set of reductions X_s to positive characteristic such that the action of the Frobenius morphism on the top…
A smooth scheme X over a field k of positive characteristic is said to be strongly liftable, if X and all prime divisors on X can be lifted simultaneously over W_2(k). In this paper, we give some concrete examples and properties of strongly…
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…
We are interested in the intersection cohomology of the minimal compactification of Siegel modular varieties at some places of bad reduction. We compute the semi-simple trace of the Frobenius morphism on the fibers of the nearby cycles of…
We introduce a notion of ampleness for subschemes of higher codimension using the theory of q-ample line bundles. We also investigate certain geometric properties satisfied by ample subvarieties, e.g. the Lefschetz hyperplane theorems and…