Related papers: Extending Fubini Measures

We prove that the derived category $D(C)$ of a generic curve of genus greater than one embeds into the derived category $D(M)$ of the moduli space $M$ of rank two stable bundles on $C$ with fixed determinant of odd degree.

In this paper we show that the $\mathrm{K}$-homology groups of a separable C*-algebra can be enriched with additional descriptive set-theoretic information, and regarded as definable groups. Using a definable version of the Universal…

We study extensions of sets and functions in general metric measure spaces. We show that an open set has the strong BV extension property if and only if it has the strong extension property for sets of finite perimeter. We also prove…

We address the question of whether geometric conditions on the given data can be preserved by a solution in (1) the Whitney extension problem, and (2) the Brenner-Fefferman-Hochster-Koll\'ar problem, both for $\mathcal C^m$ functions. Our…

We look at characterizing which formulas are expressible in rich decidable logics such as guarded fixpoint logic, unary negation fixpoint logic, and guarded negation fixpoint logic. We consider semantic characterizations of definability, as…

Let $X$ be a measure space with a measure-preserving action $(g,x) \mapsto g \cdot x$ of an abelian group $G$. We consider the problem of understanding the structure of measurable tilings $F \odot A = X$ of $X$ by a measurable tile $A…

We investigate a hierarchy of arithmetical structures obtained by a transfinite addition of a canonic universal predicate, where the canonic universal predicate for M is defined as a minimum universal predicate for M in terms of…

Given a tensor functor between tensor categories $\mathcal{C}$ and $\mathcal{D}$, we give criteria that, under certain assumptions, the Frobeniusness of $\mathcal{C}$ or $\mathcal{D}$ implies the Frobeniusness of the other one. We also give…

We translate Akin's notion of {\it good} (and related concepts) from measures on Cantor sets to traces on dimension groups, and particularly for invariant measures of minimal homeomorphisms (and their corresponding simple dimension groups),…

This paper concerns the overcompleteness of coherent frames for unimodular amenable groups. It is shown that for coherent frames associated with a localized vector a set of positive Beurling density can be removed yet still leave a frame.…

We show that positivity of the CM line associated to a family of polarised varieties is intimately related to the stability of its members. We prove that the CM line is nef on any curve which meets the stable locus, and that it is…

While non-contextual hidden-variable theories are proved to be impossible, contextual ones are possible. In a contextual hidden-variable theory, an observable is called a beable if the hidden-variable assigns its value in a given…

Whitney's extension problem, i.e., how one can tell whether a function $f : X \to \mathbb R$, $X \subseteq \mathbb R^n$, is the restriction of a $C^m$-function on $\mathbb R^n$, was solved in full generality by Charles Fefferman in 2006. In…

Domains and more generally complex manifolds whose Bergman metrics have constant holomorphic sectional curvature are characterized. Our approach is to treat the Bergman metrics as the pull-back by the Bergman-Bochner maps of the…

We prove that for every class $C$ of graphs with effectively bounded expansion, given a first-order sentence $\varphi$ and an $n$-element structure $\mathbb{A}$ whose Gaifman graph belongs to $C$, the question whether $\varphi$ holds in…

We provide conditions on a monoidal model category $\mathcal{M}$ so that the category of commutative monoids in $\mathcal{M}$ inherits a model structure from $\mathcal{M}$ in which a map is a weak equivalence or fibration if and only if it…

Suppose that $\pi \: Y \to X$ is a finite map of normal varieties over a perfect field of characteristic $p > 0$. Previous work of the authors gave a criterion for when Frobenius splittings on $X$ (or more generally any $p^{-e}$-linear map)…

Federer's characterization of sets of finite perimeter states (in Euclidean spaces) that a set is of finite perimeter if and only if the measure-theoretic boundary of the set has finite Hausdorff measure of codimension one. In complete…

We consider fibrations by affine lines on smooth affine surfaces obtained as complements of smooth rational curves $B$ in smooth projective surfaces $X$ defined over an algebraically closed field of characteristic zero. We observe that…

E. Hrushovski proved that the theory of difference-differential fields of characteristic zero has a model-companion. We denote it DCFA. In this paper we study definable groups in a model of DCFA. First we prove that such a group is embeds…