Questions tagged [ac.commutative-algebra]

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

1,057 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
42
votes
0answers
985 views

Enriched Categories: Ideals/Submodules and algebraic geometry

While working through Atiyah/MacDonald for my final exams I realized the following: The category(poset) of ideals $I(A)$ of a commutative ring A is a closed symmetric monoidal category if endowed ...
26
votes
0answers
571 views

The field of fractions of the rational group algebra of a torsion free abelian group

Let $G$ be a torsion free abelian group (infinitely generated to get anything interesting). The group algebra $\mathbb{Q}[G]$ is an integral domain. Let $\mathbb{Q}(G)$ be its field of fractions. ...
23
votes
0answers
355 views

On the definition of regular (non-noetherian, commutative) rings

All rings are commutative with unit. A ring $R$ is called regular if it satisfies (Reg) Every finitely generated ideal of $R$ has finite projective dimension. Clearly this gives the usual ...
21
votes
0answers
455 views

CH and automorphisms of ultrapowers of $\mathbb{Z}$ and $\mathbb{R}$

Notation and motivation. Given an algebraic structure $\mathbb{M}$ of cardinality at most the continuum and with countably many operations, and a nonprincipal ultrafilter $\cal{U}$ on a countably ...
18
votes
0answers
314 views

Deforming a basis of a polynomial ring

