Related papers: Fitting Ideals without a Presentation
We find necessary and sufficient conditions for a Lipschitz map $f:\mathbb{R}E\to X$, into a metric space to have the image with the $k$-dimensional Hausdorff measure equal zero, $H^k(f(E))=0$. An interesting feature of our approach is that…
An affine oriented matroid is a combinatorial abstraction of an affine hyperplane arrangement. From it, Novik, Postnikov and Sturmfels constructed a squarefree monomial ideal in a polynomial ring, called an oriented matroid ideal, and got…
Let $\omega$ be a differential 1-form defining an algebraic foliation of codimension 1 in projective space. In this article we use commutative algebra to study the singular locus of $\omega$ through its ideal of definition. Then, we expose…
Let $R$ be a commutative Noetherian ring with identity (not necessarily local) and $\frak a$ a proper ideal of $R$. We study the invariance of some classes of $\frak a$-relative Cohen-Macaulay modules under pure ring homomorphisms and ring…
We compute the local cohomology modules H_Y^(X,O_X) in the case when X is the complex vector space of n x n symmetric, respectively skew-symmetric matrices, and Y is the closure of the GL-orbit consisting of matrices of any fixed rank, for…
Let $R=K[x_1,...,x_n]$ be the polynomial ring in $n$ variables over a field $K$ and let $J$ be a matroidal ideal of degree $d$ in $R$. In this paper, we study the class of sequentially Cohen-Macaulay matroidal ideals. In particular, all…
We study algebraic and homological properties of the ideal of submaximal minors of a sparse generic symmetric matrix. This ideal is generated by all $(n-1)$-minors of a symmetric $n \times n$ matrix whose entries in the upper triangle are…
Garsia-Haiman modules are quotient rings in variables X_n={x_1, x_2, ..., x_n} and Y_n=y_1, y_2, ..., y_n} that generalize the quotient ring C[X_n]/I, where I is the ideal generated by the elementary symmetric polynomials e_j(X_n) for 1 <=…
Let $M$ be a non-zero finitely generated module over a finite dimensional commutative Noetherian local ring $(R,\mathfrak{m})$ with dim$_R(M)=t$. Let $I$ be an ideal of $R$ with grade$(I,M)=c$. In this article we will investigate several…
Let \fa be an ideal of a commutative Noetherian ring R and M and N two finitely generated R-modules. Let \cd_{\fa}(M,N) denote the supremum of the i's such that H^i_{\fa}(M,N)\neq 0. First, by using the theory of Gorenstein homological…
By the Riemann-mapping theorem, one can bijectively map the interior of an $n$-gon $P$ to that of another $n$-gon $Q$ conformally. However, (the boundary extension of) this mapping need not necessarily map the vertices of $P$ to those $Q$.…
Let $K$ be a nonarchimedean local field of characteristic zero with valuation ring $R$, for instance, $K=\mathbb{Q}_p$ and $R=\mathbb{Z}_p$. We prove a general integral geometric formula for $K$-analytic groups and homogeneous $K$-analytic…
Let O_K be a discrete valuation ring of mixed characteristics (0,p), with residue field k. Using work of Sekiguchi and Suwa, we construct some finite flat O_K-models of the group scheme \mu_{p^n,K} of p^n-th roots of unity, which we call…
Let $R$ be the power series ring or the polynomial ring over a field $k$ and let $I $ be an ideal of $R.$ Macaulay proved that the Artinian Gorenstein $k$-algebras $R/I$ are in one-to-one correspondence with the cyclic $R$-submodules of the…
We present an effective method for computing parametric primary decomposition via comprehensive Gr\"obner systems. In general, it is very difficult to compute a parametric primary decomposition of a given ideal in the polynomial ring with…
Over an arbitrary field $\mathbb{F}$, Harbourne conjectured that $$I^{(N (r-1)+1)} \subseteq I^r$$ for all $r>0$ and all homogeneous ideals $I$ in $S = \mathbb{F} [\mathbb{P}^N] = \mathbb{F} [x_0, \ldots, x_N]$. The conjecture has been…
In this paper, we study formal mappings between smooth generic submanifolds in multidimensional complex space and establish results on finite determination, convergence and local biholomorphic and algebraic equivalence. Our finite…
In this article we survey the basic properties of $p^{-e}$-linear endomorphisms of coherent $\O_X$-modules, i.e. of $\O_X$-linear maps $F_* \sF \to \sG$ where $\sF,\sG$ are $\O_X$-modules and $F$ is the Frobenius of a variety of finite type…
We develop tools to study Picard groups of quotients of ring spectra by a finitely generated ideal, which we use to show that $\mathrm{Pic}(\mathrm{E}_n/I) = \mathbb{Z}/2$, where $\mathrm{E}_n$ is a Lubin--Tate theory and $I$ is an ideal…
We obtain complete geometric invariants of cobordism classes of oriented simple fold maps of (n+1)-dimensional manifolds into an n-dimensional manifold N in terms of immersions with prescribed normal bundles. We compute that this cobordism…