相关论文: On Divisor Topology of Commutative Rings
We show that certain determinantal functions of multiple matrices, when summed over the symmetries of the cube, decompose into functions of the original matrices. These are shown to be true in complete generality; that is, no properties of…
Let $R=\bigoplus_{\alpha\in\Gamma}R_{\alpha}$ be a graded integral domain and $\star$ be a semistar operation on $R$. For $a\in R$, denote by $C(a)$ the ideal of $R$ generated by homogeneous components of $a$ and…
We study the deterministic recursion $n_{j+1} = n_j - \tau(n_j)$, where $\tau(n)$ denotes the divisor function, and the associated orbit length $a(x)$. Heuristics based on the average order of $\tau(n)$ suggest that $a(x) \asymp x / \log…
In the Hilbert scheme of curves of degree $d_{r}=\frac{r(r+1)}{2}$ and arithmetic genus $g_{r}=\frac{r(r+1)(2r-5)}{6}+1$ in $\mathbb{P}^{3}$ we prove that there exists a unique component of arithmetically Cohen-Macaulay curves denoted by…
We apply the filtered and graded methods developed in earlier works to find (noncommutative) free group algebras in division rings. If $L$ is a Lie algebra, we denote by $U(L)$ its universal enveloping algebra. P. M. Cohn constructed a…
We study the existence of a Zsigmondy bound for a sequence of divisors associated to points on an elliptic curve over a function field. More precisely, let $k$ be an algebraically closed field, let $\mathcal{C}$ be a nonsingular projective…
We develop dimension theory for a large class of structures called espaliers, consisting of a set $L$ equipped with a partial order $\leq$, an orthogonality relation $\perp$, and an equivalence relation $\sim$, subject to certain axioms.…
We introduce and study a new class of integral domains which we call irreducible divisor pair domains (IDPDs). In particular, we show how IDPDs fit in with other classes of integral domains defined in terms of factorization conditions. For…
An integral domain $D$ is a {\em valuation ideal factorization domain} (VIFD) if each nonzero principal ideal of $D$ can be written as a finite product of valuation ideals. Clearly, $\pi$-domains are VIFDs. We study the ring-theoretic…
A $d$-dimensional box is the cartesian product $R_i\times\cdots\times R_d$ where each $R_i$ is a closed interval on the real line. The boxicity of a graph, denoted as $box(G)$, is the minimum integer $d\geq 0$ such that $G$ is the…
Let $R$ be a ring with unity. The upper ideal relation graph $\Gamma_U(R)$ of the ring $R$ is a simple undirected graph whose vertex set is the set of all non-unit elements of $R$ and two distinct vertices $x, y$ are adjacent if and only if…
Lee homology (a variant of Khovanov homology) over $\mathbb{Q}$ possesses the "canonical generators" as its basis. The generators (Lee's classes) $[\alpha(D, o)]$ are constructed combinatorially from an oriented link diagram $D$, one for…
In this article we study domino tilings of a family of finite regions called Aztec diamonds. Every such tiling determines a partition of the Aztec diamond into five sub-regions; in the four outer sub-regions, every tile lines up with nearby…
Samuel conjectured in 1961 that a (Noetherian) local complete intersection ring that is a UFD in codimension at most three is itself a UFD. It is said that Grothendieck invented local cohomology to prove this fact. Following the philosophy…
The aim of this paper is to unify classification theories of torsion classes of finite dimensional algebras and commutative Noetherian rings. For a commutative Noetherian ring $R$ and a module-finite $R$-algebra $\Lambda$, we study the set…
We examine several classical concepts from topology and functional analysis, using methods of commutative algebra. We show that these various concepts are all controlled by BC R-rings and their maximal spectra. A BC R-ring is a ring A that…
For the importance of differentiation theorems in metric spaces (starting with Pansu Rademacher type theorem in Carnot groups) and relations with rigidity of embeddings see the section 1.2 in Cheeger and Kleiner paper arXiv:math/0611954 and…
Let $S$ be a semigroup with $0$ and $R$ be a ring with $1$. We extend the definition of the zero-divisor graphs of commutative semigroups to not necessarily commutative semigroups. We define an annihilating-ideal graph of a ring as a…
B\'ar\'any's "topological Tverberg conjecture" from 1976 states that any continuous map of an $N$-simplex $\Delta_N$ to $\mathbb{R}^d$, for $N\ge(d+1)(r-1)$, maps points from $r$ disjoint faces in $\Delta_N$ to the same point in…
It is proved that an unbranched Riemann domain $\Pi : X\rightarrow Y$ over an arbitrary Stein complex space of dimension $n\geq 2$ is Stein if and only if $X$ is cohomologically $2$-complete with respect to the structure sheaf…