An Integrally Closed Reduced Ring with McCoy Localizations That Is Neither McCoy nor Locally a Domain

Dit artikel presenteert een constructie van een commutatieve, gereduceerde en integraal gesloten ring die overal lokaal een integraal gesloten McCoy-ring is, maar globaal noch een McCoy-ring is noch lokaal een domein, waarmee vraag 9 uit "Open Problems in Commutative Ring Theory" bevestigend wordt beantwoord.

De kern

Stel je voor dat wiskundigen als architecten zijn die gebouwen (ringen) ontwerpen. In deze wereld hebben gebouwen speciale regels. Soms moeten ze "integrale gesloten" zijn (geen gaten in de muren) en "gereduceerd" zijn (geen dubbelzinnige materialen).

Deze wetenschappers, geleid door Haotian Ma, hebben een heel speciaal gebouw ontworpen om een vraag te beantwoorden die al lang openstond: Is het mogelijk om een gebouw te maken dat lokaal (in elke kamer) perfect en veilig is, maar dat als heel gebouw toch een groot gevaarlijk gebrek heeft?

Hier is de uitleg in simpele taal, met behulp van een paar creatieve metaforen:

1. De Regels van het Spel

In de wereld van deze ringen zijn er twee belangrijke regels waar we naar kijken:

• De "McCoy"-regel: Stel je voor dat je een groep mensen (een ideaal) hebt die allemaal "nul" zijn in hun eigen kamer (ze zijn nuldelers). De McCoy-regel zegt: "Als deze groep bestaat, moet er iemand buiten die groep zijn die hen allemaal kan stoppen (annuleren)." Als er niemand is die hen kan stoppen, is het gebouw geen McCoy-gebouw.
• De "Domein"-regel: Een "domein" is een gebouw waar je geen twee verschillende mensen kunt vinden die samen "nul" maken. Als je twee mensen vindt die samen nul maken, is het gebouw geen domein.

2. Het Probleem

De vraag was: Kunnen we een gebouw bouwen dat:

1. Overal integrale gesloten is (perfecte muren).
2. In elke losse kamer (lokaal) een perfecte McCoy-regel heeft en een perfect domein is.
3. Maar als je naar het hele gebouw kijkt, geen McCoy-gebouw is én geen domein is?

Vroeger dachten veel mensen dat dit onmogelijk was. Als het lokaal perfect is, zou het globaal ook perfect moeten zijn. Maar Haotian Ma zegt: "Niet noodzakelijk!"

3. De Constructie: Het "Frankenstein"-gebouw

Om dit te bewijzen, bouwden ze hun ring $R$ door twee bestaande, heel verschillende gebouwen aan elkaar te plakken (een directe product).

Deel A: Het "Grote, Klinkende" Huis (De Akiba-factor)

• Dit is een enorm complex gebouw.
• Lokaal: Als je in elke kamer kijkt, is het perfect. Het is een "domein" (geen dubbelzinnigheden) en het is integraal gesloten.
• Globaal: Er is echter een heel specifiek probleem. Er is een groep mensen (een ideaal) die allemaal "nul" zijn, maar er is niemand in het hele gebouw die hen kan stoppen. Ze zijn onzichtbaar voor de bewakers.
• Metafoor: Stel je een kantoorgebouw voor waar in elke afzonderlijke kamer alles perfect werkt, maar er is een geheime gang waar een groep mensen loopt die niemand kan zien of stoppen. Lokaal is het veilig, maar globaal is er een gat in de beveiliging.

Deel B: Het "Kleine, Lekkende" Huis (De Lokale McCoy-factor)

• Dit is een klein, lokaal gebouw.
• Lokaal: Het is een McCoy-gebouw (als er een groep nul-mensen is, wordt er iemand gevonden die hen stopt).
• Globaal: Het is geen domein. Er zijn hier mensen die samen "nul" maken.
• Metafoor: Een klein huisje waar de bewaking heel goed werkt (McCoy), maar waar de vloer een beetje lekt (geen domein).

4. Het Grote Gebouw: $R = A \times B$

Nu plakken ze deze twee gebouwen aan elkaar. Het resultaat is een nieuw, enorm complex.

• Waarom is het lokaal perfect?
  Als je in dit nieuwe gebouw een kamer binnenstapt, kijk je óf naar een kamer uit Huis A (die perfect is) óf naar een kamer uit Huis B (die ook perfect is qua McCoy-regels). Dus, waar je ook kijkt, het voelt veilig en correct.
