Commutative rings, modules, ideals, homological algebra, computational aspects, invariant theory, connections to algebraic geometry and combinatorics.

learn more… | top users | synonyms (1)

-1
votes
1answer
106 views

behavior of multiplicity in exact sequences

Bruns-Herzog define multiplicity When the ring and module are not necessarily graded as $e(M)=e(gr_m(M))$, see B-H 4.6. I have two questions: Question1. Many concepts in commutative algebra have ...
2
votes
1answer
222 views

Are schemes which agree on open set and its complement equal? - w/ applications to initial ideals/tropical basis

I appreciate the comments so far and am modifying based on something closer to the problem I'm interested in. I started out with something far too general. This is probably easy, but I have been ...
4
votes
0answers
172 views

Does integral closure commute with pushforward

Suppose that $\pi : Y \to X$ is a proper birational morphism between normal varieties (schemes, whatever). Suppose that $I$ is an ideal sheaf on $Y$. One can form $\pi_* I$ and construct an ideal ...
0
votes
0answers
49 views

Projective dimension of modules over non-discrete valuation rings

Let $\mathbb{C}_p$ be $p$-adic completion of an algebraic closure of $\mathbb{Q}_p$, $\mathcal{O}_{\mathbb{C}_p}$ be its valuation ring and $\mathfrak{m}$ its maximal ideal. Does anyone know the ...
-5
votes
1answer
233 views

Integral closure of an ideal [closed]

Let $r^n+a_1r^{n-1}+\cdots+a_n=0$ be an equation of integral dependence of $r$ over an ideal $I$. Does exist a finitely generated ideal $J$, such that $J\subset I$ and $a_i\in J^i$ for all ...
2
votes
1answer
111 views

Families of ideals with a given initial ideal

Assume a fintie set of monomials is given. Is there a way to find the family of ideals whose initial ideal (say w.r.t revlex order) is generated by that finite set? I'll appreciate any partial answer, ...
4
votes
1answer
208 views

Reference request for division algebras, over $\mathbb{Q}_{p}((t))$

I was looking for a possible reference that would answer the following question, Let $\mathbb{Q}_{p}$ be the $p$-adic numbers and $\mathbb{Q}_{p}((t))$ be the field of Laurent polynomials over ...
3
votes
1answer
166 views

The complex of Kahler differentials and de Rham complex

Let $A$ be a unital commutative algebra (say over complex numbers). Consider the multiplication map $m:A \otimes A \to A$ and put $\Omega^1_u(A)=\ker m$ to be the space of universal differential ...
3
votes
0answers
88 views

Intersection numbers on blow ups of toric varieties

Suppose we have a smooth, complete toric varietiy $X_{\Sigma}$ of dimension $n$. Let $\sigma_k \in \Sigma(k)$ a smooth $k$-dimensional cone in $\Sigma$ and suppose we make the toric blow up at the ...
4
votes
1answer
107 views

A vector version of the Segre embedding: what is the kernel of the ring map?

TL;DR version. Given a commutative ring $\mathbf{k}$ and $n+m$ "generic" vectors $\mathbf{x}_1, \mathbf{x}_2, \ldots, \mathbf{x}_n, \mathbf{y}_1, \mathbf{y}_2, \ldots, \mathbf{y}_m$ in $\mathbf{k}^k$ ...
2
votes
1answer
146 views

Decide two indices of Ext functor

This question is from the proof of Theorem 11.34 in the book: Twenty-four Hours of Local Cohomology. Let $R$ and $S$ be CM local ring and $R\to S$ a local homomorphism such that $S$ is a finite ...
3
votes
1answer
171 views

An integral domain of dimension one with a non-trivial infinite intersection of prime ideals

In a (necessarily non-Noetherian) integral domain $A$ of (Krull) dimension $1$, is it possible that there is an infinite collection of prime ideals $\mathfrak{p}_i$ such that $\cap_i \mathfrak{p}_i ...
2
votes
0answers
95 views

