arxiv: 2605.03611 · v2 · submitted 2026-05-05 · ✦ hep-th

Recognition: 2 theorem links

· Lean Theorem

Supersymmetric Origin of Four-Dimensional Space-time in the IIB Matrix Model

Tetsuyuki Muramatsu

Authors on Pith no claims yet

Pith reviewed 2026-05-12 02:18 UTC · model grok-4.3

classification ✦ hep-th

keywords IIB matrix modelsupersymmetryspacetime emergenceHodge dualitynon-renormalizationEuclidean geometryself-dual fieldsmatrix model

0 comments

The pith

The IIB matrix model admits non-trivial supersymmetric backgrounds only in four-dimensional Euclidean space-time at leading order.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines how supersymmetry constrains the effective action and transformations in the IIB matrix model at the leading order of an expansion. In ten dimensions, a non-absorbable 5-form tensor in the closure condition enforces constant coefficients, preventing any non-trivial fluctuations. In four dimensions, the Clifford algebra's Hodge duality converts these structures into absorbable lower-rank terms, but only for self-dual configurations that require a Euclidean metric through reality conditions. This suggests that four-dimensional Euclidean space-time must emerge for the theory to allow dynamical backgrounds while keeping supersymmetry intact at this order. A sympathetic reader would care because it provides a mechanism within the matrix model for selecting dimensionality and signature from supersymmetry alone.

Core claim

Requiring supersymmetry closure and Ward identities at leading order in the IIB matrix model yields a non-renormalization theorem in ten dimensions, where an unabsorbable 5-form tensor forces all coefficient functions to be constants and forbids non-trivial backgrounds. The same analysis in four dimensions permits non-constant solutions via Hodge duality, which maps the anomalous tensors to absorbable forms, restricting the backgrounds to (anti-)self-dual ones that necessitate Euclidean signature.

What carries the argument

The 5-form tensor arising in the supersymmetry transformation closure, combined with the Hodge duality property of the four-dimensional Clifford algebra that reduces it to absorbable structures.

Load-bearing premise

The leading order of the expansion captures all essential supersymmetry constraints, and the Hodge duality fully resolves the tensor structures without leaving unabsorbable residuals at that order.

What would settle it

An explicit non-constant solution to the supersymmetry closure and Ward identities in ten dimensions at leading order, or a non-self-dual background in four dimensions that satisfies the conditions without violating reality requirements.

read the original abstract

We investigate the constraints imposed by supersymmetry on the IIB matrix model (IKKT model) by requiring both the closure of the transformations and the satisfaction of the Ward identities at the leading order of the order expansion. Following the systematic methodology, we evaluate the most general forms of the effective action and supersymmetry transformations consistent with the $SU(N)$ algebra. In ten dimensions, we prove that these supersymmetric requirements lead to a non-renormalization theorem, which forces all coefficient functions to be constant. This result stems from the emergence of a 5-form tensor in the closure condition that cannot be absorbed by the $SU(N)$ algebra. This residual term strictly forbids non-trivial fluctuations at the leading order. While a similar non-renormalization theorem holds in four dimensions, we demonstrate that the four-dimensional Clifford algebra provides a unique exit through Hodge duality. This duality geometrically maps the anomalous high-rank tensor structures into absorbable lower-rank forms, allowing for non-trivial dynamical backgrounds prohibited in ten dimensions. We find that such non-trivial solutions are restricted to (anti-)self-dual configurations, which, through reality conditions, necessitate a Euclidean metric. Our results indicate that the emergence of a four-dimensional Euclidean space-time is a prerequisite for the theory to admit non-trivial backgrounds while preserving supersymmetry at the leading order.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper argues SUSY closure plus Ward identities at leading order force 4D Euclidean spacetime in the IIB model because Hodge duality absorbs the obstructing 5-form, but that absorption step is the part that needs checking.

read the letter

