Supplied surface Todd-correction data #
On a surface, a Mukai vector uses only the codimension-one component of
√td and the integrated codimension-two component. SqrtTodd stores exactly
those two supplied values. This file makes no claim that they arise from a
scheme; the geometric constructor remains under AlgebraicGeometry/Numerical.
structure
CategoryTheory.Triangulated.WeakStabilityCondition.StabilityCondition.Wall.Divisorial.SqrtTodd
(D : Type w)
[AddCommGroup D]
[Module ℝ D]
:
Type w
The part of √td_X visible to a surface Mukai vector.
- divisor : D
The codimension-one component
√td₁. - number : ℝ
The integrated codimension-two component
∫√td₂.
Instances For
def
CategoryTheory.Triangulated.WeakStabilityCondition.StabilityCondition.Wall.Divisorial.SqrtTodd.trivial
{D : Type w}
[AddCommGroup D]
[Module ℝ D]
:
SqrtTodd D
The trivial correction.
Equations
- CategoryTheory.Triangulated.WeakStabilityCondition.StabilityCondition.Wall.Divisorial.SqrtTodd.trivial = { divisor := 0, number := 0 }
Instances For
def
CategoryTheory.Triangulated.WeakStabilityCondition.StabilityCondition.Wall.Divisorial.SqrtTodd.k3
{D : Type w}
[AddCommGroup D]
[Module ℝ D]
:
SqrtTodd D
The K3 correction √td = 1 + [pt].
Equations
- CategoryTheory.Triangulated.WeakStabilityCondition.StabilityCondition.Wall.Divisorial.SqrtTodd.k3 = { divisor := 0, number := 1 }
Instances For
@[simp]
@[simp]
@[simp]
@[simp]