**34**

votes

**0**answers

745 views

### Enriched Categories: Ideals/Submodules and algebraic geometry

While working through Atiyah/MacDonald for my final exams I realized the following:
The category(poset) of ideals $I(A)$ of a commutative ring A is a closed symmetric monoidal category if endowed ...

**17**

votes

**0**answers

271 views

### Deforming a basis of a polynomial ring

The ring $Symm$ of symmetric functions in infinitely many variables is well-known to be a polynomial ring in the elementary symmetric functions, and has a $\mathbb Z$-basis of Schur functions $\{S_\...

**17**

votes

**0**answers

1k views

### Two conjectures by Gabber on Brauer and Picard groups

In a paper I need to make reference to 2 conjectures by Gabber
(see Conjectures 2 and 3, page 1975)
http://www.mfo.de/programme/schedule/2004/32/OWR_2004_37.pdf
1) Let $R$ be a strictly henselian ...

**15**

votes

**0**answers

331 views

### Are dualizable modules finitely generated?

Let $A$ be a commutative noetherian ring, and assume that $A$ has a dualizing complex $R$. Let $D(-) := \operatorname{RHom}_A(-,R)$ be the associated dualizing functor, and let $M$ be an $A$-module.
...

**15**

votes

**0**answers

489 views

### Bloch-Kato conjecture and Wiles' numerical criterion

I already asked this question some days ago on http://math.stackexchange.com/questions/158747/bloch-kato-conjecture-and-wiles-numerical-criterion but didn't receive any response.
In the introduction ...

**14**

votes

**0**answers

273 views

### What are retracts of polynomial rings?

Is there a known example of a ring endomorphism $f: \mathbb{Z}[x_1, \ldots, x_n] \to \mathbb{Z}[x_1, \ldots, x_n]$ such that $f \circ f = f$ but whose image is not isomorphic to a polynomial ring?
...

**14**

votes

**0**answers

398 views

### Refinement of concept of support of a module

My rings are commutative and noetherian.
The support of a module is usually defined to be the set of prime ideals of the ring such that localization at that prime does not make the module zero. This ...

**14**

votes

**0**answers

621 views

### Countable Hom/Ext implies finitely generated

Today I learned this interesting fact from Jerry Kaminker: If $A$ is an abelian group such that $\mathrm{Hom}(A,\mathbb{Z})$ and $\mathrm{Ext}(A,\mathbb{Z})$ are both countably generated, then in fact ...

**12**

votes

**0**answers

170 views

### Concept associated to the Eudoxus reals

I am aware of three different constructions of the field of real numbers :
The Cauchy sequence construction : in this case, we see the field $\mathbb{Q}$ as a metric space and $\mathbb{R}$ is the ...

**12**

votes

**0**answers

366 views

### (When) is isomorphism on differentials enough to guarantee that a map is étale?

I'm sorry if this is too easy for MO.
Let $S$ be a locally noetherian scheme, flat over $\mathrm{Spec}\,\mathbb{Z}$, $X$ and $Y$ be flat $S$-schemes locally of finite presentation, and let $f:X\to Y$ ...

**12**

votes

**0**answers

734 views

### Frobenius upper shriek/flat of a dualizing complex

Let $X$ be a separated connected scheme of characteristic $p > 0$. I am going to assume that $F : X \to X$ (the absolute Frobenius) is a finite map. This condition is called being $F$-finite.
...

**12**

votes

**0**answers

449 views

### A commutative monoid associated with a finite abelian group

