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

learn more… | top users | synonyms (1)

26
votes
0answers
592 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 ...
16
votes
0answers
376 views

Algebraic closure as a fibrant replacement?

Emil Artin's construction of the algebraic closure of a field $K$ is as follows. Let $K_{0} = K$, and inductively let $\{x_f\}$ be a set of indeterminates indexed by the irreducible $f$ in one ...
16
votes
0answers
927 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
0answers
267 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. ...
14
votes
0answers
359 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 ...
13
votes
0answers
437 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 ...
13
votes
0answers
469 views

When is every “solid” perfect complex faithful?

Let $R$ be a noetherian commutative ring. Consider $D^{perf}(R)=K^b(R-proj)$ the category of bounded complexes of finitely generated projective $R$-modules, with maps of complexes up to homotopy. ...
12
votes
0answers
425 views

How many ways can one cover $\mathbb Q_p$ with the images of polynomials?

Define a finite set of polynomials over a field $K$ to cover $K$ if the images of the polynomials, viewed as functions from $K$ to itself, have union the whole set. Define a minimal cover to be a ...
12
votes
0answers
566 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
0answers
668 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
0answers
427 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 $$ ...
10
votes
0answers
278 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$ ...
10
votes
0answers
176 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 ...
10
votes
0answers
236 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 ...
10
votes
0answers
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 ...
9
votes
0answers
296 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 ...
9
votes
0answers
370 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
0answers
621 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. ...
8
votes
0answers
174 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 ...
8
votes
0answers
117 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 ...
8
votes
0answers
423 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 ...
8
votes
0answers
427 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
0answers
296 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
0answers
411 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 ...
8
votes
0answers
224 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 ...
7
votes
0answers
262 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
0answers
232 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
0answers
281 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 ...
7
votes
0answers
108 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: ...
7
votes
0answers
161 views

Square of primary ideals

Is there any example of a $P$-primary ideal $I$ in a noetherian domain $R$ such that $I^2=PI \not=P^2$?
7
votes
0answers
79 views

Irreducibility testing and factoring

It is a result of van Hoeij and Novicin (Algorithmica, 2012) that factoring polynomials of degree $d$ over the integers can be done in $O(d^6 + d^4 \log^2 A)$ time, where $A$ is the coefficient bound. ...
7
votes
0answers
454 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} ...
7
votes
0answers
370 views

Grothendieck trace on local cohomology?

Let R be an augmented regular local ring over a field $k$ with maximal ideal m. There is the Grothendieck residue symbol: $$Res: H^n_m(\Omega^n) \to k$$ If $k=\mathbb{C}$ and $R$ is affine space, ...
7
votes
0answers
228 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$ ...
7
votes
0answers
224 views

Computer Algebra solution for simplicial resolutions for André-Quillen cohomology

Hello, I would like to experiment with André-Quillen (co)homology. Especially for singular rings. A key problem is that the construction of a simplicial resolution of a ring seems to require a rather ...
7
votes
0answers
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$ ...
7
votes
0answers
804 views

Does the property (x*y)*x = x*y have a name?

The property $(xy)x = xy$ is one of the equations satisified by a directoid. Various properties have names ($xy = yx$ is commutativity, $xx=x$ is idempotency, etc). The wikipedia page for Magma has ...
6
votes
0answers
127 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 ...
6
votes
0answers
88 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 ...
6
votes
0answers
63 views

Injective dimension over enveloping algebra

Let $k$ be a field, and let $A$ be a commutative noetherian $k$-algebra. If a finitely generated $A$-module $M$ has finite injective dimension over $A$, does this imply that $M\otimes_k M$ has finite ...
6
votes
0answers
300 views

Can we prove that the ring of formal power series over a noetherian ring is noetherian without axiom of choice?

Let $A$ be a commutative ring with an identity. Suppose that every non-empty set of ideals of $A$ has a maximal element. Let $A[[x]]$ be the formal power series ring over $A$. Can we prove that every ...
6
votes
0answers
184 views

Localisation of injectives

When working with injective modules, one bad thing is that they do not necessarily behave well with respect to localisation. Consider a commutative ring $R$ and have a look at the following ...
6
votes
0answers
209 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 ...
6
votes
0answers
166 views
6
votes
0answers
287 views

Are all henselian fields algebraic over complete fields?

Motivations and Terminology The term "henselian field" is ambiguous. What I mean when I say that $K$ is a henselian field is that there exists a henselian DVR $R$, such that $K=Frac(R)$. What I mean ...
6
votes
0answers
527 views

Invertible elements in generalized fields

Durov's theory of generalized rings also includes generalized fields (5.7.6), which are defined as generalized rings, which are not subtrivial and whose proper strict quotients are subtrivial. For ...
6
votes
0answers
446 views

An elementary question in singularities

The following problem came up in something I am working on. It has a really elementary statement but I couldn't crack it in a couple of hours of thinking about it. It isn't clear to me if I am being ...
6
votes
0answers
356 views

“Consecutive” irreducible polynomials

If $P\in {\mathbb Z}[X]$ is a polynomial of degree $2$, then it is easy to see that for any integer $m$, at least one of the polynomials $P-(m+1),P-(m+2),P-(m+3),P-(m+4)$ is irreducible in ${\mathbb ...
6
votes
0answers
222 views

Does there exist a commutative ring R such that SL_3(R) and SL_2(R) have the same finite subgroups?

This question is inspired, of course, by this question, and I don't know enough commutative algebra to know whether it's answered by silence dogood's answer to this follow-up question. If the answer ...
6
votes
0answers
215 views

Is there a straightforward way to solve unmixed, homogeneous systems of polynomials?

I came across this problem in my research. It might just be an easy algebraic geometry question, but I don't know much algebraic geometry. Suppose we have a system of $k\leq n$ polynomials in ...