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

Let $F(X)= \prod_{i=1}^k(a_iX+b_i)$ be a polynomial with $a_i, b_i$ being integers. Suppose the discriminant of $F$ is non-zero and $F$ is admissible. Given any natural number $N$, let $S(F,N)$ denotes those integers less than or equal to…

In this paper, we prove the cone theorem and the contraction theorem for pairs $(X, B)$, where $X$ is a normal variety and $B$ is an effective $\mathbb R$-divisor on $X$ such that $K_X+B$ is $\mathbb R$-Cartier.

We prove that if $A,B$ are compact subsets of $\mathbb{R}$ such that the upper density of $B$ is positive at every point of $B$, then there is a closed null set $N\subset A$ such that $N+B=A+B$. As a corollary we find that if $A,B\subset…

We show how the relatively initial or relatively terminal fixed points for a well-behaved functor $F$ form a pair of adjoint functors between $F$-coalgebras and $F$-algebras. We use the language of locally presentable categories to find…

In this paper, we prove the non-vanishing and some special cases of the abundance for log canonical threefold pairs over an algebraically closed field $k$ of characteristic $p > 3$. More precisely, we prove that if $(X,B)$ be a projective…

We introduce and study invariants of singularities in positive characteristic called F-thresholds. They give an analogue of the jumping coefficients of multiplier ideals in characteristic zero. We discuss the connection between the…

Let $E$ be an ample vector bundle of rank $r$ on a projective variety $X$ with only log-terminal singularities. We consider the nefness of adjoint divisors $K_X+(t-r)det(E)$ when $t>=dim(X)$ and $t>r$. As a corollary, we classify pairs…

In this note, we prove that if every character of a finite group $G$ fixed by an order-2 Galois automorphism has odd degree, then $G$ has a normal Sylow $2$-subgroup. On the way, we study extensions of characters of $GL_n(q)$, $q$ odd, to…

We review the notion of symplectic duality earlier introduced in the context of topological recursion. We show that the transformation of symplectic duality can be expressed as a composition of $x-y$ dualities in a broader context of log…

We provide a family of examples where the $F$-pure threshold and the log canonical threshold of a polynomial are different, but where $p$ does not divide the denominator of the $F$-pure threshold (compare with an example of…

In this paper we give a new point of view for optimizing the definitions related to the study of singularities of normal varieties, introduced in [dFH09] and further studied in [Urb12a] and [Urb12b], in relation to the Minimal Model…

This paper has two parts. In the first part, we review stable pairs and triples on curves, leading up to Thaddeus' diagram of flips and contractions starting from the blow-up of projective space along a curve embedded by a complete linear…

For a prime p and base b, the collision invariant $S_{\ell}(p)$, introduced in the companion paper, is a function of $p \bmod b^{\ell+1}$ and therefore lives on the finite group $(\mathbb{Z}/b^{\ell+1}\mathbb{Z})^{\times}$. Its Fourier…

We give a counterexample to the PIA (precise inversion of adjunction) conjecture for minimal log discrepancies. We also give a counterexample to the LSC conjecture for families.

An infinite linearly ordered set (S,<=) is called doubly homogeneous if its automorphism group A(S) acts 2-transitively on it. We show that any group G arises as outer automorphism group G cong Out(A(S)) of the automorphism group A(S), for…

Let $k$ be an algebraically closed field of characteristic $p>0$, let $R$ be a commutative ring, and let $\mathbb{F}$ be an algebraically closed field of characteristic 0. We consider the $R$-linear category $\mathcal{F}^\Delta_{Rpp_k}$ of…

In this paper we focus on pairs consisting of the affine $N$-space and multiideals with a positive exponent. We introduce a method "lifting to characteristic 0" which is a kind of the inversion of "modulo p reduction". By making use of it,…

We prove that if $F$ is a tangent to the identity diffeomorphism at $0\in\mathbb{C}^2$ and $\Gamma$ is a formal invariant curve of $F$ then there exists a parabolic curve (attracting or repelling) of $F$ asymptotic to $\Gamma$. The result…

We show that some properties of log canonical centers of a log canonical pair (X,D) also hold for certain subvarieties that are close to being a log canonical center. As a consequence, we obtain that if one works with deformations of pairs…

In a 1977 paper, Steffens identified an elegant criterion for determining when a countable graph has a perfect matching. In this paper, we will investigate the proof-theoretic strength of this result and related theorems. We show that a…