Super-decomposable pure-injective modules over some Jacobian algebras

This paper establishes the existence of superdecomposable pure-injective modules over Jacobian algebras associated with triangulations of closed surfaces (excluding spheres with four or fewer punctures) by demonstrating the presence of independent pairs of dense chains of pointed modules in non-domestic skew-gentle and (skew) Brauer graph algebras, thereby confirming M. Prest's conjecture for these specific cases.

The Gist

Imagine you are a master architect trying to categorize every possible building that can be constructed using a specific set of blueprints (an algebra). In the world of mathematics, these "buildings" are called modules.

Most of the time, these buildings are simple. They are made of standard, indivisible blocks (called indecomposable modules). If you can list all the possible standard blocks and show how to combine them to make any building, the system is considered "tame" (manageable). If the system is "wild," the buildings are so chaotic and complex that you can't possibly list them all.

This paper is about a very specific, weird type of building that exists in the "tame" category but shouldn't be there. It's called a Super-Decomposable Pure-Injective Module.

Here is the breakdown of the paper's journey, explained with everyday analogies:

1. The Mystery of the "Unbreakable" Building

Usually, if you have a complex building, you can break it down into smaller, simpler rooms (indecomposable parts).

• The Rule: Most buildings can be broken down.
• The Exception: A Super-Decomposable building is a structure that cannot be broken down into any smaller, standard rooms. It is a "pure" chaos that refuses to be simplified.

Mathematicians have a conjecture (a guess) that says: "If a system is 'domestic' (simple and well-behaved), you will never find these weird, unbreakable buildings. If you do find one, the system must be 'non-domestic' (complex)."

2. The New Discovery: Finding the Monsters in "Tame" Systems

The author, Shantanu Sardar, is investigating a specific type of blueprint called Jacobian Algebras. These are mathematically derived from triangulating surfaces (like drawing triangles on a sphere or a donut to map them out).

• The Surface: Imagine a sphere with holes punched in it (punctures).
• The Map: You draw lines (triangulation) connecting these holes.
• The Algebra: This map creates a set of rules (an algebra) for how things move around.

The paper proves that for almost all of these surfaces (specifically, spheres with more than 4 holes), these "tame" algebras do contain these weird, unbreakable buildings.

The Analogy: It's like finding a ghost in a perfectly organized, quiet library. You expected the library to be orderly, but you found a ghost that refuses to be categorized. This proves that the library is actually more complex than we thought.

3. The Tools: The "Magic Elevator" and the "Chain Reaction"

How did the author find these ghosts? He used two main mathematical tools:

• The Galois Semi-Covering (The Magic Elevator):
  Imagine you have a small, simple village (a "Gentle Algebra"). You want to know if a larger, more complex city (a "Skew-Gentle Algebra") built on top of it has ghosts. The author built a "Magic Elevator" (a mathematical functor) that takes a structure from the small village and lifts it up to the big city.

  • The Discovery: If the small village has a specific pattern of "dense chains" (like a long, winding staircase of rooms), the elevator proves that the big city must also have a complex, unbreakable structure.

• The Independent Pair of Dense Chains (The Infinite Ladder):
  To prove a ghost exists, you need to show an "infinite ladder" of possibilities. Imagine two people walking up a staircase that never ends, where every step is slightly different from the one before, and they never meet.

  • The author found these "ladders" in the math. He showed that if you have two such ladders that don't interfere with each other, they create a "wide lattice" (a massive, tangled web of possibilities).
  • The Result: If this web is wide enough, a "Super-Decomposable" building must exist within it.

4. The Specific Cases: Spheres with Holes

The paper focuses on surfaces with holes (punctures):

• The Sphere with 4 or fewer holes: These are the "safe" zones. No ghosts here. The buildings are all standard.
• The Sphere with 5+ holes: These are the "danger zones." The author proves that once you have 5 holes, the complexity explodes. Even though the system is technically "tame" (manageable), it is "non-domestic" (too complex to be simple), and it definitely contains these unbreakable, weird modules.

5. The "Trivial Extension" (The Copy-Paste Machine)

The paper also looks at what happens when you take an algebra and "extend" it (add a layer of complexity).

• The Finding: If the original algebra has a ghost, the extended version also has a ghost.
• The Twist: However, the reverse isn't always true. You can have a simple algebra that, when extended, creates a ghost, even if the original didn't have one. This is like taking a simple Lego set, adding a special "magic brick" layer, and suddenly the whole thing becomes unbreakable.

