In previous papers we define certain Lagrangian shadows of ample divisors in algebraic varieties. In the present brief note an existence condition is discussed for these Lagrangian shadows.
In the framework of Special Bohr - Sommerfeld geometry it was established that an ample divisor in compact algebraic variety can define almost canonically certain real submanifold which is lagrangian with respect to the corresponding Kahler form. It
is natural to call it lagrangian shadow; below we emphasize this correspondence and present some simple examples, old and new. In particular we show that for irreducible divisors from the linear system $vert - frac{1}{2} K_{F^3} vert$ on the full flag variety $F^3$ their lagrangian shadows are Gelfand - Zeytlin type lagrangian 3 - spheres.
Let F/F_q be an algebraic function field of genus g defined over a finite field F_q. We obtain new results on the existence, the number and the density of dimension zero divisors of degree g-k in F where k is a positive integer. In particular, for q=
2,3 we prove that there always exists a dimension zero divisor of degree gamma-1 where gamma is the q-rank of F. We also give a necessary and sufficient condition for the existence of a dimension zero divisor of degree g-k for a hyperelliptic field F in terms of its Zeta function.
We study the existence of non-special divisors of degree $g$ and $g-1$ for algebraic function fields of genus $ggeq 1$ defined over a finite field $F_q$. In particular, we prove that there always exists an effective non-special divisor of degree $gge
q 2$ if $qgeq 3$ and that there always exists a non-special divisor of degree $g-1geq 1$ if $qgeq 4$. We use our results to improve upper and upper asymptotic bounds on the bilinear complexity of the multiplication in any extension $F_{q^n}$ of $F_q$, when $q=2^rgeq 16$.
Let $M$ be a hyperkahler manifold of maximal holonomy (that is, an IHS manifold), and let $K$ be its Kahler cone, which is an open, convex subset in the space $H^{1,1}(M, R)$ of real (1,1)-forms. This space is equipped with a canonical bilinear symme
tric form of signature $(1,n)$ obtained as a restriction of the Bogomolov-Beauville-Fujiki form. The set of vectors of positive square in the space of signature $(1,n)$ is a disconnected union of two convex cones. The positive cone is the component which contains the Kahler cone. We say that the Kahler cone is round if it is equal to the positive cone. The manifolds with round Kahler cones have unique bimeromorphic model and correspond to Hausdorff points in the corresponding Teichmuller space. We prove thay any maximal holonomy hyperkahler manifold with $b_2 > 4$ has a deformation with round Kahler cone and the Picard lattice of signature (1,1), admitting two non-collinear integer isotropic classes. This is used to show that all known examples of hyperkahler manifolds admit a deformation with two transversal Lagrangian fibrations, and the Kobayashi metric vanishes unless the Picard rank is maximal.
Fix a symplectic K3 surface X homologically mirror to an algebraic K3 surface Y by an equivalence taking a graded Lagrangian torus L in X to the skyscraper sheaf of a point y of Y. We show there are Lagrangian tori with vanishing Maslov class in X wh
ose class in the Grothendieck group of the Fukaya category is not generated by Lagrangian spheres. This is mirror to a statement about the `Beauville--Voisin subring in the Chow groups of Y, and fits into a conjectural relationship between Lagrangian cobordism and rational equivalence of algebraic cycles.