# Questions tagged [ac.commutative-algebra]

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

5,035
questions

0
votes

0
answers

54
views

### Testing whether a finite dimensional algebra is a complete intersection with QPA

Let $A$ be a local commutative finite dimensional $K$-algebra for a field $K$.
We can thus assume that $A$ is given by quiver and admissible relations $KQ/I$.
It is easy to check when $A$ is ...

4
votes

1
answer

189
views

### For a local complete intersection ring $(R,\mathfrak m)$ with $\mathfrak m^3=0\ne \mathfrak m^2$, $\mathfrak m$ can be generated by two elements

Let $(R,\mathfrak m,k)$ be a local complete intersection ring with $\mathfrak m^3=0\ne \mathfrak m^2$. As $0\ne \mathfrak m^2 \subseteq \text{soc}(R)$ and $R$ is Gorenstein, so we get $\mathfrak m^2 =\...

7
votes

1
answer

320
views

### Has anyone attempted to generalize the notion of a higher differential of $ A $ and the sheaf of differentials $ \Omega_{A/k} $?

Over a field $ k $ of characteristic zero, actions of $ \widehat{\mathbb{G}_{a}} $ on a variety $ \operatorname{Spec}(A) $ are obtained from $ A $-derivations $ \delta $ of $ A $ over $ k $ via the co-...

0
votes

0
answers

65
views

### f.g. module $M$ over a complete local CM ring of dimension 1 such that $M, \text{Hom}_R(M,M), \text{Ext}^1_R(M,M)$ have finite injective dimension

