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
1
answer
282
views
Frobenius splitting for an excellent, non $F$-finite, $F$-pure hypersurface
Let $p$ be an odd prime. Let $k$ be a field of characteristic $p$ such that $[k:k^p]=\infty$ (i.e. $k$ is not $F$-finite ) .
Also assume that $-1$ is not a square in $k$ . Consider the homogeneous ...
- 1,823
12
votes
2
answers
449
views
When are MCM ideals principal?
Suppose $(R,\mathfrak m, k)$ is a $d$-dimensional Cohen-Macaulay local ring with canonical module $\omega_R$ and $d>1$. Suppose $I\subset R$ is an ideal which is MCM (=maximal Cohen-Macaulay, i.e.,...
- 30.6k
6
votes
0
answers
114
views
Hilbert series of special linear sections of Grassmannian $Gr(2,n)$
Consider the Grassmannian $\operatorname{Gr}(2,n)$. I want to know Hilbert series of $H_1 \cap H_2 \dots \cap H_m \cap \operatorname{Gr}(2,n)$ in the Plücker embedding of $\operatorname{Gr}(2,n)$, ...
- 63.9k
2
votes
0
answers
166
views
Do Poincaré duality algebras need to be defined over a field?
I asked the below question here on MSE, but after some time and a bounty offering I have not received an answer.
A graded commutative, connected $\mathbb{k}$-algebra $A$ is called a Poincaré duality ...
- 208
2
votes
0
answers
188
views
Is there any precedent in mathematics where closed-form relations between trigonometric and inverse trigonometric functions arise?
This question is connected to my current research where unexpectedly there arise connections between trigonometric/hyperbolic functions and their inverses.
In short, if we introduce some element $\...
- 4,713
2
votes
0
answers
274
views
Algebraic analog of a geometric result
There is a famous topological result:
Let $X$ be a smooth manifold of dimension $n$, $E$ be a vector bundle of rank $k > n$, then $E$ contains a trivial line bundle.
So, I guess that (...
- 171
5
votes
2
answers
434
views
Do there exist general conditions for cyclicity of unit groups of quotient rings (generalizations of the primitive root theorem)?
Let $R$ by a commutative ring with $1$, and $I \subset R$ a non-zero integral ideal in $R$. When $R$ has finite quotients, and $I = P$ is prime in $R$, the group of units $(R/P)^{\times}$ of the ...
CommunityBot
- 1
7
votes
1
answer
430
views
Correspondence between persistence module and graded module over $R[t]$
In the paper "Computing Persistent Homology" by Zomorodian and Carlsson, it is stated as Theorem 3.1 that:
The correspondence $\alpha$ defines an equivalence of categories between the category of ...
- 63.9k
1
vote
1
answer
379
views
Splitting of short exact sequence in the category of finitely generated modules over a commutative Noetherian ring
In the category of finitely generated modules over a commutative Noetherian ring, the splitting of a short exact sequence can be checked locally at the maximal ideals of the ring. One reference for ...
- 2,928
5
votes
0
answers
247
views
Constructing non-trivial epimorphisms from commutative rings
As the title suggests, I wonder if anyone can share some techniques or references for constructing interesting epimorphisms from generic commutative rings. Generic is largely open to interpretation, ...
- 938
2
votes
1
answer
93
views
Extension of Dedekind domains and their codifferent
Let $A\subset B$ be a finite extension of Dedekind domains. Let $0\neq b\in B$ and $0\neq a\in A$ such that $(a)=(b)\cap A$. In particular, we have $a=b\cdot c$ for some $c\in B$. Now for any $A$-...
- 6,262
1
vote
0
answers
392
views
Kähler differential of completion of algebra
Let $(R, \mathfrak{m}) $ be a local $k$- algebra and $\Omega^{1}_{R}$ denote the module of Kahler differential. Does the canonical map $ \Omega^{1}_{R} \otimes_{R} \hat{R} \rightarrow \Omega^{1}_{...
1
vote
1
answer
161
views
Geometric meaning of colocalization of modules?
Let $A$ be a commutative ring and $S\subset A$ a subset. A localization of $A$ at $S$ is defined as a ring morphsim $A\to A[S^{-1}]$ which is initial with respect to inverting $S$. Similarly, a ...
- 30.3k
5
votes
1
answer
280
views
What Stanley-Reisner rings are $\mathbb{Q}$-Gorenstein?
Let $\Delta$ be a simplicial complex and let $R$ be the associated Stanley-Reisner ring. We can characterize when $R$ is Cohen-Macaulay or when $R$ is Gorenstein in terms of the topology of $\Delta$ (...
- 30.6k
4
votes
1
answer
468
views
Relationship between the notions of "excellent ring" and "universally catenary Nagata ring"
Every excellent ring is both universally catenary and Nagata. How "close" is a universally catenary Nagata ring to being excellent?
Context: I have not worked very much with the notions described ...
- 2,821
5
votes
1
answer
190
views
Adjunctions capturing duality between ideals and saturated monoids in a commutative ring?
Let $R$ be a commutative ring. A saturated monoid in $R$ is a multiplicative submonoid $S\subset R$ which is closed under divisors, i.e $xy\in S\implies x\in S$. This is the converse of the analogous ...
- 10.5k
2
votes
0
answers
46
views
intersection of left and right orthogonals of a module
$\DeclareMathOperator\Ext{Ext}$Let $(R, m)$ be a commutative Noetherian Gorenstein local ring and let $M$ be an $R$-module. Let
${^\perp M}$ and $M^\perp$ be respectively the left and the right ...
- 12.9k
1
vote
0
answers
53
views
On a structural decomposition of polynomials based on integral roots
Given an irreducible polynomial of structure $$f(x,y)=\sum_{\substack{i,j\in\{0,1,2\}\\i+j\leq3}}a_{i, j}x^iy^j\in\mathbb Z[x,y]$$ with $a_{2,1}a_{1,2}a_{1,1}a_{1,0}a_{0,1}a_{0,0}\neq0$ if $f(m,n)=0$ ...
- 1,826
1
vote
0
answers
77
views
Compatibility with multiplication of a cyclic order on a ring
I am copying my question from here: https://math.stackexchange.com/q/3233462/427611.
Is it correct that $\mathbb Z/3\mathbb Z$ and $\mathbb Z/4\mathbb Z$ are the only rings with three or more ...
- 133
16
votes
1
answer
1k
views
What is a module over a Boolean ring?
Recall that a (unital) Boolean ring is a (unital) commutative ring $A$ where every element is idempotent; it follows that $A$ is of characteristic 2. There is an equivalence of categories between ...
- 64k
0
votes
1
answer
454
views
Conjugacy in the quaternion group
Let $G$ be a non-commutative group, and suppose we are given two elements $x, y \in G$ which are conjugate, i.e. we know there exists some $z \in G$ such that $zxz^{-1} = y$. Can we find $z$ given $x$ ...
- 3,009
2
votes
0
answers
231
views
Necessary condition to extend a morphism of schemes
Consider two schemes $X,Y$ over a locally noetherian scheme $S$. Let $p \in X$ and assume that $X$ is irreducible and not affine spectrum of a semilocal ring.
We assume moreover we have a morphism $...
- 5,429
5
votes
1
answer
339
views
Can completely multiplicative functions be extended to $\overline{\mathbb{Q}}$ or further?
I'm looking for a subject of study that handles the following question. I'm not the most familiar with algebra; I have a strong working knowledge and that's about it, but I've been considering ...
- 348
2
votes
1
answer
511
views
Structure theorem for non-Noetherian local rings
Is there a structure theorem (like Cohen 's structure theorem) for non-Noetherian local rings?
I am adding what I am looking for as someone asked in the comment.
If $R$ is a local domain (not ...
3
votes
1
answer
282
views
Separable extensions & topology vs inseparable extensions and algebra
In the note Properties of fibers and applications, Osserman writes above Definition 1.5:
Intuitively, the point is that phenomena relating to topology
can only change under separable extensions, ...
- 7,962
4
votes
1
answer
138
views
Decide whether there are "linear" relations between quadrics
Let $k$ be an algebraically closed field of characteristic $0$. For a homogeneous ideal $I=(q_1,\dots, q_k)\subset k[x_0,\dots,x_n]$ generated by quadrics, is there a method to decide whether the ...
- 30.6k
3
votes
0
answers
123
views
Dimension of the socle of the first local cohomology module
Let $M$ be a graded $\mathbb{C}[z_0,\dots,z_n]$-module. Using local duality one can show that
$$
\dim_\mathbb{C} (\text{soc} H_\mathfrak{m}^1(M))_k = \beta_{n,k+n+1}(M).
$$
Here $H_\mathfrak{m}^1(M)$ ...
- 294
1
vote
1
answer
229
views
Generic Galois alteration of an arithmetic model with semistable special fiber
Let $R$ be a DVR of char $0$ and $S=Spec(R)$. Let $X\longrightarrow S$ be a proper flat morphism. Assume $X$ is integral. De Jong's Theorem 8.2 in his paper Smoothness, semi-stability and alterations ...
- 1,144
6
votes
2
answers
1k
views
Kernel of evaluation map into field of quotients
Let $R$ be an integral domain and for $a \in R$ denote by $\text{eval}_a: R[X] \to R$ evaluation at $a$. It's well-known (and easy to see) that
$$\ker(\text{eval}_a)=(X-a).$$
The next more ...
- 7,893
5
votes
1
answer
273
views
Examples of noetherian local rings $R$ such that $K'_0(R)$ is not isomorphic to $\mathbb Z$
Does there exist a simple example of a commutative noetherian local ring $R$ such that $K'_0(R) = K_0(\mbox{Mod-}R)$ (by $\mbox{Mod-}R$ I mean the abelian category of finitely generated $R$-modules) ...
- 55.9k
6
votes
1
answer
262
views
Is there a finite extension with a non-trivial class group of any PID?
Let $R$ be a PID with infinitely many prime ideals. Does there always exist a finite extension $R\subset R'$ with $R'$ being a Dedekind domain with a non-trivial class group?
- 28.7k
1
vote
0
answers
973
views
Intersection of principal ideals
Let $x,y$ be nonzero elements in a commutative ring $R$. Is $(x)\cap (y)$ always finitely generated?
What if we further assume that $R$ is an integral domain? Can we construct non-Noetherian non-local ...
8
votes
1
answer
372
views
Commutative ring $R$ with no nontrivial idempotents, with a localization $R_r$ with infinitely many idempotents
I am looking for a commutative ring $R$ with $1$ such that $R$ has no idempotents and there exists $r\in R$ such that the localization ring $R_r$ has infinitely many idempotents.
- 4,745
6
votes
1
answer
245
views
Transcendent basis for the field of multisymmetric functions
It is known that the field of multisymmetric rational functions (over a field of characteristic $0$), that is,
rational function in variables $x_{11}, \ldots, x_{1m}, \ldots, x_{n1}, \ldots, x_{nm}$ ...
- 16.9k
1
vote
1
answer
154
views
Locally isomorphic algebras over a Dedekind domain
Let $R$ be a Dedekind domain. Let $A$ and $B$ be two finitely generated domains over $R$. Assume that for every maximal ideal $\mathfrak{p}\subset R$ the $R_{\mathfrak{p}}$-algebras $A_{\mathfrak{p}}$ ...
- 28.7k
2
votes
1
answer
381
views
Reduced complete Tate ring which is not uniform?
Recall that a topological ring $A$ is Tate if there is an open subring $A_0$ such that the induced topology on $A_0$ is t-adic for some $t \in A_0$ that becomes a unit in $A.$ One can, given a Tate ...
- 1,052
1
vote
0
answers
96
views
Degree reduction in decompositions of multivariate polynomials
Is the following statement true?
Let $m,n,d$ be natural numbers. Then there exists a natural number $D=D(d,m,n)$ with the following property: If a polynomial $P(x_1,\dots,x_n)$ of total degree $d$ ...
- 3,599
0
votes
1
answer
74
views
Small linear relations in unbalanced diophantine equations from primitive Pythagorean triples
$r$ is parameter. Pick coprime $m,n\in[r,2r]$ with $mn$ even. Consider the Linear Diophantine Equation $$a^4u+b^4v+c^2z=0$$ where $a=m^2-n^2$, $b=2mn$ and $c=m^2+n^2$.
Is it true that there are ...
- 1,826
6
votes
1
answer
269
views
Algebraization of Bayesian networks?
The algebraization of classical propositional logic is Boolean algebra.
Bayesian networks are a generalization of classical propositional logic with probability truth-values.
What is the ...
- 63.9k
5
votes
0
answers
162
views
Classifying toposes of theories of rings that aren't local rings
The standard uses of toposes in algebraic geometry come from sites that look roughly like the syntactic sites of theories of local rings that they classify. This isn't particularly surprising, since ...
- 3,816
1
vote
1
answer
111
views
non-archimedean valuations on graded rings
Let $R$ be a commutative (non-trivially) graded ring. By a non-archimedean valuation I mean a map $v: R \to \Gamma \cup {0}$ such that for all $x,y \in R$, we have $v(x+y) \leq \max\{v(x),v(y)\}$, $v(...
- 9,061
7
votes
1
answer
292
views
Is $Tor_A(k,k)$ a bicommutative Hopf algebra?
Let $A$ be a commutative (or graded commutative) algebra over a field $k.$ In some sources, such as Mcleary's book on spectral sequences, Corollary 7.12, pg. 248, it is claimed that $\text{Tor}_A(k,k)$...
- 16.9k
5
votes
1
answer
403
views
Classification of finitely generated modules over non-commutative rings
Let $\Lambda$ be a commutative integral ring with an automorphism $\sigma$ (I have in mind $\mathbb Z_p[[t]]$ and $\sigma(t) = (1+t)^\alpha - 1$ with $\alpha \in \Lambda^\times$) and $R = \Lambda\{F\}$...
- 35.2k
6
votes
2
answers
685
views
Integral domain over which any non-constant, one variable, irreducible polynomial has degree 1
Let $R$ be an integral domain such that every non-constant, irreducible polynomial $f(X) \in R[X]$ has degree $1$.
Q. is it true that $R$ is a field?
If $0 \ne a \in R$ , then $X^2-a$ is ...
- 103
3
votes
0
answers
186
views
Is cup product of cycle classes on Noetherian regular excellent scheme compatible with intersection
Let $\mathcal{X}$ be a Noetherian regular integral excellent scheme. Let $Y$ and $Z$ be algebraic cycles of codimension $c$ and $d$ on $\mathcal{X}$.
Let $n$ be a positive integer invertible on $\...
- 43
7
votes
0
answers
824
views
On Grothendieck's abstract definition of differential operators
I have heard that there is the following abstract definition due to Grothendieck of differential operators on a module $M$ over a commutative associative unital algebra $A$ over a field of ...
- 21.8k
9
votes
1
answer
313
views
Concerning $k \subset L \subset k(x,y)$
The following is a known result in algebraic geometry:
Let $k$ be an algebraically closed field of characteristic zero (for example, $k=\mathbb{C}$).
Let $L$ be a field such that $k \subset L \subset ...
- 12.9k
2
votes
0
answers
105
views
Reference request: Differential graded structures in mixed characteristic
I am looking for references/papers on differential graded structures and their applications in mixed characteristic. The following I have discuss differential graded algebras in the general, not in ...
- 327
8
votes
1
answer
642
views
Property of the trace on finitely generated projective modules
Let $A$ be a commutative ring with unit and let $P$ be a projective $A$-module finitely generated. By definition, there exists an $A$-module $P'$ such that $P\oplus P'$ is free of finite rank $r$. If $...
- 28.7k
5
votes
1
answer
400
views
Dual of $End_A(M)$
Let $A$ be a finitely generated $\mathbb C$-algebra and an integral domain. Assume also $A$ is Gorenstein. Let $M$ be a finitely generated torsion-free $A$ module.
Is it true that $Hom_A(End_A(M), A)\...
CommunityBot
- 1