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

learn more… | top users | synonyms (1)

3
votes
1answer
357 views

Who defined and who coined “module”?

The title of my Q. says it all: QUESTION:   Who defined and who coined: module? Would it be Emmy Noether? EDIT   In view of @anon's and KConrad's answers, and as it could have been ...
1
vote
1answer
131 views

Does projective duality preserve arithmetic-Cohen-Macaulay-ness?

Let $V$ be a vector space over $\mathbb{C}$. Suppose $X\subset \mathbb{P} V$ is an algebraic variety, and consider its projective dual variety $X^\vee \subset \mathbb{P} V^*$. If the coordinate ring ...
-1
votes
1answer
138 views

When is a local subring of a number field a valuation ring?

Do we have some good examples of local subrings of number fields which are not valuation rings? Do we have an easy criterion for determining whether a local subring of a number field is a valuation ...
4
votes
0answers
122 views

Bound for the height of equations defining the singular locus of a variety

Fix positive integers $m, n, d$. In what follows, the height of an algebraic number will mean the absolute multiplicative height. Let $V \subset \bar{\mathbb{Q}}^n$ be an affine algebraic variety ...
4
votes
1answer
362 views

How to prove a Proposition of Rouquier?

Proposition 7.15 in Rouquier's paper (see Publication paper) "Dimension of triangulated categories J. K-theory, 1 (2008) 193-256" as follows, for details please see Rouquier's paper (or arXiv): ``Let ...
4
votes
1answer
172 views

Endomorphisms of a maximal ideal of a local ring

Let $R$ be a commutative local ring with maximal ideal $\mathfrak{m}$. Is it true in general that $\text{Hom}_R(\mathfrak{m},\mathfrak{m})\cong \text{Hom}_R(\mathfrak{m}, R)$? What if the Krull ...
5
votes
1answer
227 views

Does $ \text{mult}(R / I) = d_{1} \cdots d_{r} $ imply that $ (f_{1},\ldots,f_{r}) $ is an $ R $-regular sequence?

We define the multiplicity of an $ R $-module $ M $ of dimension $ d > 0 $ to be $$ \text{mult}(M) \stackrel{\text{df}}{=} \text{LC}(P_{M}) \cdot (d - 1)!, $$ where $ P_{M} $ denotes the Hilbert ...
5
votes
1answer
207 views

Is a projective module of constant finite rank finitely generated?

If $R$ is a (commutative) ring and $P$ is a projective $R$-module, then every localization of $P$ at a prime of $R$ is free by Kaplansky's theorem, and has a well-defined rank. If these ranks are all ...
1
vote
0answers
53 views

Decomposition of polynomials with three variables

We use $\bigtriangleup _i$ to denote either multiplication or addition. Suppose we have a polynomial $P(x,y,z)$ over some algebraic closed field such that: There are $Q(x), W_1(x,y),W_2(x,z)$ ...
7
votes
4answers
590 views

Constructing a space with prescribed cohomology ring

The most general way I can formulate my question is the following: Question 1: Given a Gorenstein quotient ring $S$ of a polynomial ring over a field $K$, can one construct a (topological) space $X$ ...
3
votes
0answers
49 views

Is there a positive integer k such that any endomorphism of any free module over any commutative ring is a linear combination of k idempotents?

Consider the following Condition (C) on a positive integer $k$: (C) If $R$ is a commutative ring, if $F$ is a free $R$-module, and if $f$ is an endomorphism of $F$, then $f$ is an $R$-linear ...
0
votes
0answers
94 views

$\Gamma_Z(\widetilde M)\cong\widetilde{ \Gamma_Z(M)}$

Let $R$ be a Noetherian ring and let $M$ is an $R$-module. Consider the associated affine scheme $(\text{Spec R},\mathcal{O}_{\text{Spec R}})$ and Suppose $Z\subset X$ is a closed subset of ...
-3
votes
1answer
101 views

Isomorphic quotient of a Module over Noetherian commutative algebra [closed]

I have a nice solution to the following problem and I thought of writing a paper about it but beforehand, I wanted to ask the problem here to see if this is an easy problem and if you people can solve ...
3
votes
1answer
226 views

A Zero-Multiplicity Problem Related to Foulkes' Conjecture

