Related papers: Computation method for perfectoid purity and perfe…
In this paper, we use trace methods to study the algebraic $K$-theory of rings of the form $R[x_1,\ldots, x_d]/(x_1,\ldots, x_d)^2$. We compute the relative $p$-adic $K$ groups for $R$ a perfectoid ring. In particular, we get the integral…
Inspired by the work of Bhatt and Singh (see: arXiv:1307.1171) we compute the $F$-pure threshold of quasi-homogeneous polynomials. We first consider the case of a curve given by a quasi-homogeneous polynomial $f$ in three variables $x,y,z$…
We introduce the notion of a prism, which may be regarded as a "deperfection" of the notion of a perfectoid ring. Using prisms, we attach a ringed site -- the prismatic site -- to a $p$-adic formal scheme. The resulting cohomology theory…
We provide an irreducibility test in the ring K[[x]][y] whose complexity is quasi-linear with respect to the discriminant valuation, assuming the input polynomial F square-free and K a perfect field of characteristic zero or greater than…
We provide an irreducibility test in the ring K[[x]][y] whose complexity is quasi-linear with respect to the valuation of the discriminant, assuming the input polynomial F square-free and K a perfect field of characteristic zero or greater…
We generalize the notions of F-regular and F-pure rings to pairs $(R,\a^t)$ of rings $R$ and ideals $\a \subset R$ with real exponent $t > 0$, and investigate these properties. These ``F-singularities of pairs'' correspond to singularities…
If $(R,\mathfrak{m})$ is a complete local ring of mixed characteristic $(0,p)$ and $R/pR$ is an $F$-pure Gorenstein domain, we find a sufficient condition for $R$ to be perfectoid pure. This condition is related to the Cohen-Macaulayness of…
Employing the general BXOR operation and local state discrimination, the mixed state of the form \rho^{(k)}_{d}=\frac{1}{d^{2}}\sum_{m,n=0}^{d-1}(|\phi_{mn}><\phi_{mn}|)^{\otim es k} is proved to be quasi-pure, where $\{|\phi_{mn}>\}$ is…
We study projective completions of affine algebraic varieties which are given by filtrations, or equivalently, 'degree like functions' on their rings of regular functions. For a quasifinite polynomial map P (i.e. with all fibers finite) of…
We develop the theory of quasi-$F$-splittings in the context of birational geometry. Amongst other things, we obtain results on liftability of sections and establish a criterion for whether a scheme is quasi-$F$-split employing the higher…
We study the relative Frobenius map associated with a map of derived commutative rings over a field of positive characteristic. As part of this, we examine a relative analog of perfectness and construct a relative inverse limit perfection…
Given a finite number $N$ of copies of a qubit state we compute the maximum fidelity that can be attained using joint-measurement protocols for estimating its purity. We prove that in the asymptotic $N\to\infty$ limit, separable-measurement…
The purpose of this note is to relate certain ring-theoretic properties of rings in mixed and positive characteristics that are related to each other by a tilting operation used in perfectoid geometry. To this aim, we exploit the…
Using the Frobenius map, we introduce a new invariant for a pair $(R,\a)$ of a ring $R$ and an ideal $\a \subset R$, which we call the F-pure threshold $\mathrm{c}(\a)$ of $\a$, and study its properties. We see that the F-pure threshold…
Investigation of cell structure is hardly imaginable without bright-field microscopy. Numerous modifications such as depth-wise scanning or videoenhancement make this method being state-of-the-art. This raises a question what maximal…
We develop the theory of quasi-$F^e$-splittings, quasi-$F$-regularity, and quasi-$+$-regularity.
We prove Hochster's small MCM conjecture for three-dimensional complete F-pure rings. We deduce this from a more general criterion, and show that only a weakening of the notion of F-purity is needed, to wit, being weakly F-split. We…
We present a new method for the decomposition of multi-loop Euclidean Feynman integrals into quasi-finite Feynman integrals. These are defined in shifted dimensions with higher powers of the propagators, make explicit both infrared and…
In this study, we investigate the problem of determining the maximum purity for absolutely separable and absolutely PPT quantum states. From the geometric viewpoint, this problem is equivalent to asking for the exact Euclidean radius of the…
The aim of this paper is to introduce a new class of Noetherian rings of positive characteristic in terms of perfect closures and study their basic properties. If the perfect closure of a Noetherian ring is coherent, we call it an…