How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
M Theory Brane Web Tbrane Frontier 2026
Source-reported local chain for a noncompact IIB D5/D7 configuration with a chosen compact x9 circle, through the circle zero-mode truncation and its IIA holomorphic D6 curve to local M-theory geometry; no mutually nonlocal global web or universal web/geometry equivalence is asserted.
Statement
Collinucci’s local setup uses the source’s flat ten-dimensional Minkowski coordinates with time and length-valued coordinates in natural units. The coordinates are noncompact, and a chosen circle of radius lies along one D7-brane and transverse to the D5-branes. A D5 spans and a half-line ending at a codimension-three point of the D7, which spans ; in the source normalization its endpoint is a unit magnetic source, , through a positively oriented linking sphere. On the D7 with the endpoints removed, is the smooth real curvature two-form of a line-bundle connection: only on trivializing patches, with real local one-forms. No single smooth potential on the linking sphere is assumed. Put and take to have units of length squared, so the T-dual radius is a length. For the curve description retain only the circle zero mode, namely the average of the D7 position scalar along . The source drops the nonzero Fourier modes before T-dualizing; localized endpoints do not give an exact circle isometry. In this truncation, after T-duality on , define the dimensionless coordinates , so . In the no-NS5 setup of the source’s §§3–5, let count the D5 endpoints on the left and right of the D7, and let be their positions. Within this zero-mode description these endpoints map to one D6-brane on the holomorphic curve where is a nonzero complex constant of dimension length (its numerical value in a fixed length unit lies in ). More explicitly, for a reference length and a dimensionless complex constant incorporating the position and circle phase integration constants. Both sides then have dimension length. A single left endpoint gives with . For the source’s coherent-sheaf description, take a complex patch and let be its sheaf of holomorphic functions. For , a finite-rank presentation encodes the D6 support. Here the local T-brane data mean the non-diagonal matrix entries of the holomorphic tachyon map ; in the source’s examples, nilpotent entries encode the partition. In the sheaf presentation, the local uplift is the hypersurface in ; its M-theory circle collapses where . These are source-reported local constructions, not a universal web/geometry equivalence.
Statement references
Status
The source reports the local profile and holomorphic D6 curve for D5 endpoints on a D7 and extends the construction to multiple D7-branes and partition data. Section 3.1, Eqs. (6)–(8), separates the circle zero mode from nonzero modes and explicitly retains the former for the subsequent curve; the latter are exponentially suppressed far from each endpoint, at transverse distance much larger than , but are not identically zero. Its T-brane/sheaf discussion represents the local support by and gives the uplift in that presentation. Sections 3–5 assume there is no NS5-brane; the source treats NS5-containing configurations separately using Taub–NUT data. It explicitly warns that mutually nonlocal branes cannot be handled by one global duality frame and require patchwise constructions and gluing. The retained M/IIA circle-dictionary prerequisite supplies the adopted circle-scaling and metric convention as formulation context for interpreting the local lift; it does not supply the local curve or T-brane map. The removed flat open-string D T-duality theorem concerns Neumann/Dirichlet boundary data and right-moving chirality; it does not formulate or derive this seven-brane/T-brane chain. The source-status review dated 2026-10-30 is limited to the cited version and sections; it makes no universal or global claim.
Remarks
The diagram records the source’s local chain after the stated circle zero-mode truncation. The arrows summarize source-reported duality/uplift steps and supply no proof; the source text and limits above carry the claim.