Related papers: On Strongly $F$-Regular Inversion of Adjunction

We consider the following conjecture: if X is a smooth projective variety over a field of characteristic zero, then there is a dense set of reductions X_s of X to positive characteristic such that the action of the Frobenius morphism on the…

Let $K$ be a field of characteristic $0$, and let $k \geq 2$ be an integer. We prove that every $K$-linear bijection $f \colon K[X] \to K[X]$ strongly preserving the set of $k$-free polynomials (or the set of polynomials with a $k$-fold…

In this paper, we prove the abundance conjecture for threefolds over a perfect field $k$ of characteristic $p > 3$ in the case of numerical dimension equals to $2$. More precisely, we prove that if $(X,B)$ be a projective lc threefold pair…

We prove that if a mapping F:X to Y, where X and Y are Banach spaces, is metrically regular at x for y and its inverse F^{-1} is convex and closed valued locally around (x,y), then for any function G:X to Y with lip G(x)regF(x|y)) < 1, the…

Let $(X,B)$ be a complex projective klt pair, and let $f\colon X\to Z$ be a surjective morphism onto a normal projective variety with maximal albanese dimension such that $K_X+B$ is relatively big over $Z$. We show that such pairs have good…

Two conjectures of Su and Wang (2008) concerning binomial coefficients are proved. For $n\geq k\geq 0$ and $b>a>0$, we show that the finite sequence $C_j=\binom{n+ja}{k+jb}$ is a P\'{o}lya frequency sequence. For $n\geq k\geq 0$ and…

We present a non-standard proof of the fact that the existence of a local (i.e. restricted to a point) characteristic-zero, semi-parametric lifting for a variety defined by the zero locus of polynomial equations over the integers is…

Let $\mathfrak{P}_r$ be a representation system of the non-isomorphic finite posets, and let ${\cal H}(P,Q)$ be the set of order homomorphisms from $P$ to $Q$. For finite posets $R$ and $S$, we write $R \sqsubseteq_G S$ iff, for every $P…

A field extension $L/K$ of characteristic $p > 0$ is formally \'etale if and only if the relative Frobenius of $L/K$ is an isomorphism. Inspired by this classical result, we explore whether the formally \'etale property for a map $R \to S$…

In this paper, we prove a version of the typed B\"ohm theorem on the linear lambda calculus, which says, for any given types A and B, when two different closed terms s1 and s2 of A and any closed terms u1 and u2 of B are given, there is a…

In this paper we give and prove a criterion for the normality of unbounded closed operators, which is a sort of a maximality result which will be called "double maximality". As applications, we show, under some assumptions, that the sum of…

Let N be the set all of non-negative integers, let A be a finite subset of N, and let (2A) be the set of all numbers of form a+b for each a and b in A. The arithmetic structure of A was accurately characterized by Freiman when (i)…

The existence of an equidimensional morphism f with etale local sections from a regular algebraic space X to a locally noetherian normal algebraic space S of characteristic zero with excellent local rings implies that S is regular and f…

We show that if two continuous semi-simple \(\ell \)-adic Galois representations are locally potentially equivalent at a sufficiently large set of places then they are globaly potentially equivalent. We also prove an analogous result for…

In this paper, we discuss a generalization of log canonical singularities in the non-$\mathbb{Q}$-Gorenstein setting. We prove that if a normal complex projective variety has a non-invertible polarized endomorphism, then it has log…

Let $(X,B)$ be a pair, and let $f \colon X \rightarrow S$ be a contraction with $-(K_X + B)$ nef over $S$. A conjecture, known as the Shokurov-Koll\'{a}r connectedness principle, predicts that $f^{-1} (s) \cap \mathrm{Nklt}(X,B)$ has at…

A plurisubharmonic weight is log canonical if it is at the critical point of turning non-integrable. Given a log canonical plurisubharmonic weight, we show that locally there always exists a log canonical `holomorphic' weight having the…

Proper continued fractions are generalized continued fractions with positive integer numerators $a_i$ and integer denominators with $b_i\geq a_i$. In this paper we study the strength of approximation of irrational numbers to their…

We consider the following conjecture: if X is a smooth projective variety over a field of characteristic zero, then there is a dense set of reductions X_s to positive characteristic such that the action of the Frobenius morphism on the top…

We prove the finiteness of log pluricanonical representations for projective log canonical pairs with semi-ample log canonical divisor. As a corollary, we obtain that the log canonical divisor of a projective semi log canonical pair is…