🔢 mathematics

Center of double extension regular algebras of type (14641)

This paper computes the centers and certain central subalgebras of double Ore extensions of type (14641) under specific parameter restrictions, utilizing SageMath to derive new examples relevant to the Zariski cancellation problem.

Original authors: Andrés Rubiano

Published 2026-01-28

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Andrés Rubiano

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are an architect trying to understand the blueprint of a very strange, complex building. This building isn't made of bricks and mortar, but of mathematical rules called algebras. Specifically, this paper looks at a special type of building called a "Double Ore Extension of Type (14641)."

That sounds intimidating, but let's break it down using some everyday analogies.

1. The Building Blocks: What is this "Double Extension"?

Think of a standard math building (an algebra) as a room with a few rules about how you can move furniture around.

The Standard Room: Usually, you have a base room (let's call it $R$ ) and you add one new piece of furniture, say a chair ( $x$ ). There's a rule: "If you slide the chair past a table, it might spin or change slightly." This is a standard "Ore extension."
The Double Extension: Now, imagine you want to build a bigger room. Instead of adding just one chair, you add two new pieces of furniture at the same time: a chair ( $y_1$ ) and a table ( $y_2$ ).
The Complexity: The problem is that these two new items interact with each other and with the old room in very complicated ways. The paper focuses on a specific, highly structured version of this "Double Room" where the math works out perfectly to form a specific shape known as "Type (14641)." This shape is famous in the math world because it behaves like a smooth, 4-dimensional version of a polynomial equation.

2. The Goal: Finding the "Center"

Every building has a Center. In the world of these math buildings, the "Center" ( $Z(A)$ ) is a special, quiet zone.

The Metaphor: Imagine a noisy party where everyone is shouting and moving around (the non-commutative algebra). The "Center" is the group of people who can stand anywhere in the room and talk to anyone without causing a scene. No matter who they talk to or in what order, the conversation stays the same.
Why it matters: If you know the "Center," you know the building's most stable, unchangeable core. It tells you how the building is rigid and how it might be similar to other buildings.

3. The Challenge: It's a Puzzle

The author, Andrés Rubiano, explains that figuring out this "Center" for these specific double rooms is incredibly hard.

The Combinatorial Explosion: It's like trying to solve a Rubik's cube where every time you twist one side, the colors on all other sides change in a new, unpredictable pattern. There are so many rules (parameters) that doing it by hand is nearly impossible.
The Computer Helper: To solve this, the author used a digital tool called SageMath. Think of this as a super-smart robot that can simulate millions of moves in a split second, checking every possible way the furniture can be rearranged to see what stays the same.

4. The Results: The "List" of Buildings

The paper looks at a famous list of 26 different types of these "Double Rooms" (labeled A through Z).

The Discovery: For many of these rooms, the author used the computer to find the exact "Center."
- Sometimes, the Center is empty (just the number 1). This means the room is very chaotic and has no stable core.
- Sometimes, the Center is a specific, simple room (like a line or a plane).
- The paper provides a "cheat sheet" (Tables 1 and 2) that tells you exactly what the Center looks like for each of the 26 types, depending on the specific numbers used to build them.

5. The Application: The "Cancellation Problem"

The paper ends with a practical use for these findings, related to a famous puzzle called the Zariski Cancellation Problem.

The Analogy: Imagine you have two different buildings, Building A and Building B. You attach a long, identical hallway to both of them. If the resulting structures (Building A + Hallway and Building B + Hallway) look exactly the same, does that mean Building A and Building B were the same to begin with?
The Answer: In the world of these math buildings, the answer is usually YES, but only if the "Center" is simple enough.
The Paper's Contribution: By finding the Centers for these specific Double Rooms, the author can now say, "If your building is one of these types (like Type C, E, or F), and you attach a hallway to it, you can be 100% sure that the original building was unique." This helps mathematicians prove that certain structures cannot be faked or confused with others.

Summary

In short, this paper is a structural survey of a specific family of complex mathematical buildings.

It uses computers to map out the "quiet, stable cores" (Centers) of these buildings.
It creates a guidebook showing exactly what those cores look like for 26 different designs.
It uses this guidebook to solve a rigidity puzzle, proving that certain mathematical structures are unique and cannot be disguised as something else just by adding a little extra space.

The author dedicates this work to Karol Herrera, likely a mentor or colleague who helped lay the groundwork for this kind of mathematical exploration.

Technical Summary: Center of Double Extension Regular Algebras of Type (14641)

Problem Statement
The paper addresses the structural analysis of Artin-Schelter (AS) regular algebras of global dimension four generated in degree one. Specifically, it focuses on algebras of "type (14641)," characterized by a minimal projective resolution of the trivial module with Betti numbers 1, 4, 6, 4, 1. These algebras, classified by Zhang and Zhang into 26 families (labeled A through Z), often arise as double Ore extensions. While the classification of these algebras is established, their centers $Z(A)$ —a primary commutative invariant governing representation theory, automorphism groups, and geometric stratifications—remain largely uncomputed for general parameter choices. The paper aims to explicitly compute the centers and identify central subalgebras for selected members of these families under specific parameter restrictions.

Methodology
The author employs a hybrid approach combining theoretical commutation analysis with computational algebra:

Theoretical Framework: The study utilizes the definition of double Ore extensions $R_P[y_1, y_2; \sigma, \delta, \tau]$ over a base ring $R$ (specifically $k[x_1, x_2]$ ). The analysis relies on the "trimmed" case ( $\delta=0, \tau=0$ ) where the algebra is generated by $x_1, x_2, y_1, y_2$ subject to quadratic relations.
Commutation Formulas: The paper derives general recursive formulas for the commutation of powers of generators (e.g., $x_2 x_1^n$ and $y_1 x_2^n$ ) using $q$ -integers and $q$ -factorials. These formulas (Propositions 3.2–3.6) allow for the systematic reduction of arbitrary monomials into a Poincaré-Birkhoff-Witt (PBW) normal form.
Computational Verification: Due to the combinatorial explosion of coefficients in the "universal" parameter-dependent case, the author implements a rewriting system in SageMath. This system:
- Fixes a monomial order ( $x_1 < x_2 < y_1 < y_2$ ).
- Applies iterated rewriting rules based on the defining relations of each family.
- Computes normal forms and commutators $[s, g]$ for candidate central elements $s$ and generators $g$ .
- Verifies the vanishing of commutators to confirm centrality.
Case-by-Case Analysis: The center is determined individually for each family (A–Z) by imposing the condition that an element must commute with all four generators.

Key Contributions and Results
The paper provides explicit descriptions of the centers $Z(A)$ for the 26 families of type (14641) double extensions, subject to constraints on the defining parameters (such as roots of unity conditions).

Classification of Centers (Table 1): For families A, C, D, E, F, G, H, I, J, K, L, M, N, O, P, S, T, U, W, X, Y, and Z, the paper identifies the exact structure of the center. In many cases (e.g., C, E, F, I, J, S, T, U), the center is trivial ( $Z(A) = k$ ). In others, it is a polynomial ring generated by specific invariants (e.g., $k[x_1^2, y_2^2 + p y_1^2]$ for Family D, or $k[x_1]$ for Family A).
Central Subalgebras (Table 2): For families where the full center is difficult to characterize or where the center is trivial but a non-trivial central subalgebra exists, the paper exhibits explicit central subalgebras. For instance, for Family B, a specific quotient algebra is shown to be contained in the center.
Explicit Computations: The paper details the derivation of the center for Family D and Family O as illustrative examples, demonstrating the use of PBW normal forms to prove that specific elements (like $x_1^2$ and $y_2^2 + p y_1^2$ in Family D) are central.
Zariski Cancellation Application: A significant application of these results is provided in Section 4. By establishing that the center $Z(A) = k$ for a specific subset of these algebras (under the condition that parameters are not roots of unity), the author applies a known result (Proposition 4.2) to conclude that these algebras are universally cancellative. This means that for these algebras $A$ , the isomorphism $A \otimes R \cong B \otimes R$ (for a domain $R$ ) implies $A \cong B$ .

Significance
The paper claims significance in two main areas:

Structural Understanding: It fills a gap in the literature by providing the first explicit computations of centers for these specific noncommutative regular algebras, moving beyond the classification of the algebras themselves to understanding their internal commutative structure.
Cancellation Problem: It contributes new examples to the noncommutative Zariski cancellation problem. By identifying a large class of algebras with trivial centers, the paper provides concrete testbeds that satisfy strong cancellation properties, thereby expanding the known landscape of cancellative noncommutative algebras.

The work emphasizes that while standard techniques for Ore extensions often fail for double extensions, the combination of theoretical commutation relations and computational algebra (SageMath) allows for the resolution of these structural questions on a case-by-case basis.