**2**

votes

**2**answers

138 views

### Do discrete valuation rings correspond to local rings of points in fibre?

Given projective curves $C$ and $C'$ and a surjective morphism $\varphi\colon C\to C'$, such that $Q\in C'$ is a smooth point and its fibre $\varphi^{-1}(Q)$ consists of smooth points.
Then ...

**0**

votes

**0**answers

30 views

### Is a toric blow-up in codimension 2 a real toric blow-up?

Let $X, Y$ be toric projective algebraic varieties over $\mathbb{C}$. Suppose that $X$ and $Y$ are $\mathbb{Q}$-factorial and smooth in codimension two (e.g. they have terminal singularities).
Let ...

**0**

votes

**0**answers

68 views

### compute standard basis in local rings

Let$>'$ be the order in $k[t,x_1,\cdots,x_n]$ as follows:
Each semigroup order > on monomial in the $x_i$ extends to a semigroup order >' on monomial in $t,x_1,\cdots,x_n$ in the following way. We ...

**1**

vote

**0**answers

103 views

### Castelnuovo-Mumford regularity in multigraded case

Let $R=\oplus_{n\geq 0}R_n$ be a standard Noetherian commuative graded ring over a local ring $(A,m)$ where $R_0=A.$ Put $R_+=\oplus_{n\geq 1}R_n.$ Let $M$ be a finitely generated $\mathbb Z$-graded ...

**2**

votes

**1**answer

87 views

### Classification of local and semi-local rings in function fields

Let $C$ be a non-singular algebraic curve over an algebraically closed field $k$, and $F$ a function field of this curve. It is well-known that non-trivial discrete valuation rings of $F$ correspond ...

**2**

votes

**0**answers

55 views

### Newton polyhedron and product of ideals

Let $I$ be an ideal generated by monomials $\underline{x}^{\underline{a}_1},\ldots ,\underline{x}^{\underline{a}_s}$ and
$J$ be the ideal generated by $\underline{x}^{\underline{b}_1},\ldots ...

**2**

votes

**0**answers

54 views

### Geometric/algebraic interpretation of quadratic points of rank r