Let $M$ be a finite abelian group, and denote by $e_m$, for $m \in M$, the canonical basis of $\mathbb{Z}^M$. For $m, n \in M$ define elements $v_{m,n} \in \mathbb{Z}^M/\langle e_0\rangle$ as
$$
v_{m,...

**12**

votes

**0**answers

809 views

### monomorphisms and epimorphisms of local rings

I want to understand the structure of monomorphisms/epimorphisms in the category of local rings (with local homomorphisms), or dually in the category of local schemes. Let $LR$ denote this category.
...

**11**

votes

**0**answers

395 views

### What is the state of art in Groebner bases

How big polynomial systems can we deal with? How do you know when you don't even have to try?
Motivation:
Recently I tried to solve a problem posed in another MO question and ultimately I got stuck ...

**11**

votes

**0**answers

1k views

### Reverse mathematics strength of identically zero polynomials are the zero polynomial

According to wikipedia, the statement "every polynomial over a countable field that is not the zero polynomial has only finitely many roots" is equivalent to RCA0 over RCA0* (which is called ERCA-0 in ...

**10**

votes

**0**answers

241 views

### comparison of completion and Henselization in class field theory

Given a ring $R$ with maximal ideal $\mathfrak{m}$, we can form the localization $R_\mathfrak{m}$, the completion $\hat{R}_\mathfrak{m}$ or the Henselization $\hat{R}^h_\mathfrak{m}$ of $R$ with ...

**10**

votes

**0**answers

233 views

### Kähler differentials, intuition behind $\text{div}(\omega)$, canonical divisor on algebraic curves?

See my two previous questions here: Intuition for thinking about R-module of Kähler differentials, universal receptacles, derivations? and Kähler differentials, define valuation? for background.
If $\...

**10**

votes

**0**answers

261 views

### Subrings of invariants in divided power algebras

I am wondering to what extent the functors "ring of invariants under a group action $G$"
and "divided power envelope with respect to a $G$-stable ideal" commute.
To be precise, let $R$ be a ...

**9**

votes

**0**answers

160 views

### $A$-module is free if and only if equation involving Hilbert-Poincaré series holds, $M$ infinitely generated case

See my question here.
Let $A = \oplus_{i \ge 0} A_i$ be a nonnegatively graded commutative algebra and $M$ a nonnegatively graded $A$-module. Assume in addition that $A_0 = k$ and all vector ...

**9**

votes

**0**answers

141 views

### Why would we a priori expect $V(I)$ to satisfy axioms to define the closed sets for a topology on $\text{Proj}(S)$?

Reposted from math.stackexchange here.
The topological space $\text{Proj}(S)$ has the underlying set$$\text{Proj}(S) = \{\mathfrak{p} \text{ a homogeneous prime such that }S_+ \not\subseteq \mathfrak{...

**9**

votes

**0**answers

153 views

### Weierstrass division theorem for henselian rings

Let $A$ be an henselian local noetherian ring. There is an old result of Lafon ("Anneaux henséliens et théorème de préparation" (1967)), which says that if $A$ is analytically normal and of ...

**9**

votes

**0**answers

418 views

### What is a good introduction to cluster algebras from surfaces?

What is a good reference for cluster algebras from surfaces, with a view to their connection to Teichmuller theory?
In my view, that means it should start off with unpunctured surfaces (and in fact,...

**9**

votes

**0**answers

162 views

### How useful is knowing every torsionfree $\mathcal O(D)$ module is flat?

One of the corollaries of Weiertrass' factorization theorem plus the theorem of Mittag Leffler is that $\mathcal O(\Bbb C)$, more generally $\mathcal O(D)$ for some region $D$ is such that every ...

**9**

votes

**0**answers

209 views

### Is the generation of rings by their units a question in K-theory?

Susan's question When can number rings be spanned (as $\mathbb{Z}$-modules) by units? smells like an algebraic K-theory question in disguise. I'll reformulate the question first:
Given an integral ...

**9**

votes

**0**answers

192 views

### Smallest class of rings closed under familiar operations

Suppose I start out with the ring $\mathbb{Z}$, and call $\mathcal{C}$ the smallest collection of (commutative, unital) rings closed under the following list of operations (which I am aware has some ...

**9**

votes

**0**answers

136 views

### Diameter of simplicial complex mirrored in property of Stanley-Reisner ring?

Consider a pure finite abstract simplicial complex $\Delta$. Define its diameter as the maximal distance between any two facets, i.e., between any two faces of maximal dimension $d-1$. The distance ...

**9**

votes

**0**answers

442 views

### Conceptual proofs for the computation of the structure sheaf

The following lemma in commutative algebra is important for the foundations of algebraic geometry:
If $A$ is a commutative ring, $U \subseteq A$ is a finite subset generating the unit ideal, then ...

**9**

votes

**0**answers

393 views

### Are the supports of $Ext^i(M,N)$ eventually periodic?

Let $R$ be a Noetherian, commutative ring and $M,N$ be finitely generated $R$-modules.
Question: Do the sets of minimal primes of $\text{Ext}^i_R(M,N)$ (for a fixed pair of $M,N$) become periodic ...

**9**

votes

**0**answers

233 views

### Krull rings and determinantal invariants

During another attempt to come to grips with Hillman's excellent book Algebraic Invariants of Links, I am having difficulty figuring out why Krull rings are the setting for Chapter 3- the natural ...

**8**

votes

**0**answers

177 views

### When is a polynomial ring free over a graded subalgebra?

Keep the setting of my previous question and let $I := k[x_1, \dots, x_n] \cdot A_{>0}$ be an ideal of the algebra $k[x_1, \dots, x_n]$ generated by the set $A_{>0}$. It is clear that $I$ is a ...

**8**

votes

**0**answers

491 views

### What is the etale fundamental group of Spec Z((x))?

I know the etale fundamental group of $\mathbb{Z}$ is trivial. For algebraically closed fields $K$, the etale fundamental group of $K((x))$ is $\hat{\mathbb{Z}}$, since all covers in this case are ...

**8**

votes

**0**answers

366 views

### name for a degree-like invariant of a power series over a commutative ring

Let $R$ be a commutative ring, and let $f \in R[\![X]\!]$ be a formal power series. Sometimes (and for example, this will always be possible if $R$ is Noetherian), one may write $f$ in the form $$
f =...

**8**

votes

**0**answers

143 views

### Constructively correct notion of unique factorization domain

Recall the well-known proof that a unique factorization domain is a GCD domain:
Let $x, y \in R \setminus \{ 0 \}$. Factor $x$ and $y$ into pairwise non-associated irreducible elements: $$\begin{...

**8**

votes

**0**answers

243 views

### When is $\lim_{n\rightarrow\infty}\:\mathrm{depth}\:R/\mathfrak{a}^n= \mathrm{depth}\:R/\mathfrak{a}$?

Suppose $(R,\mathfrak{m})$ is a noetherian local ring. I am interested in ideals $\mathfrak{a}$ of $R$ for which $$\lim_{n\rightarrow\infty}\:\mathrm{depth}\:R/\mathfrak{a}^n= \mathrm{depth}\:R/\...

**8**

votes

**0**answers

250 views

### Uncountable Lüroth problem

Question. Let $F(X)$ be the field obtained by adding an uncountable collection of indeterminates (mutually transcendental elements) to a prime field $F$. Is there an example of a subfield $E$ of $F(X)$...

**8**

votes

**0**answers

452 views

### Proving that a variety is not (isomorphic to) a toric variety

Is there an algorithmic (or other) way to prove that a (projective)
variety is not isomorphic to a toric variety?
I'd be happy with an algebraic answer (for affine or projective varieties),
using the ...

**8**

votes

**0**answers

310 views

### Computing Ext for toric divisors

Ok, I have an affine (normal) toric variety $X = \text{Spec} k[\sigma]$. Suppose that $F, G$ are two torus invariant Weil divisors on $X$. Is there any relatively straightforward way to compute
$$
\...

**8**

votes

**0**answers

1k views

### Finding ideals of $\mathbb{Z}[x]$ generated by $n$ elements and no fewer

As the title says, I'm trying to find ideals of $\mathbb{Z}[x]$ generated by $n$ elements and no fewer. I suspect $(2^k, 2^{k-1} x, 2^{k-2} x^2, ..., x^k)$ is generated by no fewer than $n=k+1$ ...

**8**

votes

**0**answers

429 views

### E(n) Deformations of the infinity category Qcoh(X) with it's E(n)-tensor product

Let $X$ be a smooth scheme, then an infinity enchancement of $QCoh(X)$ has an $E_\infty$ structure and in particular an $E_n$ structure for any $n$. In this paper, http://arxiv.org/abs/0805.0157 Ben-...

**7**

votes

**0**answers

271 views

### Capitulation of ideal classes in general Dedekind Domains

I’ve been working on a problem, and come across an issue with capitulation in Dedekind domains. Here is the set up:
Let $D$ be a Dedekind domain, and $K$ its (perfect, but we’re willing to modify ...

**7**

votes

**0**answers

119 views

### Associated graded of double Koszul dual

Let $k$ be a field, and let $A$ be a graded, connected, augmented, locally finite $k$-algebra. If $\Omega^* A$ denotes the cobar complex of $A$ (i.e., the dual $Hom_k(B_*(A), k)$ of the bar complex ...

**7**

votes

**0**answers

162 views

### Terminology for vanishing of Hochschild homology with symmetric coefficients?

In a title or abstract for a paper, if I say "Hochschild cohomology of this algebra $A$ vanishes in degrees two and above" then
it should hopefully be understood by most readers as saying $H^n(A,M)=...

**7**

votes

**0**answers

339 views

### Can every commutative ring of characteristic $p\in\mathbb P$ be written as the form $R/(p)$ with $R$ being a ring of characteristic $0$?

All rings here are associative, commutative and unital. By a ring of characteristic zero (resp. of characteristic $p$, for prime $p$) I mean a ring $A$ such that the canonical homomorphism $\mathbb Z\...

**7**

votes

**0**answers

190 views

### scheme of commuting matrices

Let $k$ be any field. Let $r$ and $n$ be two positive integers.
Consider the functor $F$ from the category of $k$-schemes to the category of sets which sends a $k$-scheme $T$ to the set of matrices $...

**7**

votes

**0**answers

356 views

### Singularities arising from the Minimal Model Program (an algebraic point of view)

I will start the story by the end:
Is there some characterization of (some of) the singularities arising from the Minimal Model Program (canonical, terminal, log-...) in terms of commutative algebra ?...

**7**

votes

**0**answers

289 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)$.
...

**7**

votes

**0**answers

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

**7**

votes

**0**answers

474 views

### Getting a bound via polynomial equations

When studying the existence problem of power residue deference sets, I came across the following system of polynomial equations over $\mathbb{C}$,
\begin{cases}
&\sum\limits_{j=0}^{m-1}x_jx_{2k-j}=...

**7**

votes

**0**answers

257 views

### History of the characterization of commutative Artin rings

When it comes to the world of "classical" (pre-homological) Noetherian commutative algebra, I tend to think of most of the results (Krull's intersection theorem, the principal ideal theorem, etc.) as ...

**7**

votes

**0**answers

638 views

### Two definitions of smoothness?

This is confusing, there appear to be possibly two definitions of smoothness in algebraic geometry for a morphism $f: X \rightarrow Y$ of schemes of finite type over an arbitrary field $k$.
...