Related papers: Analysis of HOD for Admissible Structures

Assume ZF + AD + V=L(R). Let $[\alpha,\beta]$ be a $\Sigma_1$ gap with $J_\alpha(R)$ admissible. We analyze $J_\beta(R)$ as a natural form of "derived model" of a premouse $P$, where $P$ is found in a generic extension of $V$. In…

Given a cardinal $\kappa$ that is $\lambda$-supercompact for some regular cardinal $\lambda\geq\kappa$ and assuming $\GCH$, we show that one can force the continuum function to agree with any function $F:[\kappa,\lambda]\cap\REG\to\CARD$…

Let G be a linear algebraic group, P be a parabolic subgroup of G and \beta be a cycle of dimension 1 in the Chow group of the quotient G/P. Using geometric arguments and Borel's fixed point theorem, we prove that the moduli space…

We define a new inner model C2(omega) based on the fragment of second order logic in which second order variables range over countable subsets of the domain. We compare C2(omega) to the previously studied inner model C(aa). We argue that…

We propose a novel constructive framework for approaching the Hodge Conjecture via explicit degenerations. Building on limiting mixed Hodge structures (LMHS), we formulate a criterion under which a rational class of type (p, p) on a smooth…

If T is an iteration tree on K and F is a countably certified extender that coheres with the final model of T, then F is on the extender sequence of the final model of T. Several applications of maximality are proved, including: o K…

For a profinite group $G$ and a rigid analytic space $X$, we study when an $\mathcal O_X(X)$-linear representation $V$ of $G$ admits a lattice, i.e. an $\mathcal O_{\mathcal X(\mathcal X)}$-linear model for a suitable formal model $\mathcal…

We introduce a notion of a weak Poisson structure on a manifold $M$ modeled on a locally convex space. This is done by specifying a Poisson bracket on a subalgebra $\cA \subeq C^\infty(M)$ which has to satisfy a non-degeneracy condition…

We lay down the foundations of the theory of Poisson vertex algebras aimed at its applications to integrability of Hamiltonian partial differential equations. Such an equation is called integrable if it can be included in an infinite…

Researchers have started using LLM agents in place of human subjects in behavioural and political-science experiments, often as a cheaper substitute for laboratory pools. The substitution does not hold up in strategic settings: humans and…

A generalized-homology bordism-theory is constructed, such that for certain manifold homotopy stratified sets (MHSS; Quinn-spaces) homeomorphism-invariant geometric fundamental-classes exist. The construction combines three ideas: Firstly,…

We study measurable spaces equipped with a $\sigma$-ideal of negligible sets. We find conditions under which they admit a localizable locally determined version -- a kind of fiber space that describes locally their directions -- defined by…

We analyze the effect of replacing several natural uses of definability in set theory by the weaker model-theoretic notion of algebraicity. We find, for example, that the class of hereditarily ordinal algebraic sets is the same as the class…

Higher-dimensional automata (HDA) are a model of concurrency that models simultaneous execution of events using higher dimensional cells. HDA recognize languages of pomsets, a generalization of finite words whose letters are partially…

Let $K\backslash G$ be an irreducible Hermitian symmetric space of noncompact type and $\Gamma \,\subset\, G$ a closed torsionfree discrete subgroup. Let $X$ be a compact K\"ahler manifold and $\rho\, :\, \pi_1(X, x_0)\,\longrightarrow\,…

Let $X=G/\Gamma$ be the quotient of a semisimple Lie group $G$ by its non-cocompact arithmetic lattice. Let $H$ be a reductive algebraic subgroup of $G$ acting on $X$. We give several equivalent algebraic conditions on $H$ for the existence…

Let $E$ be a number field and $X$ a smooth geometrically connected variety defined over a characteristic $p$ finite field. Given an $n$-dimensional pure $E$-compatible system of semisimple $\lambda$-adic representations of the \'etale…

We show that if \kappa\ is a weakly compact cardinal then the embeddability relation on (generalized) trees of size \kappa\ is invariantly universal. This means that for every analytic quasi-order R on the generalized Cantor space 2^\kappa\…

Consider a Hamiltonian action of a compact Lie group H on a compact symplectic manifold (M,w) and let G be a subgroup of the diffeomorphism group Diff(M). We develop techniques to decide when the maps on rational homotopy and rational…

Motivated by reconstruction results by Rubin, we introduce a new reconstruction notion for permutation groups, transformation monoids and clones, called automatic action compatibility, which entails automatic homeomorphicity. We further…