• Waarom is het globaal slecht?
  • Geen McCoy: Omdat Huis A een groep mensen heeft die niet gestopt kunnen worden, en Huis B daar niets aan verandert, blijft dit probleem bestaan in het hele gebouw. De "geheime gang" uit Huis A blijft bestaan.
  • Geen domein: Omdat Huis B een lekkende vloer heeft, is het hele gebouw ook geen perfect domein meer.

5. De Conclusie

De auteurs zeggen: "Kijk! We hebben een gebouw dat in elke kamer perfect lijkt (lokaal een domein en McCoy), maar als je de blauwdruk van het hele gebouw bekijkt, zie je dat het gebrekkig is (geen McCoy en geen domein)."

Dit bewijst dat je niet zomaar kunt zeggen: "Als het overal lokaal goed is, is het overal goed." Soms zijn de problemen te groot om lokaal te zien, of ze komen voort uit de combinatie van verschillende delen.

Kort samengevat:
Het is alsof je een auto bouwt waarvan elk wiel perfect is en elke motor in elke cilinder perfect draait. Maar als je de hele auto start, blijkt hij toch niet te rijden omdat de wielen en motoren niet goed op elkaar zijn afgestemd. De wiskundigen hebben precies zo'n "auto" ontworpen om te laten zien dat lokale perfectie niet altijd globale perfectie garandeert.

Technische samenvatting

Titel en Context

Titel: Een integraal gesloten gereduceerde ring met McCoy-lokalisaties die noch McCoy is, noch lokaal een domein.
Auteur: Haotian Ma (Zhejiang University).
Doel: Het geven van een expliciete constructie van een commutatieve ring die een positief antwoord biedt op Probleem 9 uit Open Problems in Commutative Ring Theory.

1. Het Probleem

Het paper adresseert een specifieke vraag binnen de commutatieve ringtheorie:

• Vraag: Bestaat er een integraal gesloten, gereduceerde ring $R$ zodanig dat voor elke maximale ideaal $\mathfrak{p}$ van $R$, de lokalisatie $R_{\mathfrak{p}}$ een integraal gesloten McCoy-ring is, maar waarbij $R$ zelf geen McCoy-ring is en niet lokaal een domein is?
• Achtergrond:
  • Een ring $R$ heet een McCoy-ring als elk eindig gegenereerd ideaal $I \subseteq Z(R)$ (waarbij $Z(R)$ de verzameling nuldelers is) een niet-nul annulator heeft.
  • Akiba (1980) bewees dat als $R$ integraal gesloten, gereduceerd en McCoy is, dan is het polynoomring $R[X]$ ook integraal gesloten.
  • Huckaba observeerde dat als elke lokale ring $R_M$ een integraal gesloten McCoy-ring is, dan is $R[X]$ integraal gesloten.
  • De vraag was of de globale McCoy-eigenschap noodzakelijk is voor deze conclusie, of dat lokale eigenschappen volstaan, zelfs als de ring zelf niet McCoy is.

2. Methodologie en Constructie

De auteur gebruikt een constructieve aanpak door een direct product van twee specifieke ringen te vormen: $R = A \times B$. Deze constructie combineert de eigenschappen van beide componenten om de gewenste globale en lokale eigenschappen te bereiken.

Component A: De Akiba-factor

• Bron: Gebaseerd op een voorbeeld van Akiba (een Nagata-type constructie).
• Constructie:
  • Laat $k$ een veld zijn en $P$ een verzameling vertegenwoordigers van irreducibele polynomen in $k[X, Y]$.
  • Voor elke $f \in P$ wordt een ring $T_f$ en zijn afgeleide normale ring $T'_f$ geconstrueerd.
  • De ring $A$ wordt gedefinieerd als $A = R_{A,0}[u, v]$, waarbij $R_{A,0} = k + S_{A,0}$ en $S_{A,0}$ een som van kopieën van $T'_f$ is.
• Eigenschappen van $A$:
  1. $A$ is gereduceerd en integraal gesloten.
  2. Voor elke maximale ideaal $M$ is de lokalisatie $A_M$ een integraal gesloten domein (en dus een McCoy-ring).
  3. Er bestaat een eindig gegenereerd ideaal $I_A = (u, v)$ dat in $Z(A)$ zit, maar waarvan de annulator nul is ($Ann_A(I_A) = 0$).
  4. Gevolg: $A$ is geen McCoy-ring.

Component B: De lokale McCoy-factor

