We prove that, modulo any power of a prime $p$, the absolute integral closure of an excellent noetherian domain is Cohen-Macaulay. A graded analog is also established, yielding variants of Kodaira vanishing "up to finite covers" in mixed characteristic. Our main tools are (log) prismatic cohomology (which yields a Frobenius action in mixed characteristic) and the $p$-adic Riemann-Hilbert functor for constructible étale $\mathbf{F}_p$-sheaves on varieties over a $p$-adic field (which almost controls perfectified prismatic cohomology).
In this paper we give necessary and sufficient conditions for the Cohen-Macaulayness of the tangent cone of a monomial curve in the 4-dimensional affine space. We study particularly the case where $C$ is a Gorenstein non-complete intersection monomial curve.
In this paper we study the finitely generated bigraded modules over a standard bigraded polynomial ring which are relative Cohen-Macaulay or relative unmixed with respect to one of the irrelevant bigraded ideals. A generalization of Reisner's criterion for Cohen-Macaulay simplicial complexes is considered.
We give the Castelnuovo-Mumford regularity of arrangements of (n-2)-planes in P^n whose incidence graph is a sufficiently large complete bipartite graph, and determine when such arrangements are arithmetically Cohen-Macaulay.
Let $C({\bf n})$ be a complete intersection monomial curve in the 4-dimensional affine space. In this paper we study the complete intersection property of the monomial curve $C({\bf n}+w{\bf v})$, where $w>0$ is an integer and ${\bf v} \in \mathbb{N}^{4}$. Also we investigate the Cohen-Macaulayness of the tangent cone of $C({\bf n}+w{\bf v})$.
Given two determinantal rings over a field k. We consider the Rees algebra of the diagonal ideal, the kernel of the multiplication map. The special fiber ring of the diagonal ideal is the homogeneous coordinate ring of the join variety. When the Rees algebra and the Symmetric algebra coincide, we show that the Rees algebra is Cohen-Macaulay.
Let S be a standard N^r-graded algebra over a local ring A, and let M be a finitely generated Z^r-graded S-module. We characterize the Cohen-Macaulayness of M in terms of the vanishing of certain sheaf cohomology modules. As a consequence, we apply our result to study the Cohen-Macaulayness of multi-Rees modules (also called Rees modification). Our work extends previous studies on the Cohen-Macaulayness of multi-Rees algebras.
We show the Cohen-Macaulayness and describe the canonical module of residual intersections $J=\mathfrak{a}\colon_R I$ in a Cohen-Macaulay local ring $R$, under sliding depth type hypotheses. For this purpose, we construct and study, using a recent article of Hassanzadeh and the second named author, a family of complexes that contains important informations on a residual intersection and its canonical module. We also determine several invariants of residual intersections as the graded canonical module, the Hilbert series, the Castelnuovo-Mumford regularity and the type. Finally, whenever $I$ is…
We present criteria for the Cohen-Macaulayness of a monomial ideal in terms of its primary decomposition. These criteria allow us to use tools of graph theory and of linear programming to study the Cohen-Macaulayness of monomial ideals which are intersections of prime ideal powers. We can characterize the Cohen-Macaulayness of the second symbolic power or of all symbolic powers of a Stanley-Reisner ideal in terms of the simplicial complex. These characterizations show that the simplicial complex must be very compact if some symbolic power is Cohen-Macaulay. In particular, all symbolic powers a…
We study the singularities of integral models of Shimura varieties and moduli stacks of shtukas with parahoric level structure. More generally our results apply to the Pappas-Zhu and Levin mixed characteristic parahoric local models, and to their equal characteristic analogues. For any such local model we prove under minimal assumptions that the entire local model is normal with reduced special fiber and, if $p>2$, it is also Cohen-Macaulay. This proves a conjecture of Pappas and Zhu, and shows that the integral models of Shimura varieties constructed by Kisin and Pappas are Cohen-Macaulay as …
Let Z_K be the moment angle complex associated to a simplicial complex K, with the canonical torus T-action. In this paper, we prove that, for any possibly disconnected subgroup G of T, G-equivariant cohomology of Z_K over the integer Z is isomophic to the Tor-module Tor_{H(BR;Z)}(Z[K],Z) as graded modules, where Z_[K] is the Stanley-Reisner ring of K. Based on this, we prove that the surjectivity of the natural map H_T(Z_K;Z) to H_G(Z_K;Z) is equivalent to the vanishing of Tor^{H(BR;Z)}_1(Z[K],Z). Since the integral cohomology of various toric orbifolds can be identified with H_G(Z_K;Z), we s…
Given any diagonal cyclic subgroup $Λ\subset GL(n+1,k)$ of order $d$, let $I_d\subset k[x_0,\ldots, x_n]$ be the ideal generated by all monomials $\{m_{1},\ldots, m_{r}\}$ of degree $d$ which are invariants of $Λ$. $I_d$ is a monomial Togliatti system, provided $r \leq \binom{d+n-1}{n-1}$, and in this case the projective toric variety $X_d$ parameterized by $(m_{1},\ldots, m_{r})$ is called a $GT$-variety with group $Λ$. We prove that all these $GT$-varieties are arithmetically Cohen-Macaulay and we give a combinatorial expression of their Hilbert functions. In the case $n=2$, we compute expli…
Let $S$ be an unramified regular local ring of mixed characteristic two and $R$ the integral closure of $S$ in a biquadratic extension of its quotient field obtained by adjoining roots of sufficiently general square free elements $f,g\in S$. Let $S^2$ denote the subring of $S$ obtained by lifting to $S$ the image of the Frobenius map on $S/2S$. When at least one of $f,g\in S^2$, we characterize the Cohen-Macaulayness of $R$ and show that $R$ admits a birational small Cohen-Macaulay module. It is noted that $R$ is not automatically Cohen-Macaulay in case $f,g\in S^2$ or if $f,g\notin S^2$.
In this article we study the structure of residual intersections via constructing a finite complex which is acyclic under some sliding depth conditions on the cycles of the Koszul complex. This complex provides information on an ideal which coincides with the residual intersection in the case of geometric residual intersection; and is closely related to it in general. A new success obtained through studying such a complex is to prove the Cohen-Macaulayness of residual intersections of a wide class of ideals. For example we show that, in a Cohen-Macaulay local ring, any geometric residual inter…
We give a canonical construction of a balanced big Cohen-Macaulay algebra for a domain of finite type over $\mathbb C$ by taking ultraproducts of absolute integral closures in positive characteristic. This yields a new tight closure characterization of rational singularities in characteristic zero.
The aim of this paper is to extend the main result of C. Huneke and G. Lyubeznik in [Adv. Math. 210 (2007), 498--504] to the class of rings that are images of Cohen-Macaulay local rings. Namely, let $R$ be a local Noetherian domain of positive characteristic that is an image of a Cohen-Macaulay local ring. We prove that all local cohomology of $R$ (below the dimension) maps to zero in a finite extension of the ring. As a direct consequence we obtain that the absolute integral closure of $R$ is a big Cohen-Macaulay algebra. Since every excellent local ring is an image of a Cohen-Macaulay local …
We give short, closure-theoretic proofs for uniform bounds on the growth of symbolic powers of ideals in regular rings. The author recently proved these bounds in mixed characteristic using various versions of perfectoid/big Cohen-Macaulay test ideals, with special cases obtained earlier by Ma and Schwede. In mixed characteristic, we instead use Heitmann's full extended plus (epf) closure, Jiang's weak epf (wepf) closure, and R.G.'s results on closure operations that induce big Cohen-Macaulay algebras. Our strategy also applies to any Dietz closure satisfying R.G.'s algebra axiom and a Brianço…
