Searcharxiv⌕ Search

arXiv subjects

Tibor Beke

Publications and source records attributed to Tibor Beke.

6 recordsLinked to original sources
arXiv2016

Elementary equivalences and accessible functors

We introduce the notion of $λ$-equivalence and $λ$-embeddings of objects in suitable categories. This notion specializes to $L_{\inftyλ}$-equivalence and $L_{\inftyλ}$-elementary embedding for categories of structures in a language of arity less than $λ$, and interacts well with functors and $λ$-directed colimits. We recover and extend results of Feferman and Eklof on "local functors" without fixing a language in advance. This is convenient for formalizing Lefschetz's principle in algebraic geometry, which was one of the main applications of the work of Eklof.

math.CT↗
arXiv2014

Cellular objects and Shelah's singular compactness theorem

The best-known version of Shelah's celebrated singular cardinal compactness theorem states that if the cardinality of an abelian group is singular, and all its subgroups of lesser cardinality are free, then the group itself is free. The proof can be adapted to cover a number of analogous situations in the setting of non-abelian groups, modules, graph colorings, set transversals etc. We give a single, structural statement of singular compactness that covers all examples in the literature that we are aware of. A case of this formulation, singular compactness for cellular structures, is of special interest; it expresses a relative notion of freeness. The proof of our functorial formulation is motivated by a paper of Hodges, based on a talk of Shelah. The cellular formulation is new, and related to recent work in abstract homotopy theory.

math.CT↗
arXiv2008

Fibrations of simplicial sets

There are infinitely many variants of the notion of Kan fibration that, together with suitable choices of cofibrations and the usual notion of weak equivalence of simplicial sets, satisfy Quillen's axioms for a homotopy model category. The combinatorics underlying these fibrations is purely finitary and seems interesting both for its own sake and for its interaction with homotopy types. To show that these notions of fibration are indeed distinct, one needs to understand how iterates of Kan's Ex functor act on graphs and on nerves of small categories.

math.CT↗
arXiv2004

Isoperimetric inequalities and the Friedlander-Milnor conjecture

We prove that Friedlander's generalized isomorphism conjecture on the cohomology of algebraic groups, and hence the Isomorphism Conjecture for the cohomology of the complex algebraic Lie group G(C) made discrete, are equivalent to the existence of an isoperimetric inequality in the homological bar complex of G(F), where F is the algebraic closure of a finite field.

math.KT↗
arXiv2001

Sheafifiable homotopy model categories

If a Quillen model category can be specified using a certain logical syntax (intuitively, ``is algebraic/combinatorial enough''), so that it can be defined in any category of sheaves, then the satisfaction of Quillen's axioms over any site is a purely formal consequence of their being satisfied over the category of sets. Such data give rise to a functor from the category of topoi and geometric morphisms to Quillen model categories and Quillen adjunctions.

math.CT↗