Related papers: The HOD Dichotomy
There are significant differences between Helmholtz and Hodge's decomposition theorems, but both share a common flavor. This paper is a first step to bring them together. We here produce Helmholtz theorems for differential 1-forms and…
We show in this work that homology in degree d of a congruence group, in a very general framework, defines a weakly polynomial functor of degree at most 2d and we describe this functor modulo polynomial functors of smaller degree. Our main…
We started from computer experiments with simple one-dimensional ergodic dynamical systems called interval exchange transformations. Correlators in these systems decay as a power of time. In the simplest non-trivial case the exponent is…
The Hodge Conjecture, posits a profound connection between the topology and algebraic geometry of complex algebraic varieties. It asserts that Hodge cycles, specific elements in the cohomology of a K\"ahler variety with rational properties,…
In its simplest form the Decomposition Theorem asserts that the rational intersection cohomology of a complex projective variety occurs as a summand of the cohomology of any resolution. This deep theorem has found important applications in…
Hypercontractivity is one of the most powerful tools in Boolean function analysis. Originally studied over the discrete hypercube, recent years have seen increasing interest in extensions to settings like the $p$-biased cube, slice, or…
In this note we present various extensions of Obata's rigidity theorem concerning the Hessian of a function on a Riemannian manifold. They include general rigidity theorems for the generalized Obata equation, and hyperbolic and Euclidean…
The basic system E of dyadic deontic logic proposed by {\AA}qvist offers a simple solution to contrary-to-duty paradoxes and allows to represent norms with exceptions. We investigate E from a proof-theoretical viewpoint. We propose a…
The notion of a duality between two derived functors as well as an extension theorem for derived functors to larger categories in which they need not be defined is introduced. These ideas are then applied to extend and study the coext…
In this paper we give a new and simplified proof of the variational Hodge conjecture for complete intersection cycles on a hypersurface in projective space.
The Lie-Trotter-Kato product formula has been recently extended into Hadamard spaces by [Stojkovic, Adv. Calc. Var., 2012]. The aim of our short note is to give a simpler proof relying upon weak convergence instead of an ultrapower…
We present a self-contained account of Woodin's extender algebra and its use in proving absoluteness results, including a proof of the $\Sigma^2_1$-absoluteness theorem. We also include a proof that the existence of an inner model with…
We prove the conjectures of Hodge and Tate for any six-dimensional hyper-K\"ahler variety that is deformation equivalent to a generalized Kummer variety.
This paper is the extended introduction of a serie of papers about modelling T-homotopy by refinement of observation. The notion of T-homotopy equivalence is discussed. A new one is proposed and its behaviour with respect to other…
Higher-order abstract GSOS is a recent extension of Turi and Plotkin's framework of Mathematical Operational Semantics to higher-order languages. The fundamental well-behavedness property of all specifications within the framework is that…
The Classic Howard's algorithm, a technique of resolution for discrete Hamilton-Jacobi equations, is of large use in applications for its high efficiency and good performances. A special beneficial characteristic of the method is the…
Weak-coupling expansions (conserving approximations) are carried out for the attractive Holstein and Hubbard models (on an infinite-dimensional hypercubic lattice) that include all bandstructure and vertex correction effects. Quantum…
We prove results concerning the behavior of Hodge ideals under restriction to hypersurfaces or fibers of morphisms, and addition. The main tool is the description of restriction functors for mixed Hodge modules by means of the…
We establish a dual version of infinite-dimensional Hom-algebras and Hom-modules by using the Sweedler duality construction. Additionally, linear morphisms between infinite-dimensional Hom-algebras (resp. Hom-modules) and Hom-coalgebras…
The paper presents geometric models for the set WO of weak orders on a finite set. In particulary, WO is modeled as a set of vertices of a cubical subdivision of a permutahedron. This approach is an alternative to the usual representation…