Duals of log abelian varieties
We prove the existence of the dual of a polarizable log abelian variety.
arXiv subjects
Publications and source records attributed to Kazuya Kato.
We prove the existence of the dual of a polarizable log abelian variety.
Based on the strong analogy between the category of log mixed Hodge structures and the category ${\cal A}_X$ of $\ell$-adic nature, which we have introduced in the previous part and is closely related to the weight-monodromy conjecture, we prove the $\ell$-adic analogues of some theorems in Hodge theory related to the SL(2)-orbit theorem.
We formulate an analogue of Tate conjecture on algebraic cycles, for the log geometry over a finite field. We show that the weight-monodromy conjecture follows from this conjecture and from the semi-simplicity of the Frobenius action. This conjecture suggests the existence of the monodromy cycle which gives the monodromy operator and an action of ${\frak{sl}}(2)$ on the cohomology, and which lives in the world of log motives.
We construct toroidal compactifications of the moduli spaces of Drinfeld $\mathbb{F}_q[T]$-modules of rank $d$ with level $N$ structure as moduli spaces of log Drinfeld modules of rank $d$ with level $N$ structure. The toroidal compactifications are log regular schemes associated to rational cone decompositions, and there are regular ones among them. To construct these toroidal compactifications, we blow up the Satake compactification of Pink and employ the theory of formal moduli and a process of iterated Tate uniformization.
Based on the logarithmic algebraic geometry and the theory of Deligne systems, we define an abelian category of $\ell$-adic sheaves with weight filtrations on a logarithmic scheme over a finite field, which is similar to the category of variations of mixed Hodge structure. We consider asymptotic behaviors and simple cases of higher direct images of objects of this category. This category is closely related to the monodromy-weight conjecture.
T. Saito established a ramification theory for ring extensions locally of complete intersection. We show that for a Henselian valuation ring $A$ with field of fractions $K$ and for a finite Galois extension $L$ of $K$, the integral closure $B$ of $A$ in $L$ is a filtered union of subrings of $B$ which are of complete intersection over $A$. By this, we can obtain a ramification theory of Henselian valuation rings as the limit of the ramification theory of Saito. Our theory generalizes the ramification theory of complete discrete valuation rings of Abbes-Saito. We study "defect extensions" which are not treated in these previous works.
We develop the theory of logarithmic p-divisible groups and the theory of logarithmic finite locally free commutative group schemes.
To advance our log Hodge theory, we introduce log real analytic functions and log $C^{\infty}$ functions, define how to integrate them, and prove the log Poincaré lemma. We give better understandings of the degeneration of Hodge structure, including a geometric interpretation of the theory of $SL(2)$-orbits.
We prove that a variation of mixed Hodge structure is embedded in a logarithmic variation of pure Hodge structure, and a generalized version of this result. These results suggest some simple construction of the category of mixed motives by using log pure motives.
We show that the description of Deligne--Beilinson cohomology is improved by using log Hodge theory. We consider the log relative version of it, and also present a fundamental conjecture in log Hodge theory.
We construct the fine moduli space of log abelian varieties with PEL structure, which gives a toroidal compactification of the moduli space of abelian varieties with PEL structure.
We discuss connections of toroidal compactifications and Borel--Serre compactifications in view of the fundamental diagram of extended period domains. We give a complement to a work of Goresky--Tai.
For a linear algebraic group $G$ over $\bf Q$, we consider the period domains $D$ classifying $G$-mixed Hodge structures, and construct the extended period domains $D_{\mathrm{BS}}$, $D_{\mathrm{SL}(2)}$, and $Γ\backslash D_Σ$. In particular, we give toroidal partial compactifications of mixed Mumford--Tate domains.
We construct the fine moduli space of log abelian varieties, which gives a compactification of the moduli space of abelian varieties.
We define non-commutative schemes by using prime ideals of non-commutative rings, and discuss the étale cohomology, the Betti cohomology, and the fundamental groups of non-commutative schemes. For non-commutative schemes which are finite over centers, we prove the finiteness theorem for the higher direct images in étale cohomology theory, and the comparison theorem between étale cohomology and Betti cohomology. In Appendix, for non-commutative schemes over finite fields which are finite over centers and satisfy a certain condition, $L$-functions are expressed by using étale cohomology with compact supports.
There are two ways to define the Swan conductor of an abelian character of the absolute Galois group of a complete discrete valuation field. We prove that these two Swan conductors coincide.
We discuss log flat topology and log flat descents of log schemes
We consider syntomic complexes of uniform F-crystals and relate them to Tamagawa number conjecture in characteristic p