• Doel: Een ring construeren die lokaal McCoy is, integraal gesloten, maar geen domein.
• Constructie:
  • Laat $S_i = k[[t]]$ (machtreeksringen) en $m_i = t k[[t]]$.
  • Definieer $m_B = \bigoplus_{i \ge 1} m_i$ (directe som) en $B = k + m_B$ als subring van het product $\prod S_i$.
• Eigenschappen van $B$:
  1. $B$ is een lokale ring met maximaal ideaal $m_B$.
  2. Elk element in $m_B$ is een nuldelers, dus $Z(B) = m_B$.
  3. $B$ is integraal gesloten (de totale quotiëntenring is $B$ zelf).
  4. $B$ is een McCoy-ring: voor elk eindig gegenereerd ideaal in $m_B$ bestaat er een niet-nul annulator (geconstrueerd via een index buiten de drager van de generators).
  5. $B$ is geen domein (aangezien $m_B \neq 0$ en elementen nuldelers zijn).

De Hoofdring $R$

• Definitie: $R = A \times B$.
• Redenering:
  • Het direct product van gereduceerde, integraal gesloten ringen is wederom gereduceerd en integraal gesloten.
  • De maximale idealen van $R$ zijn van de vorm $M \times B$ (afkomstig van $A$) of $A \times N$ (afkomstig van $B$).
  • Lokalisaties van $R$ corresponderen met lokalisaties van $A$ of $B$.

3. Belangrijkste Resultaten

De paper bewijst Stelling 4, die de volgende eigenschappen van de geconstrueerde ring $R$ bevestigt:

1. Lokale Eigenschappen: Voor elke maximale ideaal $\mathfrak{p}$ van $R$ is de lokalisatie $R_{\mathfrak{p}}$ een integraal gesloten McCoy-ring.
   • Als $\mathfrak{p} = M \times B$, dan is $R_{\mathfrak{p}} \cong A_M$, wat een domein is (en dus McCoy).
   • Als $\mathfrak{p} = A \times m_B$, dan is $R_{\mathfrak{p}} \cong B$, wat per constructie een integraal gesloten McCoy-ring is.
2. Globale McCoy-Eigenschap: $R$ is geen McCoy-ring.
   • Het ideaal $J = I_A \times B$ is een eindig gegenereerd ideaal in $R$ dat in $Z(R)$ zit.
   • De annulator van $J$ is nul, omdat de annulator van $I_A$ in $A$ nul is.
3. Lokale Domein-Eigenschap: $R$ is niet lokaal een domein.
   • Bij de maximale ideaal $\mathfrak{p}_0 = A \times m_B$ is de lokalisatie $R_{\mathfrak{p}_0} \cong B$.
   • Omdat $B$ geen domein is (het bevat nuldelers), is $R$ niet lokaal een domein.

Corollarium 5: Als gevolg hiervan bestaat er een integraal gesloten, gereduceerde ring $R$ waarvoor $R[X]$ integraal gesloten is (volgens Huckaba's criterium), hoewel $R$ zelf niet McCoy is en niet lokaal een domein is.

4. Significantie en Bijdrage

• Oplossing van een Open Probleem: Het paper geeft een definitief positief antwoord op Probleem 9 uit Open Problems in Commutative Ring Theory. Het toont aan dat de eigenschap "lokaal McCoy" voor elke maximale lokalisatie niet impliceert dat de ring zelf McCoy is.
• Nuance in Ringtheorie: Het illustreert dat globale eigenschappen van ringen (zoals het McCoy-karakter) niet altijd kunnen worden "gepatcht" uit lokale eigenschappen, zelfs niet wanneer de ring gereduceerd en integraal gesloten is.
• Implicaties voor Polynoomringen: Het bevestigt dat de voorwaarde dat $R$ een McCoy-ring is, strikt sterker is dan nodig om te garanderen dat $R[X]$ integraal gesloten is, mits de lokale ringen McCoy zijn. De constructie toont aan dat $R[X]$ integraal gesloten kan zijn zelfs als $R$ "pathologische" globale eigenschappen heeft (geen McCoy, niet lokaal een domein).
• Technische Innovatie: De combinatie van Akiba's complexe Nagata-voorbeeld (voor de globale McCoy-falen) met een eenvoudige, lokaal geconstrueerde ring $B$ (voor het handhaven van lokale McCoy-eigenschappen zonder domein-eigenschap) is een elegante methode om tegenstrijdige einden te verenigen in één object.

Kortom, het paper levert een scherp tegenvoorbeeld dat de relatie tussen lokale en globale structuren in de commutatieve algebra verder verfijnt.