The main thing to know is that the author derives a non-renormalization theorem in 10D from the appearance of a 5-form tensor in the SUSY closure that sits outside the SU(N) algebra and cannot be canceled by variations of the effective action. In 4D the same setup is claimed to work because the Clifford algebra plus Hodge duality maps those high-rank structures into lower-rank forms that can be absorbed, leaving room for non-trivial (anti)self-dual backgrounds that then require Euclidean signature through reality conditions. That is the concrete new claim. The systematic enumeration of the most general action and transformations consistent with the algebra is done cleanly enough to make the 10D obstruction transparent, and the contrast with 4D is a useful observation for people thinking about dimensional reduction in matrix models. Credit for that part. The soft spot is exactly the one flagged in the stress-test note. The paper asserts that every component of the 5-form gets mapped to absorbable pieces under 4D duality, but the abstract gives no explicit tensor-by-tensor check, and the whole argument sits at leading order in the expansion. If even one irreducible piece survives the mapping, the non-renormalization theorem carries over to 4D and the claimed backgrounds remain forbidden. The restriction to self-dual configurations and the jump to Euclidean metric via reality conditions also feel quick without more detail on how the signatures are handled. This is for readers already working on the IKKT model or emergent spacetime in non-perturbative string theory. A specialist could extract the idea and try to fill in the missing algebra, but I would not cite it until the absorption is shown explicitly. It is worth sending to a referee because the central mechanism is specific enough to be checked or refuted rather than vague.

Referee Report

2 major / 2 minor

Summary. The paper investigates supersymmetry constraints on the IIB matrix model by imposing closure of transformations and Ward identities at leading order in an order expansion. It derives a non-renormalization theorem in 10D from an unabsorbable 5-form tensor in the SUSY closure that lies outside the SU(N) algebra, forbidding non-trivial backgrounds. In 4D, the Clifford algebra combined with Hodge duality is shown to map these high-rank structures into absorbable lower-rank forms, permitting non-trivial (anti-)self-dual configurations only when the metric is Euclidean; the emergence of 4D Euclidean spacetime is thus presented as a prerequisite for supersymmetric non-trivial solutions at this order.

Significance. If the derivations are correct, the work offers a concrete algebraic mechanism within the IKKT model that selects 4D Euclidean geometry as the only setting compatible with both supersymmetry and non-trivial backgrounds at leading order. This strengthens the matrix-model approach to quantum gravity by deriving spacetime features from SUSY closure rather than by assumption. The systematic enumeration of effective actions and transformations consistent with the SU(N) algebra, together with the explicit appeal to Ward identities, constitutes a parameter-free analysis that merits attention if the 4D absorption step is fully verified.

major comments (2)

[four-dimensional closure condition] Four-dimensional analysis (closure condition): the claim that Hodge duality maps every component of the 5-form tensor generated by the most general SUSY transformations into absorbable 1-forms or 2-forms must be supported by an explicit component decomposition. Without this, it remains possible that residual terms survive that cannot be written as commutators or absorbed into the Ward-identity-satisfying action, which would extend the 10D non-renormalization theorem to 4D and undermine the central distinction.
[leading order expansion] Leading-order approximation: the non-renormalization theorems and the allowance of non-trivial backgrounds are derived only at leading order. The manuscript must clarify whether higher-order terms in the expansion could reintroduce obstructions or alter the (anti-)self-dual restriction, as the abstract notes this as the regime of the analysis.

minor comments (2)

Notation for the order expansion parameter should be introduced once and used consistently; its relation to the matrix size N or the cutoff is not immediately clear from the abstract.
The reality conditions that force the Euclidean metric from the (anti-)self-dual configurations are stated but would benefit from a short explicit check that the resulting metric signature is indeed Euclidean rather than Lorentzian.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and positive assessment of our manuscript. We address each major comment below and will revise the paper accordingly to incorporate the requested clarifications and details.

read point-by-point responses

Referee: Four-dimensional analysis (closure condition): the claim that Hodge duality maps every component of the 5-form tensor generated by the most general SUSY transformations into absorbable 1-forms or 2-forms must be supported by an explicit component decomposition. Without this, it remains possible that residual terms survive that cannot be written as commutators or absorbed into the Ward-identity-satisfying action, which would extend the 10D non-renormalization theorem to 4D and undermine the central distinction.