In the paper of Eckl/Puhklikov (http://arxiv.org/abs/1210.3715) the following terminology is introduced:
"
Let $X \subset Y$ be a subvariety of codimension 1 in a smooth quasiprojective
complex ...

**4**

votes

**1**answer

165 views

### Macaulay's example of prime ideals in $\mathbb C[X_1,X_2,X_3]$ having large number of generators

There is a famous example of Macaulay which shows that there are prime ideals of height two in $\mathbb C[X_1,X_2,X_3]$ having at least $l$ generators for any $l\ge 3$.
In Macaulay's words, the ...

**18**

votes

**6**answers

3k views

### Expressing adj(A) as a polynomial in A?

Suppose $A\in R^{n\times n}$, where $R$ is a commutative ring. Let $p_i \in R $ be the coefficients of the characteristic polynomial of $A$: $\mathop{\mathrm{det}}(A-xI) = p_0 + p_1x + \dots + p_n ...

**0**

votes

**0**answers

63 views

### Rees rings and a formula

Could someone help me to solve this question?
Let $(R,\frak m)$ be a commutative, Noetherian, local, and complete domain. and let $R(I)=\bigoplus _{n \geqslant 0} I^n t^n$ be be Rees ring of $R$ ...

**2**

votes

**1**answer

89 views

### Can height one maximal ideals in the normalization contract to non-height one primes in the base?

Let $R$ be a local (Noetherian) integral domain of dimension greater than one. Can the integral closure (i.e. normalization) of $R$ have a maximal ideal of height one?

**0**

votes

**1**answer

174 views

### Extension of homomorphism to place in quotient field, or of local ring to valuation ring in quotient field

Let be given a domain $R$ (that can be supposed to be integrally closed if this can help), and $\varphi$ an homomorphism of $R$ into a field $F$.
$\varphi$ extends uniquely to a homomorphism ...

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

**4**

votes

**1**answer

308 views

### Valuation of an ideal in a two-dimensional regular local ring

Let $f,g$ be two coprime elements in the ring $K[[x,y]]$, with $K$ a field.
What is the smallest integer $n$ such that the inclusion of ideals $$(x^n)\subset (f,g)$$ holds in $K[[x,y]]$? Can we ...

**0**

votes

**0**answers

86 views

### How to show integrally closed implies topologically unibranch

On p.52 of Mumford's book Algebraic Geometry: Complex projective varieties, he states that
$$\mathcal{O}_{x.X} \text{is integrally closed} \ \Rightarrow X \ \text{is topologically unibranch at } \ ...

**7**

votes

**0**answers

680 views

### When UFD implies PID

The following result is too elementary, both to state and to prove, not to be known. Can someone give a reference? Is there any hope if you don't suppose UFD (i.e. move that from the hypothesis to ...

**-1**

votes

**0**answers

30 views

### Regularity of simple ring extensions, subrings and quotients [migrated]

Let $R$ be a regular UFD of zero characteristic, $I=(p)$ a prime ideal of $R$ and $Q(R)$ the field of fractions of $R$.
Assume $R[a]$ is integral and flat over $R$, for some $a \notin Q(R)$. Is it ...

**1**

vote

**2**answers

134 views

### Degree of sum of integral elements over a UFD

Is it possible to generalize Degree of sum of algebraic numbers (especially Pete L. Clark's answer, based on Keith Conrad's answer)
in the following way:
Let $D$ be a (noetherian) UFD of zero ...

**44**

votes

**21**answers

10k views

### Errata for Atiyah-Macdonald

Is there a good errata for Atiyah-Macdonald available? A cursory Google search reveals a laughably short list here, with just a few typos. Is there any source available online which lists inaccuracies ...

**1**

vote

**1**answer

159 views

### a problem about ideals of polynomial rings

Let $\{f_n\}_{n=1}^\infty\in \mathbb{C}[x,y]$ be a sequence of polynomials given by the following expressions
$$
f_n(x,y)=\sum_{i=0}^{[\dfrac{n}{2}]}(-1)^{n-i}{{n-i}\choose i}x^{n-2i}y^i.
$$
Let ...

**4**

votes

**0**answers

154 views

### Algebraic Closure of the field of rational functions

Using the theorem of Puiseux, one concludes that the algebraic closure of $\mathbb C(X)$ is the set of algebraic elements (over $\mathbb C(X)$) of the algebraic closure of $\mathbb C((X))$, which is ...

**1**

vote

**1**answer

194 views

### Composition of rational functions

Given a rational function $R\in\Bbb R(x_1,\dots,x_n)$ with multilinear numerator and denominator, is there always a rational function $G\in\Bbb R(x)$ such that $G\circ R\in\Bbb R[x_1,\dots,x_n]$, ...

**0**

votes

**2**answers

136 views

### Regularity of a tensor product

Let $A \subseteq B$ and $A \subseteq C$ be commutative noetherian domains.
Assume that $A$ and $C$ are regular rings (=every localization at a maximal ideal is a regular local ring).
Assume that $B$ ...

**0**

votes

**1**answer

122 views

### When every module is a scalar extension?

Let $A \subseteq B$ be commutative noetherian domains.
Of course, if $M$ is an $A$-module, then $M \otimes_A B$ is a $B$-module.
I am curious to know if there exist additional conditions on $A$ and ...

**6**

votes

**3**answers

348 views

### Irreducible/prime/indivisible elements

in what follows all the rings are commutative, nontrivial, with unit.
Recall the following definitions:
1) $\pi\in A$ is prime if $(\pi)$ is a nonzero prime ideal
2) $\pi\in A$ is irreducible if ...

**5**

votes

**2**answers

409 views

