Related papers: On a Consequence of the Order Ideal Conjecture

Let $S$ be a commutative ring with identity and $R$ a unitary subring of $S$. An ideal $I$ of $S$ is called an $R$-conductor ideal of $S$ if $I=\{x\in S\mid xS\subseteq V\}$ for some intermediate ring $V$ of $R$ and $S$. In this note we…

We study the ideal of the algebraic relations among 3-point functions from a combinatorial and topological perspective. We place this problem in the broader setting of incidence toric ideals associated with incidence matrices of t-subsets…

For any ideal $I$ of finite projective dimension in a commutative noetherian local ring $R$, we prove that if the conormal module $I/I^2$ has finite projective dimension over $R/I$, then $I$ must be generated by a regular sequence. This…

Given a 0-dimensional affine K-algebra R=K[x_1,...,x_n]/I, where I is an ideal in a polynomial ring K[x_1,...,x_n] over a field K, or, equivalently, given a 0-dimensional affine scheme, we construct effective algorithms for checking whether…

Let $E$ denote a general complex binary form of order $d$ (seen as a point in $\P^d$), and let $\Omega_E \subseteq \P^d$ denote the closure of its $SL_2$-orbit. In this note, we calculate the equivariant minimal generators of its defining…

Let k be a regular F_p-algebra, let A = k[x,y]/(x^b - y^a) be the coordinate ring of a planar cuspical curve, and let I = (x,y) be the ideal that defines the cusp point. We give a formula for the relative K-groups K_q(A,I) in terms of the…

Consider a non-trivial fiber product $R=S\times_kT$ of local rings $S$, $T$ with common residue field $k$. Given two finitely generate $R$-modules $M$ and $N$, we show that if $\operatorname{Tor}^R_i(M,N)=0=\operatorname{Tor}^R_{i+1}(M,N)$…

Let $I = ( f_1, \dots, f_n )$ be a homogeneous ideal in the polynomial ring $K[x_1, \dots,x_n]$ over a field $K$ generated by generic polynomials. Using an incremental approach based on a method by Gao, Guan and Volny, and properties of the…

Let $I_{G} \subset K[x_{1},...,x_{m}]$ be the toric ideal associated to a finite graph $G$. In this paper we study the binomial arithmetical rank and the $G$-homogeneous arithmetical rank of $I_G$ in 2 cases: $G$ is bipartite, $I_G$ is…

In this article, we first generalize Kaplansky's zero-divisor conjecture of group-rings $K[G]$ (with $K$ a field) to the more general setting of $G$-graded rings $R=\bigoplus\limits_{n\in G}R_{n}$ with $G$ a torsion-free group. Then we…

Let C be an irreducible projective curve of degree d in Pn(K), where K is an algebraically closed field, and let I be the associated homogeneous prime ideal. We wish to compute generators for I, assuming we are given sufficiently many…

Let $K$ be a number field and $S$ a fixed finite set of places of $K$ containing all the archimedean ones. Let $R_S$ be the ring of $S$-integers of $K$. In the present paper we study the cycles for rational maps of $\mathbb{P}_1(K)$ of…

We give a conjecture for the expected value of the optimal k-assignment in an m x n-matrix, where the entries are all exp(1)-distributed random variables or zeros. We prove this conjecture in the case there is a zero-cost $k-1$-assignment.…

We prove that if R is a principal ideal ring and A\in\M_n(R) is a matrix with trace zero, then A is a commutator, that is, A=XY-YX for some X,Y\in\M_n(R). This generalises the corresponding result over fields due to Albert and Muckenhoupt,…

Let X be a toric variety over a field K determined by a triangle. Let Y be the blow-up at (1,1) in X. In this paper we give some criteria for finite generation of the Cox ring of Y in the case where Y has a curve C such that C^2 \le 0 and…

Let G be a reductive affine group scheme defined over a semilocal ring k. Assume that either G is semisimple or k is normal and noetherian. We show that G has a finite k-subgroup S such that the natural map H^1(R, S) --> H^1(R, G) is…

Let $E$ be a row-finite quiver and let $E_0$ be the set of vertices of $E$; consider the adjacency matrix $N'_E=(n_{ij})\in\Z^{(E_0\times E_0)}$, $n_{ij}=#\{$ arrows from $i$ to $j\}$. Write $N^t_E$ and 1 for the matrices $\in…

Let K be a compact Lie group and W a finite-dimensional real K-module. Let X be a K-stable real algebraic subset of W. Let I(X) denote the ideal of X in R[W] and let I_K(X) be the ideal generated by I(X)^K. We find necessary conditions and…

Let R = D[x;\sigma;\delta] be an Ore extension over a commutative Dedekind domain D, where \sigma is an automorphism on D. In the case \delta = 0 Marubayashi et. al. already investigated the class of minimal prime ideals in term of their…

We consider vanishing of Ext and Tor, especially over Artinian rings. In particular, we prove the Auslander-Reiten conjecture for all commutative local rings in which the cube of the maximal ideal is zero.