Related papers: On $F$-pure inversion of adjunction
Using the Frobenius map, we introduce a new invariant for a pair $(R,\a)$ of a ring $R$ and an ideal $\a \subset R$, which we call the F-pure threshold $\mathrm{c}(\a)$ of $\a$, and study its properties. We see that the F-pure threshold…
Different finite difference replacements for the derivative are analyzed in the context of the Heisenberg commutation relation. The type of the finite difference operator is shown to be tied to whether one can naturally consider $P$ and $X$…
Two adjoint functors can be seen as generalisations of the two functions within a Galois connection. If instead the adjoints are not generalised from functions, but from relations, then analogously the object of study becomes a more general…
For an adjoint pair $(F, G)$ of functors, we prove that $G$ is a separable functor if and only if the defined monad is separable and the associated comparison functor is an equivalence up to retracts. In this case, under an idempotent…
In this short note, we consider the conjecture that the log canonical divisor (resp. the anti-log canonical divisor) $K_X + \Delta$ (resp. $-(K_X + \Delta)$) on a pair $(X, \Delta)$ consisting of a complex projective manifold $X$ and a…
Let $\Diffeo=\Diffeo(\R)$ denote the group of infinitely-differentiable diffeomorphisms of the real line $\R$, under the operation of composition, and let $\Diffeo^+$ be the subgroup of diffeomorphisms of degree +1, i.e.…
In this article we prove analogs of Kawamata's canonical bundle formula, Kawamata subadjunction and plt/lc inversion of adjunction for generalized pairs on Kaehler varieties. We also show that a conjecture of BDPPin dimension n-1 implies…
In this note we build on our previous work with Takehiko Yasuda to prove a precise version of inversion of adjunction for varieties which are local complete intersections.
This paper summarizes the results at the present moment about singularities with respect to the Mather-Jacobian log discrepancies over algebraically closed field of arbitrary characteristic. The basic point is the Inversion of Adjunction…
Let $R=k[x_1,\dots,x_n]$ be a polynomial ring over a prefect field of positive characteristic. Let $I$ be an unmixed ideal in $R$ and let $J$ be a generic link of $I$ in $S=R[u_{ij}]_{c \times r}$. We describe the parameter test submodule…
Let $p$ be a prime number. We consider diagonal $p$-permutation functors over a (commutative, unital) ring $\mathsf{R}$ in which all prime numbers different from $p$ are invertible. We first determine the finite groups $G$ for which the…
In this article, we investigate F-pure thresholds of polynomials that are homogeneous under some N-grading, and have an isolated singularity at the origin. We characterize these invariants in terms of the base p expansion of the…
Kaplansky's zero divisor conjecture (unit conjecture, respectively) states that for a torsion-free group $G$ and a field $\mathbb{F}$, the group ring $\mathbb{F}[G]$ has no zero divisors (has no unit with support of size greater than $1$).…
We prove a result relating the Jacobian ideal and the generalized test ideal associated to a principal ideal in $R=k[x_1,...,x_n]$ with $[k:k^p]<\infty$ or in $R=k[[x_1,...,x_n]]$ with an arbitrary field $k$ of characteristic $p>0$. As a…
A singularity in characteristic zero is said to be of dense F-pure type if its modulo p reduction is locally F-split for infinitely many p. We prove that if $x \in X$ is an isolated log canonical singularity with $\mu(x \in X) \le 2$ (see…
Hirose, Watanabe and Yoshida conjectured a criterion for a standard graded strongly $F$-regular ring to be Gorenstein in terms of the $F$-pure threshold. We complete the proof of this conjecture. We also prove natural extensions of the…
Inspired by methods in prime characteristic in commutative algebra, we introduce and study combinatorial invariants of seminormal monoids. We relate such numbers with the singularities and homological invariants of the semigroup ring…
As the main theorem, it is proved that a collection of minimal $PI$-flows with a common phase group and satisfying a certain algebraic condition is multiply disjoint if and only if the collection of the associated maximal equicontinuous…
Let $(X,\Delta)$ be a pair. We study how the condition $\kappa(K_X + \Delta)=0$ causes surjectivity or birationality of the Albanese map and the Albanese morphism of $X$ in both characteristic $0$ and characteristic $p > 0$. In particular…
We prove that the $F$-jumping numbers of the test ideal $\tau(X; \Delta, \ba^t)$ are discrete and rational under the assumptions that $X$ is a normal and $F$-finite variety over a field of positive characteristic $p$, $K_X+\Delta$ is…