Why Grothendieck Was a Violent Act

Grothendieck

Essay 1 in The Violence of Abstraction

The Violence of Scale: Why Local Success Is Not Global Meaning

1. The land

There is a land.

It looks ordinary. Flat. Walkable. Nothing dramatic.

Fixed into the ground at every point is a TV.
Each TV is bolted firmly to the landscape.

The TVs are not level.
Each has a slight tilt, determined by the local geography.

No one chose these tilts.
They are part of the land.

The Tilted TVs on a Curved Land

Each point in space has a TV (representing a stalk). The TVs are tilted according to the local geometry. Click and drag to rotate the view. Notice how the tilt changes continuously but creates global complexity.

TVs (stalks) – each has its own local tilt
Connection structure – how tilts relate

2. The code

There is a QR code.

It is just an equation.
A symbolic rule.

It does not know where it is.
It does not change from place to place.

When the code is presented to a TV, the TV outputs YES or NO.

The output depends on:

  • the code itself, and
  • the TV’s local tilt.

Nothing else.


3. The technician

There is a technician.

He carries the code on a card.

He has no compass.
He has no map of the land.
He has no global reference.

He simply runs the code on TVs and records the output.

At first, everything behaves normally.

The same TV gives the same answer.


4. The walk

One day, the technician takes a walk.

Not a journey.
Not an expedition.
Just a loop.

He is careful.

He keeps the code facing forward.
He does not spin it.
He does not flip the card.
He does not reorient himself.

To him, he is walking straight.

He is not correcting anything.
He is not compensating for anything.

He is transporting his logic unchanged.

But the land is not straight.


5. The surprise

When he returns to the same TV and runs the same code, the result is different.

YES has become NO.
Or NO has become YES.

The TV has not moved.
The code has not changed.
The technician feels unchanged.

Yet the answer is different.

Walking the Loop: Monodromy in Action

The technician walks a loop carrying a QR code. Watch what happens: even though they walk “straight” (parallel transport), the code’s orientation changes relative to the starting TV when they return.

Click “Start Walking” to begin

6. What did not happen

There was no mistake.

No dirt on the screen.
No damage to the TV.
No error in the code.

Nothing local failed.


7. The local diagnosis

The technician experiments.

He repeats the same walk.
The same change occurs.

He takes a different path.
Nothing changes.

He begins to understand:

The result depends on the path taken, not just the place.

Certain loops alter the outcome when he returns.
Others do not.


8. Local expertise

The technician does not panic.

He does not demand a global explanation.

He becomes a local expert.

He:

  • maps paths,
  • records which loops change results,
  • notes how much adjustment is needed afterward.

He writes a local manual:

“If you have just walked this loop, apply this correction before running the code.”

The manual works.

Locally, everything is under control.


9. Many countries

There are many countries.

Each has its own technician.
Each writes a local manual.

Every manual works perfectly within its borders.

On borders, neighbouring technicians compare notes.

Their manuals agree where the countries overlap.

Nothing is inconsistent.


10. The silent assumption

Everyone assumes:

“If all local manuals agree, there must be one global manual.”

This assumption has always worked before.

In flat lands, it is true.

Local vs Global: The Stitching Problem

Three countries with overlapping borders. Each has a local manual that works perfectly. The overlaps agree. But can we create one global manual? On a cylinder: yes. On a Möbius strip: no.

Choose a space to see if local manuals can become global

11. Gandalf’s question

Gandalf appears.

He does not walk the land.
He does not run the code.

He collects the manuals.

Then he asks a forbidden question:

“Can I stitch these into a single manual that mentions no countries at all?”


12. The answer

Sometimes, yes.

In flat lands, the manuals collapse into one.

But in this land, they do not.

Even though:

  • every local manual works,
  • every overlap agrees,
  • no contradiction exists anywhere,

there is no country-free manual.

Any attempt to erase location fails after a loop.


13. What failed

Nothing local failed.

What failed was an assumption:

that local agreement guarantees global meaning.

The land does not allow it.


14. The obstruction

Gandalf does not call this an error.

He calls it structure.

He records:

  • which loops produce changes,
  • how those changes compose,
  • what never cancels.

This record does not depend on how the manuals were written.

It survives all rewrites.

The Obstruction Visualized

Gandalf's question: which loops cause problems? Here we see the fundamental group of the space. Contractible loops (blue) cause no issues. Non-contractible loops (red) create obstructions.

Contractible loops - can shrink to a point, no obstruction
Non-contractible loops - cannot shrink, create monodromy

15. The sheaf condition

From now on, only collections of local data that:

  • work locally,
  • agree on overlaps,
  • and survive Gandalf’s global test,

are allowed to count as “one thing.”

That rule is the sheaf condition.


16. The violence of scale

Before:

“If it works everywhere locally, it exists globally.”

After:

“Only if the land allows it.”

Every QR test now carries an invisible clause:

“Can I stitch these tests into a single manual that mentions no countries at all?”

No one knew they were assuming that.

Sheaves made the assumption visible.

That is the violence.


Technical Key (minimal)

Loop effect → Monodromy / cocycle

Land → Space / site

TV → Stalk

Manual → Section

Stitching → Gluing axiom

Story continued here https://movieblow.com/2026/01/07/why-derived-categories-were-inevitable-once-you-refused-to-forget-failure/

Comments

Leave a Reply

Your email address will not be published. Required fields are marked *