Philip Engel

Threefold Explorer

Marked rational elliptic surfaces, logarithmic modifications, and integral topology

Narrow-Q implementation

Build a threefold from its marked local data.

Choose an Oguiso–Shioda family, sections P and Q, a linearization divisor, and exact log-modification vectors. The calculation returns the integral cohomology and fundamental group of the resulting compact threefold.

Checking Sage service…
1

Surface

Oguiso–Shioda entry

2

Sections

Choose P and narrow Q

3

Linearization

Place the zeros or poles

Total degree 0 → required —
4

Local fillings

Choose log-modification data