Alphabeta Math
RemarkRemark: Literature-sourcedProof: Not applicablePipeline-generatedverified 2026-11-05 (gpt-6.1-sol)
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

Physical scope

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 x0,…,x9 with x0 time and length-valued coordinates in natural units. The coordinates x7,x8 are noncompact, and a chosen circle x9∼x9+2πR of radius R>0 lies along one D7-brane and transverse to the D5-branes. A D5 spans x0,…,x4 and a half-line x5∈(−∞,0] ending at a codimension-three point of the D7, which spans x0,…,x4,x7,x8,x9; in the source normalization its endpoint is a unit magnetic source, ∫S2F=2π, through a positively oriented linking sphere. On the D7 with the endpoints removed, F is the smooth real curvature two-form of a U(1) line-bundle connection: F=dAa only on trivializing patches, with Aa real local one-forms. No single smooth potential on the linking sphere is assumed. Put z=x7+ix8 and take α′>0 to have units of length squared, so the T-dual radius R~=α′/R is a length. For the curve description retain only the circle zero mode, namely the average (2πR)−1∫02πRϕ5(z,x9) dx9 of the D7 position scalar ϕ5 along x5. 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 x9, define the dimensionless coordinates w±=exp⁡(±(x5+ix~9)/R~), so w+w−=1. In the no-NS5 setup of the source’s §§3–5, let qL,qR∈Z≥0 count the D5 endpoints on the left and right of the D7, and let zi(−),zj(+)∈C be their positions. Within this zero-mode description these endpoints map to one D6-brane on the holomorphic curve w+∏j=1qR(z−zj(+))=C∏i=1qL(z−zi(−)), where C is a nonzero complex constant of dimension lengthqR−qL (its numerical value in a fixed length unit lies in C∗). More explicitly, C=c0ΛqR−qL for a reference length Λ>0 and a dimensionless complex constant c0≠0 incorporating the position and circle phase integration constants. Both sides then have dimension lengthqR. A single left endpoint gives w+=C(z−z0) with [C]=length−1. For the source’s coherent-sheaf description, take a complex patch U⊂Cz×Cw+∗ and let OU be its sheaf of holomorphic functions. For k∈Z>0, a finite-rank presentation 0→OU⊕k→T(z,w+)OU⊕k→F→0 encodes the D6 support. Here the local T-brane data mean the non-diagonal matrix entries of the holomorphic tachyon map T; in the source’s examples, nilpotent entries encode the partition. In the sheaf presentation, the local uplift is the hypersurface uv=det⁡T(z,w+) in Cu,v2×U; its M-theory circle collapses where det⁡T=0. These are source-reported local constructions, not a universal web/geometry equivalence.

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 R, but are not identically zero. Its T-brane/sheaf discussion represents the local support by det⁡(T)=0 and gives the uplift uv=det⁡(T) 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 (p,q) 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 Dp 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.

IIBnoncompactlocalsetupD5endpointsonD7;x9circleIIAD6onaholomorphiccurveinC¤£CM-theorylocalTaub{NUTsheafupliftuv=det(T)zeromode,thenT-dualizex9localcircleuplift

Depends on

Dependency tree · 2 levels

Sources