Questions tagged [ac.commutative-algebra]

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

1,707 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
106 votes
0 answers
16k views

A proof of $\dim(R[T])=\dim(R)+1$ without prime ideals?

Please read this first before answering. This question is only concerned with a proof of the dimension formula using the Coquand-Lombardi characterization below. If you post something that doesn't ...
Martin Brandenburg's user avatar
45 votes
0 answers
1k 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 ...
Gerrit Begher's user avatar
36 votes
0 answers
1k 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 ...
Ali Enayat's user avatar
30 votes
0 answers
893 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 ...
Laurent Moret-Bailly's user avatar
28 votes
0 answers
836 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. ...
Jeremy Rickard's user avatar
23 votes
0 answers
650 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 ...
Ali Enayat's user avatar
18 votes
0 answers
375 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_\...
Allen Knutson's user avatar
17 votes
0 answers
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. ...
Martin Brandenburg's user avatar
16 votes
0 answers
442 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. ...
user50585's user avatar
  • 161
15 votes
0 answers
372 views

Reducible polynomials of the shape $f(t^2)$, where $f$ is irreducible

Let $f(x) \in \mathbb{Z}[x]$ be a monic, irreducible polynomial. What are necessary and sufficient conditions for $g(t) = f(t^2)$ to be reducible over $\mathbb{Q}$? For instance, if $f(x) = x-1$ then $...
Stanley Yao Xiao's user avatar
15 votes
0 answers
670 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 ...
sawdada's user avatar
  • 6,148
15 votes
0 answers
698 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 ...
Ralph's user avatar
  • 16.1k
14 votes
0 answers
425 views

Surprisingly only real points on intersection of certains quadrics

Let $G$ be a finite group and let $X_g$ be variables indexed by $G$. Consider the complex algebraic set defined by \begin{align} X_e &= 0\\ X_g &= X_{g^{-1}}\;\;\text{ for all }g\in G,\\ X_g &...
Peter Mueller's user avatar
14 votes
0 answers
809 views

What goes wrong with this alternate proof of Dirichlet's Theorem?

I had an idea for an alternate proof of Dirichlet's theorem, but something goes wrong. Dirichlet's theorem on primes in arithmetic progression says that for $ m,a \in \mathbb{N} $ which are ...
schemer's user avatar
  • 782
14 votes
0 answers
1k 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 ...
Lisa S.'s user avatar
  • 2,623
14 votes
0 answers
542 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$ ...
Piotr Achinger's user avatar
14 votes
0 answers
910 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 ...
Vít Tuček's user avatar
  • 8,159
14 votes
0 answers
880 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
0 answers
631 views

Rings whose Frobenius is flat

Let $R$ be a ring of characteristic $p>0$. The (absolute) Frobenius is the map of rings $F_R:R\rightarrow R$ defined by $x\mapsto x^p$. I am interested in rings for which $F_R$ is flat (hence ...
user avatar
13 votes
0 answers
506 views

When does the product equal the sum?

Let $R$ be a commutative ring with identity and $R^n$ be the direct sum of $R$. Find all $a_1, a_2, \cdots, a_n \in R$ such that $$a_1 + a_2 + \cdots + a_n = a_1a_2\cdots a_n,$$ or, in other words, if ...
Brian's user avatar
  • 1,459
13 votes
0 answers
1k views

Is there a slick proof of the fundamental theorem of dimension theory?

The fundamental theorem of dimension theory in commutative algebra states that given a module $M$ over a noetherian local ring $A$, we have $s(M)=\text{dim}(M)=d(M)$ (where $s(M)$ is the infimum of ...
display llvll's user avatar
13 votes
0 answers
488 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$ ...
sawdada's user avatar
  • 6,148
13 votes
0 answers
469 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 ...
Ben Wieland's user avatar
  • 8,667
13 votes
0 answers
486 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 ...
Hailong Dao's user avatar
  • 30.3k
12 votes
0 answers
291 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, ...
user avatar
12 votes
0 answers
422 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 ...
Jeremy Gross's user avatar
12 votes
0 answers
3k views

Algebraic Closure of the field of rational functions

Using the theorem of Puiseux, one concludes that the algebraic closure of $\mathbb C(X)$ is the set of algebraic elements (over $\mathbb C(X)$) of the algebraic closure of $\mathbb C((X))$, which is $\...
Z.A.Z.Z's user avatar
  • 1,871
12 votes
0 answers
286 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 ...
Pedro's user avatar
  • 1,534
12 votes
0 answers
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$ ...
Joshua P. Swanson's user avatar
12 votes
0 answers
524 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,...
Fabio Tonini's user avatar
11 votes
0 answers
332 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 ...
Seva's user avatar
  • 22.8k
11 votes
0 answers
604 views

Inversion, Koszul duality, combinatorics and geometry

According to this MO answer Koszul duality is related to operations on generating series; 1) multiplicative inversion for quadratic algebras, 2) compositional inversion for quadratic operads, 3) ...
11 votes
0 answers
317 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 ...
B. Cais's user avatar
  • 1,589
