Manuscript XVI-O1-ST@5 · XVI-O1-ST-v5.tex · section · dd45e0d1

The supplied restricted hh obstruction

Free-complex exactness and the missing enlarged image › The supplied restricted hh obstruction · lines 1539–1586

XVI-O1-ST@5#rec:restricted

Back to manuscript

The predecessor reports testing the pole derivative against the image of

in its 13-generator dimension-two -presentation. For the relaxed map allowing independent in

it reports on a 15-structure space

Fixed-normalization failures, including the listed tests, are also reported. The four-dimensional projection is reported to have rank five on six structures and to accept both the derivative and the undifferentiated pole SuppliedBot.

The full generator list, ambient basis, matrices, original minors, and left-kernel rows are absent from the supplied artifacts. The relaxed rank report is not extended to additional parameters and is not newly re-certified.

Define the named source-relative obstruction

If the reported ranks hold for those actual arrays, this class is nonzero at , because adjoining the target raises rank. That excludes only the tested class. The four-dimensional test is nondiscriminating in the reported comparison, not invalid for every purpose.

A complete rank-seven image certificate on 15 rows needs an original minor and an complete left-kernel matrix, with a nonzero target pairing.

Displayed formulas in this passage

  • unlabeled · line 1545

  • unlabeled · line 1550

  • unlabeled · line 1554

  • unlabeled · line 1572