Related papers: A model-theoretic counterpart to Moishezon morphis…

This paper studies Moore's measurable cohomology theory for locally compact groups and Polish modules. An elementary dimension-shifting argument is used to show that all classes in that theory have representatives with considerable extra…

We construct a generalize Ishida complex to compute the local cohomology with monomial support of modules over quotients of polynomial rings by cellular binomial ideals. As a consequence, we obtain a combinatorial criterion to determine…

We introduce a variational first-order Sobolev calculus on metric measure spacetimes. The key object is the maximal weak subslope of an arbitrary causal function, which plays the role of the (Lorentzian) modulus of its differential. It is…

We extend the results of Riemannian geometry over finite groups and provide a full classification of all linear connections for the minimal noncommutative differential calculus over a finite cyclic group. We solve the torsion-free and…

We investigate the local topological structure of non-metrizable topological groups through the lens of Tukey order and cofinal types. Motivated by recent advances in topological groups admitting an $\omega^\omega$-base, we introduce the…

Recently, G. Floystad studied "higher Cohen-Macaulay property" of certain finite regular cell complexes. In this paper, we partially extend his results to squarefree modules, toric face rings, and simplicial posets. For example, we show…

We consider the 2--dimensional Wess--Zumino--Witten (WZW) model in the canonical formalism introduced in a previous paper by two of us. Using an $r$--$s$ matrix approach to non--ultralocal field theories we find the Poisson algebra of…

In this note we describe conditions under which the algebras for a monad on a presheaf category equipped with some additional structure are fibrant objects in a model structure. We also prove that when these conditions are satisfied the…

We build free, bigraded bidifferential algebra models for the forms on a complex manifold, with respect to a strong notion of quasi-isomorphism and compatible with the conjugation symmetry. This answers a question of Sullivan. The resulting…

In this note we construct a canonical lifting of arbitrary Poisson structures on a manifold to its algbera of densities. Using this construction we proceed to classify all extensions of a fixed structure on the original manifold to its…

This is a foundation for algebraic geometry, developed internal to the Zariski topos, building on the work of Kock and Blechschmidt. The Zariski topos consists of sheaves on the site opposite to the category of finitely presented algebras…

Let $M$ be a compact hyperkahler manifold equipped with a Lagrangian fibration $\pi:\; M \to X$, and $M'$ the smooth locus of $\pi$. We prove that over a complement to a codimension $\geq 2$ subset in $X$, the projection $\pi:\; M' \to X$…

We prove that the (elementary) class of differential-difference fields in characteristic $p>0$ admits a model-companion. In the terminology of Chatzidakis-Pillay, this says that the class of differentially closed fields of characteristic…

We study the moduli of G-local systems on smooth but not necessarily proper complex algebraic varieties. We show that, when suitably considered as derived algebraic stacks, they carry natural Poisson structures, generalizing the well known…

Motivated by the search for methods to establish strong minimality of certain low order algebraic differential equations, a measure of how far a finite rank stationary type is from being minimal is introduced and studied: The {\em degree of…

We introduce a very natural topology on the set of total orderings of monomials of any algebra having a countable basis over a field. This topological space and some notable subspaces are compact. This topological framework allows us to…

We review some basic theorems on integrability of Hamiltonian systems, namely the Liouville-Arnold theorem on complete integrability, the Nekhoroshev theorem on partial integrability and the Mishchenko-Fomenko theorem on noncommutative…

For a symplectic manifold satisfying some topological condition,we define a special class of modules over the deformation quantization algebra. For any two such modules we construct an infinity local system of morphisms. We construct such…

This thesis concerns embeddings and self-embeddings of foundational structures in both set theory and category theory. The first part of the work on models of set theory consists in establishing a refined version of Friedman's theorem on…

In Remarks on Galois Cohomology and Definability [2], Pillay introduced definable Galois cohomology, a model-theoretic generalization of Galois cohomology. Let $M$ be an atomic and strongly $\omega$-homogeneous structure over a set of…