Related papers: The Category Dichotomy for Ideals

This paper shows how internal models for polymorphic lambda calculi arise in any 2-category with a notion of discreteness. We generalise to a 2-categorical setting the famous theorem of Peter Freyd saying that there are no sufficiently…

We analyze a model for the homotopy theory of complete filtered $L_\infty$-algebras intended for applications in algebraic and algebro-geometric deformation theory. We provide an explicit proof of an unpublished result of E.\ Getzler which…

This paper studies special classes in the symplectic cohomology of a semipositive and convex-at-infinity symplectic manifold $W$. The classes under consideration lie in the image of every continuation map (for this reason, we call them…

For a lattice \Lambda in the complex plane, let K_{\Lambda} be the field of \Lambda-elliptic functions. For two relatively prime integers p (respectively q) greater than 1, consider the endomorphisms \psi (resp. \phi) of K_{\Lambda} given…

In this paper we show how to build a model of $ZFC$ such that all its inner models satisfying the Axiom of Choice are well-ordered with respect to inclusion, and that said ordering is of arbitrary height (including possibly $Ord$ high). We…

Motivated by possible applications to meromorphic dynamics, and generalising known properties of difference-closed fields, this paper studies the theory CCMA of compact complex manifolds with a generic automorphism. It is shown that while…

We establish an optimal Calder\'{o}n-Zygmund theory for nonuniformly elliptic double phase problems with matrix weights. For $1<p<q<\infty$, $a(\cdot)\in C^{0,\alpha}(\Omega)$ ($0<\alpha\le1$), and a symmetric, almost everywhere positive…

We study the Fitting ideals over the finite layers of the cyclotomic $\mathbb{Z}_p$-extension of $\mathbb{Q}$ of Selmer groups attached to the Rankin--Selberg convolution of two modular forms $f$ and $g$. Inspired by the Theta elements for…

We introduce a notion of derived Azumaya's algebras over rings and schemes. We prove that any such algebra $B$ on a scheme $X$ provides a class $\phi(B)$ in $H^{1}_{et}(X,\mathbb{Z})\times H^{2}_{et}(X,\mathbb{G}_{m})$. We prove that for…

Pr\"{u}fer domains and subclasses of integral domains such as Dedekind domains admit characterizations by means of the properties of their ideal lattices. Interestingly, a Leavitt path algebra $L$, in spite of being non-commutative and…

We present two different types of models where, for certain singular cardinals lambda of uncountable cofinality, lambda -> (lambda, omega+1)^2, although lambda is not a strong limit cardinal. We announce, here, and will present in a…

We prove that in every compact space of Delone sets in $\mathbb{R}^d$ which is minimal with respect to the action by translations, either all Delone sets are uniformly spread, or continuously many distinct bounded displacement equivalence…

We introduce and investigate a class of ring ideals, termed ring $\mathrm{M}$-ideals, inspired by the Alfsen--Effros theory of $\mathrm{M}$-ideals in Banach spaces. We show that $\mathrm{M}$-ideals extend the classical notion of essential…

We consider exact Lagrangian submanifolds in cotangent bundles. Under certain additional restrictions (triviality of the fundamental group of the cotangent bundle, and of the Maslov class and second Stiefel-Whitney class of the Lagrangian…

The $\sigma$-ideal $(v^0)$ is associated with the Silver forcing, see \cite{bre}. Also, it constitutes the family of all completely doughnut null sets, see \cite{hal}. We introduce segments and $*$-segments topologies, to state some…

We introduce the forcing property of descending distributivity. A forcing $\mathbb{P}$ is $\kappa$-descending distributive if for all decreasing sequences $(D_\alpha)_{\alpha<\kappa}$ of open dense sets, $\bigcap_\alpha D_\alpha$ is open…

Generalising and unifying the known theorems for difference and differential fields, it is shown that for every finite free ${\mathbb S}$-algebra ${\mathcal D}$ over a field $A$ of characteristic zero the theory of ${\mathcal D}$-fields has…

We prove new cases of the Tate conjecture for abelian varieties over finite fields, extending previous results of Dupuy--Kedlaya--Zureick-Brown, Lenstra--Zarhin, Tankeev, and Zarhin. Notably, our methods allow us to prove the Tate…

Let $\mathfrak{T}$ denote the full Toeplitz algebra on the Bergman space of the unit ball $\mathbb{B}_n.$ For each subset $G$ of $L^{\infty},$ let $\mathfrak{CI}(G)$ denote the closed two-sided ideal of $\mathfrak{T}$ generated by all…

We prove under $V=L$ that the inclusion modulo the non-stationary ideal is a $\Sigma_1^1$-complete quasi-order in the generalized Borel-reducibility hierarchy ($\kappa>\omega$). This improvement to known results in $L$ has many new…