Skip to main content
Notice removed Draw attention by CommunityBot
Bounty Ended with no winning answer by CommunityBot
deleted 119 characters in body
Source Link

Let $X$ be a smooth complex projective variety (of dimension two or higher) and $D=\bigcup D_i$ be a simple normal crossings divisor on $X$ such that:

  • $D$ is ample (maybe we need very ample but I am not sure)
  • $D$ is toric in the sense that each $D_i$ is toric, and the intersections $D_{i_1}\cap \dotsb \cap D_{i_k}$ are toric faces of $D_{i_1},\dotsc,D_{i_k}$
  • $(D-D_i)\cap D_i =\partial D_i$ (i.e., every codimension one face of $D_i$ belongs to some $D_i\cap D_j$);

Is it true/false that $(X,D)$ is log Calabi–Yau?

Note that, by the 3rd assumption and adjunction $(K_X+D)\rvert_{D}$ is trivial. So I feel Lefschetz Theorem (together with assumption one) should imply that $(X,D)$ is log Calabi–Yau!

As a non-toric example, let $X$ be a cubic surface and $D$ be a triangle of lines (there are 45 of them on a generic cubic surface). Then $D$ is a hyperplane section of $X\subset \mathbb{P}^3$ and thus $(X,D)$ is log CY.

