# Tagged Questions

**1**

vote

**0**answers

41 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

**2**answers

253 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

**2**answers

198 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 ...

**-4**

votes

**0**answers

192 views

### Associated prime ideals and local cohomology [on hold]

Let $M$ be an $R$-module such that $\operatorname{Ass}(M/N)$ is a finite set for any submodule $N$ of $M$. Show that
1. $\operatorname{Ass}(M/r M)=\operatorname{Ass}(M/r^n M)$ for each natural $n$;
2. ...

**1**

vote

**1**answer

110 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

**0**answers

79 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

**0**answers

112 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 ...

**6**

votes

**0**answers

200 views

+100

### 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

**2**answers

250 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

**1**answer

55 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

**1**answer

133 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

**0**answers

107 views

### Localization and Direct limit [migrated]

Let $ A $ be a ring.
Let $ I $ be a preordered set, filtering.
Let $ \Sigma $ a multiplicative subset of $ A $.
Suppose for any given $ i \in I $ a multiplicative subset $ S_i $ of $ A $ contained ...

**2**

votes

**0**answers

116 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

**1**answer

70 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

**0**answers

133 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

**0**answers

76 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

**2**answers

165 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$, ...

**0**

votes

**0**answers

16 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

**0**answers

129 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

**0**answers

185 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

**1**answer

109 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

**1**answer

66 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

**0**answers

39 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

**0**answers

102 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?
...

**5**

votes

**2**answers

187 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

**0**answers

65 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

**0**answers

52 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

**0**answers

134 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

**2**answers

119 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$?

**2**

votes

**0**answers

55 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

**3**answers

476 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

**1**answer

122 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 ...

**16**

votes

**0**answers

525 views

### A short proof for $\dim(R[T])=\dim(R)+1$

For a commutative ring $R$ we clearly have $\dim(R[T]) \geq \dim(R)+1$. If $R$ is noetherian, we have equality. Every proof I'm aware of uses quite a bit of commutative algebra and non-trivial ...

**6**

votes

**0**answers

86 views

### Finiteness for separated residually finite modules

Suppose that $A$ is a commutative noetherian Jacobson ring and $M$ is an $A$-module. Suppose in addition that $M$ is $\mathfrak{m}$-adically separated for every maximal ideal $\mathfrak{m}$, and that ...

**3**

votes

**1**answer

234 views

### Reference for comparison of heart cohomology with standard cohomology

I'm looking for a reference for the following fact (which I believe to be true and should be easy for people who understand how spectral sequences arise from filtrations).
Let A,B be two hearts of ...

**7**

votes

**2**answers

316 views

### What is the probability that a random sequence of polynomials is regular?

Let $k$ be a finite field or a field with a height function, such as a number field.
Consider the ring $k[[x_1,\dots, x_n]]$ and let $\mathfrak{m}$ be its maximal ideal.
What is the asymptotic ...

**4**

votes

**1**answer

119 views

### Interpretations of differentials in hypercohomology spectral sequences as Yoneda products

I would like to know whether the differentials in a particular hypercohomology spectral sequence can each be interpreted, in some natural way, as Yoneda products between extension groups.
More ...

**5**

votes

**1**answer

167 views

### Injective flat module

Let $R$ be a (right noetherian) ring. Is there always a right $R$-module which is both flat and injective? If $R$ is an integral domain, then the answer is indeed yes, as the quotient field is such.
...

**4**

votes

**1**answer

429 views

### A weak version of Bass' conjecture

Let $A$ be a finitely generated $\mathbb{Z}$-algebra which is a UFD. Then (a special case of) the Bass conjecture states that $K_0(A)$ is a finitely generated abelian group. As far as I am aware, this ...

**1**

vote

**0**answers

89 views

### A strong form of implicit function theorem (what happens when the derivative is degenerate?)

(this can be considered as some ad)
Consider the system of equations $F(x,y)=0$. (Here $x$, $y$ are multi-variables. The equations are over a local ring. e.g. polynomial/analytic/formal/$C^\infty$ ...

**2**

votes

**1**answer

224 views

### Are Abelian varieties (sometimes) globally $F$-split?

As defined by Karen Smith here, beginning of section 3? If $E$ is an elliptic curve, then it is when $E$ is ordinary. I wonder about higher dimension cases. Any references would be greatly ...

**8**

votes

**1**answer

715 views

### Descent of regularity under a faithfully flat morphism: Where does my proof fail?

While having lunch today with my advisor I tried to come up with a proof of the following fact:
EGA 0-IV (17.3.3): Let $\phi : (A,\mathfrak{m}) \to (B,\mathfrak{n})$ be a flat local ...

**1**

vote

**0**answers

206 views

### Global dimension of a subalgebra with all units

(All rings here are always assumed to be unital and associative).
Setup
Let $R$ be a ring, and $A$ and $B$ be $R$-algebras, with $A$ a commutative subalgebra of $B$ satisfying:
If $u$ is a unit ...

**1**

vote

**2**answers

245 views

### Let $f \colon X \to Y$ be an étale morphism of schemes. If $Y$ is integral, then is $X$ integral? [closed]

Let $f \colon X \to Y$ be an étale morphism of schemes.
We know:
(1) if $Y$ is normal, then $X$ is normal.
(2) if $Y$ is regular, then $X$ is regular.
(3) if $Y$ is reduced, then $X$ is ...

**3**

votes

**2**answers

239 views

### Are quotients of affine schemes by finite groups faithfully flat?

Let $R$ be a (Noetherian) ring, and $G$ a finite group acting on $R$. Consider the subring $R^G$. Is the map $R^G\rightarrow R$ faithfully flat?
If not, does this become true if we restrict to ...

**2**

votes

**0**answers

65 views

### Semidirect products of semigroups [closed]

Let $S,T$ be two semigroups. A function $f:S\to T$ is called multiplicative if for any $x,y\in S$ we have $f(xy)=f(x)f(y)$. If $T=S$ then $f:S\to S$ is called automorphism on $S$.
A function ...

**5**

votes

**1**answer

164 views

### formally smooth functor

Let $p$ be a prime number, $\mathcal{O}$ the integers of a finite extension of $\mathbb{Q}_p$ with residue field $k$. Let $\mathcal{C}$ be the category of complete, local, noetherian ...

**5**

votes

**1**answer

134 views

### Is a Gorenstein ring a quotient of a local complete intersection

The title says it all - Suppose you are given a noetherian Gorenstein local ring $(A,m,k)$ of finite Krull dimension.
Does there exist a local complete intersection ring $B$ such that $A$ is a ...

**4**

votes

**0**answers

63 views

### Degree bounds for Grobner Basis

Let $I= \langle f_1, \ldots f_n \rangle \subset K[x_1,\ldots, x_n]$ be a homogeneous ideal and $\operatorname{deg}(f_i) \leq d$ then it has Grobner Basis where degree of each generator is less than or ...

**13**

votes

**1**answer

379 views

### A weird question about two weird decompositions of $\mathbb{R}$ as a $\mathbb{Q}$-vector space

While working in a question about the affine group $\text{Aff}(\mathbb{R})$, I have come up with the following strange question about the real numbers:
Question: Do there exist a non-trivial ...