**2**

votes

**1**answer

350 views

### Does this $\mathbb{Z}_p$-algebra morphism induce a closed immersion on the generic fiber?

Let $R$ be a local and smooth $\mathbb{Z}_p$-algebra and $B$ an $R$-algebra of finite type which is an integral domain with $\operatorname{dim}B\leq \operatorname{dim}R$ such that
$B/(p)$ is ...

**-1**

votes

**1**answer

99 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

**1**answer

209 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

**0**answers

165 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

**0**answers

41 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

**1**answer

217 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

**1**answer

102 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

**1**answer

206 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

**1**answer

145 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

**0**answers

75 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 ...

**3**

votes

**1**answer

92 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

**1**answer

138 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

**1**answer

141 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

**0**answers

94 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

**1**answer

190 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

**1**answer

132 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

**0**answers

125 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

**2**answers

458 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

**0**answers

65 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

**1**answer

121 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

**0**answers

157 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

**1**answer

327 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

**0**answers

81 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

**1**answer

109 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

**1**answer

169 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

**0**answers

62 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

**1**answer

131 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

**3**answers

188 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

**1**answer

113 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

**0**answers

63 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

**1**answer

267 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

**1**answer

56 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

**0**answers

107 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

**1**answer

96 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

**1**answer

96 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

**0**answers

39 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

**1**answer

348 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

**0**answers

113 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

**0**answers

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

**1**answer

99 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

**0**answers

73 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

**1**answer

182 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

**0**answers

137 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

**0**answers

112 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

**1**answer

45 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

**1**answer

80 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

**0**answers

79 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

**0**answers

233 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

**0**answers

57 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

**0**answers

50 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 ...