相关论文: HOD in natural models of AD^+

Suppose $M$ is a transitive class size model of $AD_{\mathbb{R}}+``\Theta$ is regular". $M$ is a minimal model of $AD_{\mathbb{R}}+``\Theta$ is measurable" if (i) $\mathbb{R}, Ord\subseteq M$ (ii) there is $\mu\in M$ such that $M\models…

This paper provides an accessible introduction to some of the work of Woodin on suitable extender models. We define the HOD conjecture, prove it is equivalent to a formulation in terms of weak extender models for supercompactness, and give…

We introduce a notion of ellipticity of complexes of linear pseudodifferential operators acting on sections of $A$-Hilbert bundles over smooth manifolds, $A$ being a $C^*$-algebra. We prove that the cohomology groups of an $A$-elliptic…

Let $M$ be a tame mouse modelling ZFC. We show that $M$ satisfies "$V=\mathrm{HOD}_x$ for some real $x$", and that the restriction $\mathbb{E}\upharpoonright[\omega_1^M,\mathrm{OR}^M)$ of the extender sequence $\mathbb{E}^M$ of $M$ to…

We present an $L$-like construction that produces the minimal model of $\mathsf{AD}_\mathbb{R}+$"$\Theta$ is regular". In fact, our construction can produce any model of $\mathsf{AD}^++\mathsf{AD}_\mathbb{R}+V=L(P(\mathbb{R}))$ in which…

In this paper, we establish an innovative framework in logarithmic Hodge theory for toroidal varieties, introducing weighted toroidal structures and developing a systematic obstruction theory for Hodge classes. Building upon recent advances…

We investigate the relation between the Hodge theory of a smooth subcanonical $n$-dimensional projective variety $X$ and the deformation theory of the affine cone $A_X$ over $X$. We start by identifying $H^{n-1,1}_{\mathrm{prim}}(X)$ as a…

We introduce and study the category of Hodge microsheaves which is a Hodge-version of the category of microsheaves for a certain class of holomorphic exact symplectic manifolds. We then study Hodge-theoretic version of wrapped sheaves and…

The Hodge decomposition provides a very powerful mathematical method for the analysis of 2D and 3D vector fields. It states roughly that any vector field can be $L^2$-orthogonally decomposed into a curl-free, divergence-free, and a harmonic…

The Hodge theory of complex algebraic varieties is at heart a transcendental comparison of two algebraic structures. We survey the recent advances bounding this transcendence, mainly due to the introduction of o- minimal geometry as a…

We give a generalization of the Hodge operator to spaces $(V,h)$ endowed with a hermitian or symmetric bilinear form $h$ over arbitrary fields, including the characteristic two case. Suitable exterior powers of $V$ become free modules over…

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…

Assume $\boldsymbol{\Delta}^1_3$-determinacy. It is shown that for any $x \geq_T M_1^{\#}$, $\mathrm{HOD}^{L[x]}$ is a model of GCH, and in fact, it is a Jensen-Steel core model up to $\omega_2^{L[x]}$.

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,…

Fix a smooth projective family of curves $C \to S$ and a split reductive group scheme $G$ over a Noetherian base scheme $S$. For any (possibly nonreduced) fixed relative Cartier divisor $D$, we provide a treatment of the moduli of…

We present a general and comprehensive overview of recent developments in the theory of integral models of Shimura varieties of Hodge type. The paper covers the following topics: construction of integral models, their possible moduli…

The standard Halo Occupation Distribution (HOD) models were originally developed based on results from semi-analytic and hydrodynamical galaxy formation models. Those models have since progressed, in particular to include AGN feedback to…

The goal of this paper is twofold. On the one hand, we introduce a quasi-homogeneous version of the classical ideal MHD system and study its well-posedness in critical Besov spaces $B^s_{p,r}(\mathbb{R}^d)$, $d\geq2$, with $1<p<+\infty$ and…

We present a covering conjecture that we expect to be true below superstrong cardinals. We then show that the conjecture is true in hod mice. This work is a continuation of the work that started in Covering with Universally Baire Functions…

This chapter provides an introduction to Hybrid High-Order (HHO) methods. These are new generation numerical methods for PDEs with several advantageous features: the support of arbitrary approximation orders on general polyhedral meshes,…