相关论文: Tight closure in non-equidimensional rings

The aim of this paper is to prove that every non-empty set of valuations centered at a two-dimensional regular domain has an infimum. We also generalize some results related to a non-metric tree.

A quasi-complete intersection (q.c.i.) ideal of a local ring is an ideal with "free exterior Koszul homology"; the definition can also be understood in terms of vanishing of Andr\'e-Quillen homology functors. Principal q.c.i. ideals are…

A definition of quasi-flat left module is proposed and it is shown that any left module which is either quasi-projective or flat is quasi-flat. A characterization of local commutative rings for which each ideal is quasi-flat (resp.…

Using a result of M. Hochster and C. Huneke on $F$-rational rings a criterion for complete intersection rings of characteristic $p>0$ is presented. As an application, we give a completely different proof for an algebraic result of G.…

It is proved that a noetherian commutative local ring A containing a field is regular if there is a complex M of free A-modules with the following properties: M_i=0 for i not in [0,dim A]; the homology of M has finite length; H_0(M)…

This paper mainly focuses on commutative local domains of dimension one. We then obtain a criterion for a ring to have a finite number of trace ideals in terms of integrally closed ideals. We also explore properties of such rings related to…

We prove that the absolute integral closure $R^{+}$ of an equicharacteristic zero noetherian complete local domain $R$ is not coherent, provided $\dim(R)\geq 2$. As a corollary, we give an elementary proof of the mixed characteristic…

Let $(R,\mathfrak{m},K)$ be an $F$-finite Noetherian local ring which has a canonical ideal $I \subsetneq R$. We prove that if $R$ is $S_2$ and $H^{d-1}_{\mathfrak{m}}(R/I)$ is a simple $R\{F\}$-module, then $R$ is a strongly $F$-regular…

Rice's theorem shows that nontrivial extensional properties of partial recursive functions are undecidable. For finite weighted Boolean optimization/CSP-style slices, a Rice-style structural analogue holds for tractability classification:…

Let (R,m) be a local ring that contains a field. We show that, when R has equal characteristic p>0 and when H_m^i(R) has finite length for all i<dimR, then R is F-injective if and only if every ideal generated by a system of parameters is…

Blickle, Musta\c{t}\u{a} and Smith proposed two conjectures on the limits of $F$-pure thresholds. One conjecture asks whether or not the limit of a sequence of $F$-pure thresholds of principal ideals on regular local rings of fixed…

Let $L$ be a restricted Lie algebra over a field of positive characteristic. We prove that the restricted enveloping algebra of $L$ is a principal ideal ring if and only if $L$ is an extension of a finite-dimensional torus by a cyclic…

Split rank of a rational polyhedron is finite. The well known proof of this is based on the fact that split closure is stronger than the Chv\'{a}tal closure, and the Chv\'{a}tal rank of a rational polyhedron is finite due to the result of…

Nonlocal crystals are systems with translational symmetry but arbitrary range couplings or interactions between degrees of freedom. We argue that the notion of topology in such systems does not collapse to that in zero dimensions, as one…

We improve the arithmetic duality formalism of the rational etale site. This improvement allows us to avoid some exotic approximation arguments on local fields with ind-rational base, thus simplifying the proofs of the previously…

We prove that, for any $n\geq 0$, there exists an uncountable, $n$-dimensional, excellent, regular local ring with countable spectrum.

We study the entanglement structure, i.e., the structure of quantum composite system from operational aspects. The structure is not uniquely determined in General Probabilistic Theories (GPTs) even if we impose reasonable postulate about…

An example is constructed of a local ring and a module of finite type and finite projective dimension over that ring such that the module is not rigid. This shows that the rigidity conjecture is false.

In this paper, we mainly study subtransversality and two types of strong CHIP (given via Fr\'echet and limiting normal cones) for a collection of finitely many closed sets. We first prove characterizations of Asplund spaces in terms of…

We find necessary and sufficient conditions for a complete local ring to be the completion of a noncatenary local (Noetherian) domain, as well as necessary and sufficient conditions for it to be the completion of a noncatenary local…