No abstract uploaded!

Homological Projective duality (HP-duality) theory, introduced by Kuznetsov \cite{Kuz07HPD}, is one of the most powerful frameworks in the homological study of algebraic geometry. The main result (HP-duality theorem) of the theory gives complete descriptions of bounded derived categories of coherent sheaves of (dual) linear sections of HP-dual varieties. We show the theorem also holds for more general intersections beyond linear sections. More explicitly, for a given HP-dual pair $(X,Y)$, then analogue of HP-duality theorem holds for their intersections with another HP-dual pair $(S,T)$, provided that they intersect properly. We also prove a relative version of our main result. Taking $(S,T)$ to be dual linear subspaces (resp. subbundles), our method provides a more direct proof of the original (relative) HP-duality theorem.

We compute a momentum space version of the entanglement spectrum and entanglement entropy of general Young tableau states, and one-point functions on Young tableau states. These physical quantities are used to measure the topology of the dual spacetime geometries in the context of gauge/gravity correspondence. The idea that Young tableau states can be obtained by superposing coherent states is explicitly verified. In this quantum superposition, a topologically distinct geometry is produced by superposing states dual to geometries with a trivial topology. Furthermore we have a refined bound for the overlap between coherent states and the rectangular Young tableau state, by using the techniques of symmetric groups and representations. This bound is exponentially suppressed by the total edge length of the Young tableau. It is also found that the norm squared of the overlaps is bounded above by inverse powers of the exponential of the entanglement entropies. We also compute the overlaps between Young tableau states and other states including squeezed states and multi-mode entangled states which have similarities with those appeared in quantum information theory.

In this paper, we propose a conjectural multiplicity formula for general spherical varieties. For all the cases where a multiplicity formula has been proved, including Whittaker model, Gan-Gross-Prasad model, Ginzburg-Rallis model, Galois model and Shalika model, we show that the multiplicity formula in our conjecture matches the multiplicity formula that has been proved. We also give a proof of this multiplicity formula in two new cases.

We introduce a new equivalence relation for complete alge- braic varieties with canonical singularities, generated by birational equivalence, by flat algebraic deformations (of varieties with canon- ical singularities), and by quasi-´etale morphisms, i.e., morphisms which are unramified in codimension 1. We denote the above equivalence by A.Q.E.D. : = Algebraic-Quasi-´ Etale- Deformation. A completely similar equivalence relation, denoted by C-Q.E.D., can be considered for compact complex spaces with canonical sin- gularities. By a recent theorem of Siu, dimension and Kodaira dimension are invariants for A.Q.E.D. of complex varieties. We address the interesting question whether conversely two al- gebraic varieties of the same dimension and with the same Ko- daira dimension are Q.E.D. - equivalent (A.Q.E.D., or at least C-Q.E.D.), the answer being positive for curves by well known results. Using Enriques’ (resp. Kodaira’s) classification we show first that the answer to the C-Q.E.D. question is positive for special algebraic surfaces (those with Kodaira dimension at most 1), resp. for compact complex surfaces with Kodaira dimension 0, 1 and even first Betti number. The appendix by S¨onke Rollenske shows that the hypothesis of even first Betti number is necessary: he proves that any sur- face which is C-Q.E.D.-equivalent to a Kodaira surface is itself a Kodaira surface. We show also that the answer to the A.Q.E.D. question is pos- itive for complex algebraic surfaces of Kodaira dimension ≤ 1. The answer to the Q.E.D. question is instead negative for sur- faces of general type: the other appendix, due to Fritz Grunewald, is devoted to showing that the (rigid) Kuga-Shavel type surfaces of general type obtained as quotients of the bidisk via discrete groups constructed from quaternion algebras belong to countably many distinct Q.E.D. equivalence classes.