Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 3377

Questions about K3 surfaces, which are smooth complex surfaces $X$ with trivial canonical bundle and vanishing $H^1(O_X)$. They are examples of Calabi-Yau varieties of dimension $2$.

1 vote

K3 surfaces and density of rational curves

Rational curves are dense on K3 for all K3 outside of a Baire set (countable union of closed, nowhere dense). Here is the reference: https://arxiv.org/abs/1004.5167, Density of Rational Curves on K3 S …
Misha Verbitsky's user avatar
6 votes
0 answers
191 views

Isotopy classes of $CP^1$ in 4-manifolds

Let $S_1$, $S_2$ be homologous embedded 2-spheres in a compact smooth 4-manifold. Under which additional conditions are they smoothly isotopic? I am interested in the state of the art picture when $S_ …
7 votes
0 answers
250 views

K3 surfaces with no −2 curves

I seem to remember that a K3 surface with big Picard rank always has smooth rational curves. This question is equivalent to the following question about integral quadratic lattices. Let us call a vect …
5 votes

automorphism group of K3 surfaces

Calabi-Yau theorem implies that any diffeomorphism of a Calabi-Yau manifold which preserves the complex structure and the Kahler class also preserves the Calabi-Yau metric. However, the group of isom …
Misha Verbitsky's user avatar
3 votes
Accepted

Positivity question on K3 surfaces

Let me prove that $(L,D)\geq 0$. Consider the set of all (1,1)-classes which satisfy $\eta^2\geq 0$. It is a union of two components $P_+$ and $P_-$, intersecting in 0. If $\eta, \eta'$ are in the …
Misha Verbitsky's user avatar
2 votes

K3 surface with a non-symplectic involution: a basic question

Thd equation $S(\sigma)=S_X$ is certainly not universal. Take a non-symplectic map such that $S(\sigma)=S_X$, then modify $\sigma$ replacing it by $\sigma \tau$, where $\tau$ is a non-trivial symplect …
Misha Verbitsky's user avatar
13 votes
Accepted

Action of automorphisms of a $K3$ surface on its $(-2)$-curves

The group of symplectomorphisms $Aut(X)$ of a K3 is the group $O(\Lambda)$ of automorphisms of its period lattice $\Lambda=H^{1,1}(M,{\Bbb Z})$. For each (-2)-cohomology class $\eta\in H^{1,1}(M,{\B …
Community's user avatar
  • 1