37
$\begingroup$

Given a commutative ring $R$, there is a category whose objects are epimorphisms surjective ring homomorphisms $R \to S$ and whose morphisms are commutative triangles making two such epimorphisms surjections compatible, and the skeleton of this category is a partial order that can be identified with the lattice of ideals of $R$. Now, I have always been under the impression that anything one can say about ideals one can phrase in this purely arrow-theoretic language: most importantly, the intersection of ideals is the product in this category and the sum of ideals is the coproduct. (Since we're working in a partial order, product and coproduct are fancy ways to say supremum and infimum. The direction of the implied ordering on ideals may differ here from the one you're used to, but that's not important.)

However, Harry's made some comments recently that made me realize I don't know how to define the product of two ideals purely in terms of this category, that is, via a universal construction like the above. It would be really surprising to me if this were not possible, so maybe I'm missing something obvious. Does anyone know how to do this?

$\endgroup$
5
  • 2
    $\begingroup$ Epis or surjections? $\endgroup$ Feb 9, 2010 at 5:19
  • $\begingroup$ Surely you mean surjections rather than epimorphisms (see mathoverflow.net/questions/109/…), but then you may as well just say you're working with the category of ideals in R where the morphisms are inclusions. $\endgroup$ Feb 9, 2010 at 5:51
  • 1
    $\begingroup$ You want them to be epis of the category R-Mod. $\endgroup$ Feb 9, 2010 at 6:03
  • $\begingroup$ That's what I get for not checking things thoroughly. There are a few other things I have to change now, too... $\endgroup$ Feb 9, 2010 at 6:05
  • $\begingroup$ opposite category of surjective map(strict epimorphism) of commutative rings is just category of closed subvariery of Spec(R), morphism is injective map as topological space. $\endgroup$ Feb 9, 2010 at 6:24

2 Answers 2

55
$\begingroup$

Nice question! The answer is that it's not possible! Let $R=\mathbb{F}_3[x,y]/(x^2,y^2)$. The lattice of ideals consists of the eight ideals

$(1)$

$(x,y)$

$(x)$ $(y)$ $(x+y)$ $(x-y)$

$(xy)$

$(0)$,

in which each ideal contains all ideals at lower levels. In the middle level, some of the ideals have square zero, and some don't, but you can't tell which ones just from looking at the (unlabeled) lattice.

$\endgroup$
3
  • 2
    $\begingroup$ There is more data in a ring than just the lattice of ideals... I am pretty sure this is false, because Toen and Vezzosi manage to define the Zariski topology on a much more general category than CRing without relying on set-theoretic arguments. $\endgroup$ Feb 9, 2010 at 6:28
  • 4
    $\begingroup$ I wanted to ignore that extra data; the point of the question is that I wanted to know whether the product could be defined using only arrows and Bjorn gave a great answer of "no." That actually supports the point you're trying to make! $\endgroup$ Feb 9, 2010 at 6:41
  • 3
    $\begingroup$ @Harry: The topological space does not need ideal products since $V(IJ)=V(I \cap J)$ as a set, and the structure sheaf is just defined on the open complements which are also equal as schemes. $\endgroup$ Jun 29, 2011 at 0:59
26
$\begingroup$

Bjorn's answer shows that the product of two ideals cannot be defined by means of the partially ordered set of ideals. However, there is a category-theoretic definition of the product of two ideals if we allow us to use the category of modules. This works because of the Rosenberg reconstruction Theorem.

Explicitely, there is a bijection between ideals of $R$ and reflective, topologizing subcategories of $\text{Mod}(R)$, which is given by $I \to \{M \in \text{Mod}(R) : I M = 0\}$. If $T$ is such a subcategory with reflector $F : \text{Mod}(R) \to T$, then the corresponding ideal is $I=\ker(R \to F(R))$. Now, the multiplication of ideals corresponds to the so called Gabriel product: If $S,T$ are subcategories of an abelian category, then $S \bullet T$ is the subcategory which consists of those objects $M$ for which there is an exact sequence $0 \to M' \to M \to M'' \to 0$ with $M' \in T, M'' \in S$. The idea for the notation is $(S \bullet T)/T = S$.

$\endgroup$
1
  • $\begingroup$ I want to add that this sort of construction does not adapt to derived categories: $D(R/I)$ is not a full subcategory of $D(A)$. It is also unclear what the product of two (quasi-)ideals is in derived geometry. $\endgroup$
    – Z. M
    Oct 22, 2022 at 6:11

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.