Related papers: On a Consequence of the Order Ideal Conjecture
In this paper, we define an invariant, which we believe should be the substitute for total K-theory in the case when there is one distinguished ideal. Moreover, some diagrams relating the new groups to the ordinary K-groups with…
This paper is concerned with the algebraic K-theory of locally convex algebras stabilized by operator ideals, and its comparison with topological K-theory. We show that the obstruction for the comparison map between algebraic and…
In this paper, new algebraic and topological results on purely-prime ideals of a commutative ring (pure spectrum) are obtained. Especially, Grothendieck type theorem is obtained which states that there is a canonical correspondence between…
Let $d_1,...,d_r$ be positive integers and let $I = (F_1,...,F_r)$ be an ideal generated by general forms of degrees $d_1,...,d_r$, respectively, in a polynomial ring $R$ with $n$ variables. When all the degrees are the same we give a…
We prove a mixed-characteristic analogue of Kunz's theorem in terms of perfectoid towers: a Noetherian local ring of residue characteristic $p$ is regular if and only if it admits a flat map to a Noetherian ring that extends to a perfectoid…
We prove cancellation theorems for special ideals in Gorenstein local rings. These theorems take the form that if KI is contained in JI, then K is contained in J.
Let R be an o-minimal field with a proper convex subring V. We axiomatize the class of all structures (R,V) such that k_ind, the corresponding residue field with structure induced from R via the residue map, is o-minimal. More precisely, in…
In this article we first compare the set of elements in the socle of an ideal of a polynomial algebra $K[x_1,\ldots,x_d]$ over a field $K$ that are not in the ideal itself and Macaulay's inverse systems of such polynomial algebras in a…
We study the regularity and the algebraic properties of certain lattice ideals. We establish a map I --> I\~ between the family of graded lattice ideals in an N-graded polynomial ring over a field K and the family of graded lattice ideals…
In this paper, we prove that if $I\subset S:=K[x_1,...,x_n]$ is a monomial ideal then $I$ and $S/I$ satisfy the Stanley conjecture when $I$ has a small number of generators, with respect to $\depth(S/I)$ and $\max\{|P|:\;P\in\Ass(S/I)\}$.…
The class of AD algebras of real rank zero is classified by an exact sequence of K-groups with coefficients, equipped with certain order structures. Such a sequence is always split, and one may ask why, then, the middle group is relevant…
Let $R$ be a commutative Noetherian ring of dimension $d$. First, we define the "geometric subring" $A$ of a polynomial ring $R[T]$ of dimension $d+1$ (the definition of geometric subring is more general, see (1.2)). Then we prove that…
A theorem of O. Forster says that if $R$ is a noetherian ring of Krull dimension $d$, then any projective $R$-module of rank $n$ can be generated by $d+n$ elements. S. Chase and R. Swan subsequently showed that this bound is sharp: there…
In this note, we derive a uniqueness theorem for minimal graphs of general codimension under certain restrictions closed related to the convexity (not strict convexity) of the area functional with respect to singular values, improving the…
Let k be a perfect field of characteristic p>0, let A_d be the coordinate ring of the coordinate axes in affine d-space over k, and let I_d be the ideal defining the origin. We evaluate the relative K-groups K_q(A_d,I_d) in terms of…
For a graded domain $R=k[X_0,...,X_m]/J$ over an arbitrary domain $k$, it is shown that the ideal generated by elements of degree $\geq mA$, where $A$ is the least common multiple of the weights of the $X_i$, is a normal ideal.
In this note we prove that in a metric measure space $(X, d, m)$ verifying the measure contraction property with parameters $K \in \mathbb{R}$ and $1< N< \infty$, any optimal transference plan between two marginal measures is induced by an…
Given a graded ideal $I$ in a polynomial ring over a field $K$ it is well known, that the number of distinct generic initial ideals of $I$ is finite. While it is known that for a given $d\in\N$ there is a global upper bound for the number…
We introduce a notion of approximate ideal structure for a $C^*$-algebra, and use it as a tool to study $K$-theory groups. The notion is motivated by the classical Mayer-Vietoris sequence, by the theory of nuclear dimension as introduced by…
A clutter is \emph{$k$-wise intersecting} if every $k$ members have a common element, yet no element belongs to all members. We conjecture that, for some integer $k\geq 4$, every $k$-wise intersecting clutter is non-ideal. As evidence for…