Authors: We agree that an explicit component-by-component decomposition would strengthen the presentation. Although the manuscript demonstrates the mapping using the four-dimensional Clifford algebra and Hodge duality, we will add a dedicated subsection in the revised version that enumerates all independent components of the 5-form tensor, applies the duality operation to each, and verifies that every resulting structure is either a commutator within the SU(N) algebra or can be absorbed into the effective action while preserving the Ward identities. This will explicitly rule out surviving residual terms and confirm the distinction from the ten-dimensional case. revision: yes
Referee: Leading-order approximation: the non-renormalization theorems and the allowance of non-trivial backgrounds are derived only at leading order. The manuscript must clarify whether higher-order terms in the expansion could reintroduce obstructions or alter the (anti-)self-dual restriction, as the abstract notes this as the regime of the analysis.

Authors: The analysis is performed exclusively at leading order in the expansion, as stated in the abstract and throughout the text. We will insert an explicit clarifying statement in the introduction and conclusions noting that the non-renormalization theorem and the (anti-)self-dual restriction apply at this order only. While higher-order terms could in principle introduce additional structures, the leading-order result already provides a concrete algebraic mechanism selecting four-dimensional Euclidean spacetime; we make no claim about all orders. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation follows from SUSY algebra and Clifford properties

full rationale

The paper derives its non-renormalization theorem in 10D from the appearance of an unabsorbable 5-form in the SUSY closure condition applied to the most general SU(N)-consistent effective action and transformations. In 4D, the resolution via Hodge duality mapping high-rank tensors to absorbable lower-rank forms is presented as a direct algebraic consequence of the 4D Clifford algebra, without reduction to fitted parameters, self-defined quantities, or load-bearing self-citations. No steps equate outputs to inputs by construction, and the analysis remains self-contained against the stated assumptions of leading-order expansion and Ward identities.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The central claim rests on the standard assumptions of the IIB matrix model and supersymmetry in 10D and 4D, with no additional free parameters as coefficients are forced to be constant by the non-renormalization theorem.

axioms (3)

domain assumption The IIB matrix model (IKKT model) defines the starting point with SU(N) symmetry.
The paper investigates supersymmetry constraints imposed on this established model.
domain assumption Supersymmetry transformations must close and satisfy Ward identities at leading order of the expansion.
This is the core requirement used to derive the effective action forms.
domain assumption The 4D Clifford algebra permits Hodge duality to map high-rank tensors to lower-rank absorbable forms.
Invoked to explain the difference between 10D and 4D cases.

pith-pipeline@v0.9.0 · 5528 in / 1593 out tokens · 64979 ms · 2026-05-12T02:18:40.608161+00:00 · methodology

Review history (3 revisions) →

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking contradicts

?

contradicts
CONTRADICTS: the theorem conflicts with this paper passage, or marks a claim that would need revision before publication.

the four-dimensional Clifford algebra provides a unique exit through Hodge duality... D=4 possesses a unique algebraic property... emergence of a four-dimensional Euclidean space-time is a prerequisite
IndisputableMonolith/Foundation/AlexanderDuality.lean D3_admits_circle_linking; no_circle_linking_high_dim contradicts

?

contradicts
CONTRADICTS: the theorem conflicts with this paper passage, or marks a claim that would need revision before publication.

In any dimension D≠4, the stringent constraints of the non-renormalization theorem cannot be bypassed

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

5 extracted references · 5 canonical work pages

[1]

Ishibashi, H

N. Ishibashi, H. Kawai, Y. Kitazawa, and A. Tsuchiya, Nucl. Phys. B498, 467-491 (1997)

work page 1997
[2]

S.-W. Kim, J. Nishimura, and A. Tsuchiya, Phys. Rev. Lett.108, 011601 (2012)

work page 2012
[3]

Paban, S

S. Paban, S. Sethi, and M. Stern, Nucl. Phys. B534, 137-154 (1998)

work page 1998
[4]

Kazama and T

Y. Kazama and T. Muramatsu, Nucl. Phys. B656, 93-131 (2003)

work page 2003
[5]

Nishimura and F

J. Nishimura and F. Sugino, JHEP0205, 001 (2002). 9

work page 2002