### The number of ideals in a ring

Here is a question that I first asked in math.stackexchange, but I think the question must be proposed here.
Let $R$ be a finite commutative ring with identity. Under what conditions the number ...

**0**

votes

**0**answers

107 views

### Length of quotients and relations between $\ell(\mathrm{coker}\varphi),\ell(R/\det\varphi)$ [migrated]

Let $R$ be domain(not necessary local) with maximal ideal $\mathfrak{p}$ and $d \in R, d \neq 0$. $(R/(d))_{\mathfrak{p}} = 0 \iff (d) \not\subset \mathfrak{p}$(?). And if $ (d) \subset \mathfrak{p}$ ...

**2**

votes

**1**answer

96 views

### formally etale deformations of algebras

Let $A$ be a local artinian ring with residue field $k$, $S$ a $k$-algebra. Suppose there is a formally etale deformation $B$ of $S$ over $A$, i.e. a flat $A$-algebra $B$ such that $S\cong ...

**8**

votes

**1**answer

398 views

### What is an excellent algebraic space?

What does it mean to say that an algebraic space $S$ is excellent? One knows that excellence of a Noetherian ring is not a property that is etale local (that is, excellence cannot be checked over an ...

**25**

votes

**5**answers

2k views

### Class number measuring the failure of unique factorization

The statement that the class number measures the failure of the ring of integers to be a ufd is very common in books. ufd iff class number is 1. This inspires the following question:
Is there a ...

**8**

votes

**3**answers

2k views

### Formally étale at all primes does not imply formally étale.

All rings are assumed to be commutative and unital, with all homomorphisms unital as well.
On last week's homework, there was a mistake in one of the questions:
(2.5) Let $R\to S$ be a ...

**6**

votes

**0**answers

399 views

### Find a polynomial not in any ideal generated by polynomials of total degree $o(n)$

Is there an explicit nontrivial (= not a constant) polynomial $p \in \mathbb{C}[x_1, \ldots, x_n]$ such that, for any ideal $I \not= \mathbb{C}[x_1, \ldots, x_n]$ generated by $f_1, f_2, \ldots, f_m$ ...

**1**

vote

**1**answer

838 views

### Conjugate Matrix

Let $A$ be a nilpotent square matrix, $J$ be the antidiagonal matrix with 1's on the secondary diagonal (i.e. $J^{2}=E$) and let $B=J A J.$ Suppose we conjugate the matrices $A,B$ by a matrix ...

**3**

votes

**1**answer

218 views

### Are essentially smooth schemes noetherian?

Let $k$ be a field. I am unable to find a precise definition of essentially smooth $k$ schemes, but I will stick to this definition below, since this is exactly what I need:
Definition: A $k$-scheme ...

**1**

vote

**0**answers

87 views

### Chinese remainder theorem for discrete valuation rings in a field

Let $v_1,\dots,v_n:K\to \mathbb Z$ be different nontrivial additive discrete valuations on a field $K$ and $(R_i,m_i)$ the corresponding DVR for each $v_i$.
1- Does always there exist an element ...

**2**

votes

**1**answer

189 views

### global sections of structure sheaf on the toric Calabi-Yau

Let P be a lattice polytope and lying in $ N \times {1} \subset N \times \mathbb{R}$. Let $\sigma$ be the cone over this polytope and $X_\sigma$ be the corresponding toric variety, which is an ...

**0**

votes

**1**answer

137 views

### Equidimensionality of stalks of $\operatorname{Proj} S$ when $S$ is equidimensional.

I would like to know a reference of the following statement (or counter example).
Let $S$ be a (commutative) Noetherian standard graded ring over a local ring, i.e., $S = S_0[S_1]$, where $S_0$ is ...

**2**

votes

**1**answer

239 views

### A generalization of miracle flatness theorem

I wonder if the miracle flatness theorem Generalizing miracle flatness (Matsumura 23.1) via finite Tor-dimension
still works if the rings involved are not local (and the dimension condition is ...

**-1**

votes

**0**answers

48 views

### Coefficients of the pull-backs of divisors by resolving morphism

Let $\varphi : X \dashrightarrow X$ be a rational map. By a theorem of Hironaka we can find a resolution of singularities $(\tilde{X}_\varphi,\pi)$ of $\varphi$, where $\tilde{X}_\varphi$ is a ...

**1**

vote

**1**answer

159 views

### Dimension of Ext modules [closed]

Let $(R,m)$ be a noetherian local ring, and $M$ and $N$ be two finitely generated $R$-module. Then is it true that $\dim \text{Ext}^k(M,N)\leq \dim M-k$? If not does the reversed inequality hold?

**2**

votes

**1**answer

290 views

### Valuations on tensor products

Let $A$ be a commutative ring, $B$ (resp. $C$) be a commutative $A$-algebra endowed with a valuation $v$ (resp. $w$), not necessarily of rank 1. Assume that $v$ and $w$ induce equivalent valuations on ...

**0**

votes

**1**answer

300 views

### When is a power of an indeterminate in an ideal with 2 generators?

If I have an ideal ${\frak a} \colon= (f(X,S), g(X,S))$ of height $2$ in ${\Bbb C}[X, S]$, is it easy to know what power of $S$ is contained in $\frak a$? For example, what is the minimal number $m$? ...

**3**

votes

**1**answer

350 views

### A Zero-Multiplicity Problem Related to Foulkes' Conjecture

I'm a combinatorialist that is interested in estimating multiplicities of irreps of $1^{S_{kn}}_{S_k \wr S_n}$ (the action of symmetric group on uniform partitions). I'm aware of the difficulty (or ...

**4**

votes

**1**answer

195 views

### When two determinantal ideals together generate a power of the maximal ideal?

(A somewhat technical question, but maybe it is well known.)
Consider matrices over the ring $k[[x_1,\dots,x_n]]$, whose entries vanish at the origin (i.e. belong to the maximal ideal ...

**11**

votes

**2**answers

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

**2**

votes

**0**answers

180 views

### Algebraic closedness in field of fractions

If $A\subseteq B$ are affine domains over an algebraically closed field $k$ of characteristic zero, such that $Q(A)$ is algebraically closed in $Q(B)$, how can one show that $Q(A)$ is also ...

**0**

votes

**0**answers

188 views

### Complete Intersection

Let $I$ be an ideal of the polynomial ring $P=K[x_{1},...,x_{n}]$ that is generated by degree two polynomials ${f_1,...,f_k}$.
The zero set $\mathcal{Z}(I)$ is isomorphic to an affine space of
...

**0**

votes

**0**answers

102 views

### Local-cohomology and Hom

Let $f:R\to S$ be a flat homomorphism of commutative Noetherian rings. "Flat Base Change Theorem", compares the local cohomology modules $H^i_a(M) \otimes_R S$ and $H^i_{aS} (M\otimes_R S)$ for $i ∈ ...

**0**

votes

**1**answer

129 views

### $\inf\{i\in \mathbb N \cup \{0\}\cup\infty\mid Ext^i_R(R/I,R)\neq 0\}=0 ?$

Let $R := k[x_1, \cdots, x_n, \cdots]/(x_1^1, \cdots , x^n_n, \cdots),$ where $k$ is a field. Set $I:=(x_1, \cdots, x_n, \cdots)$. the questions are:
Is $\inf\{i\in \mathbb N \cup \{0\}\cup ...

**0**

votes

**0**answers

58 views

### Degree of function field extension in several variables (degree of an endomorphism over an AV)

I just want to know which is the best way to calculate the degree of a function field extension like this
$[\mathbb{F}_q(a,b,c):\mathbb{F}_q(x,y,z)]$
where
$x\mapsto f(a,b,c)$
$y\mapsto g(a,b,c)$
...