# Questions tagged [ac.commutative-algebra]

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

5,081 questions
Filter by
Sorted by
Tagged with
1 vote
70 views

### Vanishing theorem in local cohomology

I am using local cohomology as a blackbox and the ring I work with is commutative and Noetherian; however, is not local. Consider a commutative Noetherian ring $R$ of Krull dimension $n$. Consider the ...
66 views

### Structure of module via a ring map

Let $Q \xrightarrow{f} Q/(a) = R$ be a local ring homomorphism, where $Q$ is complete intersection local ring and $a$ is a non-zerodivisor of $Q$ and $$R^{n+1} \xrightarrow{d} R^n$$ is a module ...
281 views

### What is the intersection of all ideals whose radicals are prime?

Let a fuzzy prime be an ideal of a commutative unital ring whose radical is prime (I'm not sure if this kind of ideal already has a name). Is the intersection of all fuzzy primes $\{0\}$? Note this is ...
109 views

### Does going down property imply a corresponding map is open without "finiteness"?

Does the following proposition hold? Proposition Let f:A$\rightarrow$B be a ring homomorphism If f has going down property then the corresponding map $f^*$:Spec B$\rightarrow$Spec A is open map. I ...
1 vote
133 views

167 views

245 views

1 vote
33 views

### Intersection of (sub-)modules under Laurent and formal rings

I have a (hopefully quick) question regarding an intersection of two tensor modules. Let K be a field and $A,B$ finitely-generated modules over the Laurent series $K((X))$. Let $\tilde{A}$ be a (...
289 views

155 views

156 views

### Normal forms of ADE singularities

Given a surface $X:f(x,y,z)=0\subset \mathbb{A}^{3}_{\mathbb{C}}$ with only ADE singularities, how does one determine the correct singularity type of $X$ by computing the normal forms? Does a similar ...
86 views

### Product/intersection of two ideals

Let $I_{1}$ and $I_{2}$ be two ideals in polynomial ring $C[u,v,t]$, defined as $I_1 = \langle t-u^3, (v-u^5)^2\rangle$ and $I_2 = \langle u^{11} + v^{11} + t^{11} + 3\rangle$. Is there a method for ...
138 views

### Flat scheme-theoretic closure

Suppose $R$ is a discrete valuation ring with fraction field $K$. Let $X\subset \mathbf{P}^n_{C_K}$ be a closed subscheme, flat over $C_K$, a smooth projective curve over $K$. Let $C_R$ be a flat ...
74 views

255 views

### On the analogy between $p$-derivations and derivations

$\DeclareMathOperator\Spec{Spec}$Let $p$ be a prime number, and $A$ a commutative ring. Recall that a $p$-derivation on $A$, or a $\delta$-ring structure on $A$ is a set map $\delta : A \to A$ such ...
112 views

### Are maps into a smooth curve equivalent to relative effective Cartier divisors?

Let $X$ be a smooth curve and $S$ an affine scheme, both over an algebraically closed field $k$. Given a morphism $f : S \to X$, is it true that the graph morphism $\Gamma_f : S \to X \times S$ is a ...
1k views

### Why the stable module category?

Let $R$ be a ring (usually assumed to be Frobenius). The stable module category is what you get when you take the category $\mathsf{Mod}_R$ of $R$-modules, and kill the projective modules. (Of course, ...
197 views

### Examples of stretched artinian local ring

In Sally's Paper stretched artinian local ring is defined as : Let $(R, \mathfrak{m})$ be an Artin local ring of length $\lambda.$ If $\nu$ is the embedding dimension of $R$, that is, $\nu$ is the ...
515 views

### Is there a Hopf algebra-style description of chain complexes?

An old chestnut is that filtered objects are the same as sheaves over $\mathbb A^1 / \mathbb G_m$. Question: Is there a similar description of chain complexes? More precisely, if $\mathcal C$ is a ...
80 views

### Kouchnirenko's theorem for non-generic polynomials

In Polyèdres de Newton et nombres de Milnor (Theorem 1.18), Kouchnirenko proved that given Laurent polynomials $f_1, \dotsc, f_k$ in $k$ variables, the number of isolated solutions is less than or ...
102 views

### Intersection numbers of moduli spaces and noncrossing partitions

The coefficients of the monomials $u_1^{e_1}u_2^{e_2} \ldots u_n^{e_n}$ of the partition polynomials (ParPs) $[M=M1]$ on pg. 831 of The Handbook of Mathematical Functions by Abramowitz and Stegun are ...
103 views

### Is there a good notion of higher-rank archimedean norm?

Let $K$ be a field. I think I know what a norm (archimedean or not) $|-| : K \to \mathbb R_{\geq 0}$ is. In the case where the norm is nonarchimedean, it's equivalent to the data of a valuation of ...
137 views

### Intersection of two modules (and sub-modules) under tensors

I have a (hopefully quick) question regarding an intersection of two tensor modules. Let $K$ be a field and $A, B$ finitely-generated modules over the Laurent series $K((X))$. Let $\tilde{A}$ be a (...
612 views

161 views

99 views

### When do there exist $n$ commuting, derivations which locally generate $T_{A/k}$ as an $A$-module?

Let $\operatorname{Spec}(A)$ be a non-singular, $n$-dimensional, affine variety over a field $k$ of arbitrary characteristic. For the definition of "variety" I use Hartshorne's ...
714 views

### Excellent property of rings

Let $A$ be a commutative ring. If $A$ is an excellent ring, is the reduced ring $A/\sqrt{(0)}$ also an excellent ring?
201 views

### Log associahedra and log noncrossing partitions--raising ops and symmetric function theory for $A_n$ (references)

Where do the following three sets $[LA]$, $[ILA]$, and $[LN]$ of partition polynomials appear in the literature? There are two sets of partition polynomials, not in the OEIS, that serve as the ...
235 views

### Modulo $x^2 + y^2 - 1$, is every homogeneous polynomial that is a square of a polynomial, necessarily of sum of squares of homogeneous polynomials?

I am hoping this question is alright for Math Overflow. I didn't get a definitive solution in Math Stack Exchange. Let $f(x, y) \in \mathbb{R}[x, y]$ be a homogeneous polynomial with real coefficients ...
220 views

### Determining when quotient of a polynomial ring is a Gorenstein ring

I would like to be able to look at the ring $R=\mathbb{Z}[x_1,x_2,\ldots,x_n]/\mathcal{I},$ where $\mathcal{I}$ is generated by a finite number of monomials and say whether $R$ is a Gorenstein ring. ...
1 vote
Let $(R, \mathfrak{m})$ be a local (Noetherian) ring containing the rationals. Then the formal power series ring $\mathbb{Q}[[x_1, \ldots, x_n]]$ naturally forms a subring of $R[[x_1, \ldots, x_n]]$. ...
### A sequence of polynomials that the variety defined by every $n$ of them is small
Let $\mathbb{C}[x_1,x_2,\cdots,x_n]_{= d}$ denote the set of polynomials in $\mathbb{C}[x_1,x_2,\cdots,x_n]$ of total degree $d$. Is there exists a sequence of polynomials $f_1,f_2,f_3,\cdots$ in \$\...