Related papers: F-adjunction

Miyanishi conjecture claims that for any variety over an algebraically closed field of characteristic zero, any endomorphism of such a variety which is injective outside a closed subset of codimension at least $2$ is bijective. We prove…

Inspired by several works on jet schemes and motivic integration, we consider an extension to singular varieties of the classical definition of discrepancy for morphisms of smooth varieties. The resulting invariant, which we call Jacobian…

We prove the precise inversion of adjunction formula for quotient singularities and klt Cartier divisors. As an application, we prove the semi-continuity of minimal log discrepancies for klt hyperquotient singularities.

We study an analytically irreducible algebroid germ (X, 0) of complex singularity by considering the filtrations of its analytic algebra, and their associated graded rings, induced by the divisorial valuations associated to the irreducible…

Let $\mathcal{V}$ be a mixed characteristic complete discrete valuation ring, $\mathcal{P}$ a separated smooth formal scheme over $\mathcal{V}$, $P$ its special fiber, $X$ a smooth closed subscheme of $P$, $T$ a divisor in $P$ such that…

Let $k$ be a perfect field of characteristic $p>0$, $\mathcal{V}$ a complete discrete valuation ring with residue field $k$ and field of fractions $K$ of characteristic 0, and $S$ a separated $k$-scheme of finite type. When $S$ is smooth…

Let X be a normal affine T-variety of complexity at most one over a perfect field k, where T stands for the split algebraic torus. Our main result is a classification of additive group actions on X that are normalized by the T-action. This…

A singularity is said to be exceptional (in the sense of V. Shokurov), if for any log canonical boundary, there is at most one exceptional divisor of discrepancy -1. In our previous paper (math.AG/9805004) we found two examples of…

We establish adjunction and inversion of adjunction for log canonical centers of arbitrary codimension in full generality.

Let $X$ be a smooth symplectic variety over a field $k$ of characteristic $p>2$ equipped with a restricted structure, which is a class $[\eta] \in H^0(X, \Omega^1_X/d\mathcal O_X)$ whose de Rham differential equals the symplectic form. In…

Let $G$ be a connected reductive linear algebraic group. We consider the normal $G$-varieties with horospherical orbits. In this short note, we provide a criterion to determine whether these varieties have at most canonical, log canonical…

It is a conjecture of Koll\'ar that a variety $X$ with rational singularities in some open subvariety $U$ has a rationalification; that is, a proper, birational morphism $f: Y \rightarrow X$ such that $Y$ has rational singularities, and…

In this paper, we introduce a notion of adjoint ideal sheaves along closed subvarieties of higher codimension and study its local properties using characteristic $p$ methods. When $X$ is a normal Gorenstein closed subvariety of a smooth…

We prove that for $n \leq 4$ and $p > 5$, quasi--Gorenstein $F$--pure and $\mathbb{Q}_p$--rational $n$--fold singularities are canonical. This is analogous to the usual fact that rational Gorenstein singularities are canonical. The proof is…

For a scheme $X$ defined over the length $2$ $p$-typical Witt vectors $W_2(k)$ of a characteristic $p$ field, we introduce total $p$-differentials which interpolate between Frobenius-twisted differentials and Buium's $p$-differentials. They…

We show for an affine variety $X$, the derived category of quasi-coherent $D$-modules is equivalent to the category of DG modules over an explicit DG algebra, whose zeroth cohomology is the ring of Grothendieck differential operators…

Let $G$ be a finite group, $X$ be a smooth complex projective variety with a faithful $G$-action, and $Y$ be a resolution of singularities of $X/G$. Larsen and Lunts asked whether $[X/G]-[Y]$ is divisible by $[\mathbb{A}^1]$ in the…

We introduce the notion of categorical absorption of singularities: an operation that removes from the derived category of a singular variety a small admissible subcategory responsible for singularity and leaves a smooth and proper…

Let $X/\mathbb{F}_{q}$ be a smooth, geometrically connected, quasiprojective variety. Let $\mathcal{E}$ be a semisimple overconvergent $F$-isocrystal on $X$. Suppose that irreducible summands $\mathcal{E}_i$ of $\mathcal E$ have rank 2,…

We characterize adjoint ideal sheaves via ultraproducts and, utilizing this characterization, study their behavior under pure morphisms. In particular, given a pure morphism $f:Y \to X$ between normal quasi-projective complex varieties, a…