English
Related papers

Related papers: An Infinitary version of Sperner's lemma

200 papers

Following Schmidt and Strunk, we give a proof of Gabber presentation lemma over a noetherian domain with infinite residue fields.

Algebraic Geometry · Mathematics 2020-12-10 Neeraj Deshmukh , Amit Hogadi , Girish Kulkarni , Suraj Yadav

We prove extension-dimensional versions of finite dimensional selection and approximation theorems. As applications, we obtain several results on extension dimension.

General Topology · Mathematics 2007-05-23 N. Brodsky , A. Chigogidze , A. Karasev

Following and developing ideas of R. Karasev (Covering dimension using toric varieties, arXiv:1307.3437), we extend the Lebesgue theorem (on covers of cubes) and the Knaster-Kuratowski-Mazurkiewicz theorem (on covers of simplices) to…

Metric Geometry · Mathematics 2015-02-13 Djordje Baralić , Rade Živaljević

We give an intuitive combinatorial proof of Ky Fan's covering lemma based on the Borsuk-Ulam theorem. We then show how this approach can be generalized to Ky Fan's covering lemma for several linear orders.

Combinatorics · Mathematics 2025-07-31 Bogdan Chornomaz

Hindman's celebrated Finite Sums Theorem, and its high-dimensional version due to Milliken and Taylor, are extended from covers of countable sets to covers of arbitrary topological spaces with Menger's classic covering property. The methods…

General Topology · Mathematics 2017-11-09 Boaz Tsaban

Brehm's extension theorem states that a non-expansive map on a finite subset of a Euclidean space can be extended to a piecewise-linear map on the entire space. In this note, it is verified that the proof of the theorem is constructive…

Metric Geometry · Mathematics 2016-10-04 Pavel Osinenko

This paper presents a type theory in which it is possible to directly manipulate $n$-dimensional cubes (points, lines, squares, cubes, etc.) based on an interpretation of dependent type theory in a cubical set model. This enables new ways…

Logic in Computer Science · Computer Science 2016-11-14 Cyril Cohen , Thierry Coquand , Simon Huber , Anders Mörtberg

It is shown that the question raised in Section 5.7 of [1] has an affirmative answer.

Quantum Algebra · Mathematics 2009-10-18 S. Doty

It is proved that the square of the Sorgenfrey line has infinite covering dimension.

General Topology · Mathematics 2021-10-20 Ol'ga Sipacheva

This paper presents a bicomplex version of the Spectral Decomposition Theorem on infinite dimensional bicomplex Hilbert spaces. In the process, the ideas of bounded linear operators, orthogonal complements and compact operators on bicomplex…

Functional Analysis · Mathematics 2013-01-25 Kuldeep Singh Charak , Ravinder Kumar , Dominic Rochon

In [1], Theorem 3, the authors proved, in one dimension, a generalization of the Hopf Lemma, and the question arose if it could be extended to higher dimensions. In this paper we present two conjectures as possible extensions, and give a…

Analysis of PDEs · Mathematics 2009-10-05 YanYan Li , Louis Nirenberg

We prove a general extension theorem for holomorphic line bundles on reduced complex spaces, equipped with singular hermitian metrics, whose curvature currents can be extended as positive, closed currents. The result has applications to…

Complex Variables · Mathematics 2017-03-31 Georg Schumacher

We prove finiteness results on integral points on complements of large divisors in projective varieties over finitely generated fields of characteristic zero. To do so, we prove a function field analogue of arithmetic finiteness results of…

Algebraic Geometry · Mathematics 2022-07-13 Philipp Licht

We prove an extension of the Bourgain-Sarnak-Ziegler theorem and then apply it to bound certain polynomial exponential sums with modular coefficients.

Number Theory · Mathematics 2020-03-23 Mattia Cafferata , Alberto Perelli , Alessandro Zaccagnini

We prove a complex polynomial plank covering theorem for not necessarily homogeneous polynomials. As the consequence of this result, we extend the complex plank theorem of Ball to the case of planks that are not necessarily centrally…

Metric Geometry · Mathematics 2024-05-28 Alexey Glazyrin , Roman Karasev , Alexandr Polyanskii

One of the benefit properties implied by the extensionality axiom of Hilbert's epsilon calculus is that the calculus becomes complete with respect to the choice structures as semantics. Another implication of the axiom, discussed in the…

Logic · Mathematics 2011-07-14 Zoltan Molnar

We address the question of when a covering of the boundary of a surface can be extended to a covering of the surface (equivalently: when is there a branched cover with a prescribed monodromy). If such an extension is possible, when can the…

Geometric Topology · Mathematics 2014-02-26 Manfred Droste , Igor Rivin

We consider supersymmetry in five dimensions, where the fermionic parameters are a 2-form under SL(5). Supermultiplets are investigated using the pure spinor superfield formalism, and are found to be closely related to infinite-dimensional…

Representation Theory · Mathematics 2021-12-22 Martin Cederwall

We prove that if $B\subseteq A$ is an extension of finite dimensional algebras such that the projective dimension of $A/B$ as a $B$-bimodule is finite, if $A$ has finite finitistic dimension, then so does $B$. We exhibit examples…

Representation Theory · Mathematics 2023-06-06 John William MacQuarrie , Fernando dos Reis Naves

This paper is a collection of thoughts and observations, being partly a review and partly a report of current research, on recent work in various aspects of Gr\"unbaum colorings, their existence and usage. In particular, one of the most…

Combinatorics · Mathematics 2017-01-10 S. Lawrencenko , M. N. Vyalyi , L. V. Zgonnik