Related papers: BCM-thresholds of hypersurfaces

Let $(A,\mathfrak{m})$ be a Gorenstein local ring and let $CMS(A)$ be its stable category of maximal CM $A$-modules. Suppose $CMS(A) \cong CMS(B)$ as triangulated categories. Then we show (1) If $A$ is a complete intersection of codimension…

This article describes the \emph{Macaulay2} package \emph{FrobeniusThresholds}, designed to estimate and calculate $F$-pure thresholds, more general $F$-thresholds, and related numerical invariants arising in the study of singularities in…

Let Pi: M -> B be an onto maximal rank map or a Riemannian submersion between Riemannian manifolds M and B. Initially, we prove necessary and sufficient conditions for any fiber F to be roughly isometric to M. Then, we prove necessary and…

We present a comprehensive formalization in the Lean4 theorem prover of the Auslander--Buchsbaum--Serre criterion, which characterizes regular local rings as those Noetherian local rings with finite global dimension. Rather than following…

In this paper, we prove that every binomial ideal in a polynomial ring over an algebraically closed field of characteristic zero admits a canonical primary decomposition into binomial ideals. Moreover, we prove that this special…

We investigate Rees algebras and special fiber rings obtained by blowing up specialized Ferrers ideals. This class of monomial ideals includes strongly stable monomial ideals generated in degree two and edge ideals of prominent classes of…

We prove a version of weakly functorial big Cohen-Macaulay algebras that suffices to establish Hochster-Huneke's vanishing conjecture for maps of Tor in mixed characteristic. As a corollary, we prove an analog of Boutot's theorem that…

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 metric probability space $M$ admits thresholds if the random geometric graph on $M$ has a threshold for every monotone graph property. We connect the existence of thresholds to the uniform expansion of $M$ and prove that all standard…

We introduce binomial edge ideals attached to a simple graph $G$ and study their algebraic properties. We characterize those graphs for which the quadratic generators form a Gr\"obner basis in a lexicographic order induced by a vertex…

In this paper we give an upper bound, in characteristic 0, for the cohomological dimension of a graded ideal in a polynomial ring such that the quotient has depth at least 3. In positive characteristic the same bound holds true by a…

Let $(A,\mathfrak{m})$ be an excellent equi-charateristic Gorenstein isolated singularity of dimension $d \geq 2$. Assume the residue field of $A$ is perfect. Let $I$ be any $\mathfrak{m}$-primary ideal. Let $G_I(A) = \bigoplus_{n \geq…

We introduce higher-dimensional module factorizations associated to a regular sequence. They include higher-dimensional matrix factorizations, which are commutative cubes consisting of free modules with edges being classical matrix…

For given Boolean algebras $\mathbb{A}$ and $\mathbb{B}$ we endow the space $\mathcal{H}(\mathbb{A},\mathbb{B})$ of all Boolean homomorphisms from $\mathbb{A}$ to $\mathbb{B}$ with various topologies and study convergence properties of…

Let $(A,\mathfrak{m})$ be a hypersurface ring with dimension $d$, and $M$ a MCM $A-$module with red$(M)\leq 2$ and $\mu(M)=2$ or $3$ then we have proved that depth $G(M)\geq d-\mu(M)+1$. If $e(A)=3$ and $\mu(M)=4$ then in this case we have…

We use geometric arguments to prove explicit bounds on the mean oscillation for two important rearrangements on $\mathbb{R}^n$. For the decreasing rearrangement $f^*$ of a rearrangeable function $f$ of bounded mean oscillation (BMO) on…

Let $X$ be a normal arithmetically Gorenstein scheme in ${\mathbb P}^n$. We give a criterion for all codimension two ACM subschemes of $X$ to be in the same Gorenstein biliaison class on $X$, in terms of the category of ACM sheaves on $X$.…

We define a new combinatorial object, which we call a labeled hypergraph, uniquely associated to any square-free monomial ideal. We prove several upper bounds on the regularity of a square-free monomial ideal in terms of simple…

Let $(R, \mathfrak{m})$ be a regular local ring of characteristic $p > 0$. Among all proper ideals $\mathfrak{a}\subseteq R$ with a fixed order of vanishing $\text{ord}_{\mathfrak{m}}(\mathfrak{a})$, we classify the ideals for which the…

This work is concerned with phrasing the concepts of fault-tolerant quantum computation within the framework of disordered systems, Bernoulli site percolation in particular. We show how the so-called "threshold theorems" on the possibility…