**1**

vote

**0**answers

21 views

### Localization and Direct limit

Let $ A $ be a ring.
Let $ I $ be a preordered set, filtering.
Let $ \Sigma $ a multiplicative subset of $ A $.
Suppose for any given $ i \in I $ a multiplicative subset $ S_i $ of $ A $ contained ...

**1**

vote

**0**answers

41 views

### why do we care about the irreducibility of parameter ideals?

It is well known that a local commutative unital ring $R$ is Gorenstein if and only if every parameter ideal is irreducible. Why the irreducibility of parameter ideals in a Gorenstein local ring is ...

**5**

votes

**2**answers

410 views

### Automorphisms of a specific type of weighted projective space

A question very close to this one was already asked: Automorphisms of a weighted projective space
But the answer given does not satisfy my needs. So avoiding having two questions that are identical, ...

**5**

votes

**1**answer

439 views

### Resolution of a module as an $A_\infty$ module over resolution of an algebra

The following question looks like a basic question on resolutions over commutative rings, unfortunately I was not able to find a reference.
Let $A$ be a regular commutative noetherian ring (and ...

**0**

votes

**1**answer

148 views

### Computing the minimal free resolution of a coherent sheaf on projective space

Most books on commutative algebra explain Grobner bases in the non graded case and minimal free resolutions in the local case. I like projective geometry and want to compute the minimal free ...

**0**

votes

**1**answer

53 views

### Formally smooth map from a regular ring

Let $A,B$ be two commutative noetherian rings. Let $f:A\to B$ be a formally smooth homomorphism. If $A$ is a regular ring (in the sense that all its localizations are regular local rings), does this ...

**-1**

votes

**0**answers

105 views

### A question about the unbounded derived category of the polynomial ring in infinitely many variables

In this moment I am trying to understand the derived category of the polynomial ring in infinitely many variables over a field $k$, $R=k[x_{1},x_{2},\dots]$ and I am wonder if it is true that ...

**2**

votes

**1**answer

138 views

### Endomorphism Ring of Indecomposable MCM Modules

Let $R = k[[x, y]]/(f)$, where $k$ is algebraically closed of characteristic zero. I'm particularly interested in studying the endomorphism ring of indecomposable MCM (maximal Cohen-Macaulay) modules ...

**3**

votes

**0**answers

69 views

### When does a commutative DGA have a finitely generated quasi-free resolution?

Suppose that $A$ is a commutative dg-algebra (say over base $k$) which is bounded in non-positive degree (with cochain complex conventions). There exists a quasi-free resolution of $A$. My question ...

**3**

votes

**2**answers

154 views

### Minimal fields of isomorphism for varieties

Let $V$ be an algebraic variety over a field $K$. Is there a constant $d = d(V) \in \mathbb{N}$ such that for any variety $W$ defined over $K$ and isomorphic to $V$ over the algebraic closure of $K$, ...

**0**

votes

**0**answers

16 views

### Projecting solutions of Hermitian forms over local rings

Let $R$ be a local ring (commutative and with $1$) with maximal ideal $M$, with an involution $\theta$. Let $h$ be a Hermitian form on $R^n$, i.e. $h:R^n\times R^n\rightarrow R$ such that $h$ is ...

**0**

votes

**0**answers

122 views

### Reference: A nowhere vanishing section of a vector bundle is locally split

Well-known fact:
If $(A, \mathfrak{m})$ is a local Noetherian ring, $E$ is a finitely generated free $A$-module, and $e\in E$ is an element not contained in $\mathfrak{m}E$, then $E/eA$ is also a ...

**1**

vote

**0**answers

167 views

### R[[X]] flat as a R[X]-module?

I assume $R[X]\rightarrow R[[X]]$ is not flat in general, but I was wondering if any conditions on a commutative ring $R$ are known such that $R[[X]]$ is flat as a $R[X]$-module.
Would $R$ noetherian ...

**-3**

votes

**0**answers

62 views

### Group and ring theory [closed]

I am look for an activity that would using 15 puzzle, rubik cube and sudoku to demostrate group or ring theory by emmy noether. what calculation can I used to demostrate that all of the puzzle ...

**1**

vote

**2**answers

844 views

### Does completion commute with localization?

Suppose $A$ is a Noetherian (not necessarily local) ring and $\mathfrak{m}\subset A$ a maximal ideal. Then is it true that $$\hat{A}_{\hat{\mathfrak{m}}}=\widehat{A _{\mathfrak{m}}},$$ where hats ...

**1**

vote

**1**answer

103 views

### Is the completion of an arbitrary ring w.r.p. a maximal ideal a local ring? [closed]

Give an arbitrary commutative ring (not necessarily noetherian) $A$ with $\mathfrak{m}$ a maximal ideal. Is the completion $\hat{A}$ w.r.t. the ideal $\mathfrak{m}$ a local ring? If so, is the maximal ...

**5**

votes

**2**answers

182 views

### Arithmetic Cohen-Macaulayness of curves/surfaces defined by weighted power sums in 3 variables

Pick $p,q,r$ complex numbers (I am most interested in the case when they are positive integers). Define the function
$P_i = px^i + qy^i + rz^i$
where $x,y,z$ are coordinates. I have a few related ...

**-2**

votes

**0**answers

67 views

### Action of the group Z_p on a module M [closed]

I have a very stupid but elementary question. Assume that the group ${\Bbb Z}_p$ acts on a module $M$. Assume that the topological generator $\sigma (=1)$ of ${\Bbb Z}_p$ acts trivially on an element ...

**3**

votes

**0**answers

225 views

### Epimorphisms between external tensor products

Let $k$ be a field, $R,S$ commutative $k$-algebras. If $\mathsf{Mod}_{fp}$ denotes the category of finitely presented modules, the external tensor product $\mathsf{Mod}_{fp}(R) \otimes_k ...

**0**

votes

**0**answers

65 views

### Exercise 7.27(ii) of Atiyah's commutative algebra:$K_1(A)$-module structure on $K(A)$ [closed]

In the final part of chapter 7 of Atiyah's book Introduction to Commutative Algebra, there are two exercises about Grothendieck groups and K-theory.
Exercise 27(ii) asks the reader to figure out the ...

**3**

votes

**1**answer

60 views

### Regular commutative Banach algebras which are not closed under complex conjugate

Let $A$ be a semisimple commutative Banach algebra with the maximal ideal space $X$. Further, assume that $A$ is regular i.e. for every closed set $E\subseteq X$ and $x\in X\setminus E$, there is some ...

**-3**

votes

**0**answers

40 views

### the structure of the finite dimensional commutative algebras [closed]

I do not know how to give a proof about the structure of finite dimensioal commutative algebras.Can you help me ?thanks

**0**

votes

**0**answers

39 views

### When does the Spectrum of a Commutative Hopf Algebra Separate Points?

Let $H$ be a (finitely generated) commutative Hopf algebra over the complex numbers. When is it true that, for every $g \in H$, we can always find an algebra map $f_g:H \to \mathbb{C}$ such that ...

**5**

votes

**0**answers

96 views

### Vanishing of Andre-Quillen homology and injective dimension

Let $(A,m,k)$ be a commutative local ring.
Assume that for all $n\ge 3$, the Andre-Quillen homology modules $H_n(A,k,k)$ vanish.
Does this imply that $A$ has finite injective dimension over itself?
...

**6**

votes

**2**answers

313 views

### What is the probability that a random sequence of polynomials is regular?

Let $k$ be a finite field or a field with a height function, such as a number field.
Consider the ring $k[[x_1,\dots, x_n]]$ and let $\mathfrak{m}$ be its maximal ideal.
What is the asymptotic ...

**12**

votes

**3**answers

470 views

### Descent of functions along finite birational morphisms

Let $A\to B$ be a morphism of (unitary commutative) rings such that $B$ is module-finite over $A$ and there exists $f\in A$ which is a nonzerodivisor in $A$ and in $B$, with $A[1/f]\to B[1/f]$ an ...

**0**

votes

**1**answer

138 views

### Projective Modules/Algebras: decomposition of linear functions, and the rank formula

Let $A$ be a ring, $B$ a finite projective $A$-algebra, and $C$ a finite projective $B$-algebra. We can show that $C$ is also finite and projective when regarded as an $A$-algebra (by, for instance, ...

**0**

votes

**1**answer

118 views

### reduction of an admissible filtration

Let $(R,m)$ be a local ring and $I$ an $m$-primary ideal of $R.$ $\lbrace I_n\rbrace_{n\in\mathbb{Z} }$ is called $I$-admissible filtration
1) if $m\geq n$ then $I_m\subset I_n.$
2) for all $m,n,$ ...

