Related papers: When does the F-signature exist?
We prove that every globally $F$-regular variety is log Fano. In other words, if a prime characteristic variety $X$ is globally $F$-regular, then it admits an effective $\bQ$-divisor $\Delta$ such that $-K_X - \Delta$ is ample and $(X,…
In this paper, we prove that the generic link of a generic determinantal ring defined by maximal minors is strongly $F$-regular. In the process, we strengthen a result of Chardin and Ulrich in the graded setting. They showed that the…
We study two important numerical invariants, Hilbert--Kunz multiplicity and $F$-signature, on the spectrum of a Noetherian $\mathbf{F}_p$-algebra $R$ that is not necessarily $F$-finite. When $R$ is excellent, we show that the limits…
Let $\mathcal F=(F, +. \cdot, <, 0, 1, \dots)$ be a definably complete locally o-minimal expansion of an ordered field. We demonstrate the existence of definable quotients of definable sets by definable equivalence relations when several…
In this paper we study the properties of the finite topology on the dual of a module over an arbitrary ring. We aim to give conditions when certain properties of the field case are can be still found here. Investigating the correspondence…
In the present article, we investigate the following deformation problem. Let $(R,\mathfrak m)$ be a local (graded local) Noetherian ring with a (homogeneous) regular element $y \in \mathfrak m$ and assume that $R/yR$ is quasi-Gorenstein.…
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…
In this paper, we prove "prismatic Kunz's theorem" which states that a complete Noetherian local ring $R$ of residue characteristic $p$ is a regular local ring if and only if the Frobenius lift on a prismatic complex of (a derived…
Let F = F_p for any fixed prime p >= 2. An affine-invariant property is a property of functions on F^n that is closed under taking affine transformations of the domain. We prove that all affine-invariant property having local…
Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$, and let $M$ be a finitely generated $R$-module. For a non-negative integer $t$, we prove that $H_{\fa}^t(M)$ is $\fa$-cofinite whenever $H_{\fa}^t(M)$ is Artinian and…
In the spirit of Fakhruddin (arXiv:math/0212208v1) and Szpiro-Bhatnagar (arXiv:1010.2715v1), we show that for an equicharacteristic complete local ring A, with a given embedding of Spec(A) in the prime spectrum Spec(R) of some complete…
In this article, we discuss the semicontinuity problem of certain properties on fibers for a morphism of schemes. One aspect of this problem is local. Namely, we consider properties of schemes at the level of local rings, in which the main…
Hironaka's characteristic polyhedron is an important combinatorial object reflecting the local nature of a singularity. We prove that it can be determined without passing to the completion if the local ring is a G-ring and if additionally…
This paper deals with well-known notion of $PF$-rings, that is, rings in which principal ideals are flat. We give a new characterization of $PF$-rings. Also, we provide a necessary and sufficient condition for $R\bowtie I$ (resp., $R/I$…
For a Noetherian regular ring $S$ and for a fixed ideal $J\subset S$, assume that the associated primes of local cohomology module $H^i_J(S)$ does not contain $p$ for some $i\geq 0$, and we call this as a property…
A Noetherian reduced ring $A$ is called a birational derived splinter if for all proper birational maps $X\to\operatorname{Spec}(A)$, the canonical map $A\to Rf_*\mathcal{O}_X$ splits. In equal characteristic zero this property…
Let $(R,\mathfrak{m})$ be a Noetherian local ring of prime characteristic $p$ and $Q$ be an $\mathfrak{m}$-primary parameter ideal. We give criteria for F-rationality of $R$ using the tight Hilbert function $H^*_Q(n)=\ell(R/(Q^n)^*$ and the…
Let $ n, q $ be positive integers. We show that if $ G $ is a finitely generated residually finite group satisfying the identity $ [x,_ny^q]\equiv 1, $ then there exists a function $ f(n) $ such that $ G $ has a nilpotent subgroup of finite…
Let A be a commutative ring and E a non-zero A-module. Necessary and sufficient conditions are given for the trivial ring extension R of A by E to be either arithmetical or Gaussian. The possibility for R to be B{\'e}zout is also studied,…
We give a generalization of the duality of a zero-dimensional complete intersection to the case of one-dimensional almost complete intersections, which results in a {\em Gorenstein module} $M=I/J$. In the real case the resulting pairing has…