Related papers: Iterated socles and integral dependence in regular…
Perfect ideals $I$ of grade $3$ in a local ring $(R,\mathfrak{m},\Bbbk)$ can be classified based on multiplicative structures on $\text{Tor}^R_{\bullet}(R/I,\Bbbk)$. The classification is incomplete in the sense that it remains open which…
Let $(R,\mathfrak{m})$ be a Noetherian local ring and $M$ a finitely generated $R$-module. We study the relations of the index of reducibility and the irreducible multiplicity of an $\mathfrak{m}$-primary ideal of $R$ and these of…
Extending earlier work by Sommers and Tymoczko, in 2016 Abe, Barakat, Cuntz, Hoge, and Terao established that each arrangement of ideal type $\mathcal{A}_\mathcal{I}$ stemming from an ideal $\mathcal{I}$ in the set of positive roots of a…
Let K denote an algebraically closed field. We study the relation between an ideal I in K[x1,...,xn] and its cross sections I_a=I+<x1-a>. In particular, we study under what conditions I can be recovered from the set I_S={(a,I_a):a in S}…
We associate to each $r$-multigraded, locally finitely generated ideal in the "large polynomial ring" on countably many indeterminates a power series in $r$ variables; this power series is the limit in the adic topology of the numerators of…
We introduce the notion of strongly Lech-independent ideals as a generalization of Lech-independent ideals defined by Lech and Hanes, and use this notion to derive inequalities on multiplicities of ideals. In particular we prove that if…
A matroid $M$ is an ordered pair $(E,I)$, where $E$ is a finite set called the ground set and a collection $I\subset 2^{E}$ called the independent sets which satisfy the conditions: (i) $\emptyset \in I$, (ii) $I'\subset I \in I$ implies…
Let $(R, \mathfrak m)$ be a commutative noetherian local ring. We investigate under which conditions an $R$-module $M$ is generated by an ideal $I$, i.e. there exists an epimorphism $I^{(\Lambda)} \twoheadrightarrow M$. If $M$ is uniserial,…
Let $S = K[x_1, \ldots, x_n]$ denote the polynomial ring in $n$ variables over a field $K$ with each $\deg x_i = 1$ and $I \subset S$ a homogeneous ideal of $S$ with $\dim S/I = d$. The Hilbert series of $S/I$ is of the form…
Consider a grade 2 perfect ideal $I$ in $R=k[x_1,\cdots,x_d]$ which is generated by forms of the same degree. Assume that the presentation matrix $\varphi$ is almost linear, that is, all but the last column of $\varphi$ consist of entries…
In this paper, using the canonical correspondence between the idempotents and clopens, we obtain several new results on lifting idempotents. The Zariski clopens of the maximal spectrum are precisely determined, then as an application,…
Borel separation rank of an analytic ideal $\mathcal{I}$ on $\omega$ is the minimal ordinal $\alpha<\omega_{1}$ such that there is $\mathcal{S}\in\bf{\Sigma^0_{1+\alpha}}$ with $\mathcal{I}\subseteq \mathcal{S}$ and $\mathcal{I}^\star\cap…
Let $R$ be a commutative ring and $I\subset R$ a finitely generated ideal. We discuss two definitions of derived $I$-adically complete (also derived $I$-torsion) complexes of $R$-modules which appear in the literature: the idealistic and…
For given integers $m,n \geq 2$ there are examples of ideals $I$ of complete determinantal local rings $(R,\mathfrak{m}), \dim R = m+n-1, \operatorname{grade} I = n-1,$ with the canonical module $\omega_R$ and the property that the socle…
This paper provides an extensive study of the $\mathscr{I}$-Miller null ideals $M_\mathscr{I}$, $\sigma$-ideals on the Baire space parametrized by ideals $\mathscr{I}$ on countable sets. These $\sigma$-ideals are associated to the idealized…
Let R be a commutative ring with unit and let I be an ideal generated by a regular sequence. Then it is known that the natural sequences 0-> Tor_*^R(R/I,I^s)-> Tor_*^R(R/I,I^s/I^{s+1})-> Tor_{*-1}^R(R/I,I^{s+1})-> 0 are short exact…
We develop a class of integrals on a manifold M called exponential iterated integrals, an extension of K. T. Chen's iterated integrals. It is shown that the matrix entries of any upper triangular representation of the fundamental group of M…
In this paper, we use the tools of Gr\"{o}bner bases and combinatorial secant varieties to study the determinantal ideals $I_t$ of the extended Hankel matrices. Denote by $c$-chain a sequence $a_1,\...,a_k$ with $a_i+c<a_{i+1}$ for all…
Quasi-socle ideals, that is the ideals $I$ of the form $I= Q : \mathfrak{m}^q$ in a Noetherian local ring $(A, \mathfrak{m})$ with the Gorenstein tangent cone $\mathrm{G}(\mathfrak{m}) = \bigoplus_{n \geq…
We study integrality over rings (all commutative in this paper) and over ideal semifiltrations (a generalization of integrality over ideals). We begin by reproving classical results, such as a version of the "faithful module" criterion for…