Related papers: Definability of mixed period maps

Second-order superintegrable systems in dimensions two and three are essentially classified. With increasing dimension, however, the non-linear partial differential equations employed in current methods become unmanageable. Here we propose…

I extend the definitions of schemes relative to monoids with zero - and therefore, toric geometry - to the world of formal schemes. This expands the usual framework to include, for instance, models for Mumford's degenerating Abelian…

For a linear algebraic group $G$ over $\mathbf Q$, we consider the period domains $D$ classifying $G$-mixed Hodge structures, and construct the extended period domains $D_{\Sigma}$. In particular, we give toroidal partial compactifications…

We propose the notion of countable decomposability of maps on C*-algebras: a bounded linear map $\varphi : \mathscr{A}\to B(\mathcal{H})$, where $\mathscr{A}$ is a C*-algebra and $\mathcal{H}$ a Hilbert space, will be called countably…

We describe algebraically defined cohomological and homological Albanese and Picard 1-motives (or mixed motives) of any algebraic variety in characteristic zero, generalizing the classical Albanese and Picard varieties. We compute Hodge,…

This paper determines all the possible endomorphism algebras for polarizable Q-Hodge structures of type (n,0,...,0,n). This generalizes the classification of the possible endomorphism algebras of abelian varieties by Albert and Shimura. As…

We introduce a natural generalization of twisted maps, called \emph{warped maps}. While twisted maps play an important role in the study of Deligne--Mumford stacks, warped maps are better suited for studying Artin stacks. Heuristically,…

We consider various regular graphs defined on the set of elements of given rank of a finite polar space. It is likely that no two such graphs, of the same kind but defined for different ranks, can have the same degree. We shall prove this…

As an extension of previous ungraded work, we define a graded $p$-polar ring to be an analog of a graded commutative ring where multiplication is only allowed on $p$-tuples (instead of pairs) of elements of equal degree. We show that the…

Let X be a complex algebraic manifold of dimension n+1 embedded in a sufficiently higher dimensional complex projective space, and Y a generic hyperplane section of X. We describe the mixed Hodge structure on H^p(X-Y,C) and the Hodge…

We study the structure of the category of graded, connected, countable-dimensional, commutative and cocommutative Hopf algebras over a perfect field $k$ of characteristic $p$. Every $p$-torsion object in this category is uniquely a direct…

computable functions are defined by abstract finite deterministic algorithms on many-sorted algebras. We show that there exist finite universal algebraic specifications that specify uniquely (up to isomorphism) (i) all abstract computable…

By studying various rational integrable maps on $\mathbf{\hat C}^d$ with $p$ invariants, we show that periodic points form an invariant variety of dimension $\ge p$ for each period, in contrast to the case of nonintegrable maps in which…

We describe the proof that the period map from the Torelli space of Calabi-Yau manifolds to the classifying space of polarized Hodge structures is an embedding. The proof is based on the constructions of holomorphic affine structure on the…

We prove uniqueness of a decomposition of $1$ into indecomposable Hermitian idempotents in an order of a finite-dimensional $\mathbb{Q}$-algebra with positive involution, by generalising a result of Eichler on unique decomposition of…

We prove a formality theorem for algebraic objects internal to smooth complex varieties that are not compact but whose mixed Hodge structure has a certain purity property.

In this paper we work in o-minimal structures with definable Skolem functions and show that a continuous definable map between Hausdorff locally definably compact definable spaces is definably proper if and only if it is proper morphism in…

We describe the modular operad structure on the moduli spaces of pointed stable curves equipped with an admissible $G$-cover. To do this we are forced to introduce the notion of an operad colored not by a set but by the objects of a…

A flat vector bundle on an algebraic variety supports two natural definable structures given by the flat and algebraic coordinates. In this note we show these two structures coincide, subject to a condition on the local monodromy at…

Louveau and Rosendal [5] have shown that the relation of bi-embeddability for countable graphs as well as for many other natural classes of countable structures is complete under Borel reducibility for analytic equivalence relations. This…