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
188
views
Help with Macaulay2 computation of invariant ring
Consider the algebraic group $G:=\operatorname{SL}_{2}\times\operatorname{SL}_{2}$ acting on $V:=\operatorname{Mat}_{2\times 2}\oplus\operatorname{Mat}_{2\times 2}$ via the action $(A,B)\,\cdot\,(X,Y)=...
- 839
8
votes
1
answer
356
views
Homological conjectures for finite dimensional commutative algebras
$\DeclareMathOperator\Ext{Ext}\DeclareMathOperator\Hom{Hom}$>Question: What are some (open) homological conjectures that are also relevent for finite dimensional commutative algebras over a field $...
- 16.2k
78
votes
9
answers
26k
views
Irreducibility of polynomials in two variables
Let $k$ be a field. I am interested in sufficient criteria for $f \in k[x,y]$ to be irreducible. An example is Theorem A of this paper (Brindza and Pintér, On the irreducibility of some polynomials in ...
- 21.5k
5
votes
0
answers
175
views
differential normal cone
$\newcommand{\Spec}{\operatorname{Spec}}$Let $X$ be a scheme, and $Y$ a closed subscheme; to simplify notation assume $X=\Spec(A)$
is affine, so $Y=\Spec(B)$, $B=A/I$. According to the standard ...
3
votes
1
answer
290
views
On Flat and Projective Modules over integral domain
Is this true that finitely generated flat module over an integral domain is projective.
If Yes, please provide a proof.
- 16.2k
0
votes
1
answer
147
views
Existence of linear disjointness between an algebraic number field and $p$-cyclotomic field over $ \mathbb{Q}$
Suppose $ K $ be an algebraic number field and $ n $ be an even integer. Is it possible to find atleast one $ p $ such that $ p\equiv 1( \text{mod}~ n)$ and $ \mathbb{Q}(\eta_p) $ is linearly disjoint ...
- 3,054
1
vote
0
answers
24
views
One-step vectorial recurrence into multi-step scalar recurrence on commutative rings with boundary conditions
Introduction over unbounded domain
Consider the forward time shift $\mathsf{z}$ acting on a discrete function of time (sequence) $f=(f^n)_{n\in\mathbb{N}}$ as $(\mathsf{z} f)^{n} = f^{n+1}$. Also ...
- 11
2
votes
0
answers
211
views
Is a variety always contained in a hypersurface of smaller or equal degree?
(a) Let $V\subset \mathbb{A}^n$ be an affine variety (not necessarily irreducible). Write $\deg(V)$ for the sum of the degrees of its irreducible components. Must there be a hypersurface $W\subset \...
- 20.2k
1
vote
1
answer
146
views
Pure-dimensional intersection of smooth varieties
Let $X\subset \mathbb{P}^n$ be a complex smooth projective variety of degree $d$ and dimension $m$, such that $X$ is not contained in any projective subspace of $\mathbb{P}^n$. Let $P\subset \mathbb{P}...
- 39.3k
1
vote
0
answers
82
views
Relative 1 form of Frobenius morphism
Let $X$ be a connected smooth algebraic variety over a field $k$ of characteristic $p > 0$. We can consider the Frobenius morphism associated to $X \mapsto Spec(k)$. I'd like to show $\Omega^{1}_{X/...
- 73
0
votes
0
answers
213
views
Taking polynomial inverses over a field?
Let $f \in F_p[x] / q(x)$. I know for a fact that the inverse of $f$, $g$ exists in the field. Taking the regular inverse is easy, but I'm looking for the compositional inverse.
I'm looking for ...
- 591
3
votes
4
answers
807
views
$R$ is a UFD iff $R_{\frak{m}}$ is a UFD?
Let $R$ be a graded ring such that $R_0$ is a field and let $\frak{m}$ be the maximal ideal generated by all the elements of positive degree. Then, is it true that $R$ is a UFD iff $R_{\frak{m}}$ is a ...
- 839
1
vote
0
answers
125
views
Confusion regarding change of variable and irreducibility
Let $\mathbb{K}$ be an algebraically closed field of characteristics zero. Let $X$ be an irreducible affine variety, with a rational action of a linearly reductive algebraic group $G$. Also, assume ...
- 839
5
votes
0
answers
126
views
Koszul algebras among finite dimensional commutative algebras
Given a local commutative artinian algebra $A$ of the form $K[x_1,...,x_n]/I$ with quadratic ideal $I$ and $K$ a field.
Question 1: Is there a computer algebra system that can check whether such an ...
- 26.5k
4
votes
0
answers
92
views
Lie bracket of general unipotent matrices
Let $k$ be a field (of characteristic $0$). Let
$$
X:=\begin{pmatrix}1&x_{1,2}&x_{1,3}&\cdots&x_{1,n}\\ &1&x_{2,3}&\cdots&x_{2,n}\\ &&1&\cdots&x_{3,n}\\ ...
- 12.9k
2
votes
0
answers
255
views
Multivariable Weierstrass preparation theorem
The Weierstrass preparation theorem for formal power series says the following:
Let $f(T) \in \mathbf{Z}_p [[ T ]]$ be a formal power series. Then we can write $f(T) = p^{\mu} \cdot u(T) \cdot g(T)$, ...
- 1,949
4
votes
1
answer
385
views
Can the ring of symmetric polynomials be generated by powers of symmetric polynomials of degree 1?
I'm making a research on Galois theory, and found something interesting regarding the ring of symmetric polynomials:
At least up to 5 variables, we can rewrite the elementary symmetric polynomials ...
- 148k
4
votes
1
answer
242
views
Quadratic refinements of a bilinear form on finite abelian groups
$\DeclareMathOperator\Hom{Hom}$Let $A$ be a finite abelian group and $\text{Sym}(A)$ the (abelian) group of symmetric bilinear forms over $A$ valued in $\mathbb{R}/\mathbb{Z}$.
A quadratic function on ...
- 9,720
6
votes
1
answer
1k
views
Discovery of Hilbert polynomial
Presumably it was Hilbert who discovered Hilbert polynomials - where did they first appear?
The basic theorem is that for a finitely generated graded module $M = \bigoplus_k M_k$ over the ring of ...
- 5,339
6
votes
1
answer
245
views
If degree $N$ polynomials always have a root, does there still exist an irreducible polynomial of degree $N+1$?
Given that $F$ is a field, let $F_n$ be the completion of $F$ with respect to roots of degree $n$ polynomials. For example this would make $\mathbb{Q}_2$ the field of (ruler and compass) constructible ...
- 22.5k
3
votes
2
answers
395
views
Cohen-Macaulay Representations
I came across the book "Cohen-Macaulay Representations" by Graham J. Leuschke and Roger Wiegand, and now I'm wondering if this is an active area of research.
If yes, then
what are some of ...
- 26.5k
1
vote
1
answer
96
views
On "minimal presentation" of local rings essentially of finite type over a field
Let $k$ be a field of characteristic $0$. Let $(R,\mathfrak m)$ be a local ring essentially of finite type over $k$ (https://stacks.math.columbia.edu/tag/07DR). Then, $R$ is the homomorphic image of ...
- 3,137
5
votes
1
answer
308
views
Reference request for the group of units of a power series ring in one variable
Let $\mathbb F_p$ denote the finite prime field of $p$ elements. What reference can be recommended for an analysis of the structure of the group of units of the power series ring $\mathbb F_p[[x]]$? ...
- 56.9k
10
votes
1
answer
599
views
Isbell Duality and Dualizing Scheme Objects
I'm not sure if this question is too elementary for MO; nevertheless, I have seen many helpful discussions surrounding this topic here. I'm interested in studying the adjunction $\operatorname{Spec}\...
- 8,481
10
votes
0
answers
194
views
Singularity category of a hypersurface associated to $M_{11}$
For reasons to do with classifying spaces of finite groups, I have the following algebra. Let $k$ be a field of characteristic two, and let $R = k[x,y,z]/(x^2 y + z^2)$, as a graded $k$-algebra with $|...
- 16.2k
2
votes
0
answers
112
views
Understanding normalization algorithms
Let $R$ be a commutative and reduced ring, finitely presented over $\mathbb Z$. Let $\overline R$ be the integral closure of $R$ in its total ring of fractions. In https://arxiv.org/abs/alg-geom/...
- 211
0
votes
1
answer
80
views
Ideal membership and change of fields
Let $R=k[x_1,...,x_n]$ be a polynomial ring over a field. Let $f$ be a homogeneous polynomial and $I=(f_1,...,f_m)$ a homogeneous ideal.
With Macaulay2, one can compute the Groebner basis of $I$ when $...
- 16.9k
2
votes
0
answers
73
views
An iterative formula for the Kreweras-Voiculescu polynomials (reference request)
Let
$$N(x) = 1 + \sum_{k \ge 1} N_k(h_1,h_2,...,h_k) \;x^k$$
$$ = 1 + h_1 x + (h_1^2 + h_2) x^2 + (h_1^3 + 3h_1h_2 + h_3)x^3 + (h_1^4 + 6 h_2 h_1^2 + 4 h_3 h_1 + 2 h_2^2 + h_4) x^4 + \cdots$$
be the ...
- 10.5k
222
votes
8
answers
35k
views
How to memorise (understand) Nakayama's lemma and its corollaries?
Nakayama's lemma is mentioned in the majority of books on algebraic geometry that treat varieties. So I think Ihave read the formulation of this lemma at least 20 times (and read the proof maybe ...
- 12.9k
0
votes
1
answer
470
views
Can every idempotent ideal be generated by an idempotent?
This problem comes from this commutative algebra problem
Let $R$ be a commutative ring with identity, $I$ is a finite generated
ideal of $R$ such that $I^2=I$, then exists $e\in R$ such that $I=Re$.
...
- 146
3
votes
1
answer
1k
views
irreducibility of the polynomial $ x^4 +1 $
Let $K$ be a field. We consider the polynomial $f(x) = x^4 + 1$. It is known that $f(x)$ is irreducible over $\mathbb{Q}$ but reducible over any finite field. Thus $ f(x)$ is reducible over any field $...
- 63.9k
3
votes
1
answer
132
views
How to compute the integer corresponding to a class in $G_0(B_{\mathrm{red}})$ for a commutative noetherian ring $B$?
$\newcommand{\red}{\mathrm{red}}$Let $k$ be an algebraically closed field of characteristic zero and $m$ be a positive integer. Let $R$ be the subring $k[x,xy,xy^2,…,xy^m]$ of the polynomial ring $k[x,...
CommunityBot
- 1
3
votes
0
answers
249
views
Grothendieck schemes and the Sheffer differential op calculus (Rota, Roman, et al. finite operator calculus)
In "Left differential operators on non-commutative algebras" on p. 4, Michiel Hazewinkel displays "precisely the right definition of differential operator" as
$$D\; X^n = F(\tfrac{...
- 10.5k
28
votes
5
answers
9k
views
Can a quotient ring R/J ever be flat over R?
If $R$ is a ring and $J\subset R$ is an ideal, can $R/J$ ever be a flat $R$-module? For algebraic geometers, the question is "can a closed immersion ever be flat?"
The answer is yes: take $J=...
- 6,367
6
votes
0
answers
151
views
Which monomials are "leadable"?
Question: Let $k$ be a field, let $f \in k[t_1,\ldots,t_N]$ be a nonzero polynomial. Which monomials
$m_a = t_1^{a_1} \cdots t_N^{a_n}$ appearing in $f$ are leadable in the sense that they are the ...
- 65.4k
10
votes
1
answer
852
views
Is it a valuation ring?
It is known that a one-dimensional Noetherian local ring is a discrete valuation ring if it is integrally closed.
Then, even if it is not Noetherian, would a one-dimensional local ring become a ...
- 5,146
2
votes
0
answers
169
views
The dimension of the representation ring
Let $G$ be a compact Lie group. I am trying to characterize the algebraic properties of the representation ring $R(G)$ of $G$. In the case of the $n$-torus, the representation ring $R(T)$ is ...
19
votes
2
answers
765
views
Is $K[[x_1,x_2,\dots]]$ an $\mathfrak m$-adically complete ring?
I asked this question on Mathematics Stackexchange (link), but got no answer.
Let $K$ be a field, let $x_1,x_2,\dots$ be indeterminates, and form the $K$-algebra $A:=K[[x_1,x_2,\dots]]$.
Recall ...
- 3,738
4
votes
1
answer
280
views
Existence of module with periodic resolution
Let $R$ be a Gorenstein local ring. Does there always exist a module $M$ having eventually periodic minimal free resolution?
Any reference is also appreciated.
- 16.2k
8
votes
1
answer
333
views
Alterations and smooth complete intersections
Let $k$ be an algebraically closed field, and $X$ a projective variety over $k$. Let $i : X\subset \mathbf{P}^d_k$ be a closed immersion into a projective space of high enough dimension.
Is there a ...
- 28.7k
2
votes
1
answer
191
views
Cohen-Macaulay fiber products
Let $R$ be a regular local ring, $X$ and $Y$ smooth $R$-schemes, $T\to Y$ a regular closed immersion over $R$ with $T$ smooth over $R$, and $f: X\to Y$ an $R$-morphism.
Is the fiber product scheme $...
- 20.5k
4
votes
0
answers
179
views
Explicit construction for Cohen’s $p$-ring with imperfect residual field
Apologize if this is a below-research-level question. Asked in stack exchange but no response yet.
Let $p>0$ be a prime. Recall that a $p$-ring is a complete DVR $A$ with residual filed $k$ of ...
- 63.9k
2
votes
1
answer
250
views
Images of smooth schemes under lci morphisms
Let $S$ be a Noetherian scheme, $f : X\to S$ a smooth quasi-projective morphism, $g : X\to Y$ a morphism of finite type, and $h : Y\to S$ a smooth projective morphism with $h\circ g =f$.
Can we say ...
- 28.7k
8
votes
1
answer
1k
views
Software for computing multi-graded Hilbert series
The ring of invariants $S^T$ of $k[a,b,c,d]$ under the algebraic torus action $T = k^{*}$ with weights $(1,1,-1,-1)$
is $S = k[ac,ad,bc,bd]$ which has multigraded Hilbert series
$$
\frac{1 - abcd}{(1-...
- 6,367
59
votes
4
answers
12k
views
Geometric meaning of Cohen-Macaulay schemes
What is the geometric meaning of Cohen-Macaulay schemes?
Of course they are important in duality theory for coherent sheaves, behave in many ways like regular schemes, and are closed under various ...
- 42.9k
4
votes
0
answers
101
views
Theta functions in acyclic cluster algebras
Setup: Let $B$ be a skew-symmetrisable integer matrix and $\mathcal{A}$ be the cluster algebra with principal coefficients at a seed with mutation matrix $\tilde{B}$ whose principal part is equal to $...
4
votes
0
answers
84
views
Dimension of a positively graded ring after a suitable localization
Quesion- Let $R=\bigoplus_{i\ge 0} R_i$ be a (non-trivial) positively graded commutative Noetherian ring with $1(\not=0)$ of (Krull) dimension $d\ge 0$. Let $S\subset R_0$ be a multiplicative set such ...
2
votes
2
answers
369
views
Can a non-zero non-prime ideal become prime in a smaller ring?
All rings are assumed commutative and unital.
Some context (feel free to skip right to the questions below). I am trying to understand to what extent the property "being prime" for an ideal $...
- 42.9k
5
votes
0
answers
107
views
Size of minimal generating set of ideal over Laurent polynomial ring
Recently in attacking a problem in algebraic topology relating to the construction of stably-free non-free modules over integral group rings I’ve noticed that it is often fairly easy to reduce to ...
- 187
1
vote
0
answers
83
views
Partial fraction decompositions for integral domains
I've recently been involved in a math conversation regarding partial fraction decompositions for rational numbers, but we seem to lack a formal definition and are unsure about whether there is some ...
- 2,858