Related papers: Point Objects on Abelian Varieties
We provide a formulation of the univalence axiom in a universe category model of dependent type theory that is convenient to verify in homotopy-theoretic settings. We further develop a strengthening of the univalence axiom, called pointed…
We give an elementary proof of the fact that a pure-dimensional closed subvariety of a complex abelian variety has a signed intersection homology Euler characteristic. We also show that such subvarieties which, moreover, are local complete…
The digest of ideology interpreting D-branes on Calabi-Yau manifolds as objects of the derived category is given.
We consider the finite generation property for cohomology algebra of pointed finite tensor categories via de-equivariantization and exact sequence of finite tensor categories. As a result, we prove that all coradically graded pointed finite…
We are considering iterative derivations on the function field L of abelian schemes in positive characteristic p>0, and give conditions when the torsion group schemes of this abelian scheme occur as ID-automorphism groups, i.e. are the…
We study cohomology support loci of regular holonomic D-modules on complex abelian varieties, and obtain conditions under which each irreducible component of such a locus contains a torsion point. One case is that both the D-module and the…
This is the third paper in a series. In part I we developed a deformation theory of objects in homotopy and derived categories of DG categories. Here we show how this theory can be used to study deformations of objects in homotopy and…
Every smooth manifold contains particles which propagate. These form objects and morphisms of a category equipped with a functor to the category of Abelian groups, turning this into a 0+1 topological field theory. We investigate the…
Let X ->Y be a Zariski locally trivial fibration of smooth complex projective varieties, with fiber F. We give a structure theorem for the derived category of X provided both F and Z have a full strongly exceptional collection of line…
We provide a new class of Z_N x Z_M heterotic orbifolds on non-factorisable tori, whose boundary conditions are defined by Lie lattices. Generally, point groups of these orbifolds are generated by Weyl reflections and outer automorphisms of…
In this short note we discuss discrete torsion in orientifolds. In particular, we apply the physical understanding of discrete torsion worked out several years ago, as group actions on B fields, to the case of orientifolds, and recover some…
Let k be a number field and X a smooth projective k-variety. In this paper, we study the information obtainable from descent via torsors under finite k-group schemes on the location of the k-rational points on X within the adelic points.…
We introduce Manifold tensor categories, which make precise the notion of a tensor category with a manifold of simple objects. A basic example is the category of vector spaces graded by a Lie group. Unlike classic tensor category theory,…
We introduce a cohomology set for groups defined by algebraic difference equations and show that it classifies torsors under the group action. This allows us to compute all torsors for large classes of groups. We also develop some tools for…
The lattice of ideals of the torsion ideal of the endomorphism ring of an abelian p-group is classified by a system of cardinal invariants.
Let $U$ be a smooth and connected curve over an algebraically closed field of positive characteristic, with smooth compactification $X$. We generalize classical Geometric Class Field theory to provide a classification of fppf $G$-torsors…
The degree of a curve $C$ in a polarized abelian variety $(X,\lambda)$ is the integer $d=C\cdot\lambda$. When $C$ generates $X$, we find a lower bound on $d$ which depends on $n$ and the degree of the polarization $\lambda$. The smallest…
We prove a categorical version of the Torelli theorem for cubic threefolds. More precisely, we show that the non-trivial part of a semi-orthogonal decomposition of the derived category of a cubic threefold characterizes its isomorphism…
We describe the set of characteristic polynomials of abelian varieties of dimension 4 over finite fields.
In this small note we present a Tannakian proof of the theorem of Grothendieck-Harder on the classification of torsors under a reductive group on the projective line over a field.