feat: Kodaira surfaces

pbelmans · Dec 11, 2024 · a083a82 · a083a82
1 parent 22d4d07
commit a083a82
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 0 deletions.
diff --git a/diamond/__init__.py b/diamond/__init__.py
@@ -29,6 +29,8 @@
     hypersurface,
     inoue,
     jacobian,
+    kodaira_primary,
+    kodaira_secondary,
     kummer_resolution,
     lagrangian_grassmannian,
     lefschetz,
@@ -84,6 +86,8 @@
     "hypersurface",
     "inoue",
     "jacobian",
+    "kodaira_primary",
+    "kodaira_secondary",
     "kummer_resolution",
     "lagrangian_grassmannian",
     "lefschetz",

diff --git a/diamond/diamond.py b/diamond/diamond.py
@@ -2851,6 +2851,16 @@ def hopf():
     return inoue()
 
 
+def kodaira_primary():
+    r"""Hodge diamond of a primary Kodaira surface"""
+    return HodgeDiamond.from_matrix([[1, 1, 1], [2, 2, 2], [1, 1, 1]])
+
+
+def kodaira_secondary():
+    r"""Hodge diamond of a secondary Kodaira surface"""
+    return HodgeDiamond.from_matrix([[1, 0, 0], [1, 0, 1], [0, 0, 1]])
+
+
 def weighted_hypersurface(degree, weights):
     """
     Hodge diamond for a weighted hypersurface of degree ``d`` in ``P(w_0,...,w_n)``