Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userA birational Torelli theorem with a Brauer class
106
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
Let $text{M}_C( 2, mathcal{O}_C) cong mathbb{P}^3$ denote the coarse moduli space of semistable vector bundles of rank $2$ with trivial determinant over a smooth projective curve $C$ of genus $2$ over $mathbb{C}$. Let $beta_C$ denote the natural Brauer class over the stable locus. We prove that if $f^*( beta_{C}) = beta_C$ for some birational map $f$ from $text{M}_C( 2, mathcal{O}_C)$ to $text{M}_{C}( 2, mathcal{O}_{C})$, then the Jacobians of $C$ and of $C$ are isomorphic as abelian varieties. If moreover these Jacobians do not admit real multiplication, then the curves $C$ and $C$ are isomorphic. Similar statements hold for Kummer surfaces in $mathbb{P}^3$ and for quadratic line complexes.
rate research
Read More
Given two semistable, non potentially isotrivial elliptic surfaces over a curve $C$ defined over a field of characteristic zero or finitely generated over its prime field, we show that any compatible family of effective isometries of the N{e}ron-Severi lattices of the base changed elliptic surfaces for all finite separable maps $Bto C$ arises from an isomorphism of the elliptic surfaces. Without the effectivity hypothesis, we show that the two elliptic surfaces are isomorphic. We also determine the group of universal automorphisms of a semistable elliptic surface. In particular, this includes showing that the Picard-Lefschetz transformations corresponding to an irreducible component of a singular fibre, can be extended as universal isometries. In the process, we get a family of homomorphisms of the affine Weyl group associated to $tilde{A}_{n-1}$ to that of $tilde{A}_{dn-1}$, indexed by natural numbers $d$, which are closed under composition.
We establish a local model for the moduli space of holomorphic symplectic structures with logarithmic poles, near the locus of structures whose polar divisor is normal crossings. In contrast to the case without poles, the moduli space is singular: when the cohomology class of a symplectic structure satisfies certain linear equations with integer coefficients, its polar divisor can be partially smoothed, yielding adjacent irreducible components of the moduli space that correspond to possibly non-normal crossings structures. These components are indexed by combinatorial data we call smoothing diagrams, and amenable to algorithmic classification. Applying the theory to four-dimensional projective space, we obtain a total of 40 irreducible components of the moduli space, most of which are new. Our main technique is a detailed analysis of the relevant deformation complex (the Poisson cohomology) as an object of the constructible derived category.
A mapping class group of an oriented manifold is a quotient of its diffeomorphism group by the isotopies. In the published version of Mapping class group and a global Torelli theorem for hyperkahler manifolds I made an error based on a wrong quotation of Dennis Sullivans famous paper Infinitesimal computations in topology. I claimed that the natural homomorphism from the mapping class group to the group of automorphims of cohomology of a simply connected Kahler manifold has finite kernel. In a recent preprint arXiv:1907.05693, Matthias Kreck and Yang Su produced counterexamples to this statement. Here I correct this error and other related errors, observing that the results of Mapping class group and a global Torelli theorem remain true after an appropriate change of terminology.
We prove that the index of a Brauer class satisfies prime decomposition over a general base scheme. This contrasts with our previous result that there is no general prime decomposition of Azumaya algebras.
Fix integers $ggeq 3$ and $rgeq 2$, with $rgeq 3$ if $g=3$. Given a compact connected Riemann surface $X$ of genus $g$, let $MDH(X)$ denote the corresponding $text{SL}(r, {mathbb C})$ Deligne--Hitchin moduli space. We prove that the complex analytic space $MDH(X)$ determines (up to an isomorphism) the unordered pair ${X, overline{X}}$, where $overline{X}$ is the Riemann surface defined by the opposite almost complex structure on $X$.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