I'm a combinatorialist that is interested in estimating multiplicities of irreps of $1^{S_{kn}}_{S_k \wr S_n}$ (the action of symmetric group on uniform partitions). I'm aware of the difficulty (or ...
1
vote
0answers
76 views

Recovering fractional ideals from ideals

Let $R$ be a Noetherian domain; let ${I_{(i)}}$ be a set of fractional ideals in $K$, the fraction field of $R$, indexed by a lattice such that $I_{(i)} I_{(j)} = I_{(i + j)}$. Let $J_{(i)} = I_{(i)} ...
2
votes
1answer
226 views

Hilbert function of points in $\mathrm{P}^2$

Let $\Gamma$ be a collection of $d$ points in $\mathrm{P}^2$, and $I$ the graded ideal of $\Gamma$.If $$ ...
3
votes
1answer
225 views

Base-change of schemes over number rings

Let $S$ be a finite set of maximal ideals in $ O_K$, where $O_K$ is the ring of integers of some number field $K$. Define $A= O_K[S^{-1}]$. Let $X$ be an arbitrary $A$-scheme. Consider the scheme ...
0
votes
0answers
163 views

Zariski open set of linear forms

Let $I$ be a graded homogeneous ideal over $k[x_1, ... ,x_n]$ and $h$ a linear form, let $H$ be the corresponding hyperplane and $I_H$ the restriction of $I$ to $H$. I am looking for a Zariski open ...
2
votes
1answer
218 views

Open covering of the Hilbert functor of points

Let $R \to A$ be a homomorphism of commutative rings. Define the functor $$\mathrm{Hilb}^n_{A/R} : \mathsf{CAlg}(R) \to \mathsf{Set}$$ as follows: If $B$ is a commutative $R$-algebra, then ...
2
votes
1answer
55 views

Degenerations and spanning monomials

Let $R = \mathbb{C}[x_1,…,x_n]$, let $J\subset R$ be a graded ideal, and consider the initial monomial ideal $\operatorname{in}(J)$ with respect to some term order. Suppose that we are given a linear ...
2
votes
0answers
63 views

Tensor product of commutators vs. commutator in a tensor product

Let $R$ be a (noetherian) commutative ring, and let $V$ and $W$ be finitely generated free $R$-modules. Let $X \subseteq \mathrm{End}_R(V)$ and $Y \subseteq \mathrm{End}_R(W)$ be finite subsets, and ...
2
votes
2answers
337 views

Canonical Sheaf of Projective Space

I am stuck on one step that occurs without explanation in several Algebraic geometry books. Starting from the exact sequence $$0\rightarrow \Omega_{\mathbb{P}^n}\rightarrow ...
1
vote
2answers
223 views

commutative algebra, diagonal morphism

can anyone help me with the following statement (it is part of a bigger proof where it is not explained). Let $B$ be a finite type $A$-algebra and consider the kernel $I$ of the diagonal ...
1
vote
1answer
118 views

General criterion to find a Z-basis in a fixed generating subset

Let $V=\mathbf{Z}^N$ be a free $\mathbf{Z}$-module of rank $N$. Let $S\subseteq V$ be a fixed finite subset. Consider the submodule $M:=\langle S\rangle\leq V$ generated by $S$. We know form the ...
2
votes
0answers
113 views

generalization Abhyankar's lemma

This question is related to a question I already asked on MO (smooth quotient out of a singular variety?), but I realized later that the hypotheses where not precise enough in my former question. Let ...
5
votes
0answers
127 views

Is every Noetherian *connected* ring a quotient of a Noetherian domain?

This question is a strengthening of this question (answered negatively), and arose due to David Speyer's answer here. Geometrically, this asks if every Noetherian connected affine scheme can be ...
7
votes
0answers
243 views

When is $I \otimes_A \hat{A} \cong I\hat{A}$?

Let $A$ be a commutative ring and $I$ a (finitely generated) ideal in $A$. We denote by $\hat{A}$ the $I$-adic completion of $A$, i.e. $\hat{A} = \varprojlim(A/I \leftarrow A/I^2 \leftarrow \ldots)$. ...
9
votes
2answers
260 views

Existence of a ring with specified residue fields

Given a finite set of fields $k_1, \ldots, k_n$, is there a (commutative with $1$) ring $R$ with (maximal) ideals $m_i$ such that $R/m_i \cong k_i$? To prevent things from being too easy, I ...
2
votes
1answer
80 views

Does the category PCM (partial commutative monoids) have a closed symmetric monoidal product?

A partial commutative monoid (PCM) is, roughly speaking, a set with a partially defined binary operation that is as associative as it can be (given that not all products are defined) and commutative. ...
1
vote
1answer
165 views

Classification (and automorphisms) of torsion-free modules/sheaves

I would like to know what can be said about the classification of torsion-free modules. For my purposes, we can assume that $R$ is the function ring of a smooth affine variety over a field. How does ...
2
votes
0answers
164 views

why do we care about the irreducibility of parameter ideals?

It is well known that a local commutative unital ring $R$ is Gorenstein if and only if every parameter ideal is irreducible. Why the irreducibility of parameter ideals in a Gorenstein local ring is ...
0
votes
1answer
93 views

Formally smooth map from a regular ring

Let $A,B$ be two commutative noetherian rings. Let $f:A\to B$ be a formally smooth homomorphism. If $A$ is a regular ring (in the sense that all its localizations are regular local rings), does this ...
0
votes
0answers
153 views

A question about the unbounded derived category of the polynomial ring in infinitely many variables

In this moment I am trying to understand the derived category of the polynomial ring in infinitely many variables over a field $k$, $R=k[x_{1},x_{2},\dots]$ and I am wonder if it is true that ...
3
votes
0answers
90 views

When does a commutative DGA have a finitely generated quasi-free resolution?

Suppose that $A$ is a commutative dg-algebra (say over base $k$) which is bounded in non-positive degree (with cochain complex conventions). There exists a quasi-free resolution of $A$. My question ...
3
votes
2answers
186 views

Minimal fields of isomorphism for varieties

Let $V$ be an algebraic variety over a field $K$. Is there a constant $d = d(V) \in \mathbb{N}$ such that for any variety $W$ defined over $K$ and isomorphic to $V$ over the algebraic closure of $K$, ...
2
votes
1answer
102 views

Projecting solutions of Hermitian forms over local rings

Let $R$ be a local ring (commutative and with $1$) with maximal ideal $M$, with an involution $\theta$. Let $h$ be a Hermitian form on $R^n$, i.e. $h:R^n\times R^n\rightarrow R$ such that $h$ is ...
0
votes
0answers
148 views

Reference: A nowhere vanishing section of a vector bundle is locally split

Well-known fact: If $(A, \mathfrak{m})$ is a local Noetherian ring, $E$ is a finitely generated free $A$-module, and $e\in E$ is an element not contained in $\mathfrak{m}E$, then $E/eA$ is also a ...
1
vote
0answers
202 views

R[[X]] flat as a R[X]-module?

I assume $R[X]\rightarrow R[[X]]$ is not flat in general, but I was wondering if any conditions on a commutative ring $R$ are known such that $R[[X]]$ is flat as a $R[X]$-module. Would $R$ noetherian ...
1
vote
1answer
121 views

Is the completion of an arbitrary ring w.r.p. a maximal ideal a local ring? [closed]

Give an arbitrary commutative ring (not necessarily noetherian) $A$ with $\mathfrak{m}$ a maximal ideal. Is the completion $\hat{A}$ w.r.t. the ideal $\mathfrak{m}$ a local ring? If so, is the maximal ...
3
votes
1answer
83 views

Regular commutative Banach algebras which are not closed under complex conjugate

Let $A$ be a semisimple commutative Banach algebra with the maximal ideal space $X$. Further, assume that $A$ is regular i.e. for every closed set $E\subseteq X$ and $x\in X\setminus E$, there is some ...
0
votes
0answers
45 views

When does the Spectrum of a Commutative Hopf Algebra Separate Points?

Let $H$ be a (finitely generated) commutative Hopf algebra over the complex numbers. When is it true that, for every $g \in H$, we can always find an algebra map $f_g:H \to \mathbb{C}$ such that ...
5
votes
0answers
113 views

Vanishing of Andre-Quillen homology and injective dimension

Let $(A,m,k)$ be a commutative local ring. Assume that for all $n\ge 3$, the Andre-Quillen homology modules $H_n(A,k,k)$ vanish. Does this imply that $A$ has finite injective dimension over itself? ...
6
votes
2answers
273 views

Arithmetic Cohen-Macaulayness of curves/surfaces defined by weighted power sums in 3 variables

Pick $p,q,r$ complex numbers (I am most interested in the case when they are positive integers). Define the function $P_i = px^i + qy^i + rz^i$ where $x,y,z$ are coordinates. I have a few related ...
2
votes
0answers
70 views

Completion of Bezout Domain a Bezout Domain?

Let $R$ be a Bezout domain, and $I$ any ideal inside of $R$. Is the $I$-adic completion $$ \varprojlim_i R/I^i $$ necessarily a Bezout domain? If not, what conditions (on $R$ or $I$) might ensure that ...
0
votes
0answers
68 views

stability of discriminant curve of nonsingular nets of quadrics

The following are from this question: A pencil of quadrics in $\mathbb{P}^n$ is a line in $\mathbb{P}^N$, where $N=\frac{n(n+3)}{2}$. So the space of pencil of quadrics is the Grassmannian ...
4
votes
0answers
153 views

A doubt from the paper “The diagonal subring and the Cohen-Macaulay property of a multigraded ring”

I am currently reading the paper "The diagonal subring and the Cohen-Macaulay property of a multigraded ring" by Eero Hyry. I have a doubt about the first part of Theorem 2.5. In the proof $(1)\iff ...
0
votes
2answers
148 views

Ideals in the I-adic completion of a ring

Let $R$ be a commutative ring; does every ideal in the $I$-adic completion of $R$ $$ \varprojlim_i R/I^i $$ arise as the $I$-adic completion of some ideal inside of the original ring $R$?
3
votes
0answers
68 views

the annihilator of cokernel in a particular case

Let $A\in Mat(m,n;R)$ for $m\le n$ and $R$ a local ring. Consider the $mn\times(m^2+n^2)$ matrix $A\otimes 1_{nn}\oplus 1_{mm}\otimes A^T$, here $1_{mm}$, $1_{nn}$ are identity matrices. I'd like to ...
13
votes
3answers
550 views

Descent of functions along finite birational morphisms

Let $A\to B$ be a morphism of (unitary commutative) rings such that $B$ is module-finite over $A$ and there exists $f\in A$ which is a nonzerodivisor in $A$ and in $B$, with $A[1/f]\to B[1/f]$ an ...
2
votes
1answer
145 views

Vertices of a polytope as algebra generators

I am wondering if the following kind of objects has some name, or are there any studied examples. I apologize for perhaps too specific definition, this is an adoptation of a situation that arises in ...