English
Related papers

Related papers: An example of a Fra\"iss\'e class without a Kat\v{…

200 papers

We show that if $T$ is a dependent theory then so is its Keisler randomisation $T^R$. In order to do this we generalise the notion of a Vapnik-Chervonenkis class to families of $[0,1]$-valued functions (a \emph{continuous}…

Logic · Mathematics 2010-04-22 Itaï Ben Yaacov

Let $M$ be a Fra\"{i}ss\'{e} structure (a countably infinite ultrahomogeneous structure). We refer to the class of structures embeddable in $M$ as the $\omega$-age of $M$. We consider the following two properties of $M$: we say that $M$ has…

Logic · Mathematics 2026-04-23 Rob Sullivan , Jeroen Winkel

We prove the exponential law $\mathcal A(E \times F, G) \cong \mathcal A(E,\mathcal A(F,G))$ (bornological isomorphism) for the following classes $\mathcal A$ of test functions: $\mathcal B$ (globally bounded derivatives), $W^{\infty,p}$…

Functional Analysis · Mathematics 2016-04-08 Andreas Kriegl , Peter W. Michor , Armin Rainer

Let $0< \lambda < \mu<1$ and $\lambda+\mu>1$. In this note we prove that for the vast majority of such parameters the top of the attractor $A_{\lambda,\mu}$ of the IFS $\{(\lambda x,\mu y), (\mu x+1-\mu, \lambda y+1-\lambda)\}$ is the graph…

Dynamical Systems · Mathematics 2021-10-04 Kevin G. Hare , Nikita Sidorov

The \begin{it} Invariance Theorem \end{it} of M. Gerstenhaber and S. D. Schack states that if $\mathbb{A}$ is a diagram of algebras then the subdivision functor induces a natural isomorphism between the Yoneda cohomologies of the category…

Category Theory · Mathematics 2010-08-12 Alin Stancu

We give a new proof of the Kat\v{e}tov-Tong theorem. Our strategy is to first prove the theorem for compact Hausdorff spaces, and then extend it to all normal spaces. The key ingredient is how the ring of bounded continuous real-valued…

General Topology · Mathematics 2020-01-27 Guram Bezhanishvili , Patrick J. Morandi , Bruce Olberding

In order to understand the structure of the "typical" element of an automorphism group, one has to study how large the conjugacy classes of the group are. For the case when typical is meant in the sense of Baire category, Truss proved that…

We show that the Fra\"iss\'e limit of a category of unital separable $C^*$-algebras which is sufficiently closed under tensor products of its objects and morphisms is strongly self-absorbing, given that it has approximate inner half-flip.…

Operator Algebras · Mathematics 2021-03-03 Saeed Ghasemi

Given a finite category T, we consider the functor category [T,A], where A can in particular be any quasi-abelian category. Examples of quasi-abelian categories are given by any abelian category but also by non-exact additive categories as…

Category Theory · Mathematics 2024-03-20 Nadja Egner

We establish axiomatic characterizations of $K$-theory and $KK$-theory for real C*-algebras. In particular, let $F$ be an abelian group-valued functor on separable real C*-algebras. We prove that if $F$ is homotopy invariant, stable, and…

Operator Algebras · Mathematics 2012-10-15 Jeffrey L. Boersema , Efren Ruiz

A normal subgroup of the (extended) mapping class group of a surface is said to be geometric if its automorphism group is the mapping class group. We prove that in the case of the Cantor tree surface, every normal subgroup is geometric. We…

Group Theory · Mathematics 2020-02-18 Alan McLeay

A wide generalization of the classical theorem of A. Grothendieck asserting that for any faithfully flat extension of commutative rings, the corresponding relative Picard group and the Amitsur 1-cohomology group with values in the…

Rings and Algebras · Mathematics 2007-05-23 Bachuki Mesablishvili

If C and D are varieties of algebras in the sense of general algebra, then by a representable functor C --> D we understand a functor which, when composed with the forgetful functor D --> Set, gives a representable functor in the classical…

Category Theory · Mathematics 2013-05-10 George M. Bergman

We prove the so called Liv\v{s}ic theorem for cocycles taking values in the group of $C^{1+\beta}-diffeomorphisms of any closed manifold of arbitrary dimension. Since no localization hypothesis is assumed, this result is completely global…

Dynamical Systems · Mathematics 2018-05-08 Artur Avila , Alejandro Kocsard , Xiao-Chuan Liu

We generalize Franz' independence in tensor categories with inclusions from two morphisms (which represent generalized random variables) to arbitrary ordered families of morphisms. We will see that this only works consistently if the unit…

Category Theory · Mathematics 2022-10-11 Malte Gerhold , Stephanie Lachs , Michael Schürmann

We extend the classical notion of a Reedy category so as to allow non-trivial automorphisms. Our extension includes many important examples occuring in topology such as Segal's category Gamma, or the total category of a crossed simplicial…

Algebraic Topology · Mathematics 2016-04-04 Clemens Berger , Ieke Moerdijk

Let $F$ be a CM number field. We prove modularity lifting theorems for regular $n$-dimensional Galois representations over $F$ without any self-duality condition. We deduce that all elliptic curves $E$ over $F$ are potentially modular, and…

Let $X$ be a smooth complete curve, and let $Bun_n$ be the moduli stack of rank $n$ vector bundles on $X$. Let $E$ be a local system on $X$. In a recent paper of E.Frenkel, K.Vilonen and the author, it was shown that the vanishing of a…

Algebraic Geometry · Mathematics 2007-05-23 D. Gaitsgory

We prove a Bochner type vanishing theorem for compact complex manifolds $Y$ in Fujiki class $\mathcal C$, with vanishing first Chern class, that admit a cohomology class $[\alpha] \in H^{1,1}(Y,\mathbb R)$ which is numerically effective…

Differential Geometry · Mathematics 2019-01-10 Indranil Biswas , Sorin Dumitrescu , Henri Guenancia

A function $F:2^\omega\to 2^\omega$ is an $E_0$-isomorphism if for all $x,y\in 2^\omega$, we have $xE_0y\iff f(x)E_0 f(y)$, where $xE_0y\iff(\exists a)(\forall n\ge b) x(n)=y(n)$. If such witnesses $a$ for $xE_0 y$ and for $f(x)E_0 f(y)$…

Logic · Mathematics 2020-09-01 Bjørn Kjos-Hanssen
‹ Prev 1 3 4 5 6 7 10 Next ›