**15**

votes

**0**answers

504 views

### A short proof for $\dim(R[T])=\dim(R)+1$

For a commutative ring $R$ we clearly have $\dim(R[T]) \geq \dim(R)+1$. If $R$ is noetherian, we have equality. Every proof I'm aware of uses quite a bit of commutative algebra and non-trivial ...

**4**

votes

**0**answers

130 views

### A doubt from the paper “The diagonal subring and the Cohen-Macaulay property of a multigraded ring”

I am currently reading the paper "The diagonal subring and the Cohen-Macaulay property of a multigraded ring" by Eero Hyry. I have a doubt about the first part of Theorem 2.5. In the proof $(1)\iff ...

**18**

votes

**2**answers

2k views

### What is the geometric meaning of integral closure?

More precisely, how does one characterize integrally closed finitely generated domains (say, over C) based on geometric properties of their varieties? Given a finitely generated domain A and its ...

**2**

votes

**0**answers

63 views

### Completion of Bezout Domain a Bezout Domain?

Let $R$ be a Bezout domain, and $I$ any ideal inside of $R$. Is the $I$-adic completion
$$ \varprojlim_i R/I^i $$
necessarily a Bezout domain? If not, what conditions (on $R$ or $I$) might ensure that ...

**0**

votes

**0**answers