The ring $Symm$ of symmetric functions in infinitely many variables is well-known to be a polynomial ring in the elementary symmetric functions, and has a $\mathbb Z$-basis of Schur functions $\{S_\...
18
votes
0answers
1k views

Two conjectures by Gabber on Brauer and Picard groups

In a paper I need to make reference to 2 conjectures by Gabber (see Conjectures 2 and 3, page 1975) http://www.mfo.de/programme/schedule/2004/32/OWR_2004_37.pdf 1) Let $R$ be a strictly henselian ...
17
votes
0answers
470 views

Rigid Non-archimedean Real Closed Fields

Question. Is there a countable rigid non-Archimedean real closed field? Background: As usual, a structure is said to be rigid if the only automorphism of the structure is the identity map. It is ...
16
votes
0answers
396 views

Are dualizable modules finitely generated?

Let $A$ be a commutative noetherian ring, and assume that $A$ has a dualizing complex $R$. Let $D(-) := \operatorname{RHom}_A(-,R)$ be the associated dualizing functor, and let $M$ be an $A$-module. ...
16
votes
0answers
1k views

monomorphisms and epimorphisms of local rings

I want to understand the structure of monomorphisms/epimorphisms in the category of local rings (with local homomorphisms), or dually in the category of local schemes. Let $LR$ denote this category. ...
15
votes
0answers
469 views

What are retracts of polynomial rings?

Is there a known example of a ring endomorphism $f: \mathbb{Z}[x_1, \ldots, x_n] \to \mathbb{Z}[x_1, \ldots, x_n]$ such that $f \circ f = f$ but whose image is not isomorphic to a polynomial ring? ...
15
votes
0answers
594 views

Bloch-Kato conjecture and Wiles' numerical criterion

I already asked this question some days ago on https://math.stackexchange.com/questions/158747/bloch-kato-conjecture-and-wiles-numerical-criterion but didn't receive any response. In the ...
14
votes
0answers
460 views

(When) is isomorphism on differentials enough to guarantee that a map is étale?

I'm sorry if this is too easy for MO. Let $S$ be a locally noetherian scheme, flat over $\mathrm{Spec}\,\mathbb{Z}$, $X$ and $Y$ be flat $S$-schemes locally of finite presentation, and let $f:X\to Y$ ...
14
votes
0answers
717 views

Countable Hom/Ext implies finitely generated

Today I learned this interesting fact from Jerry Kaminker: If $A$ is an abelian group such that $\mathrm{Hom}(A,\mathbb{Z})$ and $\mathrm{Ext}(A,\mathbb{Z})$ are both countably generated, then in fact ...
14
votes
0answers
811 views

Frobenius upper shriek/flat of a dualizing complex

Let $X$ be a separated connected scheme of characteristic $p > 0$. I am going to assume that $F : X \to X$ (the absolute Frobenius) is a finite map. This condition is called being $F$-finite. ...
13
votes
0answers
315 views

Hensel lemma and rational points in complete noetherian local ring

Let $A$ be a complete noetherian local ring and $\mathfrak{m}$ be its maximal ideal. If we have several polynomials $f_i \in A[X_1, \dots, X_m]$ which have a common zero $x_n$ in $A/\mathfrak{m}^n$ ...
13
votes
0answers
357 views

If a polynomial ring is a finite flat module over some subring, is that subring itself a polynomial ring?

A question motivated by If a polynomial ring is a free module over some subring, is that subring itself a polynomial ring? and If a polynomial ring is finite free over a subring, is the subring ...
13
votes
0answers
226 views

Concept associated to the Eudoxus reals

I am aware of three different constructions of the field of real numbers : The Cauchy sequence construction : in this case, we see the field $\mathbb{Q}$ as a metric space and $\mathbb{R}$ is the ...
13
votes
0answers
412 views

comparison of completion and Henselization in class field theory

Given a ring $R$ with maximal ideal $\mathfrak{m}$, we can form the localization $R_\mathfrak{m}$, the completion $\hat{R}_\mathfrak{m}$ or the Henselization $\hat{R}^h_\mathfrak{m}$ of $R$ with ...
13
votes
0answers
448 views

Refinement of concept of support of a module

My rings are commutative and noetherian. The support of a module is usually defined to be the set of prime ideals of the ring such that localization at that prime does not make the module zero. This ...
12
votes
0answers
392 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 ...
12
votes
0answers
233 views

Connections in terms of tangent ($\infty$-)categories?

Given a commutative ring $k$ and a commutative $k$-algebra $A$, we know that the Kähler differential $\Omega_{A/k}^1$ could be described through machineries of tangent categories (see, for example, ...
12
votes
0answers
497 views

A commutative monoid associated with a finite abelian group

Let $M$ be a finite abelian group, and denote by $e_m$, for $m \in M$, the canonical basis of $\mathbb{Z}^M$. For $m, n \in M$ define elements $v_{m,n} \in \mathbb{Z}^M/\langle e_0\rangle$ as $$ v_{m,...
11
votes
0answers
311 views

“Small” zero divisors in $\mathbb C[\mathbb Z/p\mathbb Z]$

If $p$ is a prime, and $a,b$ are non-zero elements of the group algebra $\mathbb C[\mathbb Z/p\mathbb Z]$ satisfying $a\ast b=0$, then $$|{\rm supp}\ a|+|{\rm supp}\ b|\ge p+2.$$ This is easy to prove ...
11
votes
0answers
545 views

A slick proof (?) of Zariski-Nagata purity in characteristic $p$

I am trying to understand the MathSciNet review written by Mark Kisin of the paper "Almost etale extensions" of Faltings. There Kisin illustrates Faltings' approach to the almost purity theorem with ...
11
votes
0answers
235 views

How useful is knowing every torsionfree $\mathcal O(D)$ module is flat?

One of the corollaries of Weiertrass' factorization theorem plus the theorem of Mittag Leffler is that $\mathcal O(\Bbb C)$, more generally $\mathcal O(D)$ for some region $D$ is such that every ...
11
votes
0answers
601 views

What is the state of art in Groebner bases

How big polynomial systems can we deal with? How do you know when you don't even have to try? Motivation: Recently I tried to solve a problem posed in another MO question and ultimately I got stuck ...
11
votes
0answers
282 views

Subrings of invariants in divided power algebras

I am wondering to what extent the functors "ring of invariants under a group action $G$" and "divided power envelope with respect to a $G$-stable ideal" commute. To be precise, let $R$ be a ...
11
votes
0answers
1k views

Reverse mathematics strength of identically zero polynomials are the zero polynomial

According to wikipedia, the statement "every polynomial over a countable field that is not the zero polynomial has only finitely many roots" is equivalent to RCA0 over RCA0* (which is called ERCA-0 in ...
11
votes
0answers
446 views

Are the supports of $Ext^i(M,N)$ eventually periodic?

Let $R$ be a Noetherian, commutative ring and $M,N$ be finitely generated $R$-modules. Question: Do the sets of minimal primes of $\text{Ext}^i_R(M,N)$ (for a fixed pair of $M,N$) become periodic ...
10
votes
0answers
719 views

What is the etale fundamental group of Spec Z((x))?

I know the etale fundamental group of $\mathbb{Z}$ is trivial. For algebraically closed fields $K$, the etale fundamental group of $K((x))$ is $\hat{\mathbb{Z}}$, since all covers in this case are ...
10
votes
0answers
246 views

Is the generation of rings by their units a question in K-theory?

Susan's question When can number rings be spanned (as $\mathbb{Z}$-modules) by units? smells like an algebraic K-theory question in disguise. I'll reformulate the question first: Given an integral ...
10
votes
0answers
2k views

Finding ideals of $\mathbb{Z}[x]$ generated by $n$ elements and no fewer

As the title says, I'm trying to find ideals of $\mathbb{Z}[x]$ generated by $n$ elements and no fewer. I suspect $(2^k, 2^{k-1} x, 2^{k-2} x^2, ..., x^k)$ is generated by no fewer than $n=k+1$ ...
9
votes
0answers
205 views

Triangle $X'\to X\to X''\to\Sigma X'$ splits if $X\simeq X'\oplus X''$?

Given a commutative ring $R$ and a distinguished triangle $X'\to X\to X''\xrightarrow e\Sigma X'$ in the derived category $D(R)$, where $X',X,X''$ are perfect complexes. If we have an equivalence $X\...
9
votes
0answers
207 views

Is $[JK:(x)][JK:(y,z)]\subseteq JK$ in $k[x,y,z]$?

Let $k$ be a field and $S=k[x,y,z]$. Let $m=(x,y,z)$ and $J,K\subseteq m$ be proper homogeneous ideals in $S$. Is this true that we always have: $$[JK:(x)][JK:(y,z)]\subseteq JK \ ?$$ Some ...
9
votes
0answers
146 views

Irreducibility of the Sylvester resultant

If $r$ and $s$ are positive integers, $R$ a commutative ring and $a_0,\dots,a_r$, $b_0,\dots,b_s$ independent variables, we can consider the polynomials $f=\sum_{i=0}^ra_iX^i$ and $g=\sum_{j=0}^sb_iX^...
9
votes
0answers
206 views

Has anyone seen this construction of dg algebras?

Let $A$ be an associative algebra, $M$ a right $A$-module. Suppose we are given an $A$-module homomorphism $M \to A$. Then we can make $M$ itself into an associative algebra via the multiplication $$ ...
9
votes
0answers
311 views

Abelian categories have become the language of homological algebra. Why haven't Zariski categories become the language of commutative algebra?

I'm not seeing much mention of Zariski categories in the literature. There is no article on Zariski categories in nLab, which would seem to be an obvious place to have such an article. What has ...
9
votes
0answers
146 views

When is the rank 2 free metabelian group of exponent $n$ center free?

Let $M_n$ be the rank 2 free metabelian group of exponent $n$. For which $n$ is $M_n$ center-free? The abelianization $M_n^{ab}\cong C_n\times C_n$, so the commutator subgroup $M_n'$ is a cyclic $(\...
9
votes
0answers
670 views

Scholze's infinite to finite type ring theory reductions?

In following essay "The Perfectoid Concept: Test Case for an Absent Theory" by Michael Harris, there is the following sentence I found to be quite striking. The most virtuosic pages in Scholze's ...
9
votes
0answers
428 views

Mumford's intuition for flatness

In Mumford's book Algebraic Geometry II, he writes on page 179..."In order to get at what I consider the intuitive content of "flat" we need first a deeper fact..." After the deeper fact is proven he ...
9
votes
0answers
340 views

Higher Adeles of a scheme and related topics

Let $X$ be a noetherian scheme. I will describe a construction of a simplicial ring which I think is called the Bellinson higher Adeles complex (or something similar). Consider the augmented ...
9
votes
0answers
252 views

Is a wild automorphism of $k[x_1,\ldots,x_n]$, $n \geq 3$, necessarily of infinite order?

Let $k[x_1,\ldots,x_n]$ be a polynomial ring over a field $k$ of characteristic zero. When $n=2$, it is known that every automorphism of $k[x_1,x_2]$ is tame, namely, a finite product of elementary ...
9
votes
0answers
255 views

Weierstrass division theorem for henselian rings

Let $A$ be an henselian local noetherian ring. There is an old result of Lafon ("Anneaux henséliens et théorème de préparation" (1967)), which says that if $A$ is analytically normal and of ...
9
votes
0answers
699 views

What is a good introduction to cluster algebras from surfaces?

What is a good reference for cluster algebras from surfaces, with a view to their connection to Teichmuller theory? In my view, that means it should start off with unpunctured surfaces (and in fact,...
9
votes
0answers
497 views

Singularities arising from the Minimal Model Program (an algebraic point of view)

I will start the story by the end: Is there some characterization of (some of) the singularities arising from the Minimal Model Program (canonical, terminal, log-...) in terms of commutative algebra ?...
9
votes
0answers
498 views

Getting a bound via polynomial equations

When studying the existence problem of power residue deference sets, I came across the following system of polynomial equations over $\mathbb{C}$, \begin{cases} &\sum\limits_{j=0}^{m-1}x_jx_{2k-j}=...
9
votes
0answers
464 views

Conceptual proofs for the computation of the structure sheaf

The following lemma in commutative algebra is important for the foundations of algebraic geometry: If $A$ is a commutative ring, $U \subseteq A$ is a finite subset generating the unit ideal, then ...
9
votes
0answers
295 views

When is $\lim_{n\rightarrow\infty}\:\mathrm{depth}\:R/\mathfrak{a}^n= \mathrm{depth}\:R/\mathfrak{a}$?

Suppose $(R,\mathfrak{m})$ is a noetherian local ring. I am interested in ideals $\mathfrak{a}$ of $R$ for which $$\lim_{n\rightarrow\infty}\:\mathrm{depth}\:R/\mathfrak{a}^n= \mathrm{depth}\:R/\...
9
votes
0answers
262 views

Uncountable Lüroth problem

Question. Let $F(X)$ be the field obtained by adding an uncountable collection of indeterminates (mutually transcendental elements) to a prime field $F$. Is there an example of a subfield $E$ of $F(X)$...
9
votes
0answers
329 views

Computing Ext for toric divisors

Ok, I have an affine (normal) toric variety $X = \text{Spec} k[\sigma]$. Suppose that $F, G$ are two torus invariant Weil divisors on $X$. Is there any relatively straightforward way to compute $$ \...