Related papers: F-adjunction

In 2009, de Fernex and Hacon proposed a generalization of the notion of the singularities to normal varieties that are not Q-Gorenstein. Based on their work, we generalize Kleiman's transversality theorem to subvarieties with log terminal…

Let $X$ and $Y$ be schemes of finite type over $\mathrm{Spec}\ \mathbb{Z}$ and let $\alpha: Y \to X$ be a finite map. We show the following holds for all sufficiently large primes $p$: If $\phi$ and $\psi$ are any splittings on $X \times…

We give sufficient conditions for a Frobenius category to be equivalent to the category of Gorenstein projective modules over an Iwanaga-Gorenstein ring. We then apply this result to the Frobenius category of special Cohen-Macaulay modules…

Let $U:\mathcal{C}\rightarrow\mathcal{D}$ be a strong monoidal functor between abelian monoidal categories admitting a right adjoint $R$, such that $R$ is exact, faithful and the adjunction $U\dashv R$ is coHopf. Building on the work of…

In "Frobenius Categories versus Brauer Blocks", Progress in Math. 274, we have introduced the Frobenius categories F over a finite p-group P, and we have associated to F - suitably endowed with some central k*-extensions - a "Grothendieck…

Following the work of Totaro and Pereira, we study sufficient conditions under which collections of pairwise-disjoint divisors on a variety over an algebraically closed field are contained in the fibers of a morphism to a curve. We prove…

We present new algorithms for computing adjoint ideals of curves and thus, in the planar case, adjoint curves. With regard to terminology, we follow Gorenstein who states the adjoint condition in terms of conductors. Our main algorithm…

Let $X$ be a Gorenstein minimal projective $n$-fold with at worst locally factorial terminal singularities, and suppose that the canonical map of $X$ is generically finite onto its image. When $n<4$, the canonical degree is universally…

Let $G$ be a group. We give a categorical definition of the $G$-equivariant $\alpha$-induction associated with a given $G$-equivariant Frobenius algebra in a $G$-braided multitensor category, which generalizes the $\alpha$-induction for…

\input amssym.def \input amssym.tex Let $G$ be a connected algebraic reductive group over an algebraic closure of a prime field ${\Bbb F}_p$, defined over ${\Bbb F}_q$ thanks to a Frobenius $F$. Let $\ell$ be a prime different from $p$. Let…

We exhibit basic algebro-geometric results on the formal model of semi-infinite flag varieties and its Schubert varieties over an algebraically closed field $\mathbb K$ of characteristic $\neq 2$ from scratch. We show that the formal model…

We study singularities obtained by the contraction of the maximal divisor in compact (non kaehlerian) surfaces which contain global spherical shells. These singularities are of genus 1 or 2, may be Q-Gorenstein, numerically Gorenstein or…

The setting is the representation theory of a simply connected, semisimple algebraic group over a field of positive characteristic. There is a natural transformation from the wall-crossing functor to the identity functor. The kernel of this…

We develop a new cohomology theory in characteristic p>0, the so called F-gauge cohomology, a cohomology with values in the category of so-called F-gauges, which refines the cristalline cohomology. In this first paper we mainly discuss the…

We show that the fundamental class in K-homology of a Frobenius split scheme can be computed as a certain alternating sum over irreducible varieties, with the coefficients computed using M\"obius inversion on a certain poset. If G/P is a…

Let $X$ be a smooth scheme over a finite field of characteristic $p$. In answer to a conjecture of Deligne, we establish that for any prime $\ell \neq p$, an $\ell$-adic Weil sheaf on $X$ which is algebraic (or irreducible with finite…

In this paper, we show that for any rational surface singularity $A$, the canonical trace ideal $\mathrm{Tr}_A(K_A)$ is integrally closed ideal which is represented by the minimal anti-nef cycle $F$ on the minimal resolution of…

A $\mathbf{Q}$-Cartier divisor $D$ on a projective variety $M$ is {\it almost nup}, if $(D , C) > 0$ for every very general curve $C$ on $M$. An algebraic variety $X$ is of {\it almost general type}, if there exists a projective variety $M$…

We investigate relative cohomology functors on subcategories of abelian categories via Auslander-Buchweitz approximations and the resulting strict resolutions. We verify that certain comparison maps between these functors are isomorphisms…

In this paper, we introduce the notion of quasi-$F$-splitting for rings in mixed characteristic. By comparing quasi-$F$-splitting with perfectoid purity, we obtain a new inversion of adjunction-type result. Furthermore, we study the…