51 views

### stability of discriminant curve of nonsingular nets of quadrics

The following are from this question:
A pencil of quadrics in $\mathbb{P}^n$ is a line in $\mathbb{P}^N$, where $N=\frac{n(n+3)}{2}$. So the space of pencil of quadrics is the Grassmannian ...

**8**

votes

**1**answer

707 views

### Descent of regularity under a faithfully flat morphism: Where does my proof fail?

While having lunch today with my advisor I tried to come up with a proof of the following fact:
EGA 0-IV (17.3.3): Let $\phi : (A,\mathfrak{m}) \to (B,\mathfrak{n})$ be a flat local ...

**0**

votes

**2**answers

115 views

### Ideals in the I-adic completion of a ring

Let $R$ be a commutative ring; does every ideal in the $I$-adic completion of $R$
$$ \varprojlim_i R/I^i $$
arise as the $I$-adic completion of some ideal inside of the original ring $R$?

**2**

votes

**0**answers

55 views

### the annihilator of cokernel in a particular case

Let $A\in Mat(m,n;R)$ for $m\le n$ and $R$ a local ring. Consider the $mn\times(m^2+n^2)$ matrix $A\otimes 1_{nn}\oplus 1_{mm}\otimes A^T$, here $1_{mm}$, $1_{nn}$ are identity matrices. I'd like to ...

**4**

votes

**1**answer

160 views

### Vector Spaces of Symmetric Matrices of Low Rank

Let $K$ be a field, if necessary algebraic closed or of characteristic zero. Let $k$ be a positive integer. I am interested in linear subspaces $M \subseteq \textrm{Sym}_n(K)$, where ...