11 votes
0 answers
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 ...
user avatar
10 votes
0 answers
186 views

Local cohomology and residues of rational functions at 0 and $\infty$

Let $a_1,\dots,a_s$ and $b_1,\dots,b_t$ be positive integers, where $s,t>0$. Choose $c\in\mathbb{Z}$. Let $M_c$ be the real vector space spanned by all monomials $x^\alpha y^\beta=x_1^{\alpha_1}\...
Richard Stanley's user avatar
10 votes
0 answers
465 views

Is $\mathbb{Z}_p \otimes_{\mathbb{Z}} \mathbb{Z}_p$ coherent?

The question is as in the title: Is the ring $\mathbb{Z}_p \otimes_{\mathbb{Z}} \mathbb{Z}_p = \mathbb{Z}_p \otimes_{\mathbb{Z}_{(p)}} \mathbb{Z}_p$ coherent? As shown in the related question, the ...
Drew Heard's user avatar
  • 3,655
10 votes
0 answers
539 views

Toward a cyclotomic Riemann hypothesis

For an integer $n \ge 3$, consider the function $$u(n) = \frac{\sigma(n)}{n \log \log n}$$ with $\sigma$ the divisor function. Now consider the sequence (bounded below and decreasing) $$v_n = \sup_{m&...
Sebastien Palcoux's user avatar
10 votes
0 answers
498 views

How general are Gröbner degenerations?

While working with flat degenerations of flag varieties and Schubert varieties I've noticed that among the numerous known constructions there doesn't seem to be a single one that doesn't turn out to ...
Igor Makhlin's user avatar
  • 3,493
10 votes
0 answers
306 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\...
user avatar
10 votes
0 answers
239 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 $$ ...
Dan Petersen's user avatar
  • 39.2k
10 votes
0 answers
836 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 ...
Stan's user avatar
  • 119
10 votes
0 answers
684 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 ...
Karl's user avatar
  • 431
10 votes
0 answers
396 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 ...
Saal Hardali's user avatar
  • 7,549
10 votes
0 answers
969 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 ...
Will Chen's user avatar
  • 10k
10 votes
0 answers
259 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 ...
Marty's user avatar
  • 13.1k
9 votes
0 answers
317 views

History behind Serre's conditions $\mathrm{S}_k$ and $\mathrm{R}_k$ for a commutative Noetherian ring

This is a repost. So far, I've received no answers on HSM Stack Exchange; maybe I do in MO. In 033Q we find defined what some sources call “Serre's conditions $\mathrm{S}_k$ and $\mathrm{R}_k$” (for a ...
Elías Guisado Villalgordo's user avatar
9 votes
0 answers
250 views

Can "$\exists\mathcal{X}(R\cong C(\mathcal{X}))$" be expressed in "large" infinitary second-order logic?

Originally asked and bountied at MSE without success: Say that a ring $R$ is spatial iff there is some topological space $\mathcal{X}$ such that $R\cong C(\mathcal{X})$, where $C(\mathcal{X})$ is the ...
Noah Schweber's user avatar
9 votes
0 answers
380 views

What does Hilbert's 90 theorem tell us about Galois fixed points in projective space?

Consider the following statement: If $K\subseteq L$ is a Galois extension of fields with Galois group $G$ and $x \in \mathbb{P}^n(L)$ is such that $\sigma(x)=x$ for all $\sigma\in G$, then $x \in \...
Gro-Tsen's user avatar
  • 29.9k
9 votes
0 answers
330 views

Proof of Artin–Rees / Krull intersection motivated by universal property of blowup

I was very confused by the proof of Artin–Rees / Krull intersection theorem when I was younger. Now that I learnt about blow up— I saw the Rees algebra again and I want to now gain a better ...
Andy's user avatar
  • 515
9 votes
0 answers
413 views

Commutative algebra details on patching when proving $R = \mathbb{T}$ theorem (Calegari-Geraghty Paper)

I have originally posted this on math.SE and been suggested to post this here. I'm merely an undergraduate student and it is the first time for me to ask questions here. I'm sincerely sorry if these ...
Hetong Xu's user avatar
  • 579

1
2 3 4 5
35