Let $(R,\mathfrak m)$ be a local, $\mathfrak m$-adically complete, Cohen-Macaulay ring of dimension $1$. Assume that there exists a finitely generated $R$-module $M$ of depth $0$ such that $M$, $\text{...

12
votes

1
answer

313
views

### Are algebras of smooth functions formally smooth?

Let $M$ be a manifold. Then is the ring of smooth functions $C^\infty(M,\mathbb{R})$ formally smooth over $\mathbb{R}$?
If it helps, feel free to assume that $M$ is compact.
(This is not a joke ...

0
votes

1
answer

89
views

### On $\text{depth}_S\left(\dfrac {S}{JS+xS}\right)$, when $\text{depth}_R(R/J)=0$, and $R\to S$ is a certain flat map of local rings

Let $(R, \mathfrak m) \xrightarrow{\phi} (S,\mathfrak n) $ be a flat homomorphism of local rings such that $\mathfrak n=\mathfrak m S +xS$ for some $x\in \mathfrak n \setminus \mathfrak n^2$. Let $J$ ...

2
votes

0
answers

145
views

### Commutative local rings which satisfy Krull-Remak-Schmidt

Question 1: Can the class of local (always noetherian and commutative) rings be classified for which the Krull-Remak-Schmidt theorem (KRS) holds for finitely generated modules? They contain for ...

3
votes

1
answer

324
views

### Is there an analogue of the module of differentials for "higher order derivations" in the Hochschild/cyclic senses?

Note added by YC: the definition below of the cyclic sub-complex is incorrect; and the "higher order derivations" referred to here are traditionally known (since the 1940s) as n-cocycles.
$\...

2
votes

1
answer

215
views

### Is $\Gamma(U,\mathscr{O}_{X})$ a finitely generated $\Gamma(X,\mathscr{O}_{X})$-algebra?

Let $X$ be a scheme of finite type over $\mathrm{Spec}(A)$, where $A$ is a commutative ring. Let $U\subset X$ be any open subset, is $\Gamma(U,\mathscr{O}_{X})$ a finitely generated $\Gamma(X,\mathscr{...

1
vote

1
answer

88
views

### Projectivity of the fundamental ideal of Witt groups

Suppose $k$ is a field. I wonder when the Witt ring of the quadratic forms $\textbf{W}(k)$ has a projective fundamental ideal, which is the kernel of the rank modulo 2 morphism. Here I want a ...

6
votes

2
answers

170
views

### For which fields $k$ with $k^\times$ not $p$-divisible, does there exist finite $l/k$ such that $l^\times$ is $p$-divisible?

Is there a prime $p$ and a field $k$, not real closed, with $k^\times$ not $p$-divisible, such that there exists a finite extension $l/k$ such that $l^\times$ is $p$-divisible?
This question came up ...

3
votes

0
answers

62
views

### Example of a secondary representation of a module that is not a direct sum

Let $A$ be a commutative ring. An $A$-module $M$ is said to be
secondary if $M\neq 0$ and for each $a\in A $, the endomorphism
$\phi_a:M\to M$ defined by $\phi_a(m)=am$ for $m\in M$ is either
...

1
vote

0
answers

120
views

### Smooth surjective morphism to integral scheme

Suppose that $f : X \rightarrow Y$ is a smooth (or even étale) surjective morphism over a field $k$ to a scheme $Y$ of finite type over $k$.
I want to show that $X$ is locally integral, i.e. (in the ...

2
votes

0
answers

65
views

### Does there exists a "local slice" for an action $ \widehat{\mathbb{G}_{a}} $ on $ \operatorname{Spf}(\widehat{A}) $ (char zero)?

Every action $ \beta $ of $ \mathbb{G}_{a} $ on a variety $ \operatorname{Spec}(A) $ over a field of characteristic zero is obtained from a locally nilpotent derivation $ \delta $ via $ f(t_{0} \ast x)...

6
votes

1
answer

114
views

### Commutative Frobenius algebra with non-invertible window element, but not square zero

For any commutative Frobenius algebra $A$ there is an associated window element $\omega \in A$. If $\mu: A \otimes A \to A$ denotes the multiplication, $1 \in A$ the unit, $b: A \otimes A \to k$ the ...

1
vote

0
answers

164
views

### Does analytic isomorphism imply local isomorphism?

If $ \mathfrak{p} $ is a (not necessarily closed) point of a variety $ \operatorname{Spec}(A) $, and $ \mathfrak{q} $ is a (not necessarily closed) point of a variety $ \operatorname{Spec}(B) $ such ...

1
vote

0
answers

46
views

### Existence of a minimal ideal with a specific property

Suppose that $R$ is a super-commutative ring (i.e. it is a unital $\mathbb{Z}_2$-graded ring satisfying $xy=(-1)^{|x|\cdot |y|}yx$ where $|x|$ denotes the grading degree of a homogeneous element $x\in ...

1
vote

0
answers

66
views

### Situations where extension of contraction is well-behaved?

It is known that one cannot expect the extension of the contraction of an ideal under a ring homomorphism $f:A\to B$ to be the original ideal, except in very special scenarios like surjections or ...

26
votes

2
answers

2k
views

### Uniqueness of the "algebraic closure" of a commutative ring

There are several ways to generalize the notion of "algebraic closure" from fields to arbitrary commutative rings. A good overview is On algebraic closures by R. Raphael. I am more ...

1
vote

0
answers

117
views

### $K_1(k[x]/(x^2))$ for a field $k$

$\DeclareMathOperator\GL{GL}$The definition of $K_1$ is stated in "The K-book" by Charles Weibel as a quotient of $\GL(R)$, where $\GL(R)$ is the union of the sequence $R^{ \times} = \GL_1(R)...

7
votes

0
answers

141
views

### Ring of invariants for graph automorphism

$\DeclareMathOperator\Aut{Aut}$Let $G$ be a finite simple graph with nodes numbered $1$ to $n$. Attach variables $x_1, ..., x_n$ to nodes. The graph automorphism group $\Aut G$ acts on nodes by ...

8
votes

1
answer

262
views

### On actions of finite groups on adic spaces

Let $K$ be an algebraically closed complete non-archimedean field and consider the unit ball $\mathbb{B}^{1}_{K}=Sp(K\langle t\rangle)$. We have an action of $\mathbb{Z}/2\mathbb{Z}$ on $\mathbb{B}^{1}...

0
votes

0
answers

43
views

### Linear resolution in quotient ring

Say $I$ is a homogeneous monomial ideal in the polynomial ring $S = k[x_1,...x_n]$ with a linear resolution (over $S$). Consider the quotient ring $R = k[x_1,...,x_n]/(x_1^2,...,x_n^2)$. This is my ...

13
votes

2
answers

347
views

### Tensor product of finite type UFD algebras over an algebraically closed field is again UFD?

Let $K$ be an algebraically closed field, $A$ and $B$ two finite type $K$-algebras which are assumed to be UFD. Is $A \otimes_K B$ again a UFD?
This question has been already asked here and here, but ...

3
votes

0
answers

164
views

### Is there any analogue of $\pi$ for non-Archimedean Euclidean fields?

Let us recall that a Euclidean field is an ordered field in which every positive element has a square root. Given a Euclidean field $F$, we can consider the ``Euclidean'' plane $F^2$ endowed with the ...

3
votes

1
answer

298
views

### What is a PBW algebra? (I.e., an algebra generalising properties of $U(\frak{g})$)

I am reading a paper where they refer to a certain algebra as a PBW algebra. What does this mean exactly? I would infer from the $U(\frak{g})$ setting that this means the existence of an ordered ...

2
votes

1
answer

177
views

### Invariants of the group algebra of a finite group

Consider a finite group $G$ and its complex group algebra $V_G$, on which $G$ acts. I would like to know: what are the polynomial $G$-invariants of $V_G$ i.e., the polynomial functions $p\in \mathbb{C}...

5
votes

0
answers

146
views

### Do quasi-excellent rings have a good constructive definition?

$\DeclareMathOperator\Sh{Sh}$Informally, a quasi-excellent ring is a Noetherian ring with a few technical extra regularity conditions that make it turns out to be the largest class of rings that allow ...

2
votes

0
answers

121
views

### On the generalization of a Cech-to-sheaf type spectral sequence

Let $(X,O_{X})$ be a ringed space and $\mathcal{F^{\bullet}}$ be a bounded below complex of $O_{X}$-modules on $(X,O_{X})$. On [Stacks Project 20.25.1][1] it is shown that there is a weakly convergent ...

3
votes

0
answers

79
views

### Checking the generic rank of a matrix

Suppose that $A,B\in M_{p,q}(\mathbb{Z})$ are two rectangular integer matrices of the same size. Suppose that one has a conjecture stating that the rank of the matrix $A+tB$ for Zariski generic values ...

6
votes

0
answers

56
views

### Vector algebra in a Tarski space

By a Tarski space I understand a mathematical structure $(X,B,E)$ consisting of a set $X$, a ternary betweenness relation $B\subseteq X^3$ and a 4-ary equidistance relation $E\subseteq X^2\times X^2$ ...

2
votes

0
answers

159
views

### Ring homomorphisms from the commutative ring into $\mathbb{Z}_2$

$\DeclareMathOperator\Hom{Hom}\DeclareMathOperator\Spec{Spec}$Let $A$ be a commutative ring not necessarily with unit and $\mathbb{Z}_2 =\{0,1\}$ be the field of two elements. I am looking for a paper ...

1
vote

1
answer

118
views

### Finitely generated module, which is a virtually small complex, embeds into a module of finite projective dimension?

Let $R$ be a commutative Noetherian ring, and let $\text{mod } R$ denote the abelian category of finitely generated $R$-module. Consider the bounded derived category $D^b(\text{mod } R) $ which is a ...

6
votes

1
answer

251
views

### The algebraic structure of a line in a (Tarski) plane

By a Tarski plane (resp. plane) I understand a mathematical structure $(X,B,\equiv)$ consisting of a set $X$, a ternary betweenness relation $B\subseteq X^3$ and the 4-ary congruence relation ${\equiv}...

13
votes

1
answer

575
views

### Can a Dedekind domain have a power basis over a ring that isn't a Dedekind domain?

This aim of this question is to determine whether there exists a proof (or some counterexample) to the following statement : "If $R$ is a subring of Dedekind domain $S$, such that $S$ has a power ...

4
votes

0
answers

101
views

### Classification of 2-periodic triangulated categories

Let $T$ be an algebraic triangulated (k-linear over a field, Hom-finite, idempotent-complete) category. Call $T$ 2-periodic if $\Omega^2(X) \cong X$ for all $X \in T$.
Question 1: Is there a ...

1
vote

1
answer

120
views

### When is $R$ a direct summand of Frobenius pushforwards?

Let $(R,\mathfrak m)$ be a reduced Noetherian local ring of prime characteristic $p$. For integer $e>0$, let $F^e_* R$ denote the $R$-module which is $R$ as an abelian group, but the $R$-module ...

4
votes

1
answer

409
views

### Top local cohomology - recommendations

I need some background in local cohomology to read a certain paper, which exploits the structure of the top local cohomology. Even after acquainting myself to local cohomology, I fail to understand ...

0
votes

0
answers

109
views

### Is a closed subsecheme contained in a Cartier divisor?

Let $X$ be a variety over a field $k$. For a closed subscheme $Z\hookrightarrow X$ and a closed point $x\in X$ such that $\text{codim}_XZ \geq 1$ and $x\notin |Z|$, is there an effective Cartier ...

0
votes

1
answer

60
views

### Grobner basis of a submodule of a free module over polynomial ring

Let $A=\mathbb{Q} [x_1,\dots,x_n]$ be the ring of polynomials with rational coefficients. Let $T$ be an $m\times n$ matrix with entries from $A$. Consider it as a morphism of $A$-modules $T\colon A^n\...

3
votes

0
answers

268
views

### Extending reals with logarithm of zero: properties and reference request

If we take logarithmic function, we can see that its real part at zero approaches negative infinity with the same rate and sign from any direction on the complex plane, while the Cauchy main value of ...

0
votes

0
answers

48
views

### What commutative algebra is used in computer computation of kernel of polynomial matrix?

Let $A=\mathbb{Q}[x_1,\dots, x_n]$ be the polynomial ring with rational coefficients. Let $T$ be a matrix of size $m\times n$ with entries from $A$. It can be considered as a morphism of $A$-modules $...

1
vote

1
answer

87
views

### A question on curves on effective divisors

Let $X$ be a smooth projective variety over $\mathbb{C}$ with $\dim X=3$ and $\mathrm{Pic}(X)=\mathbb{Z}\cdot D$, where $D$ is a very ample effective Cartier divisor on $X$. Let $Z$ and $C$ be two ...

5
votes

1
answer

319
views

### On the noetherianess of some subalgebras of an affinoid algebra

$\DeclareMathOperator\Sp{Sp}$Let $X=\Sp(A)$ be a connected smooth affinoid rigid space over a discretely valued non-archimedean field $K$. Let $\mathcal{R}$ be a valuation ring of $K$, and fix a ...

3
votes

0
answers

65
views

### Non-tree models of Lagrange inversion polynomials

The specific Lagrange inversion / series reversion polynomials (LIPs) I'm addressing are illustrated in OEIS A134685 with a general linear term and in Lang's pdf for A176740 with the coefficient of ...

5
votes

0
answers

130
views

### Nullstellensatz with nilpotents and $I=J(V(I))$

Let $R$ be the ring $$\mathbb{R}[t_1,t_2\ldots]/(t_1^2,t_2^2,\ldots)$$
Let $p_1,\ldots p_\ell$ be polynomials in $R[x_1,\ldots,x_n]$ whose constant terms are 0.
Let $f$ be a polynomial which is zero ...

6
votes

1
answer

237
views

### When can we choose non-zero-divisor $x\in \mathfrak m$ in a reduced local ring $(R,\mathfrak m)$ such that $R/xR$ is also reduced?

Let $(R,\mathfrak m)$ be a local Cohen-Macaulay reduced ring of dimension at least $2$. Then, can we find a non-zero-divisor $x\in \mathfrak m$ such that $R/xR$ is again a reduced ring?
If needed, I ...

1
vote

0
answers

34
views

### Lifting module homomorphisms imposing conditions on characteristic polynomials

Suppose that we are in the setting described in the first two paragraphs of this MSE post. My question wants to deal with an instance of the study of the amount of freedom that the choice of the ...

2
votes

0
answers

138
views

### Intersection theory on normal crossing algebraic surfaces

Let $X$ be an algebraic surface with normal crossing singularities. Suppose the singular locus of $X$ is a smooth curve. Let us denote it by $C$. Suppose $D$ is another smooth curve in $X$ which ...

4
votes

2
answers

464
views

### Are algebraic groups over algebraically closed fields Cohen–Macaulay?

$\DeclareMathOperator\CM{CM}\DeclareMathOperator\Spec{Spec}$Let $k$ be an algebraically closed field and let $G$ be an algebraic group over $k$.
My question: is $G$ Cohen–Macaulay? If not, are there ...