Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userOrthogonally spherical objects and spherical fibrations
229
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We introduce a relative version of the spherical objects of Seidel and Thomas. Define an object E in the derived category D(Z x X) to be spherical over Z if the corresponding functor from D(Z) to D(X) gives rise to autoequivalences of D(Z) and D(X) in a certain natural way. Most known examples come from subschemes of X fibred over Z. This categorifies to the notion of an object of D(Z x X) orthogonal over Z. We prove that such an object is spherical over Z if and only if it has certain cohomological properties similar to those in the original definition of a spherical object. We then interpret this geometrically in the case when our objects are actual flat fibrations in X over Z.
rate research
Read More
For two DG-categories A and B we define the notion of a spherical Morita quasi-functor A -> B. We construct its associated autoequivalences: the twist T of D(B) and the co-twist F of D(A). We give powerful sufficiency criteria for a quasi-functor to be spherical and for the twists associated to a collection of spherical quasi-functors to braid. Using the framework of DG-enhanced triangulated categories, we translate all of the above to Fourier-Mukai transforms between the derived categories of algebraic varieties. This is a broad generalisation of the results on spherical objects in [ST01] and on spherical functors in [Ann07]. In fact, this paper replaces [Ann07], which has a fatal gap in the proof of its main theorem. Though conceptually correct, the proof was impossible to fix within the framework of triangulated categories.
Let $G$ be a complex connected reductive algebraic group. Given a spherical subgroup $H subset G$ and a subset $I$ of the set of spherical roots of $G/H$, we define, up to conjugation, a spherical subgroup $H_I subset G$ of the same dimension of $H$, called a satellite. We investigate various interpretations of the satellites. We also show a close relation between the Poincar{e} polynomials of the two spherical homogeneous spaces $G/H$ and $G/H_I$.
We study Dehn twists along Lagrangian submanifolds that are finite quotients of spheres. We decribe the induced auto-equivalences to the derived Fukaya category and explain its relation to twists along spherical functors.
We prove that every spherical object in the derived Fukaya category of a closed surface of genus at least two whose Chern character represents a non-zero Hochschild homology class is quasi-isomorphic to a simple closed curve equipped with a rank one local system. (The homological hypothesis is necessary.) This largely answers a question of Haiden, Katzarkov and Kontsevich. It follows that there is a natural surjection from the autoequivalence group of the Fukaya category to the mapping class group. The proofs appeal to and illustrate numerous recent developments: quiver algebra models for wrapped categories, sheafifying the Fukaya category, equivariant Floer theory for finite and continuous group actions, and homological mirror symmetry. An application to high-dimensional symplectic mapping class groups is included.
A cone spherical metric is called irreducible if any developing map of the metric does not have monodromy in ${rm U(1)}$. By using the theory of indigenous bundles, we construct on a compact Riemann surface $X$ of genus $g_X geq 1$ a canonical surjective map from the moduli space of stable extensions of two line bundles to that of irreducible metrics with cone angles in $2 pi mathbb{Z}_{>1}$, which is generically injective in the algebro-geometric sense as $g_X geq 2$. As an application, we prove the following two results about irreducible metrics: $bullet$ as $g_X geq 2$ and $d$ is even and greater than $12g_X - 7$, the effective divisors of degree $d$ which could be represented by irreducible metrics form an arcwise connected Borel subset of Hausdorff dimension $geq 2(d+3-3g_X)$ in ${rm Sym}^d(X)$; $bullet$ as $g_X geq 1$, for almost every effective divisor $D$ of degree odd and greater than $2g_X-2$ on $X$, there exist finitely many cone spherical metrics representing $D$.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
