# Questions tagged [ac.commutative-algebra]

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

3,688 questions
157 views

159 views

### Is a factorial scheme with Noetherian stalks locally Noetherian?

Motivation: The Oka's coherence theorem tells us that the structure sheaf of a complex manifold is coherent. Taking into account the fact that coherence is a local property stable under finite direct ...
158 views

### Maximal subalgebras in polynomial ring $\mathbb{R}[x]$ over the field $\mathbb{R}$ of real numbers

Question. What are the maximal subalgebras of polynomial ring $\mathbb{R}[x]$ over the field of real numbers?
58 views

### example of a non-finitely generated co-Hopfian module over a commutative QF ring

Can anyone provide an example of such a module? or show that no such module exists? For semisimple rings, we have co-Hopfian if and only if finitely generated. Perhaps the fact that QF rings (...
305 views

196 views

### $2$-adic valuation on $\mathbb Q (\sqrt{-15})$

I was reading the book "The structure of groups of prime power order". In the book (page 226, Example 10.1.18) it is proved that $-15$ has a square root is $\mathbb Z_2$ where $\mathbb Z_2$ denotes ...
102 views

### Tensoring with complex of finite flat dimension in derived category

Let $(R,m)$ be a Noetherian local ring, and $X$, $Y$ be complexes of finitely generated $R$ modules. Suppose $X$ is bounded above and $Y$ is bounded below. Let $S$ be an $R$-algebra of finite flat ...
451 views

168 views

### Is there a “minimal” center of a blowup?

Let $X$ be a scheme, let $i : Z \to X$ be a closed subscheme, let $Y := \mathrm{Bl}_{Z}(X)$ be the blowup of $X$ at $Z$ with projection $\pi : Y \to X$. Suppose $U \supseteq X \setminus Z$ is an open ...
229 views

### The Jacobian Conjecture over a commutative $\mathbb{Q}$-algebra which is not an integral domain

Let $R$ be a commutative $\mathbb{Q}$-algebra which is not an integral domain, for example: $R=\frac{\mathbb{Q}[t]}{(t^2-1)}$. Let $k$ be an algebraically closed field of characteristic zero, and let ...
58 views

### Monoidal structure on left dg-modules over a brace algebra

Relating to my other question: Modules over Hopf Algebras and $E_2$-algebras Preliminary: Let $A$ be an associative dg-algebra that is also an algebra over the brace operad. Let $M$ and $N$ be left ...
191 views

### The Locus of Complete Intersection Points

Let $X$ be an algebraic variety over an algebraically closed field. Consider the two subsets $X_0\subseteq X_1 \subseteq X$: X_0 = \{a\in X| a \mbox{ is a scheme-theoretic complete intersection in }...
45 views

### Hilbert series of filtered algebras

Let $R=\mathbb{Q}[x_1,x_2,\ldots,x_n]$ and $I$ a non-homogeneous ideal of $R$. Then the algebra R/I is filtered. It has an associated graded algebra gr(R/I). Let $I_1$ be the initial ideal of $I$, ...
159 views

### Example of variety which is not a complete intersection with respect to any projective embedding

Suppose $X$ is a smooth projective variety. Whether $X$ is a complete intersection or not when viewed as a subvariety of some projective space $\mathbb P^n$ is dependent on the specific choice of the ...
176 views

### Is the annihilator of a minimal prime ideal principal?

My setup is as follows: $X$ is a projective, reduced curve (which is not integral) with a finite morphism onto $\mathbb{P}_k^1$. $\DeclareMathOperator{\Ann}{Ann}$ Let $R$ be a coordinate ring of $X$ ...
369 views

### Ring of invariants of some special type of subgroups of $GL_3(\mathbb C)$

For $\sigma \in \mathrm{GL}_n(\mathbb C)$ and $f(x_1,...,x_n)\in \mathbb C[x_1,...,x_n]$, let $f^ \sigma (x):=f(\sigma^{-1}x)$, for $x=(x_1,...,x_n)$. For a subgroup $G$ of $\mathrm{GL}_n(\mathbb C)$...
380 views

### Emanuel Lasker, Max Noether, and Emmy Noether

In 1900, Emanuel Lasker (world chess champion from 1894 to 1921) received his Ph.D. under Max Noether. In 1905, Lasker published a theorem that Emmy Noether generalized in 1921, now well known as the ...
122 views

### How much can a map $R^n\to R^n$, $R$ a DVR, increase the valuation?

Let $R$ be a DVR, and $f:R^n\to R^n$ a map. Suppose $f(r_1,\dots,r_n)=(s_1,\dots,s_n)$, and write $d=\min(v(s_1),\dots,v(s_n))$, where $v$ is the valuation on $R$. Knowing $d$, what is the best bound ...
313 views

### Noetherian spectral space comes from noetherian ring?

Let $X$ be a spectral space (en.wikipedia.org/wiki/Spectral_space), i.e. a space of the form $\textrm{Spec}(A)$ for some commutative ring $A$. If $X$ is noetherian, does there also exist a noetherian ...
154 views

### Skew-symmetric multi-derivations of $k[x_1,…,x_n]/I$

Let $I = \langle f_1, \ldots f_r \rangle$ be an ideal in $R=k[x_1,\ldots,x_n]$ where $k$ is a field, and put $A = R/I$. (If $I$ is prime then $A$ is the coordinate ring of an irreducible affine ...
232 views

### Coordinate ring of complete intersection Calabi Yau (CICY)

EDIT: If the question is for SE level just delete from here as it is also posted there. In fact I have seen some questions in SE regarding the coordinate rings of product of projective varieties but ...
122 views

### tangent space to a (not necessarily algebraic/Lie/..) group

Are there some standard ways to define the tangent space to a group $G$ at its unit element, $e$, when the group is not (pro)algebraic/(pro)Lie, not necessarily over a field, does not have the ...
70 views

### Support of Matlis dual

Let $(A,m)$ be a commutative noetherian local ring, $E$ the injective hull of $A/m$, and $M$ a finitely generated $A$-module. What is the connection between the support of $M$ and the support of the ...
317 views

### Divided power algebra is artinian as a module over the polynomial ring

I already asked this on math.stackexchange.com, but did not receive much responses. I hope this is also appropriate for mathoverflow. In the paper Homological algebra on a complete intersection, with ...
202 views

### $f,g \in \mathbb{Z}[x,y]$ satisfying: $\operatorname{Jac}(f,g)=0$ and $f,g \notin \mathbb{Z}[h]$ for every $h \in \mathbb{Z}[x,y]$?

Is it possible to find $f,g \in \mathbb{Z}[x,y]$ (with $\deg(f),\deg(g) \geq 1$) such that the following two conditions are satisfied: (1) $\operatorname{Jac}(f,g)=f_xg_y-f_yg_x = 0$. (2) ...
### Noetherian local ring and the growth of $\dim_k \operatorname{Ext}^i(k,k)$
Let $A$ be a noetherian local ring with residue field $k$, one can consider $\operatorname{Ext}^i(k,k)$ for every natural number $i$. If it is zero for large $i$, then $A$ is regular and the converse ...