Questions tagged [ac.commutative-algebra]
Commutative rings, modules, ideals, homological algebra, computational aspects, invariant theory, connections to algebraic geometry and combinatorics.
5,497 questions
3
votes
2
answers
417
views
Norm on tensor product of fields
Let $F$ be an algebraically closed field of characteristic $p$ equipped with an absolute value $|\cdot|:F \rightarrow \mathbb{R}_{\ge 0}$ with respect to which $F$ is complete.
Define $|\cdot|_{prod}$...
- 1,144
3
votes
1
answer
836
views
Solving multilinear equations
Let $N=\{1,2,\ldots,n\}$. Suppose we are given $n$ equations, with each equation taking the form $\sum_{A\subseteq N}\left(c_A \prod_{i\in A}x_i \right) = 0$, where each $c_A$ is a real number ...
- 16.9k
13
votes
2
answers
4k
views
Interpretation of multiplicity of a point
Let $x$ be a (closed) point on an algebraic variety $X$ (of dimension $n$) defined over an algebraically closed field $k$. What is the multiplicity $mult_x(X)$, and how to compute it?
While having a ...
- 7,722
6
votes
1
answer
275
views
Algebraic geometry additionally equipped with field automorphism operation
I am looking for some facts on theory, which is essentially algebraic geometry but with field automorphisms added as 'basic' operations. (Precisely, I mean universal algebraic geometry for (universal) ...
- 63.9k
4
votes
3
answers
1k
views
Polya's theory of counting and commutative algebra
Do you know if there exist algebraic studies of the ring of the power series which emerge when using the theory of Polya for enumeration of sets with certain symmetries? For instance if some ideals ...
- 4,713
21
votes
5
answers
1k
views
Computation of fraction field of formal series over the integers
What is the fraction field $K$ of the domain $\mathbb Z[[X]]$?
It is strictly smaller than the field of Laurent series $L=\operatorname {Frac}\mathbb Q[[X]]$, since $\sum_{i\geq 0}\frac {X^i}{i!}\in ...
- 149k
5
votes
1
answer
223
views
Intrinsic characterisation of a class of rings
This may be well known, but I was unable to find an answer browsing literature. Let us temporarily call a commutative (unital) ring $R$ an O-ring if there exists an integer $n \ge 1$, a local field of ...
- 6,224
7
votes
2
answers
327
views
How to understand the "boundary" of subscheme, as defined in "An elementary characterisation of Krull dimension"
In An elementary characterisation of Krull dimension and A short proof for the Krull dimension of a polynomial ring, Coquand, Lombardi, and Roy give an elementary characterization of Krull dimension, ...
- 56.9k
1
vote
1
answer
100
views
category of non-welldefined linear maps
I was wondering whether the following category already has been used somewhere and whether it already has been named.
Let us fix a field $k$ (or more generally a ring). An object is just a $k$-vector ...
- 11.1k
5
votes
0
answers
2k
views
Saturated ideals in computational algebra
Let $R$ a commutative ring with one and $I, J \triangleleft R$ two ideals.
The saturated ideal $I^{sat}_J$ with respect $J$ is the ideal
$$(I : J^\infty )= \cup_{n \geq 1} (I:J^n)$$
where $(I:J^n)= \{...
- 6,048
11
votes
2
answers
1k
views
Valuations on tensor products
Let $A$ be a commutative ring, $B$ (resp. $C$) be a commutative $A$-algebra endowed with a valuation $v$ (resp. $w$), not necessarily of rank 1. Assume that $v$ and $w$ induce equivalent valuations on ...
- 1,144
1
vote
1
answer
208
views
On a condition on ideals viwed as a Zariski open condition on co-tangent space
Let $(R, \mathfrak m,k)$ be a Noetherian local ring such that the residue field $k$ is infinite. Let $n=\mu(\mathfrak m)$. Then $n=\dim_k(\mathfrak m/\mathfrak m^2)$ . By fixing $x_1,...,x_n \in \...
- 30.5k
16
votes
3
answers
797
views
For which rings R is SL_n(R) generated by its n-1 fundamental copies of SL_2(R)?
By "fundamental copies" of $SL_2(R)$ in $SL_n(R)$, I mean those embedded along the diagonal (for instance, if $n=3$, those are the upper left and lower right corner copies of $SL_2(R)$ embedded in $...
CommunityBot
- 1
3
votes
1
answer
208
views
Faithful flatness of left adjoint to almostification of algebras
I have been reading Bhatt's notes on perfectoid spaces and I have stumbled upon a fact whose proof I am unable to understand. Specifically, in Remark 4.2.8 Bhatt describes the functor $A\mapsto A_{!!}$...
- 28.2k
3
votes
0
answers
110
views
Is this a lattice?
Let $R$ be a locally compact ring (commutative with unit) and let $D\subset R$ be a discrete cocompact subring (cocompact means the additive group $R/D$ is compact). Let $G$ be a semisimple linear ...
- 63.9k
3
votes
0
answers
98
views
Hales' generalization of the stacked bases theorem (seeking a proof)
In his paper Analogues of the stacked bases theorem, published in the proceedings of a 1976 conference, A.W. Hales claimed some interesting generalizations of the stacked bases theorem for abelian ...
- 2,992
3
votes
0
answers
271
views
Explanation for devissage argument
Let $K$ be a local field of characteristic $0$ with the ring of integers $\mathcal{O}_K$ and uniformizer $\pi$. Let $k$ be the residue field of $K$ with $\text{card}(k)=q$. Let $\mathcal{O}_\mathcal{E}...
- 101
4
votes
1
answer
764
views
Further developments of Cartier–Gabriel–Kostant–Milnor–Moore Structure Theorem for cocommutative Hopf algebras
A very well-known theorem in Hopf algebra theory (see, for example, Lorenz - A tour of representation theory or the EGNO book (Etingof, Gelaki, Nikshych, and Ostrik - Tensor categories)) states that ...
- 718
3
votes
1
answer
332
views
Algebraic vector bundles on the punctured spectrum: an exact reference for a result
Let $(R, \mathfrak m)$ be a Noetherian local ring of depth at least $2$. Let $X=Spec(R)$ denote the affine- scheme with structure sheaf $\mathcal O_X$ and $U=Spec(R)\setminus \{\mathfrak m\}$ be the ...
- 30.5k
2
votes
1
answer
294
views
The local flatness criterion
I am self studying the book "Commutative Ring Theory" by H. Matsumura. The main theorem of section 22 is the theorem 22.3, which characterizes flatness of a module $M$ over any ring $A$. The (part of ...
- 1,356
7
votes
2
answers
606
views
convergence in $\hat{\mathbb{Z}}$, modulo prime power
The following problem appears in Lenstra's Galois Theory for Schemes (p 14, Ex 1.16).
Let $b\in\mathbb Z_{\ge0}$. Define the sequence $(a_n)_{n=0}^\infty$
by $a_0=b, a_{n+1}=2^{a_n}$. Prove that $...
- 63.9k
2
votes
0
answers
252
views
Is there a name for commutative algebras over a field $k$ whose residue class fields have finite dimension over $k$?
Let $k$ be a field and let $A$ be a (commutative) $k$-algebra. Assume that for every maximal ideal $P \subseteq A$ the residue class field $A/P$ has finite dimension as a $k$-vector space.
Is ...
- 63.9k
28
votes
5
answers
4k
views
Does Smith normal form imply PID?
Let $R$ be a nonzero commutative ring with $1$, such that all finite matrices over $R$ have a Smith normal form. Does it follow that $R$ is a principal ideal domain?
If this fails, suppose we ...
- 2,992
3
votes
1
answer
368
views
Do height $h$ prime ideals in regular local rings contain regular sequences of length $h$?
Let $R$ be a regular local ring and let $P$ be a prime ideal of height $h$ in $R$.
Is it always the case that $P$ contains a regular sequence of lenght $h$?
This is clear if $h$ is $0,1$ or $\dim R$.
...
- 46
4
votes
0
answers
62
views
Is there a $3\times 3$ matrix over a Dedekind domain not similar to a matrix with zero top right entry?
Let $R=\mathbb{Z}[\sqrt{-5}]$, which is well known to be a Dedekind
domain but not a PID. Let $\mathrm{M}_{3}(R)$ be the set of $3\times3$
matrices over $R$. Does there exist a matrix $A\in\mathrm{M}_{...
- 3,823
8
votes
1
answer
285
views
Degrees of syzygies of points in $\mathbb P^2$
Let $X$ be a collection of points in $\mathbb P^2$ over the complex numbers. Let $I_X$ be the defining ideal. I am interested in knowing when:
The syzygies of $I_X$ contains no linear forms. Since ...
- 4,713
5
votes
0
answers
561
views
Brauer groups of a local ring and of its residue field
This is a question of DeMeyer (see the last paragraph of [1]):
What's an example of a local ring $A$ with residue field $k$ such that the restriction map on Brauer groups $\varphi : \operatorname{...
- 2,017
5
votes
1
answer
349
views
A generalization of integral Poincaré duality
In this paper, Felix, Halperin and Thomas define the notion of a Gorenstein space over a field $\mathbb{k}$:
An augmented differential graded algebra $R$ over $\mathbb{k}$ is Gorenstein if $\text{Ext}...
CommunityBot
- 1
1
vote
0
answers
28
views
Modified straightline complexity of almost square of sums
Assume every linear operation (such as inner product with constant vector) can be performed in one step and multiplication by variables (quadratic operation) can be performed in one step.
We know the ...
CommunityBot
- 1
28
votes
1
answer
2k
views
SOS polynomials with integer coefficients
A well known theorem of Polya and Szego says that every non-negative univariate polynomial $p(x)$ can be expressed as the sum of exactly two squares: $p(x) = (f(x))^2 + (g(x))^2$ for some $f, g$. ...
CommunityBot
- 1
5
votes
1
answer
303
views
faithful modules over a finite dimensional commutative algebra
Let $A$ be a commutative algebra over a field $k$ which is finite dimensional as a vector space over $k$. Let $M$ be a faithful $A$-module. Does it follow that $dim_k(M)\geq dim_k(A)$?
- 30.5k
2
votes
1
answer
539
views
Varieties with everywhere good reduction that are isomorphic over every completion have isomorphic generic fibers
Let $R$ be the ring of integers in a number field. Let $X$ and $Y$ be smooth and proper schemes over $R$. For a maximal ideal $\mathfrak{m}\subset R$ denote the completion of the localization at $\...
- 23k
6
votes
0
answers
205
views
Automorphisms of $\mathbb{C}[x, y, z]$ over $\mathbb C[x]$
What are the automorphisms of $\mathbb{C}[x, y, z]$ fixing $\mathbb{C}[x]$? I.e. those automorphisms $\phi:\mathbb{C}[x, y, z]\to\mathbb{C}[x, y, z]$ s.t. $\phi(x) = x$. I am interested in a complete ...
- 63.9k
3
votes
0
answers
347
views
Sections of non-reduced schemes
Let $X$ be an affine, irreducible (complex), generically reduced, scheme containing an embedded point, say at $x \in X$. Suppose further dimension of $X$ is strictly positive (can assume to be one ...
- 2,032
3
votes
3
answers
714
views
Cohomology of elementary abelian $p$-groups, i.e. $H(G,{\mathbb F}_p)$ with $G\cong{\mathbb F}_p^r$
I have two questions.
$\bf 1.$ First, a reference request. Let $G\cong{\mathbb F}_p^r$ for some integer $r\geq 0$ and let $V=G^*={\rm Hom}(G,{\mathbb F}_p)$. Then $(H(G,{\mathbb F}_p),+,\cup )$ is a ...
1
vote
0
answers
167
views
When localization is indecomposable
We know that if $R $ is a domain then any localization of $R $ at any multiplicative subset of $R $ is indecomposable, that is, has no non trivial idempotents. Now let $R $ be a commutative ring with ...
- 29
4
votes
1
answer
180
views
Categorical Kähler differentials and the Leibniz rule
From nlab, the module of Kähler differentials over some category $\mathcal{C}$ is the free functor:
$$\Omega: \mathcal{C} \to \mathsf{Mod_{\mathcal{C}}}$$
left-adjoint to the (forgetful) embedding:
$$...
- 37.8k
1
vote
0
answers
120
views
Self-intersecting irreducible real projective elliptic surface
I will say that a homogeneous polynomial $P(X)\in\mathbb{R}[X]$ ($X=(X_1,\ldots,X_n)$) is elliptic if its zero locus in $\mathbb{R}^n$ is $\{0\}$.
I will say that the zero locus of a homogeneous ...
- 1,959
8
votes
0
answers
220
views
Finitely generated commutative rings with the same profinite completion
Let $R_1$ and $R_2$ be two finitely generated commutative rings. Assume that their profinite completions are isomorphic: $\widehat{R_1}\cong \widehat{R_2}$.
Suppose that $R_1$ is a domain. Does ...
- 63.9k
6
votes
2
answers
544
views
Rings $R$ such that every [regular] square matrix with entries in $R$ is equivalent to an upper triangular matrix
Let $\text{M}_n(R)$ be the ring of $n$-by-$n$ matrices with entries in a commutative unital ring $R$. Theorem III in
C.R. Yohe, Triangular and Diagonal Forms for Matrices over Commutative ...
CommunityBot
- 1
9
votes
2
answers
3k
views
Localization and intersection
It is very well known that if $\mathfrak p_1, \ldots,\mathfrak p_n$ are prime ideal of an integral domain $A$, then we have the equality$$S^{-1}A=\bigcap_{i=1}^n A_{\mathfrak{p}_i},$$ where $S:=A\...
CommunityBot
- 1
5
votes
1
answer
804
views
When is the module of Kahler differentials free?
As the title says, when is the module of Kahler differentials a free module? In particular, are there known conditions or criterions that could be met that ensures that it will be free?
For example, ...
- 6,262
3
votes
0
answers
151
views
Question about polynomials in $\mathbb{C}[x, y, z]$
What can be said about pairs of polynomials $P, Q\in\mathbb{C}[x, y, z]$, such that $\frac{\partial P}{\partial y}\frac{\partial Q}{\partial z} - \frac{\partial P}{\partial z}\frac{\partial Q}{\...
- 329
8
votes
2
answers
2k
views
Ideals generated by regular sequences
In Vasconcelos' paper (Ideals generated by R-sequences), he proved
If $R$ is a local ring, $I$ an ideal of finite projective dimension, and $I/I^2$ is a free $R/I$ module, then $I$ can be ...
- 719
1
vote
0
answers
102
views
Meaning and/or source of polynomials residually of the form $x^n(x-1)$ in Gabber's characterization of Henselian pairs?
Lemma 09XI in the stacks project includes a characterization (#5) by Gabber of Henselian pairs $(A,I)$: first, $I\leq \mathrm J(A)$ is contained in the Jacobson radical and second, every monic $f\in ...
- 10.5k
5
votes
0
answers
106
views
Can the conductor of a local, unramified, Cohen-Macaulay domain ever be contained in a parameter ideal?
Let $(R, \mathfrak m)$ be a local Cohen-Macaulay domain which is analytically unramified (i.e. the $\mathfrak m$-adic completion of $R$ is reduced). Let $\bar R$ be the integral closure of $R$ in the ...
- 63.9k
6
votes
2
answers
421
views
Does the category of local rings with residue field $F$ have an initial object?
Let $F$ be a field. Does the category $C_F$ of local rings $R$ equipped with a surjective morphism $R\longrightarrow F$ have an initial object?
This is, for instance, true if $F=\mathbb{F}_{p}$ for ...
- 42.4k
9
votes
2
answers
572
views
Decomposing a polynomial ring into Specht Modules
Let $S_{\pi}$ where $\pi$ is an integer partition of $n$, denote the Specht module corresponding to $\pi$.
I am trying to decompose the set of all homogeneous polynomials in $x_1,x_2,...,x_n$ ...
- 261
11
votes
1
answer
579
views
Are projective modules over a certain localised Laurent polynomial ring free?
Let $R=\mathbb{Z}[t^{\pm 1}]$ be the ring of Laurent polynomials, and let $S \subset R$ be the multiplicative subset generated by the polynomial $t-1$. I am interested in the ring $S^{-1}R=\mathbb{Z}[...
- 6,262
31
votes
1
answer
2k
views
Are Conway's omnific integers the Grothendieck group of the ordinals under commutative addition?
This is a question in two parts.
Say that $\mathbf{On}$ is the proper class of all ordinal numbers in ZFC. We can define a binary operator over $\mathbf{On}$ which corresponds to the commutative ...
- 53.3k