Reduction for pre-buildingsmath.AG
Reduces pre-buildings from spectral curves.
problem Constructing pre-buildings from spectral curves.
method Reduction steps from spectral curves to pre-buildings.
result Core of pre-building constructed from spectral curve differential.