Related papers: Counterexamples to the Kuznetsov--Shinder L-equiva…
We consider autoequivalences of the bounded derived category of coherent sheaves on a K3 surface. We prove that the image of the autoequivalences has index at most two in the group of the Hodge isometries of the Mukai lattice. Motivated by…
Let $V$ be a smooth cubic surface over a $p$-adic field $k$ with good reduction. Swinnerton-Dyer (1981) proved that $R$-equivalence is trivial on $V(k)$ except perhaps if $V$ is one of three special types--those whose $R$-equivalence he…
We construct a monoidal model structure on the category of all curved coalgebras and show that it is Quillen equivalent, via the extended bar-cobar adjunction, to another model structure we construct on the category of curved algebras. When…
We develop a theory of twistor spaces for supersingular K3 surfaces, extending the analogy between supersingular K3 surfaces and complex analytic K3 surfaces. Our twistor spaces are obtained as relative moduli spaces of twisted sheaves on…
We prove that two general Enriques surfaces defined over an algebraically closed field of characteristic different from $2$ are isomorphic if their Kuznetsov components are equivalent. We apply the same techniques to give a new simple proof…
This is the second work on Seiberg Duality. This work proves that the Seiberg duality conjecture holds for star-shaped quivers: the Gromov-Witten theories for two mutation-related varieties are equivalent. In particular, it is known that a…
We describe an isomorphism of categories conjectured by Kontsevich. If $M$ and $\widetilde{M}$ are mirror pairs then the conjectural equivalence is between the derived category of coherent sheaves on $M$ and a suitable version of Fukaya's…
We introduce a conjecture on Virasoro constraints for the moduli space of stable sheaves on a smooth projective surface. These generalise the Virasoro constraints on the Hilbert scheme of a surface found by Moreira (arXiv:2008.13746) and…
Zero-cycles are conjectured to satisfy weak approximation with Brauer-Manin obstruction for proper smooth varieties defined over number fields. Roughly speaking, we prove that the conjecture is compatible for products of rationally…
Duffin and Schaeffer provided a famous counterexample to show that Khintchine's theorem fails without monotonicity assumption. Given any monotonically decreasing approximation function with divergent series, we construct…
The paper proposes and motivates a conjecture on the invariance of cohomological support loci under derived equivalence. It contains a proof in the case of surfaces, and explains further developments and consequences.
Kashiwara conjectured that the hard Lefshetz theorem and the semisimplicity theorem hold for any semisimple perverse sheaf M on a variety over a field of characteristic 0. He also conjectured that if you apply to such M the nearby cycle…
A well-known conjecture states that for any $l$-component link $L$ in $S^3$, the rank of the knot Floer homology of $L$ (over any field) is less than or equal to $2^{l-1}$ times the rank of the reduced Khovanov homology of $L$. In this…
We give a counterexample to the following theorem of Bremermann on Shilov boundaries: if $D$ is a bounded domain in $\mathbb C^n$ having a univalent envelope of holomorphy, say $\widetilde D$, then the Shilov boundary of $D$ with respect to…
We prove a reconstruction theorem \`a la Calabrese-Groechenig for the moduli space parametrizing skyscraper sheaves on a smooth projective variety when these are considered as a system of points in the dg category of perfect complexes on…
By extending Lv-Xin-Zhou's first layer formulas of the $q$-Dyson product, we prove Kadell's conjecture for the Dyson product and show the error of his $q$-analogous conjecture. With the extended formulas we establish a $q$-analog of…
We prove equivalences of derived categories for the various mirrors in the Batyrev-Borisov construction. In particular, we obtain a positive answer to a conjecture of Batyrev and Nill. The proof involves passing to an associated category of…
A counterexample is given for the Knaster-like conjecture of Makeev for functions on $S^2$. Some particular cases of another conjecture of Makeev, on inscribing a quadrangle into a smooth simple closed curve, are solved positively.
We continue the investigation started in [Sh:1215] about the relation between the Keilser-Shelah isomorphism theorem and the continuum hypothesis. In particular, we show it is consistent that the continuum hypothesis fails and for any given…
Let $K$ be a $C_1$-field of any characteristic and $X$ a projective variety over $K$. In this article we prove that for a finite Galois extension $L$ of $K$, a simple sheaf with covering datum on $X \times_K L$ descends to a simple sheaf on…