Related papers: On $F$-pure inversion of adjunction

For the principal eigenvalue of discrete weighted $p$-Laplacian on the set of nonnegative integers, the convergence of an approximation procedure and the inverse iteration is proved. Meanwhile, in the proof of the convergence, the…

A proof of Grothendieck--Serre conjecture on principal bundles over a semi-local regular ring containing an infinite field is given in [FP] recently. That proof is based significantly on Theorem 1.0.1 stated below in the Introduction and…

For a given family $\{(\mathrm{q}_i, \mathrm{t}_i, \mathrm{p_i} )\}_{i \in I}$ of adjoint triples between exact categories $\mathcal{C}$ or $\mathcal{D}$, we show that any cotorsion pair in $\mathcal{C}$ and $\mathcal{D}$ yield two…

Log-canonical and $F$-pure thresholds of pairs in equal characteristic admit an analog in the recent theory of singularities in mixed characteristic, which is known as the plus-pure threshold. In this paper we study plus-pure thresholds for…

We obtain computational hardness results for f-vectors of polytopes by exhibiting reductions of the problems DIVISOR and SEMI-PRIME TESTABILITY to problems on f-vectors of polytopes. Further, we show that the corresponding problems for…

Let $X$ be a normal projective variety defined over an algebraically closed field $k$ of positive characteristic. Let $G$ be a connected reductive group defined over $k$. We prove that some Frobenius pull back of a principal $G$-bundle…

The original Fujita approximation theorem states that the volume of a big divisor $D$ on a projective variety $X$ can always be approximated arbitrarily closely by the self-intersection number of an ample divisor on a birational…

We prove a logarithmic base change theorem for pushforwards of pluri-canonical bundles and use it to deduce that positivity properties of log canonical divisors descend via smooth projective morphisms. As an application, for a surjective…

We point out that the usual argument used to prove that $R$ is strongly $F$-regular if and only if $R_{Q}$ is strongly $F$-regular for every prime ideal $Q \in \Spec R$, does not generalize to the case of pairs $(R, \ba^t)$. The author's…

We study a useful numerical invariant of normal surface singularities, introduced recently by T. Kawachi. Using this invariant, we give a quick proof of the (well-known) fact that all log-canonical surface singularities are either elliptic…

We provide a new proof of the Kac positivity conjecture for an arbitrary quiver $Q$. The ingredients are the cohomological integrality theorem in Donaldson-Thomas theory, dimensional reduction, and an easy purity result. These facts imply…

Towards the Lang--Vojta conjecture, we prove results on finiteness and Zariski degeneracy of $S$-integral points of varieties over number fields $k$, including many cases with geometrically irreducible boundary divisors. Our approach builds…

Given a normal surface singularity (X,0), its link, M is a closed differentiable three dimensional manifold which carries much analytic information. It is an interesting question to ask whether, under suitable analytic and topological…

We prove that in either the convergent or overconvergent setting, an absolutely irreducible $F$-isocrystal on the absolute product of two or more smooth schemes over perfect fields of characteristic $p$, further equipped with actions of the…

We show that any pseudo-effective divisor on a normal surface decomposes uniquely into its "integral positive" part and "integral negative" part, which is an integral analog of Zariski decompositions. By using this decomposition, we give…

Let $\V$ be a mixed characteristic complete discrete valuation ring, let $\X$ and $\Y$ be two smooth formal $\V$-schemes, let $f_0$ : $X \to Y$ be a projective morphism between their special fibers, let $T$ be a divisor of $Y$ such that…

An $R$-algebra $S$ is $R$-solid if there exists a nonzero $R$-linear map $S \rightarrow R$. In characteristic $p$, the study of $F$-singularities such as Frobenius splittings implicitly rely on the $R$-solidity of $R^{1/p}$. Following…

A non-zero constant Jacobian polynomial map $F=(P,Q):\mathbb{C}^2 \longrightarrow \mathbb{C}^2$ has a polynomial inverse if the component $P$ is a simple polynomial, i.e. if, when $P$ extended to a morphism $p:X\longrightarrow \mathbb{P}^1$…

We consider integer recurrences of the form a_n = f(a_{n-1}), where f is a quadratic polynomial with integer coefficients. We show, for four infinite families of f, that the set of primes dividing at least one term of such a sequence must…

We study symplectic minimal resolutions of weighted projective planes $\mathbb{CP}(a,b,c)$ from the perspective of disconnected symplectic divisors with symplectic log Kodaira dimension $-\infty$. Building on the techniques developed in our…