Lifting of Commuting Maps of Vector Bundles

Assume that we have a vector bundle $\mathcal{F}$ over $\mathbb{P}^d(\mathbb{C})$ that is generated by global sections. Let $\pi \colon \mathcal{O}^n \to \mathcal{F}$ be the associated map that is ...
1
vote
1answer
199 views

Necessary and sufficient condition for $can : A^X\otimes_A A^Y\rightarrow A^{X\times Y}$ to be an embedding

The two sets are, of course, supposed infinite. This question is related to that one Commutation of tensor products with inverse limits in a specific case where it received a (partial) answer ($A$ ...
1
vote
1answer
135 views

Structure of $\text{Aut}_R(R[X])$

Let $R$ be a commutative ring with identity. I'd like to know how to determine the set $\text{Aut}_R(R[X])$ of all $R$-automorphisms of $R[X]$. I've proved that all $\sigma\in\text{Aut}_R(R[X])$ ...
2
votes
0answers
130 views

Irreducibility of a general fibre

Let $A\subseteq B$ be an inclusion of affine domains over an algebraically closed field $k$ of characteristic $0$. Can someone give me a reference for the following fact? If $A$ is algebraically ...
11
votes
2answers
481 views

Example of a ring $R$ such that $\dim(R[[X]])<\dim(R[X])$

Dimension refers to the Krull dimension of a commutative ring. In the paper "Prime ideals in power series rings" J. Arnold gives an example of such a ring: Let $k$ be a field and $K=k(t)$ a ...
0
votes
0answers
67 views

How to prove that the set of maximal elements of a set of prime ideals is finite

Let $A$ be a subset of ${\rm Spec}(R)$ with $R$ noetherian Are there any techniques to prove that ${\rm max}(A)$ (ie the set of maximal elements of $A$) is finite? I'm looking for equivalent ...
1
vote
1answer
126 views

Arbitrary chains of prime ideals in $R[X]$

For a commutative ring $S$ of finite Krull dimension $d$, we have $1+d\leq \dim(S[X])\leq 2d+1$. One proof of this uses the fact that if $Q_1\subset Q_2\subset Q_3$ is a chain of prime ideals of ...
2
votes
0answers
165 views

Is Frobenius on $R^\circ/p$ surjective for general perfectoid rings $R$?

In [1], Propisition 6.1.9(2), it said that if $R$ is a perfectoid ring such that $pR^\circ$ is closed in $R^\circ$ (this includes the case if $R$ is of character $p$, or if $p$ is invertible in $R$, ...
6
votes
1answer
342 views

UFD and fundamental group

Let $C$ be the curve $x^2+y^2-1$, defined over $\mathbb R$. It is easy to see that $\mathbb R[C]$ is not a UFD, as witnessed by the identity $(1-x)(1+x)=y^2$. On the other hand, the real locus ...
2
votes
0answers
90 views

Deformations of associative algebras and Hochschild cohomology

I am studying the deformation theory of associative algebras (and Poisson algebras) and came across a question for which I cannot find an answer: Let $(A,\mu)$ be a commutative associative algebra ...
1
vote
1answer
115 views

Extension of scalars and projective limits

Consider a morphism of commutative rings $h\colon R\rightarrow S$. This gives rise to a functor $h^*\colon{\sf Mod}(R)\rightarrow{\sf Mod}(S)$, called scalar extension by means of $h$. This functor ...
1
vote
1answer
205 views

On Q-Cartier Divisors

I have my question on Q-Cartier Weil divisor. People say $D$ is Q-Cartier divisor if $nD$ is Cartier for some $n \geq 1$. Especially for $n > 1$, I have never seen the `rigorous' definition of ...
2
votes
0answers
64 views

completion of non-finitely generated ideal

Let consider $A=k[x_{1},x_{2}...]$, the polynomial ring with countably many indeterminates. Then we can consider the completion ...
3
votes
1answer
152 views

Uncountable chain of prime ideals in an arbitrary direct product of rings

I am only considering commutative rings with $1$. Dimension refers to Krull dimension. In the paper "Products of commutative rings and zero-dimensionality", Gilmer and Heinzer give necessary and ...
3
votes
3answers
202 views

Are linearizations of involutive PDEs locally solvable?

A possibly soft question for you guys and gals. Say a system of analytic PDEs has been completed to involution (in the sense that it's geometric symbol has a Pommaret basis, or has vanishing ...
2
votes
1answer
114 views

complement of an open immersion

Let $A\subseteq B$ be normal affine doamins over a field $k$ with same field of fractions. If the induced morphism of schemes $i^*:Spec\ B \rightarrow Spec\ A$ is an open immersion, how to prove that ...
1
vote
0answers
65 views

Failure of little lemma in non-separable case

A nice little lemma in commutative algebra says the following (see for instance proposition 5.17 in [Atiyah-MacDonald]): If $A$ is a Noetherian integrally closed domain, $K$ its field of fractions ...
0
votes
1answer
269 views

Number of elements in a fiber

Let $A\subseteq B$ be normal affine domains over an algebraically closed field of characteristic 0. If it is given that the corresponding morphism of schemes Spec $B\rightarrow$ Spec $A$ is ...
2
votes
1answer
74 views

Polynomial degree comparison of Nullstellensatz and Positivstellensatz over real algebraic sets

Suppose we have a (finite) system of polynomials $P = \{ p_i \} \subseteq \mathbb{R}[x_1, \ldots, x_n]$. Then it is well known by the Nullstellensatz that either $P$ has a simultaneous zero over ...
0
votes
0answers
113 views

Cohen-Macaulay fibers

Let $Y$ be a set of points in $\mathbb{P}^n$. Then we can write a resolution $$0\rightarrow P_n \rightarrow \cdots \rightarrow P_0\rightarrow \mathcal{O}_Y$$ where each ...
3
votes
1answer
102 views

Existence of Factor rings of UFDs which are UFDs

Suppose that $X=Spec(A)$ is an affine variety over an algebraically closed field $k$ which is normal and such that $Cl(X)=0$. I am interested in hypersurfaces of $X$ which again satisfy this ...
0
votes
1answer
109 views

Samuel multiplicity

Let $X$ be the hyper-surface defined by $$f:=\sum_{i=1}^k x_i^n=0$$ in $\mathbb{C}^k$. Let $Y$ be the non-reduced sub-scheme of $X$ defined by the ideal $$I=(x_1^{n-1},\dots , x_k^{n-1}) $$ What is ...
0
votes
0answers
43 views

t-linked extension

Let $A\subseteq B$ be an extension of commutative integral domains. the extension is t-linked if it satisfies the following property: If P is a finitely generated ideal of A such that $P^{-1}=A$ than ...
5
votes
1answer
357 views

Is the ring $\mathbb{Z}_p [[x]]\otimes_{\mathbb{Z}_p} \overline{\mathbb{Q}}_p$ Noetherian?

Is the ring $\mathbb{Z}_p [[x]]\otimes_{\mathbb{Z}_p} \overline{\mathbb{Q}}_p$ Noetherian?
3
votes
0answers
133 views

going down theorem

Typical maps that satisfy "going down theorem" are flat morphisms and integral extensions of normal rings that are integral. Let $Spec(B)\rightarrow Spec(A)$ be a finite type morphism of k-noetherian ...
0
votes
0answers
56 views

Is any affine domain J-1?

Can someone please suggest me a reference for the fact(!) that any affine domain over a field $k$ is $J-1$, i.e., its regular locus is open (I hope the result holds even if $k$ is of finite ...
3
votes
1answer
125 views

When does a faithful module have an element with zero annihilator?

This is a follow up of Example of a finitely generated faithful torsion module over a commutative ring. Let $M$ be a finitely generated module over a commutative ring $R$ with the property that ...
1
vote
0answers
78 views

What is the reduction number of ideal $\langle t^a,t^b,t^c\rangle$?

Let $K[[t^a,t^b,t^c]]$ be formal power series (where $K$ is a field), $0<a<b<c$ and $\gcd(a,b,c)=1$. $I=\langle t^a,t^b,t^c\rangle$, $J=\langle t^a\rangle $. What $n$(least) is satisfy ...
2
votes
1answer
204 views

Presentation of the tautological bundle of the Grassmannian

Consider a Grassmannian $G=Gr(r,n)$ embedded in projective space $P^n$ by its Plucker embedding. Is there a way of writing down a presentation of the tautological bundle of $G$, as a module over the ...
0
votes
0answers
143 views

For which pairs of distinct positive primes $p$ and $q$, the integral closure of $\mathbb{Z}$ in $\mathbb{Q}[\sqrt{pq}]$ is a UFD?

For which pairs of distinct positive primes $p$ and $q$, the integral closure of $\mathbb{Z}$ in $\mathbb{Q}[\sqrt{pq}]$ is a UFD? I've proved that neither $p$ nor $q$ can be congruent to $1$ modulo ...
1
vote
0answers
122 views

Intersection Multiplicity

Let $X$ be an hyper-surface in an affine space defined by an equation $F$. We can assume that the ground field is $\mathbb{C}$ and $X$ is normal. Take functions $f_1,\dots, f_n$ on $X$ and let $B$ ...
1
vote
1answer
50 views

Bound on the weight of the minimum weight generator of [n,k] cyclic codes?

I'm looking at creating sparse generator matrices for cyclic codes of a given length and dimension. A generator matrix of an [n,k] cyclic code can be expressed as $G = \begin{bmatrix}g_0 & g_1 ...
0
votes
1answer
107 views

Scalar restriction and scalar extension

Consider a morphism of commutative rings $h\colon R\rightarrow S$. This yields the two functors $h_*\colon{\sf Mod}(S)\rightarrow{\sf Mod}(R)$ (scalar restriction) and $h^*\colon{\sf ...
0
votes
0answers
84 views

Maximal elements for ideals and subrings ordered by inclusion with fixed number of minimal generating polynomials

Let $R=\mathbb{R}[X_1,\dots,X_n]$, and $$\mathfrak{I}_d=\{ \text{ideals for which there is minimal generating system with $d$ elements} \}\setminus \{\text{ ideals generated by $d$ monomials}\}$$ ...
16
votes
0answers
248 views

Deforming a basis of a polynomial ring

The ring $Symm$ of symmetric functions in infinitely many variables is well-known to be a polynomial ring in the elementary symmetric functions, and has a $\mathbb Z$-basis of Schur functions ...
0
votes
0answers
59 views

Vanishing of top local cohomology when $R$ is domain

Let ${\rm R}$ be a Noetherian domain, $\frak a$ an ideal of ${\rm R}$ and $c:=\operatorname{cd}(\frak a, {\rm R})$ is finite. Is it true that $\operatorname{Ann}_R(H^c_{\frak a}({\rm R}))=0$. Note ...
0
votes
0answers
55 views

annihilators of top local cohomology modules

Let $R$ be a commutative Noetherian ring. Let $\frak a$ be an ideal of $R$ and ${\rm M}$ be a f.g $R$- module such that $c:=cd(\frak{a},{\rm M})$ is finite and $x\in R$. Is it true that $xH^c_{\frak ...
1
vote
1answer
137 views

Annihilator of tensor product when $R$ is domain

Let $R$ be a Noetherian domain and $M$ and $N$ be two faithful $R$-modules. Is it true that $\operatorname{Ann}_R(M\otimes_R N)=0$?