Related papers: F-purity of hypersurfaces

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

In this paper, the author introduces hyperfields and give some facts about the roots and multiplicities of polynomials over hyperfield based on \cite{2} and \cite{3}. Then he tests the sharpness of an inequality in Baker's former work…

We study the space of smooth marked hypersurfaces in a given linear system. Specifically, we prove a homology h-principle to compare it with a space of sections of an appropriate jet bundle. Using rational models, we compute its rational…

In this paper, we show the log canonical threshold values of the surfaces which has du Val type singularities.These surfaces can be interpreted as statistical or machine learning models. The results of $A_n, D_n, E_6, E_7$ and $E_8$ are…

We address explicit constructions of new variants of $F$-nilpotent singularities. In particular, we explore how (generalized) weakly $F$-nilpotent singularities behave under gluing, Segre products, Veronese subrings, and the formation of…

Let $X$ be a compact metric space, and let $A$ be a pure $\mathrm{C}^*$-algebra. We show that $C(X,A)$ is pure whenever $A$ is simple; or every quotient of $A$ is stably finite (e.g., $A$ has stable rank one). Using permanence properties of…

We establish new criteria for the $R$-badness of a space and apply it to the case of closed surfaces.

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…

Finite Sample Smeariness (FSS) has been recently discovered. It means that the distribution of sample Fr\'echet means of underlying rather unsuspicious random variables can behave as if it were smeary for quite large regimes of finite…

This article is devoted to the sharp improvement of the classical Bohr inequality for bounded analytic functions defined on the unit disk. We also prove two other sharp versions of the Bohr inequality by replacing the constant term by the…

Let $A$ be an abelian scheme of dimension at least four over a $\mathbb{Z}$-finitely generated integral domain $R$ of characteristic zero, and let $L$ be an ample line bundle on $A$. We prove that the set of smooth hypersurfaces $D$ in $A$…

This note will become part of a new paper with more authors.

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…

We prove that the Newton polygons of Frobenius on the crystalline cohomology of proper smooth varieties satisfy a symmetry that results, in the case of projective smooth varieties, from Poincar\'e duality and the hard Lefschetz theorem. As…

This paper contains a number of observations on the {$F$-signature} of triples $(R,\Delta,\ba^t)$ introduced in our previous joint work. We first show that the $F$-signature $s(R,\Delta,\ba^t)$ is continuous as a function of $t$, and for…

We continue our study [Ou4] of f-biharmonic maps and f-biharmonic submanifolds by exploring the applications of f-biharmonic maps and the relationships among biharmonicity, f-biharmonicity and conformality of maps between Riemannian…

This paper is a follow-up to our joint paper with I. Agol, P. Storm and K. Whyte "Finiteness of arithmetic hyperbolic reflection groups". The main purpose is to investigate the effective side of the method developed there and its possible…

We prove some generic properties for $C^r$, $r=1, 2, ..., \infty$, area-preserving diffeomorphism on compact surfaces. The main result is that the union of the stable (or unstable) manifolds of hyperbolic periodic points are dense in the…

In this paper we describe an algorithm for implicitizing rational hypersurfaces in case there exists at most a finite number of base points. It is based on a technique exposed in math.AG/0210096, where implicit equations are obtained as…

We use purity, a principle borrowed from the foundations of quantum information, to show that all isometric comonoids in the category $\operatorname{CPM}\left(\operatorname{fHilb}\right)$ are necessarily pure. As a corollary, we answer an…