Related papers: Logarithmic geometry and Frobenius, II

This thesis contains results relevant for two different classes of conformal field theory. We partly treat rational conformal field theory, but also derive results that aim at a better understanding of logarithmic conformal field theory.…

We study the integral Hodge conjecture in complex codimension $2$ and $3$ for approximations to the classifying space of groups of type A. In degree two, we prove a conjecture of Ben Antieau, extending his two counterexamples to a general…

The first two sections of the paper provide a convenient scheme and additional diagrammatics for working with Frobenius extensions responsible for key flavors of equivariant SL(2) link homology theories. The goal is to clarify some basic…

For any finite-dimensional factorizable ribbon Hopf algebra H and any ribbon automorphism omega of H, we establish the existence of the following structure: an H-bimodule F_omega and a bimodule morphism Z_omega from Lyubashenko's Hopf…

We prove a dynamical version of the Mordell-Lang conjecture for subvarieties of the affine space A^g over a p-adic field, endowed with polynomial actions on each coordinate of A^g. We use analytic methods similar to the ones employed by…

We prove two results regarding Hodge structures appearing in the cohomology of complex tori. First, we prove that if a polarizable Hodge structure appears in the cohomology of a complex torus $T$, it appears in the cohomology of an abelian…

We show that quasi-projective relation algebras and directed cylindric algebras are equivalent categorialy. We work out a Godels second incompleteness theorem for finite varibale fragments of first order logic. We show that distinct set…

We study the homotopy theory of a certain type of diagram categories whose vertices are in variable categories with a functorial path, leading to a good calculation of the homotopy category in terms of cofibrant objects. The theory is…

Let X be a smooth, geometrically connected variety over a p-adic local field. We show that the pro-unipotent fundamental group of X (in both the etale and crystalline settings) satisfies the weight-monodromy conjecture, following…

We build a unified framework for the study of monodromy operators and weight filtrations of cohomology theories for varieties over a local field. As an application, we give a streamlined definition of Hyodo-Kato cohomology without recourse…

We construct, for q a root of unity of odd order, an embedding of the projective special linear group PSL(n) into the group of bi-Galois objects over u_q(sl(n))*, the coordinate algebra of the Frobenius-Lusztig kernel of SL(n), which is…

We categorify Lusztig's version of the quantized enveloping algebra for sl(2). Using a graphical calculus a 2-category is constructed whose split Grothendieck ring is isomorphic to Lusztig's algebra. The indecomposable morphisms of this…

We describe our conjecture about the irreducible unitary representations of reductive Lie groups, in the special case of $\mathrm{SL}(2,\mathbb{R})$.

We consider the p-adic Galois representation associated to a Hilbert modular form. We show the compatibility with the local Langlands correspondence at a place divising p under a certain assumption. We also prove the monodromy-weight…

We axiomatically define (pre-)Hilbert categories. The axioms resemble those for monoidal Abelian categories with the addition of an involutive functor. We then prove embedding theorems: any locally small pre-Hilbert category whose monoidal…

This article is a revised, short and english version of my PhD thesis. First, we show a mirror theorem : the Frobenius manifold associated to the orbifold quantum cohomology of weighted projective space is isomorphic to the one attached to…

We prove a coherence theorem for braided monoidal bicategories and relate it to the coherence theorem for monoidal bicategories. We show how coherence for these structures can be interpretted topologically using up-to-homotopy operad…

We develop a theory of log adic spaces by combining the theories of adic spaces and log schemes, and study the Kummer \'etale and pro-Kummer \'etale topology for such spaces. We also establish the primitive comparison theorem in this…

Collino proved that the fundamental group of a certain Zariski open set of the symmetric square of a hyperelliptic curve is isomorphic to the integral Heisenberg group. We compute the mixed Hodge structure on this fundamental group, and…

We introduce abelian framed bicategories, which are particular framed bicategories that are locally abelian, and show that they are suitable for developing homology and cohomology theories for directed structures. This means in particular…