**2**

votes

**1**answer

108 views

### Vertices of a polytope as algebra generators

I am wondering if the following kind of objects has some name, or are there any studied examples. I apologize for perhaps too specific definition, this is an adoptation of a situation that arises in ...

**6**

votes

**0**answers

83 views

### Finiteness for separated residually finite modules

Suppose that $A$ is a commutative noetherian Jacobson ring and $M$ is an $A$-module. Suppose in addition that $M$ is $\mathfrak{m}$-adically separated for every maximal ideal $\mathfrak{m}$, and that ...

**1**

vote

**1**answer

511 views

### common roots of bivariate polynomial equations

Let $f(x,y)=0$ and $g(x,y)=0$ be bivariate polynomial equations where the polynomials have the same degree, say, $N\geq 3$. Furthermore, both of them have the same terms but different coefficients. ...

**0**

votes

**1**answer

195 views

### Initial ideal of k-th power of an ideal

Hi,
Let $I$ be an ideal in a polynomial ring $S = k[x_1, \ldots, x_n]$, where $k$ is an algebraically closed field of characteristic zero. Fix a term order on
$S$ (e.g. a lexicographic order) and ...

**9**

votes

**2**answers

1k views

### When the determinant of a 2x2 polynomial matrix is a square?

Consider a 2x2 matrix $A$ with entries from $\mathbb{C}[x,y]$. Assume that $\mathrm{det} A$ is a square. Is it true that then $A$ can be represented as a noncomuting product $A=A_1 A_2 … A_{2n}$, in ...

**2**

votes

**1**answer

227 views

### Reference for comparison of heart cohomology with standard cohomology

I'm looking for a reference for the following fact (which I believe to be true and should be easy for people who understand how spectral sequences arise from filtrations).
Let A,B be two hearts of ...

**4**

votes

**1**answer

427 views

### A weak version of Bass' conjecture

Let $A$ be a finitely generated $\mathbb{Z}$-algebra which is a UFD. Then (a special case of) the Bass conjecture states that $K_0(A)$ is a finitely generated abelian group. As far as I am aware, this ...

**4**

votes

**6**answers

2k views

### Differences between reflexives and projectives modules

Let R be a normal noetherian domain.
What is the difference between a finitely generated reflexive module and a finitely generated projective module?
Can anybody recommend any references or make ...

**2**

votes

**1**answer

145 views

### for which truth-operations f can f-membership in a prime ideal be represented by a polynomial?

Nota bene: all rings are supposed commutative with $1$ and all ring homomorphism should be unital.
Let $B$ be the set of truth values {True, False}. For a formula $\phi$ denote by $[\phi]\in B$ it's ...

**4**

votes

**1**answer

117 views

### Interpretations of differentials in hypercohomology spectral sequences as Yoneda products

I would like to know whether the differentials in a particular hypercohomology spectral sequence can each be interpreted, in some natural way, as Yoneda products between extension groups.
More ...

**5**

votes

**1**answer

155 views

### Injective flat module

Let $R$ be a (right noetherian) ring. Is there always a right $R$-module which is both flat and injective? If $R$ is an integral domain, then the answer is indeed yes, as the quotient field is such.
...

**1**

vote

**0**answers

202 views

### Global dimension of a subalgebra with all units

(All rings here are always assumed to be unital and associative).
Setup
Let $R$ be a ring, and $A$ and $B$ be $R$-algebras, with $A$ a commutative subalgebra of $B$ satisfying:
If $u$ is a unit ...

**1**

vote

**1**answer

165 views

### Can the property of essential finite type checked at a point?

Let $k$ be a field, and let $A$ be a commutative $k$-algebra which is noetherian.
Suppose that for each prime ideal $p$ of $A$, it holds that the field $k(p)$, the field of fractions of $A/p$ has ...