Related papers: Log-decay $F$-isocrystals on higher dimensional va…
In this article, we use the cone of nef curves to study minimal log discrepancies. The first result is an improvement of the nef cone theorem in the case of log Calabi-Yau dlt pairs. Then, we prove that the ascending chain condition for…
A theorem of Dolfi, Herzog, Kaplan, and Lev \cite[Thm.~C]{DHKL} asserts that in a finite group with trivial Fitting subgroup, the size of the soluble residual of the group is bounded from below by a certain power of the group order, and…
Consider a plane graph G, drawn with straight lines. For every pair a,b of vertices of G, we compare the shortest-path distance between a and b in G (with Euclidean edge lengths) to their actual distance in the plane. The worst-case ratio…
It is conjectured that for fixed $A$, $r \ge 1$, and $d \ge 1$, there is a uniform bound on the size of the torsion submodule of a Drinfeld $A$-module of rank $r$ over a degree $d$ extension $L$ of the fraction field $K$ of $A$. We verify…
Inspired by a theorem of Bhatt-Morrow-Scholze, we develop a stacky approach to crystals and isocrystals on "Frobenius-smooth" schemes over F_p . This class of schemes goes back to Berthelot-Messing and contains all smooth schemes over…
We show that log canonical thresholds of fixed dimension are standardized. More precisely, we show that any sequence of log canonical thresholds in fixed dimension $d$ accumulates in a way which is i) either similar to how standard and…
We study the descent behaviour of homotopy-theoretic properties of smooth complex affine surfaces under finite surjective morphisms. We first examine the Eilenberg-MacLane property and show, by means of an explicit counterexample, that it…
In a series of four papers we prove the following relaxation of the Loebl-Komlos-Sos Conjecture: For every $\alpha>0$ there exists a number $k_0$ such that for every $k>k_0$ every $n$-vertex graph $G$ with at least $(\frac12+\alpha)n$…
We prove some new log-free density theorems for zeros of Dirichlet L-functions (which accordingly are more sharp than earlier ones near to the boundary line of the critical strip). The results can be applied in several problems of prime…
The \textit{slope} of a fibered $3$-folds $f:X \to B$ is a relative numerical invariant defined by $\lambda(f) := K_{f}^{3}/\mathrm{deg}(f_{\ast}\omega_{f})$, where $K_{f}$ is the relative canonical divisor and $\omega_{f}$ is the relative…
A bound on consecutive clique numbers of graphs is established. This bound is evaluated and shown to often be much better than the bound of the Kruskal-Katona theorem. A bound on non-consecutive clique numbers is also proven.
We show that the arithmetic D-module associated to an overconvergent F-isocrystal over a smooth curve is holonomic. We first prove that unipotent F-isocrystals are holonomic D-module by using the fact that such F-isocrystals come from…
We solve the existence problem for $F$-designs for arbitrary $r$-uniform hypergraphs~$F$. This implies that given any $r$-uniform hypergraph~$F$, the trivially necessary divisibility conditions are sufficient to guarantee a decomposition of…
We consider a class of piecewise smooth one-dimensional maps with critical points and singularities (possibly with infinite derivative). Under mild summability conditions on the growth of the derivative on critical orbits, we prove the…
The theory of isomorphs is reformulated by defining Roskilde-simple systems (those with isomorphs) by the property that the order of the potential energies of configurations at one density is maintained when these are scaled uniformly to a…
In this article we prove the following boundedness result: Fix a DCC set $I\subset [0, 1]$. Let $\mathfrak{D}$ be the set of all log pairs $(X, \Delta)$ satisfying the following properties: (i) $X$ is a projective surface defined over an…
We prove embeddings of adelic groups on an excellent scheme of special type and a flat quasicoherent sheaf on it. For a normal excellent scheme of special type we establish the equality…
We prove the overholonomicity of overconvergent $F$-isocrystals over smooth varieties. This implies that the notions of overholonomicity and devissability in overconvergent $F$-isocrystals are equivalent. Then the overholonomicity is stable…
Let ${\mathcal X}$ be a category fibered in groupoids over a finite field $\mathbb{F}_q$, and let $k$ be an algebraically closed field containing $\mathbb{F}_q$. Denote by $\phi_k\colon {\mathcal X}_k\to {\mathcal X}_k$ the arithmetic…
Let K be an abstract elementary class satisfying the joint embedding and the amalgamation properties. Let m be a cardinal above the the L\"owenheim-Skolem number of the class. Suppose K satisfies the disjoint amalgamation property for limit…