Questions tagged [ac.commutative-algebra]
Commutative rings, modules, ideals, homological algebra, computational aspects, invariant theory, connections to algebraic geometry and combinatorics.
5,495 questions
2
votes
0
answers
195
views
Interpretation of completed tensor product of algebras over lower base
Let $\mathbb F$ be a finite field of order $q = p^n$. It is known that
$$\mathbb F[[x_1]] \mathbin{\widehat{\otimes}_{\mathbb F}} \mathbb F[[x_2]] = \mathbb F[[x_1, x_2]].$$ Geometrically, this is the ...
5
votes
1
answer
481
views
Alternative description of strict henselization
Let $R$ be a local ring with field of fractions $K$, maximal ideal $\mathfrak{m}$ and residue field $\kappa = R/\mathfrak{m}$. Let $R^\mathrm{sh}$ be a strict henselization of $R$, and let $L$ be the ...
- 148k
4
votes
1
answer
295
views
Finite type injective ring map between domains preserves the open point $(0)$
I am looking for a proof of the following statement without using full power of Chevalley's theorem on constructible sets. We say a domain $A$ is $0$-open if $\{(0)\}$ is open in $\operatorname{Spec}(...
- 28.7k
22
votes
6
answers
8k
views
A finitely generated $\mathbb{Z}$-algebra that is a field has to be finite
I was trying to understand completely the post of Terrence Tao on Ax-Grothendieck theorem. This is very cute. Using finite fields you prove that every injective polynomial map $\mathbb C^n\to \mathbb ...
- 12.9k
11
votes
2
answers
1k
views
Is there a relation between Gelfand duality and the spectrum of a ring (with its Zariski topology)?
Compare the following two results:
Thm A) Let $A$ be a commutative $C^*$-algebra and let $X$ be its Gelfand spectrum. Gelfand duality says that there's a natural isometric $*$-isomorphism from $A$ to ...
1
vote
1
answer
165
views
Sufficient conditions to guarantee finite intersection points in Bezout's Theorem
Bezout's Theorem concludes that if $f_1,f_2,\cdots,f_n\in k[x_1,x_2,\cdots,x_n]$ have finite intersection points, then they have at most $d_1d_2\cdots d_n$ intersection points, where $d_i$ is the ...
1
vote
1
answer
149
views
The map from the ring of integers to the residue field of a valuation subring is surjective
Let $L$ be a number field and let ${\mathcal{O}}_L$ be its ring of integers. Let $B$ be a valuation subring of $L$ and let $k_B$ be the residue field of $B$. Then the map from ${\mathcal{O}}_L$ to $...
- 1,969
3
votes
2
answers
117
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 ...
- 912
5
votes
1
answer
345
views
Sufficient conditions for $\mathrm{Der}_k(A)$ to be f.g. projective
Let $k$ be a field and $A$ a commutative $k$-algebra. What are sufficient conditions for the module of derivations $\mathrm{Der}_k(A)$ to be finitely generated projective?
I'm looking for conditions ...
- 6,406
2
votes
2
answers
749
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?
- 28.7k
5
votes
2
answers
287
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 ...
- 6,237
1
vote
0
answers
72
views
Extending prime ideals that lie over the same prime ideal via monomials
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]]$. ...
4
votes
1
answer
370
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. ...
- 20.5k
6
votes
2
answers
1k
views
Commutative von Neumann algebras and localizable measure spaces
This is not my subject so I apologize if my question is too obvious or understood from other pages.
I read some pages such as
Reference for the Gelfand-Neumark theorem for commutative von Neumann ...
- 17
0
votes
0
answers
61
views
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 $\...
- 25
1
vote
0
answers
154
views
Software for computing invariant rings
I have an linearly reductive algebraic group $G$ acting regularly on an affine variety $X$(over an algebraically closed field of characteristic 0). I want to compute the invariant ring $\mathbb{K}[X]^{...
- 839
2
votes
1
answer
527
views
Geometric interpretation of a (standard) commutative algebra fact
Which is your geometric interpretation (if any) of the following commutative algebra proposition?
Proposition. Let $M$ be a finitely generated $A$-module, $I\subseteq A$ an ideal, and $\phi\in \...
- 263
1
vote
0
answers
119
views
Germs of holomorphic functions and invariant functions
Consider a complex vector space $V \cong {\mathbb C}^n$. Consider the ring of germs of holomorphic functions ${\mathcal O}_0 (V)$ at $0\in V$. We know that this ring is Noetherian.
Now consider a ...
- 803
3
votes
0
answers
124
views
Picard group of a cusp [duplicate]
$\DeclareMathOperator\Pic{Pic}$For a commutative ring with unity $R$, if $R_{\mathrm{red}}$ is semi-normal then we have an equivalent criterion which states that $\Pic(R) \cong \Pic(R[t])$. Here $\Pic(...
- 167
4
votes
0
answers
391
views
Intersection of principal ideals is not principal
This may be an easy question for the right people, but I did not find an answer anywhere. I am trying to figure out what one can say about the ideal $a\mathbb{Z}[\lambda] \cap b \mathbb{Z}[\lambda]$ ...
- 135
3
votes
0
answers
217
views
An attempt to extend polynomial rings
Suppose $\mathbb{K}$ is a field of characteristic $0$. Let $S_n=\mathbb{K}[[x_1,\dots,x_n]]$ be the ring of formal power series in $n$ variables, $L_n$ be its fraction field and $W_n=\mathbb{K}[x_1,\...
- 1,543
3
votes
1
answer
194
views
Flatness over regular local rings of dimension 3
Let $R$ be a regular local ring of dimension $n$. Let $i:\text{Flat}\to\text{Fin}$ be the fully faithful inclusion of the category of flat finitely generated type $R$-modules into all finitely ...
- 19.6k
1
vote
1
answer
228
views
On image of map $\text{Ext}^1_R(X,F)\to \text{Ext}^1_R(X,G)$ induced by $R$-linear map of free modules $F\to G$ with entries in the maximal ideal
$\DeclareMathOperator\Ext{Ext}$Let $(R,\mathfrak m)$ be a Noetherian local ring. Let $F,G$ be finitely generated free $R$-modules and $f:F\to G$ be an $R$-linear map such that $f(F)\subseteq \mathfrak ...
CommunityBot
- 1
0
votes
0
answers
28
views
Differentials for a nonsigular subvarity of a nonsigular variety
Let $A$ be a noetherian regular local ring of dimension $n$, and $P\subset A$ a prime ideal, such that $A/P$ still a regular local ring of dimension $m$.
I want to show $P/P^2$ is a $n-m$ rank free ...
- 39
5
votes
2
answers
555
views
Another characterization of tensor products of modules
It is known that the tensor product is characterized by its universality in the category of $A$-modules.
Does the following proposition hold?
Proposition There exists only one operation $\otimes$ ...
- 2,665
2
votes
1
answer
91
views
Is the integral closure of a $\mathbb{Z}/n\mathbb{Z}$-graded noetherian domain in a bigger $\mathbb{Z}/n\mathbb{Z}$-graded domain also graded?
Let $A\subset B$ be an inclusion of $\mathbb{Z}/n\mathbb{Z}$-graded noetherian domains. Is the integral closure of $A$ in $B$ also $\mathbb{Z}/n\mathbb{Z}$-graded?
This is true for the $G$-graded case ...
- 16.2k
0
votes
0
answers
226
views
Geometric interpretation of normalization inside a finite extension of function field
$\DeclareMathOperator\Spec{Spec}$Suppose $X = \Spec A$ is a smooth affine variety over $\mathbb C$ and suppose $L/K$ is a finite extension of its function field. Let $Y = \Spec B$, where $B$ is the ...
- 12.9k
4
votes
1
answer
141
views
Kernels of actions on truncated polynomial algebra
Let $p$ be an odd prime, and let $k=\mathbb{F}_p$ be the field with $p$ elements. Let $G=\text{GL}_n(k)$. The group $G$ acts on the truncated polynomial algebra $A:=k[x_1,\ldots, x_n]/(x_1^p,\ldots, ...
- 16.2k
3
votes
0
answers
264
views
The points of $\operatorname{Spa}\mathbb{Z}_p$
$\DeclareMathOperator\Spa{Spa}$What are the points of $\Spa\mathbb{Z}_p$? I read in Scholze-Weinstein that this adic spectrum consists of 2 points, a special point, which corresponds to the pullback ...
- 63.9k
5
votes
0
answers
160
views
Cohen-Macaulayness of rings of polynomials vanishing at points
Let $V$ be a finite dimensional vector space, let $L_1$, $L_2$, ..., $L_r$ be subspaces and let $w_1$, $w_2$, ..., $w_r$ be positive rational numbers. Define a graded ring $R$ where $R_d$ is those ...
- 156k
3
votes
0
answers
70
views
Degree of an even/odd part of a formal power series over a polynomial ring
Let $K$ be a field with $\operatorname{char}K\ne 2$ (say, $K=\mathbb{R}$ or $\mathbb{C}$) and consider a formal power series $f=f(x)\in K[[x]]$ such that $[K[x,f]:K[x]\,]=d$. Suppose $f_e,f_o\in K[[x]]...
- 1,190
4
votes
2
answers
705
views
Why are canonical modules supported everywhere?
Let $A$ be a local CM ring, and $\omega$ a canonical module of $A$. Here are two properties of $\omega$ from Bruns & Herzog:
$\omega_{\mathfrak{p}}$ is a canonical module of $A_{\mathfrak{p}}$ ...
- 2,821
3
votes
0
answers
280
views
The closed unit adic disk
I am reading the Scholze-Weinstein Berkeley lecture notes on "Perfectoid Spaces", and in particular I am stuck trying to understand the closed adic unit disk, which is the second example of ...
- 2,907
2
votes
0
answers
265
views
What is the residue field of the integer ring of $\mathbb{C}_p$?
Fix a prime $p$. Let $\mathbb{C}_p$ be the completion of the algebraic closure of $\mathbb{Q}_p$, and $\mathcal{O}_{\mathbb{C}_p}$ the integer ring of $\mathbb{C}_p$. I know $\mathcal{O}_{\mathbb{C}_p}...
- 63.9k
-3
votes
1
answer
208
views
can the square of a polynomial be written as a sum of squares of polynomials with only even degree terms?
Let $f$ be a polynomial with real coefficients in several indeterminates $x_1, \dots, x_n$. Suppose that
$$ f = g^2 $$
for some polynomial $g$.
Is it true that we can find polynomials $h_1, \dots, h_m$...
- 785
0
votes
0
answers
53
views
When a given set of primes of height 1 is a set associated primes of an element
Let $R$ be a Noetherian local ring of dimension $\geq 3$ and $\{p_1,\ldots , p_n\}$ be a collection of prime ideals of height $1$. Does there exist an element $x\in R$ such that $Ass(R/xR)=\{p_1,\...
- 1,713
1
vote
0
answers
109
views
On Serre's condition and singular locus of determinantal rings
Let $R$ be a Commutative Noetherian ring. Let $\mathbf X:=[X_{ij}]_{1\le i \le r, 1 \le s \le t}$ be a matrix of indeterminates. Let $t>1$ be an integer, and $I_t(\mathbf X)$ denote the ideal in $...
- 413
4
votes
2
answers
295
views
Local Ext for reflexive sheaves on surfaces
Let $X$ be a normal Gorenstein complex surface with $H^i(X,\mathcal{O}_X)=0$ for $i>0$ and $F$ be a rank one reflexive sheaf on $X$. I'm trying to find some ways to determine local Ext $\mathcal{E}...
- 20.5k
6
votes
0
answers
292
views
What is the algebra structure on the pushforward of the structure sheaf along a finite map to $\mathbb{P}^1$?
$\newcommand{\P}{\mathbb{P}}\newcommand{\O}{\mathcal{O}}$ Let $f : C \to \P^1$ be a ramified finite map of degree $d$ of smooth algebraic curves over an algebraically closed field $k$. How can we ...
- 605
1
vote
0
answers
79
views
What is $\text{Hom}(\mathcal{F}\times\mathcal{G}, \mathbb{A}^1)$?
Let $S$ be an affine scheme and let $\text{Aff}(S)$ be the site of affine $S$-schemes. Let $\mathcal{F}$ and $\mathcal{G}$ be a pair of sheaves on $\text{Aff}(S)$, and let $\mathbb{A}^1_S$ be the ...
- 2,907
3
votes
1
answer
173
views
$\Omega$ for noetherian semiperfect rings
Let $A$ be a a two-sided noetherian semiperfect ring and assume that the injective dimension of the left and right regular modules are equal to $n \geq 1$.
Let $\Omega^n(mod A)$ be the category of $n$-...
- 16.2k
3
votes
0
answers
119
views
Finite algebras with finitely many automorphisms
Let $B'/B$ be a finite locally free algebra. Locally in $B$, there is an isomorphism of $B$-modules $B'\simeq B^{\oplus n}$. When is the automorphism group of $B'/B$ finite? When is it unramified? Is ...
- 1,094
37
votes
1
answer
1k
views
If $A$, $B$ are abelian groups such that $\mathrm{Hom}(A, G) \cong \mathrm{Hom}(B, G)$ for all abelian groups $G$, must $A$ and $B$ be isomorphic?
$\DeclareMathOperator\Hom{Hom}$The question is in the title. If the isomorphism $\Hom(A, G) \cong \Hom(B, G)$ is natural in $G$ then this is just the Yoneda Lemma. If $A$ and $B$ are finitely ...
- 12.9k
1
vote
0
answers
136
views
On Noetherianity and local ness of a completed tensor product
Let $R$ be a regular local complete (with respect to the maximal ideal) ring with field of fraction $K$. Let $S\cong R[[x_1,\cdots, x_n]]/J$ (this is a Noetherian local ring which is an $R$-algebra) ...
- 413
1
vote
0
answers
180
views
Questions about the article "A tour of the strong and weak Lefschetz properties"
I'm trying to learn a little about the Lefschetz properties and to start off have been reading Migliore and Nagel's survey article: https://arxiv.org/abs/1109.5718. I'm new to the area, and I have a ...
- 11
44
votes
4
answers
3k
views
Do rings of smooth functions differ from rings of continuous functions?
Let $M$, $N$ be connected nondiscrete compact smooth manifolds. Can the ring of continuous functions on $M$ be isomorphic to the ring of smooth functions on $N$?
CommunityBot
- 1
5
votes
1
answer
359
views
Constructive proof of univariate McCoy theorem without Dedekind-Mertens?
McCoy's theorem (one of them) says that for any commutative ring $A$, $f\in A[x]$ is a zero-divisor iff it's annihilated by a scalar in $A$.
There's a widespread proof by contradiction. There's also a ...
- 33.8k
4
votes
1
answer
277
views
Is there a good notion of kernels of quadratic forms on abelian groups?
Let $G$ be an abelian group and let $q:G \to \mathbb{Q/Z}$ be a quadratic form, i.e. $q(a)=q(-a)$ and $b(x,y)=q(x+y)-q(x)-q(y)$ is a bihomomorphism. On vector spaces, when people speak about the ...
- 2,928
0
votes
1
answer
221
views
Are zero dimensional ideals radical?
I have a question about Theorem 3.7.25. of Computational commutative algebra I by M. Kreuzer and L. Robbiano.
Let $K$ be a perfect field, $I \subseteq K[x_1, \ldots, x_n]$, be a zero dimensional ...
- 121
3
votes
0
answers
112
views
Local cohomology with coefficients in ideals of parameters
I'm not an expert in local cohomology, but the following problems have come up in my work, and I'd like to get a sense of where things stand.
Let $\mathbb{A}^n=\operatorname{Spec} \mathbb{C}[x_1, \...
- 63.9k