Rmk. The dual complex of $D$ shouldWe probably be assumed to be a sphere (because I have read in Mirror symmetry literature thatneed extra assumptions on the dual complex of a log CY pair $(X,D)$ is a sphere; also$D$; see https://arxiv.org/pdf/1503.08320.pdf

Let $X$ be a smooth complex projective variety (of dimension two or higher) and $D=\bigcup D_i$ be a simple normal crossings divisor on $X$ such that:

  • $D$ is ample (maybe we need very ample but I am not sure)
  • $D$ is toric in the sense that each $D_i$ is toric, and the intersections $D_{i_1}\cap \dotsb \cap D_{i_k}$ are toric faces of $D_{i_1},\dotsc,D_{i_k}$
  • $(D-D_i)\cap D_i =\partial D_i$ (i.e., every codimension one face of $D_i$ belongs to some $D_i\cap D_j$);

Is it true/false that $(X,D)$ is log Calabi–Yau?

Note that, by the 3rd assumption and adjunction $(K_X+D)\rvert_{D}$ is trivial. So I feel Lefschetz Theorem (together with assumption one) should imply that $(X,D)$ is log Calabi–Yau!

As a non-toric example, let $X$ be a cubic surface and $D$ be a triangle of lines (there are 45 of them on a generic cubic surface). Then $D$ is a hyperplane section of $X\subset \mathbb{P}^3$ and thus $(X,D)$ is log CY.

Rmk. The dual complex of $D$ should probably be assumed to be a sphere (because I have read in Mirror symmetry literature that the dual complex of a log CY pair $(X,D)$ is a sphere; also see https://arxiv.org/pdf/1503.08320.pdf

Let $X$ be a smooth complex projective variety (of dimension two or higher) and $D=\bigcup D_i$ be a simple normal crossings divisor on $X$ such that:

  • $D$ is ample (maybe we need very ample but I am not sure)
  • $D$ is toric in the sense that each $D_i$ is toric, and the intersections $D_{i_1}\cap \dotsb \cap D_{i_k}$ are toric faces of $D_{i_1},\dotsc,D_{i_k}$
  • $(D-D_i)\cap D_i =\partial D_i$ (i.e., every codimension one face of $D_i$ belongs to some $D_i\cap D_j$);

Is it true/false that $(X,D)$ is log Calabi–Yau?

Note that, by the 3rd assumption and adjunction $(K_X+D)\rvert_{D}$ is trivial. So I feel Lefschetz Theorem (together with assumption one) should imply that $(X,D)$ is log Calabi–Yau!

As a non-toric example, let $X$ be a cubic surface and $D$ be a triangle of lines (there are 45 of them on a generic cubic surface). Then $D$ is a hyperplane section of $X\subset \mathbb{P}^3$ and thus $(X,D)$ is log CY.

Rmk. We probably need extra assumptions on the dual complex of $D$; see https://arxiv.org/pdf/1503.08320.pdf

added 187 characters in body
Source Link

Let $X$ be a smooth complex projective variety (of dimension two or higher) and $D=\bigcup D_i$ be a simple normal crossings divisor on $X$ such that:

  • $D$ is ample (maybe we need very ample but I am not sure)
  • $D$ is toric in the sense that each $D_i$ is toric, and the intersections $D_{i_1}\cap \dotsb \cap D_{i_k}$ are toric faces of $D_{i_1},\dotsc,D_{i_k}$
  • $(D-D_i)\cap D_i =\partial D_i$ (i.e., every codimension one face of $D_i$ belongs to some $D_i\cap D_j$).;

Is it true/false that $(X,D)$ is log Calabi–Yau?

Note that, by the 3rd assumption and adjunction $(K_X+D)\rvert_{D}$ is trivial. So I feel Lefschetz Theorem (together with assumption one) should imply that $(X,D)$ is log Calabi–Yau!

As a non-toric example, let $X$ be a cubic surface and $D$ be a triangle of lines (there are 45 of them on a generic cubic surface). Then $D$ is a hyperplane section of $X\subset \mathbb{P}^3$ and thus $(X,D)$ is log CY.

Rmk. The dual complex of $D$ should probably be assumed to be a sphere (because I have read in Mirror symmetry literature that the dual complex of a log CY pair $(X,D)$ is a sphere; also see https://arxiv.org/pdf/1503.08320.pdf

Let $X$ be a smooth complex projective variety (of dimension two or higher) and $D=\bigcup D_i$ be a simple normal crossings divisor on $X$ such that:

  • $D$ is ample (maybe we need very ample but I am not sure)
  • $D$ is toric in the sense that each $D_i$ is toric, and the intersections $D_{i_1}\cap \dotsb \cap D_{i_k}$ are toric faces of $D_{i_1},\dotsc,D_{i_k}$
  • $(D-D_i)\cap D_i =\partial D_i$ (i.e., every codimension one face of $D_i$ belongs to some $D_i\cap D_j$).

Is it true/false that $(X,D)$ is log Calabi–Yau?

Note that, by the 3rd assumption and adjunction $(K_X+D)\rvert_{D}$ is trivial. So I feel Lefschetz Theorem (together with assumption one) should imply that $(X,D)$ is log Calabi–Yau!

As a non-toric example, let $X$ be a cubic surface and $D$ be a triangle of lines (there are 45 of them on a generic cubic surface). Then $D$ is a hyperplane section of $X\subset \mathbb{P}^3$ and thus $(X,D)$ is log CY.

Let $X$ be a smooth complex projective variety (of dimension two or higher) and $D=\bigcup D_i$ be a simple normal crossings divisor on $X$ such that:

  • $D$ is ample (maybe we need very ample but I am not sure)
  • $D$ is toric in the sense that each $D_i$ is toric, and the intersections $D_{i_1}\cap \dotsb \cap D_{i_k}$ are toric faces of $D_{i_1},\dotsc,D_{i_k}$
  • $(D-D_i)\cap D_i =\partial D_i$ (i.e., every codimension one face of $D_i$ belongs to some $D_i\cap D_j$);

Is it true/false that $(X,D)$ is log Calabi–Yau?

Note that, by the 3rd assumption and adjunction $(K_X+D)\rvert_{D}$ is trivial. So I feel Lefschetz Theorem (together with assumption one) should imply that $(X,D)$ is log Calabi–Yau!

As a non-toric example, let $X$ be a cubic surface and $D$ be a triangle of lines (there are 45 of them on a generic cubic surface). Then $D$ is a hyperplane section of $X\subset \mathbb{P}^3$ and thus $(X,D)$ is log CY.

Rmk. The dual complex of $D$ should probably be assumed to be a sphere (because I have read in Mirror symmetry literature that the dual complex of a log CY pair $(X,D)$ is a sphere; also see https://arxiv.org/pdf/1503.08320.pdf

Notice added Draw attention by Mohammad Farajzadeh-Tehrani
Bounty Started worth 100 reputation by Mohammad Farajzadeh-Tehrani
Capitalise title
Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

ample Ample toric divisors

Let $X$ be a smooth complex projective variety (of dimension two or higher) and $D=\bigcup D_i$ be a simple normal crossings divisor on $X$ such that:

  • $D$ is ample (maybe we need very ample but I am not sure)
  • $D$ is toric in the sense that each $D_i$ is toric, and the intersections $D_{i_1}\cap \ldots \cap D_{i_k}$$D_{i_1}\cap \dotsb \cap D_{i_k}$ are toric faces of $D_{i_1},\ldots,D_{i_k}$$D_{i_1},\dotsc,D_{i_k}$
  • $(D-D_i)\cap D_i =\partial D_i$ (i.e., every codimension one face of $D_i$ belongs to some $D_i\cap D_j$).

Is it true/false that $(X,D)$ is log Calabi-YauCalabi–Yau?

Note that, by the 3rd assumption and adjunction $(K_X+D)|_{D}$$(K_X+D)\rvert_{D}$ is trivial. So I feel Lefschetz Theorem (together with assumption one) should imply that $(X,D)$ is log Calabi-YauCalabi–Yau!

As a non-toric example, let $X$ be a cubic surface and $D$ be a triangle of lines (there are 45 of them on a generic cubic surface). Then $D$ is a hyperplane section of $X\subset \mathbb{P}^3$ and thus $(X,D)$ is log CY.

ample toric divisors

Let $X$ be a smooth complex projective variety (of dimension two or higher) and $D=\bigcup D_i$ be a simple normal crossings divisor on $X$ such that:

  • $D$ is ample (maybe we need very ample but I am not sure)
  • $D$ is toric in the sense that each $D_i$ is toric, and the intersections $D_{i_1}\cap \ldots \cap D_{i_k}$ are toric faces of $D_{i_1},\ldots,D_{i_k}$
  • $(D-D_i)\cap D_i =\partial D_i$ (i.e., every codimension one face of $D_i$ belongs to some $D_i\cap D_j$).

Is it true/false that $(X,D)$ is log Calabi-Yau?

Note that, by the 3rd assumption and adjunction $(K_X+D)|_{D}$ is trivial. So I feel Lefschetz Theorem (together with assumption one) should imply that $(X,D)$ is log Calabi-Yau!

As a non-toric example, let $X$ be a cubic surface and $D$ be a triangle of lines (there are 45 of them on a generic cubic surface). Then $D$ is a hyperplane section of $X\subset \mathbb{P}^3$ and thus $(X,D)$ is log CY.

Ample toric divisors

Let $X$ be a smooth complex projective variety (of dimension two or higher) and $D=\bigcup D_i$ be a simple normal crossings divisor on $X$ such that:

  • $D$ is ample (maybe we need very ample but I am not sure)
  • $D$ is toric in the sense that each $D_i$ is toric, and the intersections $D_{i_1}\cap \dotsb \cap D_{i_k}$ are toric faces of $D_{i_1},\dotsc,D_{i_k}$
  • $(D-D_i)\cap D_i =\partial D_i$ (i.e., every codimension one face of $D_i$ belongs to some $D_i\cap D_j$).

Is it true/false that $(X,D)$ is log Calabi–Yau?

Note that, by the 3rd assumption and adjunction $(K_X+D)\rvert_{D}$ is trivial. So I feel Lefschetz Theorem (together with assumption one) should imply that $(X,D)$ is log Calabi–Yau!

As a non-toric example, let $X$ be a cubic surface and $D$ be a triangle of lines (there are 45 of them on a generic cubic surface). Then $D$ is a hyperplane section of $X\subset \mathbb{P}^3$ and thus $(X,D)$ is log CY.

added 29 characters in body
Source Link
Loading
Source Link
Loading