In his work on modularity theorems, Wiles proved a numerical criterion for a map of rings $R\to T$ to be an isomorphism of complete intersections. He used this to show that certain deformation rings and Hecke algebras associated to a mod $p$ Galois representation at non-minimal level are isomorphic and complete intersections, provided the same is true at minimal level. In this paper we study Hecke algebras acting on cohomology of Shimura curves arising from maximal orders in indefinite quaternion algebras over the rationals localized at a semistable irreducible mod $p$ Galois representation $\bar {\rho }$. If $\bar {\rho }$ is scalar at some primes dividing the discriminant of the quaternion algebra, then the Hecke algebra is still isomorphic to the deformation ring, but is not a complete intersection, or even Gorenstein, so the Wiles numerical criterion cannot apply. We consider a weight-2 newform $f$ which contributes to the cohomology of the Shimura curve and gives rise to an augmentation $\lambda _f$ of the Hecke algebra. We quantify the failure of the Wiles numerical criterion at $\lambda _f$ by computing the associated Wiles defect purely in terms of the local behavior at primes dividing the discriminant of the global Galois representation $\rho _f$ which $f$ gives rise to by the Eichler–Shimura construction. One of the main tools used in the proof is Taylor–Wiles–Kisin patching.

In this paper we study the local cohomology modules of Du Bois singularities. Let $(R,\mathfrak{m})$ be a local ring; we prove that if $R_{\text{red}}$ is Du Bois, then $H_{\mathfrak{m}}^{i}(R)\rightarrow H_{\mathfrak{m}}^{i}(R_{\text{red}})$ is surjective for every $i$. We find many applications of this result. For example, we answer a question of Kovács and Schwede [Inversion of adjunction for rational and Du Bois pairs, Algebra Number Theory 10 (2016), 969–1000; MR 3531359] on the Cohen–Macaulay property of Du Bois singularities. We obtain results on the injectivity of $\operatorname{Ext}$ that provide substantial partial answers to questions in Eisenbud et al. [Cohomology on toric varieties and local cohomology with monomial supports, J. Symbolic Comput. 29 (2000), 583–600] in characteristic $0$. These results can also be viewed as generalizations of the Kodaira vanishing theorem for Cohen–Macaulay Du Bois varieties. We prove results on the set-theoretic Cohen–Macaulayness of the defining ideal of Du Bois singularities, which are characteristic-$0$ analogs and generalizations of results of Singh–Walther and answer some of their questions in Singh and Walther [On the arithmetic rank of certain Segre products, in Commutative algebra and algebraic geometry, Contemporary Mathematics, vol. 390 (American Mathematical Society, Providence, RI, 2005), 147–155]. We extend results on the relation between Koszul cohomology and local cohomology for $F$-injective and Du Bois singularities first shown in Hochster and Roberts [The purity of the Frobenius and local cohomology, Adv. Math. 21 (1976), 117–172; MR 0417172 (54 #5230)]. We also prove that singularities of dense $F$-injective type deform.

In this paper we consider the problem of explicitly finding canonical ideals of one-dimensional Cohen–Macaulay local rings. We show that Gorenstein ideals contained in a high power of the maximal ideal are canonical ideals. In the codimension 2 case, from a Hilbert–Burch resolution, we show how to construct canonical ideals of curve singularities. Finally, we translate the problem of the analytic classification of curve singularities to the classification of local Artin Gorenstein rings with suitable length.

For a characteristic-$p\gt 0$ variety $X$ with controlled $F$-singularities, we state conditions which imply that a divisorial sheaf is Cohen–Macaulay or at least has depth $\geq $3 at certain points. This mirrors results of Kollár for varieties in characteristic 0. As an application, we show that relative canonical sheaves are compatible with arbitrary base change for certain families with sharply $F$-pure fibers.

Let A be a local ring, and let I1,…,Ir ⊂ A be ideals of positive height. In this article we compare the Cohen–Macaulay property of the multi–Rees algebra RA(I1,…,Ir) to that of the usual Rees algebra RA(I1 ··· Ir) of the product I1 ··· Ir. In particular, when the analytic spread of I1 ··· Ir is small, this leads to necessary and sufficient conditions for the Cohen–Macaulayness of RA(I1,…,Ir). We apply our results to the theory of joint reductions and mixed multiplicities.