Related papers: Finitistic test ideals on numerically $\mathbb{Q}$…
Let $(R,\frak m)$ be a Noetherian local ring of prime characteristic $p>0$, and $t$ an integer such that $H_{\frak m}^j(R)/0^F_{H^j_{\frak m}(R)}$ has finite length for all $j<t$. The aim of this paper is to show that there exists an…
Let $R$ be a commutative noetherian ring admitting a dualizing complex and let $\mathfrak p$ be a prime ideal of $R$. In this paper we investigate when $G(R/\frak p)$ is an $R_{\frak p}$-module. We give some necessary and sufficient…
Let $R$ be a commutative Noetherian ring and let $n$ be a non-negative integer. In this article, by using the theory of Gorenstein dimensions, it is shown that whenever $R$ is a homomorphic image of a Noetherian Gorenstein ring, then the…
The notions of $\mathbb Q$-Gorenstein scheme and of $\mathbb Q$-Gorenstein morphism are introduced for locally Noetherian schemes by dualizing complexes and (relative) canonical sheaves. These cover all the previously known notions of…
We prove that for any discrete group $G$ with finite $\mathfrak{F}$-cohomological dimension, the Gorenstein cohomological dimension equals the $\mathfrak{F}$-cohomological dimension. This is achieved by constructing a long exact sequence of…
Given a family $F$ of subsets of a group $G$ we describe the structure of its thin-completion $\tau^*(F)$, which is the smallest thin-complete family that contains $I$. A family $F$ of subsets of $G$ is called thin-complete if each $F$-thin…
Let $X$ be a generic determinantal affine variety over a perfect field of characteristic $p \geq 0$ and $P \subset X$ be a standard prime divisor generator of $\mathrm{Cl}(X) \cong \mathbb{Z}$. We prove that the pair $(X,P)$ is purely…
We prove the following conjecture of Furstenberg (1969): if $A,B\subset [0,1]$ are closed and invariant under $\times p \mod 1$ and $\times q \mod 1$, respectively, and if $\log p/\log q\notin \mathbb{Q}$, then for all real numbers $u$ and…
We consider the following conjecture: if X is a smooth projective variety over a field of characteristic zero, then there is a dense set of reductions X_s to positive characteristic such that the action of the Frobenius morphism on the top…
We establish a series of results showing that the Jacobian ideal is contained in the test ideal. We first prove a new result in characteristic $p$ for complete rings over a field $K$. Then we prove some results showing that Jacobian ideals…
We give a characterization of Gorenstein toric Fano varieties of dimension $n$ with index $n$ among toric varieties. As an application, we give a strong version of Fujita's freeness conjecture and also give a simple proof of Fujita's very…
In the case of Siegel modular forms of degree $n$, we prove that, for almost all prime ideals $\frak{p}$ in any ring of algebraic integers, mod $\frak{p}^m$ cusp forms are congruent to true cusp forms of the same weight. As an application…
We consider the following conjecture: if X is a smooth projective variety over a field of characteristic zero, then there is a dense set of reductions X_s of X to positive characteristic such that the action of the Frobenius morphism on the…
Wan conjectures that if $X$ and $Y$ form a strong mirror pair of Calabi-Yau varieties over a finite field $F_q$ with $q$ elements, then X and Y have the same number of $F_{q^k}$-rational points modulo $q^k$. We prove this conjecture under…
Let R be a Cohen-Macaulay local ring possessing a canonical module. In this paper we consider when the maximal ideal of R is self-dual, i.e. it is isomorphic to its canonical dual as an R-module. local rings satisfying this condition are…
In this paper, we first introduce $\mathcal {W}_F$-Gorenstein modules to establish the following Foxby equivalence: $\xymatrix@C=80pt{\mathcal {G}(\mathcal {F})\cap \mathcal {A}_C(R) \ar@<0.5ex>[r]^{C\otimes_R-} & \mathcal {G}(\mathcal…
Given a two-sided noetherian ring $A$ with a dualizing complex, we show that the big finitistic dimension of $A$ is finite if and only if every bounded below Gorenstein-projective-acyclic cochain complex of Gorenstein-projective $A$-modules…
Let $k$ be a field. For each pair of positive integers $(n,N)$, we resolve $Q=R/(x^N,y^N,z^N)$ as a module over the ring $R=k[x,y,z]/(x^n+y^n+z^n)$. Write $N$ in the form $N=a n+r$ for integers $a$ and $r$, with $r$ between $0$ and $n-1$.…
Let $H$ be a diagonalizable group over an algebraically closed field $k$ of positive characteristic, and $X$ a normal $k$-variety with an $H$-action. Under a mild hypothesis, e.g. $H$ a torus or $X$ quasiprojective, we construct a certain…
Let $(R, \frak m)$ be a local ring of prime characteristic $p$ of dimension $d$ with the embedding dimension $v$. Suppose the Frobenius test exponent for parameter ideals $Fte(R)$ of $R$ is finite, and let $Q = p^{Fte(R)}$. It is shown that…