Summary: Why Does This Matter?

In the world of math, "classification" is the holy grail. We want to know: "Can we list all the possible shapes?"

This paper says: "No, not quite."
Even in systems that we thought were simple and manageable (Tame algebras derived from surfaces), there are hidden layers of infinite complexity (Super-decomposable modules).

• The Conjecture: The author supports a specific guess by mathematician M. Prest: "If you can find these weird, unbreakable modules, the system is 'non-domestic' (complex)."
• The Proof: By finding these modules in Jacobian algebras (surface maps), the author confirms that these surface-based systems are indeed more complex than previously believed.

In a nutshell: The paper is a detective story where the author uses a "magic elevator" to climb from simple mathematical villages to complex cities, proving that even in the "tame" neighborhoods, there are infinite, unbreakable structures hiding in plain sight.

Technical Summary

Here is a detailed technical summary of the paper "Super-Decomposable Pure-Injective Modules Over Some Jacobian Algebras" by Shantanu Sardar.

1. Problem Statement and Context

The Core Problem:
The paper addresses the classification of finite-dimensional associative algebras, specifically focusing on the existence of super-decomposable pure-injective modules. A module is super-decomposable if it has no indecomposable direct summands. The existence of such modules is a critical indicator of the complexity of the category of finite-dimensional representations ($\Lambda$-mod).

Theoretical Background:

• Tame vs. Wild: By Drozd's theorem, algebras are either tame (classifiable) or wild (unclassifiable). Tame algebras are further stratified by growth rates: domestic, linear, polynomial, and exponential.
• Prest's Conjectures:
  1. An algebra is tame iff it does not possess a super-decomposable pure-injective module.
  2. An algebra is of domestic representation type iff it does not possess a super-decomposable pure-injective module.
• Ziegler's Criterion: M. Ziegler established that a countable ring $\Lambda$ has a super-decomposable pure-injective module if and only if the width of the lattice of all pp-formulas (positive primitive formulas) is undefined. This is equivalent to the existence of an independent pair of dense chains of pointed modules.
• Current State: It was known that super-decomposable modules exist over strictly wild algebras and non-domestic string algebras. However, their existence over certain tame algebras (specifically non-domestic ones) was less explored, challenging the first of Prest's conjectures.

Objective:
The author aims to prove the existence of super-decomposable pure-injective modules over specific classes of tame but non-domestic algebras, including:

1. Jacobian algebras associated with triangulations of closed surfaces with marked points (excluding spheres with $\leq 4$ punctures).
2. Non-domestic skew-gentle algebras.
3. Trivial extensions of these algebras.
4. (Skew-) Brauer graph algebras.

---

2. Methodology

The paper employs a combination of representation-theoretic constructions and functorial techniques to establish the existence of the required module structures.

A. Pointed Modules and Lattice Width:
The author utilizes the framework of pointed modules (pairs $(M, \chi)$ where $M$ is a finitely presented module and $\chi$ is a homomorphism from a fixed module $\theta$). The core strategy is to construct an independent pair of dense chains of such pointed modules.

• Dense Chain: A family of modules indexed by rational numbers ($\mathbb{Q}$) with specific homomorphism properties and local endomorphism rings.
• Independence: A condition ensuring that the "pushout" of elements from the two chains behaves in a way that prevents decomposition into simpler components, thereby creating a "wide" lattice.
• Theorem 2.3 & 2.4: The paper relies on Ziegler's results stating that the existence of such an independent pair implies the lattice width is undefined, which in turn guarantees the existence of a super-decomposable pure-injective module (for countable fields).

B. Galois Semi-Covering Functors:
A central technical tool is the Galois semi-covering functor ($F_\lambda: \text{mod-}\Lambda \to \text{mod-}\bar{\Lambda}$).

• Context: Used to relate a "gentle" algebra $\Lambda$ to its associated "skew-gentle" algebra $\bar{\Lambda}$ (or string algebras to their quotients).
• Properties: The author proves that $F_\lambda$ is exact and faithful (though not necessarily full).
• Preservation: Theorem 1.1 and Theorem 3.7 demonstrate that if a non-symmetric independent pair of dense chains exists in the base algebra $\Lambda$, the functor $F_\lambda$ preserves this structure in the target algebra $\bar{\Lambda}$, provided the characteristic of the field is not 2.

C. Structural Analysis of Specific Algebras:

• Jacobian Algebras: The paper analyzes Jacobian algebras $P(Q(T), W(T))$ derived from triangulations of surfaces. It distinguishes cases based on the surface topology (e.g., spheres with 5 punctures vs. others).
• Quotients and Extensions: The author uses the fact that if a quotient algebra has a super-decomposable module, the original algebra does too (Proposition 4.3). Similarly, trivial extensions preserve these modules (Theorem 6.2).

---

3. Key Contributions and Results

1. Existence over Non-Domestic Skew-Gentle Algebras (Theorem 1.2 & 3.8):

• The author constructs an independent pair of dense chains for non-domestic gentle algebras.
• Using the Galois semi-covering functor, this structure is lifted to the associated skew-gentle algebra.
• Result: Non-domestic skew-gentle algebras possess super-decomposable pure-injective modules, and their Krull-Gabriel (KG) dimension is infinite.

2. Existence over Jacobian Algebras of Surfaces (Theorem 1.3 & 1.4):

• Scope: Closed oriented surfaces with a non-empty finite collection of punctures, excluding the sphere with 4 or fewer punctures.
• Case Analysis:
  • Sphere with 5 punctures: The Jacobian algebra is shown to be a quotient of a non-domestic skew-gentle algebra. The author explicitly constructs the required module pair over the associated gentle algebra and lifts it.
  • Other surfaces: The Jacobian algebras are presented as quotients of non-domestic string algebras.
• Result: For any tagged triangulation $T$ of such a surface, the Jacobian algebra $\Lambda = P(Q(T), W(T))$ contains an independent pair of dense chains. Consequently, if the base field $K$ is countable, a super-decomposable pure-injective module exists, and $KG(\Lambda) = \infty$.

3. Preservation under Trivial Extensions (Theorem 1.5 & 6.2):

• The paper proves that if an algebra $\Lambda$ has a super-decomposable module, its trivial extension $T(\Lambda)$ also has one.
• Counter-Example (Example 6.7): The converse is false. The author constructs a Brauer graph algebra $\Lambda_\Gamma$ which is the trivial extension of two different gentle algebras: $A_1$ (non-domestic, has super-decomposable modules) and $A_2$ (domestic, no super-decomposable modules). Since $\Lambda_\Gamma = T(A_1) = T(A_2)$, it possesses a super-decomposable module despite being the extension of a domestic algebra.

4. Applications to Specific Algebras (Section 5):
The methodology is applied to explicitly demonstrate the existence of these modules over:

• The incidence algebra of the Nazarova–Zavadskij poset.
• The Diamond algebra ($\Lambda_3$).
• Garland algebras.
• Surface algebras derived from orbifold dissections.

5. Brauer Graph Algebras (Section 6):

• The paper discusses (skew-) Brauer graph algebras as trivial extensions of (skew-) gentle algebras.
• It confirms that non-domestic Brauer graph algebras (and their skew versions) possess super-decomposable modules.

---

4. Significance and Implications

Refutation of Prest's First Conjecture:
The results provide strong evidence against the first conjecture of M. Prest, which posited that an algebra is tame if and only if it lacks super-decomposable pure-injective modules.

• The paper demonstrates that non-domestic tame algebras (specifically skew-gentle, Jacobian, and Brauer graph algebras) do possess super-decomposable pure-injective modules.
• This confirms that "tame" does not imply "no super-decomposable modules"; rather, the distinction lies between "domestic" and "non-domestic" within the tame class.

Support for Prest's Second Conjecture:
The results support the second conjecture: An algebra is of domestic representation type if and only if it has no super-decomposable pure-injective modules.

• The paper shows that while non-domestic tame algebras have these modules, known domestic algebras (like representation-infinite domestic standard self-injective algebras) do not.

Computational Complexity (KG Dimension):
The paper establishes that for these specific classes of algebras, the Krull-Gabriel dimension is infinite. This quantifies the complexity of the module category, showing that even within the "tame" classification, there are algebras with unbounded complexity regarding their pp-formula lattices.

Methodological Advancement:
The explicit construction of non-symmetric independent pairs and the rigorous proof that the Galois semi-covering functor preserves these structures provide a robust toolkit for future research into the representation theory of skew-group algebras and surface algebras.

Conclusion

Shantanu Sardar's paper significantly expands the known landscape of algebras admitting super-decomposable pure-injective modules. By bridging the gap between string algebras, skew-gentle algebras, and Jacobian algebras of surfaces, the work clarifies the boundary between domestic and non-domestic tame algebras, effectively refining the classification of representation types and challenging previous conjectures regarding the relationship between tameness and the existence of super-decomposable modules.