Related papers: F-purity of hypersurfaces

We explore several variations of the notion of purity for the action of Frobenius on schemes defined over finite fields. In particular, we study how these notions are preserved under certain natural operations like quotients for principal…

Let $k$ be a field of characteristic $p>0$. Let $D_m$ be a $\BT_m$ over $k$ (i.e., an $m$-truncated Barsotti--Tate group over $k$). Let $S$ be a\break $k$-scheme and let $X$ be a $\BT_m$ over $S$. Let $S_{D_m}(X)$ be the subscheme of $S$…

Let $X \hookrightarrow \overline{X}$ be an open immersion of smooth varieties over a field of characteristic $p>0$ such that the complement is a simple normal crossing divisor and let $\overline{Z} \subseteq Z \subseteq \overline{X}$ be…

A congruence is a surface in the Grassmannian ${\rm Gr}(2, 4)$. In this paper, we consider the normalization of congruence of bitangents to a hypersurface in $\mathbb P^3$. We call it the Fano congruence of bitangents. We give a criterion…

Impurities with the pronounced forward scattering (FS impurities) change analytical properties of the quasiparticle Green's function substantially compared to the isotropic scattering. By assuming that the superconducting pairing is due to…

In this work we generalize the entanglement of purification and its conjectured holographic dual to conditional and multipartite versions of the same, where the optimization defining the entanglement of purification is now optimized in…

We compute the $F$-pure threshold of the natural cone over flag varieties in characteristic $p>0$. Our calculations are mainly focused on flag varieties that are arithmetically Gorenstein, but we offer some results in the non-Gorenstein…

We study complements of hypersurfaces in schemes with respect to the property being affine.

Let $k$ be an algebraically closed field of characteristic $p>0$, and let $X\subseteq\mathbb{P}^n_k$ be a quasi-projective variety that is $F$-rational and $F$-pure. We prove that if $H \subseteq \mathbb{P}^n_k$ is a general hyperplane,…

It is classically known that complete flat surfaces in Euclidean 3-space are cylinders over space curves. This implies that the study of global behaviour of flat surfaces requires the study of singular points as well. If a flat surface $f$…

We study pencils of hypersurfaces over finite fields $\mathbb{F}_q$ such that each of the $q+1$ members defined over $\mathbb{F}_q$ is smooth.

We use purity, a principle borrowed from the foundations of quantum information, to show that all special symmetric dagger-Frobenius algebras in CPM(fHilb) are canonical, i.e. that they arise by doubling of special symmetric…

We establish Grauert--Riemenschneider vanishing for $F$-pure threefolds over a perfect field $k$ of characteristic $p>5$. We apply this to prove Steenbrink vanishing for three-dimensional sharply $F$-pure pairs in characteristic $p>5$. As a…

The almost purity theorem is central to the geometry of perfectoid spaces and has numerous applications in algebra and geometry. This result is known to have several different proofs in the case that the base ring is a perfectoid valuation…

Let $I$ be an equidimensional ideal of a ring polynomial $R$ over $\mathbb{C}$ and let $J$ be its generic linkage. We prove that there is a uniform bound of the difference between the F-pure thresholds of $I_p$ and $J_p$ via the generalized…

Hochster and Huneke showed that the property of F-regularity deforms for Gorenstein rings, i.e., if (R,m) is a Gorenstein local ring such that R/tR is F-regular for some nonzerodivisor t in m, then R is F-regular. This result was later…

Given an essentially finite type morphism of schemes f: X --> Y and a positive integer d, let f^{d}: X^{d} --> Y denote the natural map from the d-fold fiber product, X^{d}, of X over Y and \pi_i: X^{d} --> X the i'th canonical projection.…

We introduce and study a log discrepancy function on the space of semivaluations centered on an integral noetherian scheme of positive characteristic. Our definition shares many properties with the analogue in characteristic zero; we prove…

The main theorem of this paper is that, for a general pair $(A,X)$ of an (ample) Hypersurface $X$ in an Abelian Variety $A$, the canonical map $\Phi_X$ of $X$ is birational onto its image if the polarization given by $X$ is not principal…

We prove several new transversality results for formal CR maps between formal real hypersurfaces in complex space. Both cases of finite and infinite type hypersurfaces are tackled in this note.