Showing 1–43 of 43 results for author: Blagojević, P

Convex Equipartitions inspired by the little cubes operad

Authors: Pavle V. M. Blagojevic, Nikola Sadovek

Abstract: A decade ago two groups of authors, Karasev, Hubard and Aronov, and Blagojević and Ziegler, have shown that the regular convex partitions of a Euclidean space into $n$ parts yield a solution to the generalised Nandakumar and Ramana-Rao conjecture when $n$ is a prime power. This was obtained by parametrising the space of regular equipartitions of a given convex body with the classical configuration… ▽ More A decade ago two groups of authors, Karasev, Hubard and Aronov, and Blagojević and Ziegler, have shown that the regular convex partitions of a Euclidean space into $n$ parts yield a solution to the generalised Nandakumar and Ramana-Rao conjecture when $n$ is a prime power. This was obtained by parametrising the space of regular equipartitions of a given convex body with the classical configuration space. Now, we repeat the process of regular convex equipartitions many times, first partitioning the Euclidean space into $n_1$ parts, then each part into $n_2$ parts, and so on. In this way we obtain iterated convex equipartions of a given convex body into $n=n_1...n_k$ parts. Such iterated partitions are parametrised by the (wreath) product of classical configuration spaces. We develop a new configuration space -- test map scheme for solving the generalised Nandakumar \& Ramana-Rao conjecture using the Hausdorff metric on the space of iterated convex equipartions. The new scheme yields a solution to the conjecture if and only if all the $n_i$'s are powers of the same prime. In particular, for the failure of the scheme outside prime power case we give three different proofs. △ Less

Submitted 25 August, 2024; v1 submitted 18 May, 2023; originally announced May 2023.

Comments: Dedicated to Günter M. Ziegler on the occasion of his 60th Birthday

Many partitions of mass assignments

Authors: Pavle V. M. Blagojevic, Michael C. Crabb

Abstract: In this paper, extending the recent work of authors with Calles Loperena and Dimitrijević Blagojević, we give a general and complete treatment of a problem of partition of mass assignments with prescribed arrangements of hyperplanes on Euclidean vector bundles. Using a new configuration test map scheme, as well as an alternative topological framework, we are able to reprove known results, extend t… ▽ More In this paper, extending the recent work of authors with Calles Loperena and Dimitrijević Blagojević, we give a general and complete treatment of a problem of partition of mass assignments with prescribed arrangements of hyperplanes on Euclidean vector bundles. Using a new configuration test map scheme, as well as an alternative topological framework, we are able to reprove known results, extend them to arbitrary bundles as well as to put various types of constraints on the solutions. Moreover, the developed topological methods allow us to give new proofs and extend results of Guth and Katz, Schnider, and Soberón and Takahashi. In this way we place all these results under one ``roof''. △ Less

Submitted 29 July, 2024; v1 submitted 2 March, 2023; originally announced March 2023.

Comments: Dedicated to the memory of Frederick R. Cohen an exceptional mathematician and an amazing human being

MSC Class: 52A35; 55N25

Topology of the Grünbaum--Hadwiger--Ramos problem for mass assignments

Authors: Pavle V. M. Blagojević, Jaime Calles Loperena, Michael C. Crabb, Aleksandra S. Dimitrijević Blagojević

Abstract: In this paper, motivated by recent work of Schnider and Axelrod-Freed \& Soberón, we study an extension of the classical Grünbaum--Hadwiger--Ramos mass partition problem to mass assignments. Using the Fadell--Husseini index theory we prove that for a given family of $j$ mass assignments $μ_1,\dots,μ_j$ on the Grassmann manifold $G_{\ell}(\R^d)$ and a given integer $k\geq 1$ there exist a linear su… ▽ More In this paper, motivated by recent work of Schnider and Axelrod-Freed \& Soberón, we study an extension of the classical Grünbaum--Hadwiger--Ramos mass partition problem to mass assignments. Using the Fadell--Husseini index theory we prove that for a given family of $j$ mass assignments $μ_1,\dots,μ_j$ on the Grassmann manifold $G_{\ell}(\R^d)$ and a given integer $k\geq 1$ there exist a linear subspace $L\in G_{\ell}(\R^d)$ and $k$ affine hyperplanes in $L$ that equipart the masses $μ_1^L,\dots,μ_j^L$ assigned to the subspace $L$, provided that $d\geq j + (2^{k-1}-1)2^{\lfloor\log_2j\rfloor}$. △ Less

Submitted 1 August, 2022; originally announced August 2022.

Facet volumes of polytopes

Authors: Pavle V. M. Blagojević, Paul Breiding, Alexander Heaton

Abstract: In this paper, motivated by the work of Edelman and Strang, we show that for fixed integers $d\geq 2$ and $n\geq d+1$ the configuration space of all facet volume vectors of all $d$-polytopes in $\mathbb R^{d}$ with $n$ facets is a full dimensional cone in $\mathbb R^{n}$. In particular, for tetrahedra ($d=3$ and $n=4$) this is a cone over a regular octahedron. Our proof is based on a novel configu… ▽ More In this paper, motivated by the work of Edelman and Strang, we show that for fixed integers $d\geq 2$ and $n\geq d+1$ the configuration space of all facet volume vectors of all $d$-polytopes in $\mathbb R^{d}$ with $n$ facets is a full dimensional cone in $\mathbb R^{n}$. In particular, for tetrahedra ($d=3$ and $n=4$) this is a cone over a regular octahedron. Our proof is based on a novel configuration space / test map scheme which uses topological methods for finding solutions of a problem, and tools of differential geometry to identify solutions with the desired properties. Furthermore, our results open a possibility for the study of realization spaces of all $d$-polytopes in $\mathbb R^{d}$ with $n$ facets by the methods of algebraic topology. △ Less

Submitted 15 December, 2021; originally announced December 2021.

Equivariant Cohomology of Configuration Spaces mod 2: The State of the Art

Authors: Pavle V. M. Blagojević, Frederick R. Cohen, Michael C. Crabb, Wolfgang Lück, Günter M. Ziegler

Abstract: The equivariant cohomology of the classical configuration space $F(\mathbb{R}^d,n)$ has been been of great interest and has been studied intensively starting with the classical papers by Artin (1925/1947) on the theory of braids, by Fox and Neuwirth (1962), Fadell and Neuwirth (1962), and Arnol'd (1969). We give a brief treatment of the subject from the beginnings to recent developments. However,… ▽ More The equivariant cohomology of the classical configuration space $F(\mathbb{R}^d,n)$ has been been of great interest and has been studied intensively starting with the classical papers by Artin (1925/1947) on the theory of braids, by Fox and Neuwirth (1962), Fadell and Neuwirth (1962), and Arnol'd (1969). We give a brief treatment of the subject from the beginnings to recent developments. However, we focus on the mod 2 equivariant cohomology algebras of the classical configuration space $F(\mathbb{R}^d,n)$, as described in an influential paper by Hung (1990). We show with a new, detailed proof that his main result is correct, but that the arguments that were given by Hung on the way to his result are not, as are some of the intermediate results in his paper. This invalidates a paper by three of the present authors, Blagojević, Lück \& Ziegler (2016), who used a claimed intermediate result from Hung (1990) in order to derive lower bounds for the existence of $k$-regular and $\ell$-skew embeddings. Using our new proof for Hung's main result, we get new lower bounds for existence of highly regular embeddings: Some of them agree with the previously claimed bounds, some are weaker. △ Less

Submitted 23 May, 2021; v1 submitted 26 April, 2020; originally announced April 2020.

Comments: 138 pages, 13 figures

MSC Class: 55N91; 55N25; 55R80

Plus minus analogues for affine Tverberg type results

Authors: Pavle V. M. Blagojevic, Günter M. Ziegler

Abstract: The classical 1966 theorem of Tverberg with its numerous variations was and still is a motivating force behind many important developments in convex and computational geometry as well as the testing ground for methods from equivariant algebraic topology. In 2018, Bárány and Soberón presented a new variation, the "Tverberg plus minus theorem." In this paper, we give a new proof of the Tverberg plus… ▽ More The classical 1966 theorem of Tverberg with its numerous variations was and still is a motivating force behind many important developments in convex and computational geometry as well as the testing ground for methods from equivariant algebraic topology. In 2018, Bárány and Soberón presented a new variation, the "Tverberg plus minus theorem." In this paper, we give a new proof of the Tverberg plus minus theorem, by using a projective transformation. The same tool allows us to derive plus minus analogues of all known affine Tverberg type results. In particular, we prove a plus minus analogue of the optimal colored Tverberg theorem. △ Less

Submitted 14 July, 2019; v1 submitted 19 May, 2019; originally announced May 2019.

Comments: 4 + \eps pages, 1 figure

MSC Class: 52A35

More bisections by hyperplane arrangements

Authors: Pavle V. M. Blagojević, Aleksandra Dimitrijević Blagojević, Roman Karasev, Jonathan Kliem

Abstract: A union of an arrangement of affine hyperplanes $H$ in $R^d$ is the real algebraic variety associated to the principal ideal generated by the polynomial $p_{H}$ given as the product of the degree one polynomials which define the hyperplanes of the arrangement. A finite Borel measure on $R^d$ is bisected by the arrangement of affine hyperplanes $H$ if the measure on the "non-negative side" of the a… ▽ More A union of an arrangement of affine hyperplanes $H$ in $R^d$ is the real algebraic variety associated to the principal ideal generated by the polynomial $p_{H}$ given as the product of the degree one polynomials which define the hyperplanes of the arrangement. A finite Borel measure on $R^d$ is bisected by the arrangement of affine hyperplanes $H$ if the measure on the "non-negative side" of the arrangement $\{x\in R^d : p_{H}(x)\ge 0\}$ is the same as the measure on the "non-positive" side $\{x\in R^d : p_{H}(x)\le 0\}$. In 2017 Barba, Pilz \& Schnider considered special cases of the following measure partition hypothesis: For a given collection of $j$ finite Borel measures on $R^d$ there exists a $k$-element affine hyperplane arrangement that bisects each of the measures into equal halves simultaneously. They showed that there are simultaneous bisections in the case when $d=k=2$ and $j=4$. They conjectured that every collection of $j$ measures on $R^d$ can be simultaneously bisected with a $k$-element affine hyperplane arrangement provided that $d\ge \lceil j/k \rceil$. The conjecture was confirmed in the case when $d\ge j/k=2^a$ by Hubard and Karasev in 2018. In this paper we give a different proof of the Hubard and Karasev result using the framework of Blagojević, Frick, Haase \& Ziegler (2016), based on the equivariant relative obstruction theory of tom Dieck, which was developed for handling the Grünbaum--Hadwiger--Ramos hyperplane measure partition problem. Furthermore, this approach allowed us to prove even more, that for every collection of $2^a(2h+1)+\ell$ measures on $R^{2^a+\ell}$, where $1\leq \ell\leq 2^a-1$, there exists a $(2h+1)$-element affine hyperplane arrangement that bisects all of them simultaneously. Our result was extended to the case of spherical arrangements and reproved by alternative methods in a beautiful way by Crabb in 2020. △ Less

Submitted 21 May, 2021; v1 submitted 14 September, 2018; originally announced September 2018.

Comments: 2 figures

MSC Class: 52C35; 55S35

Journal ref: Discrete and Computational Geometry 67 (2022), 33--64

Some more amplituhedra are contractible

Authors: Pavle V. M. Blagojević, Pavel Galashin, Nevena Palić, Günter M. Ziegler

Abstract: The amplituhedra arise as images of the totally nonnegative Grassmannians by projections that are induced by linear maps. They were introduced in Physics by Arkani-Hamed \& Trnka (Journal of High Energy Physics, 2014) as model spaces that should provide a better understanding of the scattering amplitudes of quantum field theories. The topology of the amplituhedra has been known only in a few speci… ▽ More The amplituhedra arise as images of the totally nonnegative Grassmannians by projections that are induced by linear maps. They were introduced in Physics by Arkani-Hamed \& Trnka (Journal of High Energy Physics, 2014) as model spaces that should provide a better understanding of the scattering amplitudes of quantum field theories. The topology of the amplituhedra has been known only in a few special cases, where they turned out to be homeomorphic to balls. The amplituhedra are special cases of Grassmann polytopes introduced by Lam (Current Developments in Mathematics 2014, Int.\ Press). In this paper we show that that some further amplituhedra are homeomorphic to balls, and that some more Grassmann polytopes and amplituhedra are contractible. △ Less

Submitted 25 January, 2019; v1 submitted 3 June, 2018; originally announced June 2018.

Comments: 7 pages, to appear in Selecta Mathematica

MSC Class: 14M15 (Primary); 57R05; 52B99 (Secondary)

Counting Periodic Trajectories of Finsler Billiards

Authors: Pavle V. M. Blagojević, Michael Harrison, Serge Tabachnikov, Günter M. Ziegler

Abstract: We provide lower bounds on the number of periodic Finsler billiard trajectories inside a quadratically convex smooth closed hypersurface $M$ in a $d$-dimensional Finsler space with possibly irreversible Finsler metric. An example of such a system is a billiard in a sufficiently weak magnetic field. The $r$-periodic Finsler billiard trajectories correspond to $r$-gons inscribed in $M$ and having ex… ▽ More We provide lower bounds on the number of periodic Finsler billiard trajectories inside a quadratically convex smooth closed hypersurface $M$ in a $d$-dimensional Finsler space with possibly irreversible Finsler metric. An example of such a system is a billiard in a sufficiently weak magnetic field. The $r$-periodic Finsler billiard trajectories correspond to $r$-gons inscribed in $M$ and having extremal Finsler length. The cyclic group ${\mathbb Z}_r$ acts on these extremal polygons, and one counts the ${\mathbb Z}_r$-orbits. Using Morse and Lusternik-Schnirelmann theories, we prove that if $r\ge 3$ is prime, then the number of $r$-periodic Finsler billiard trajectories is not less than $(r-1)(d-2)+1$. We also give stronger lower bounds when $M$ is in general position. The problem of estimating the number of periodic billiard trajectories from below goes back to Birkhoff. Our work extends to the Finsler setting the results previously obtained for Euclidean billiards by Babenko, Farber, Tabachnikov, and Karasev. △ Less

Submitted 3 April, 2020; v1 submitted 21 December, 2017; originally announced December 2017.

Journal ref: SIGMA 16 (2020), 022, 33 pages

Cutting a part from many measures

Authors: Pavle V. M. Blagojević, Nevena Palić, Pablo Soberón, Günter M. Ziegler

Abstract: Holmsen, Kynčl and Valculescu recently conjectured that if a finite set $X$ with $\ell n$ points in $\mathbb{R}^d$ that is colored by $m$ different colors can be partitioned into $n$ subsets of $\ell$ points each, such that each subset contains points of at least $d$ different colors, then there exists such a partition of $X$ with the additional property that the convex hulls of the $n$ subsets ar… ▽ More Holmsen, Kynčl and Valculescu recently conjectured that if a finite set $X$ with $\ell n$ points in $\mathbb{R}^d$ that is colored by $m$ different colors can be partitioned into $n$ subsets of $\ell$ points each, such that each subset contains points of at least $d$ different colors, then there exists such a partition of $X$ with the additional property that the convex hulls of the $n$ subsets are pairwise disjoint. We prove a continuous analogue of this conjecture, generalized so that each subset contains points of at least $c$ different colors, where we also allow $c$ to be greater than $d$. Furthermore, we give lower bounds on the fraction of the points each of the subsets contains from $c$ different colors. For example, when $n\geq 2$, $d\geq 2$, $c\geq d$ with $m\geq n(c-d)+d$ are integers, and $μ_1, \dots, μ_m$ are $m$ positive finite absolutely continuous measures on $\mathbb{R}^d$, we prove that there exists a partition of $\mathbb{R}^d$ into $n$ convex pieces which equiparts the measures $μ_1, \dots, μ_{d-1}$, and in addition every piece of the partition has positive measure with respect to at least $c$ of the measures $μ_1, \dots, μ_m$. △ Less

Submitted 24 June, 2019; v1 submitted 13 October, 2017; originally announced October 2017.

Comments: 20 pages, 5 figures; new coauthor; revised extended version with stronger results

MSC Class: 52C35; 55N25; 51N20; 55R20

Journal ref: Forum of Mathematics, Sigma 7 (2019) e37

Orthogonal shadows and index of Grassmann manifolds

Authors: Djordje Baralić, Pavle V. M. Blagojević, Roman Karasev, Aleksandar Vučić

Abstract: In this paper we study the $\Z/2$ action on real Grassmann manifolds $G_{n}(\R^{2n})$ and $\widetilde{G}_{n}(\R^{2n})$ given by taking (appropriately oriented) orthogonal complement. We completely evaluate the related $\Z/2$ Fadell--Husseini index utilizing a novel computation of the Stiefel--Whitney classes of the wreath product of a vector bundle. These results are used to establish the followin… ▽ More In this paper we study the $\Z/2$ action on real Grassmann manifolds $G_{n}(\R^{2n})$ and $\widetilde{G}_{n}(\R^{2n})$ given by taking (appropriately oriented) orthogonal complement. We completely evaluate the related $\Z/2$ Fadell--Husseini index utilizing a novel computation of the Stiefel--Whitney classes of the wreath product of a vector bundle. These results are used to establish the following geometric result about the orthogonal shadows of a convex body: For $n=2^a (2 b+1)$, $k=2^{a+1}-1$, $C$ a convex body in $\R^{2n}$, and $k$ real valued functions $α_1,\ldots,α_k$ continuous on convex bodies in $\R^{2n}$ with respect to the Hausdorff metric, there exists a subspace $V\subseteq\R^{2n}$ such that projections of $C$ to $V$ and its orthogonal complement $V^{\perp}$ have the same value with respect to each function $α_i$, which is $α_i (p_V(C))=α_i (p_{V^\perp} (C))$ for all $1\leq i\leq k$. △ Less

Submitted 14 June, 2018; v1 submitted 29 September, 2017; originally announced September 2017.

MSC Class: 52A38; 55M35; 55R25; 20J06; 57S25

Journal ref: Forum Mathematicum 30:6 (2018), 1539-1572

Thieves can make sandwiches

Authors: Pavle V. M. Blagojević, Pablo Soberón

Abstract: We prove a common generalization of the Ham Sandwich theorem and Alon's Necklace Splitting theorem. Our main results show the existence of fair distributions of $m$ measures in $R^d$ among $r$ thieves using roughly $mr/d$ convex pieces, even in the cases when $m$ is larger than the dimension. The main proof relies on a construction of a geometric realization of the topological join of two spaces o… ▽ More We prove a common generalization of the Ham Sandwich theorem and Alon's Necklace Splitting theorem. Our main results show the existence of fair distributions of $m$ measures in $R^d$ among $r$ thieves using roughly $mr/d$ convex pieces, even in the cases when $m$ is larger than the dimension. The main proof relies on a construction of a geometric realization of the topological join of two spaces of partitions of $R^d$ into convex parts, and the computation of the Fadell-Husseini ideal valued index of the resulting spaces. △ Less

Submitted 28 September, 2017; v1 submitted 12 June, 2017; originally announced June 2017.

Comments: 14 pages, 9 figures

Convex equipartitions of colored point sets

Authors: Pavle V. M. Blagojević, Günter Rote, Johanna K. Steinmeyer, Günter M. Ziegler

Abstract: We show that any $d$-colored set of points in general position in $\mathbb{R}^d$ can be partitioned into $n$ subsets with disjoint convex hulls such that the set of points and all color classes are partitioned as evenly as possible. This extends results by Holmsen, Kynčl & Valculescu (2017) and establishes a special case of their general conjecture. Our proof utilizes a result obtained independent… ▽ More We show that any $d$-colored set of points in general position in $\mathbb{R}^d$ can be partitioned into $n$ subsets with disjoint convex hulls such that the set of points and all color classes are partitioned as evenly as possible. This extends results by Holmsen, Kynčl & Valculescu (2017) and establishes a special case of their general conjecture. Our proof utilizes a result obtained independently by Soberón and by Karasev in 2010, on simultaneous equipartitions of $d$ continuous measures in $\mathbb{R}^d$ by $n$ convex regions. This gives a convex partition of $\mathbb{R}^d$ with the desired properties, except that points may lie on the boundaries of the regions. In order to resolve the ambiguous assignment of these points, we set up a network flow problem. The equipartition of the continuous measures gives a fractional flow. The existence of an integer flow then yields the desired partition of the point set. △ Less

Submitted 14 December, 2017; v1 submitted 10 May, 2017; originally announced May 2017.

Comments: 8 pages, 1 figure

MSC Class: 52C35

Journal ref: Discrete and Computational Geometry 61 (2019), 355-363

Tverberg-type theorems for matroids: A counterexample and a proof

Authors: Pavle V. M. Blagojević, Albert Haase, Günter M. Ziegler

Abstract: Bárány, Kalai, and Meshulam recently obtained a topological Tverberg-type theorem for matroids, which guarantees multiple coincidences for continuous maps from a matroid complex to d-dimensional Euclidean space, if the matroid has sufficiently many disjoint bases. They make a conjecture on the connectivity of k-fold deleted joins of a matroid with many disjoint bases, which would yield a much tigh… ▽ More Bárány, Kalai, and Meshulam recently obtained a topological Tverberg-type theorem for matroids, which guarantees multiple coincidences for continuous maps from a matroid complex to d-dimensional Euclidean space, if the matroid has sufficiently many disjoint bases. They make a conjecture on the connectivity of k-fold deleted joins of a matroid with many disjoint bases, which would yield a much tighter result - but we provide a counterexample already for the case of k=2, where a tight Tverberg-type theorem would be a topological Radon theorem for matroids. Nevertheless, we prove the topological Radon theorem for the counterexample family of matroids by an index calculation, despite the failure of the connectivity-based approach. △ Less

Submitted 10 May, 2017; originally announced May 2017.

Comments: 16 pages, 4 figures

MSC Class: 05E45 (Primary); 52A35 (Secondary)

A center transversal theorem for an improved Rado depth

Authors: Pavle V. M. Blagojević, Roman Karasev, Alexander Magazinov

Abstract: A celebrated result of Dol'nikov, and of Živaljević and Vrećica, asserts that for every collection of $m$ measures $μ_1,\dots,μ_m$ on the Euclidean space $\mathbb R^{n + m - 1}$ there exists a projection onto an $n$-dimensional vector subspace $Γ$ with a point in it at depth at least $\tfrac{1}{n + 1}$ with respect to each associated $n$-dimensional marginal measure $Γ_*μ_1,\dots,Γ_*μ_m$. In thi… ▽ More A celebrated result of Dol'nikov, and of Živaljević and Vrećica, asserts that for every collection of $m$ measures $μ_1,\dots,μ_m$ on the Euclidean space $\mathbb R^{n + m - 1}$ there exists a projection onto an $n$-dimensional vector subspace $Γ$ with a point in it at depth at least $\tfrac{1}{n + 1}$ with respect to each associated $n$-dimensional marginal measure $Γ_*μ_1,\dots,Γ_*μ_m$. In this paper we consider a natural extension of this result and ask for a minimal dimension of a Euclidean space in which one can require that for any collection of $m$ measures there exists a vector subspace $Γ$ with a point in it at depth slightly greater than $\tfrac{1}{n + 1}$ with respect to each $n$-dimensional marginal measure. In particular, we prove that if the required depth is $\tfrac{1}{n + 1} + \tfrac{1}{3(n + 1)^3}$ then the increase in the dimension of the ambient space is a linear function in both $m$ and $n$. △ Less

Submitted 14 April, 2018; v1 submitted 27 June, 2016; originally announced June 2016.

Comments: v.2: Corrections in Sections 3 and 4 implemented, not affecting the course of the proof; v.3: Replaced with a joint paper by 3 authors with a stronger result; v.4: Final version, accepted to Discrete Comp. Geom

MSC Class: 52C35; 52A35; 68U05

Journal ref: Discrete & Computational Geometry 60:2 (2018), 406-419

Beyond the Borsuk-Ulam theorem: The topological Tverberg story

Authors: Pavle V. M. Blagojević, Günter M. Ziegler

Abstract: Bárány's "topological Tverberg conjecture" from 1976 states that any continuous map of an $N$-simplex $Δ_N$ to $\mathbb{R}^d$, for $N\ge(d+1)(r-1)$, maps points from $r$ disjoint faces in $Δ_N$ to the same point in $\mathbb{R}^d$. The proof of this result for the case when $r$ is a prime, as well as some colored version of the same result, using the results of Borsuk-Ulam and Dold on the non-exist… ▽ More Bárány's "topological Tverberg conjecture" from 1976 states that any continuous map of an $N$-simplex $Δ_N$ to $\mathbb{R}^d$, for $N\ge(d+1)(r-1)$, maps points from $r$ disjoint faces in $Δ_N$ to the same point in $\mathbb{R}^d$. The proof of this result for the case when $r$ is a prime, as well as some colored version of the same result, using the results of Borsuk-Ulam and Dold on the non-existence of equivariant maps between spaces with a free group action, were main topics of Matoušek's 2003 book "Using the Borsuk-Ulam theorem." In this paper we show how advanced equivariant topology methods allow one to go beyond the prime case of the topological Tverberg conjecture. First we explain in detail how equivariant cohomology tools (employing the Borel construction, comparison of Serre spectral sequences, Fadell-Husseini index, etc.) can be used to prove the topological Tverberg conjecture whenever $r$ is a prime power. Our presentation includes a number of improved proofs as well as new results, such as a complete determination of the Fadell-Husseini index of chessboard complexes in the prime case. Then we introduce the "constraint method," which applied to suitable "unavoidable complexes" yields a great variety of variations and corollaries to the topological Tverberg theorem, such as the "colored" and the "dimension-restricted" (Van Kampen-Flores type) versions. Both parts have provided crucial components to the recent spectacular counter-examples in high dimensions for the case when $r$ is not a prime power. △ Less

Submitted 21 May, 2017; v1 submitted 24 May, 2016; originally announced May 2016.

Comments: 36 pages, 4 figures, with glossary of topological tools. Dedicated to Jiří Matoušek; final version

MSC Class: 52A35; 55S35

The topological transversal Tverberg theorem plus constraints

Authors: Pavle V. M. Blagojević, Aleksandra S. Dimitrijević Blagojević, Günter M. Ziegler

Abstract: In this paper we use the strength of the constraint method in combination with a generalized Borsuk-Ulam type theorem and a cohomological intersection lemma to show how one can obtain many new topological transversal theorems of Tverberg type. In particular, we derive a topological generalized transversal Van Kampen-Flores theorem and a topological transversal weak colored Tverberg theorem. In this paper we use the strength of the constraint method in combination with a generalized Borsuk-Ulam type theorem and a cohomological intersection lemma to show how one can obtain many new topological transversal theorems of Tverberg type. In particular, we derive a topological generalized transversal Van Kampen-Flores theorem and a topological transversal weak colored Tverberg theorem. △ Less

Submitted 13 January, 2017; v1 submitted 11 April, 2016; originally announced April 2016.

Comments: 9 pages; to appear in "Discrete and Intuitive Geometry - László Fejes Tóth 100 Festschrift" (G. Ambrus, I. Bárány, K. J. Böröczky, G. Fejes Tóth, J. Pach, eds.), Bolyai Society Mathematical Studies series, Springer

MSC Class: 52A35; 55S35

Local multiplicity of continuous maps between manifolds

Authors: Pavle V. M. Blagojević, Roman Karasev

Abstract: Let $M$ and $N$ be smooth (real or complex) manifolds, and let $M$ be equipped with some Riemannian metric. A continuous map $f\colon M\longrightarrow N$ admits a local $k$-multiplicity if, for every real number $ω>0$, there exist $k$ pairwise distinct points $x_1,\ldots,x_k$ in $M$ such that $f(x_1)=\cdots=f(x_k)$ and $\diam\{x_1,\ldots,x_k\}<ω$. In this paper we systematically study the existenc… ▽ More Let $M$ and $N$ be smooth (real or complex) manifolds, and let $M$ be equipped with some Riemannian metric. A continuous map $f\colon M\longrightarrow N$ admits a local $k$-multiplicity if, for every real number $ω>0$, there exist $k$ pairwise distinct points $x_1,\ldots,x_k$ in $M$ such that $f(x_1)=\cdots=f(x_k)$ and $\diam\{x_1,\ldots,x_k\}<ω$. In this paper we systematically study the existence of local $k$-mutiplicities and derive criteria for the existence of local $k$-multiplicity in terms of Stiefel--Whitney classes and Chern classes of the vector bundle $f^*τN\oplus(-τM)$. For example, as a corollary of one criterion we deduce that for $k\geq 2$ a power of $2$, $M$ a compact smooth manifold with the integer $s:=\max\{\ell : \bar{w}_{\ell}(M)\neq 0\}$, and $N$ a parallelizable smooth manifold, if $s\geq \dim N-\dim M+1$ and $\bar{w}_{s}(M)^{k-1}\neq 0$, any continuous map $M\longrightarrow N$ admits a local $k$-multiplicity. Furthermore, as a special case of this corollary we recover, when $k=2$, the classical criterion for the non-existence of an immersion $M\looparrowright N$ between manifolds $M$ and $N$. △ Less

Submitted 22 March, 2016; originally announced March 2016.

MSC Class: 57R42; 57R45; 52A05

Polynomial partitioning for several sets of varieties

Authors: Pavle V. M. Blagojević, Aleksandra S. Dimitrijević Blagojević, Günter M. Ziegler

Abstract: We give a new, systematic proof for a recent result of Larry Guth and thus also extend the result to a setting with several families of varieties: For any integer $D\geq 1$ and any collection of sets $Γ_1,\ldots,Γ_j$ of low-degree $k$-dimensional varieties in $\mathbb{R}^n$ there exists a non-zero polynomial $p\in\mathbb{R}[X_1,\ldots,X_n]$ of degree at most $D$ so that each connected component of… ▽ More We give a new, systematic proof for a recent result of Larry Guth and thus also extend the result to a setting with several families of varieties: For any integer $D\geq 1$ and any collection of sets $Γ_1,\ldots,Γ_j$ of low-degree $k$-dimensional varieties in $\mathbb{R}^n$ there exists a non-zero polynomial $p\in\mathbb{R}[X_1,\ldots,X_n]$ of degree at most $D$ so that each connected component of $\mathbb{R}^n{\setminus}Z(p)$ intersects $O(jD^{k-n}|Γ_i|)$ varieties of $Γ_i$, simultaneously for every $1\leq i\leq j$. For $j=1$ we recover the original result by Guth. Our proof, via an index calculation in equivariant cohomology, shows how the degrees of the polynomials used for partitioning are dictated by the topology, namely by the Euler class being given in terms of a top Dickson polynomial. △ Less

Submitted 5 September, 2016; v1 submitted 7 January, 2016; originally announced January 2016.

Comments: 5 pages; Journal of Fixed Point Theory and its Applications, to appear

MSC Class: 55N25; 52C45

Barycenters of Polytope Skeleta and Counterexamples to the Topological Tverberg Conjecture, via Constraints

Authors: Pavle V. M. Blagojević, Florian Frick, Günter M. Ziegler

Abstract: Using the authors' 2014 "constraints method," we give a short proof for a 2015 result of Dobbins on representations of a point in a polytope as the barycenter of points in a skeleton, and show that the "r-fold Whitney trick" of Mabillard and Wagner (2014/2015) implies that the Topological Tverberg Conjecture for r-fold intersections fails dramatically for all r that are not prime powers. Using the authors' 2014 "constraints method," we give a short proof for a 2015 result of Dobbins on representations of a point in a polytope as the barycenter of points in a skeleton, and show that the "r-fold Whitney trick" of Mabillard and Wagner (2014/2015) implies that the Topological Tverberg Conjecture for r-fold intersections fails dramatically for all r that are not prime powers. △ Less

Submitted 20 February, 2019; v1 submitted 27 October, 2015; originally announced October 2015.

Comments: 6 pages. This manuscript subsumes arxiv:1502.00947 and arxiv:1411.4417. J. Europ. Math. Soc. (JEMS), in press

MSC Class: 52A35; 55S35; 51M04; 51M20; 52B11

Journal ref: J. Europ. Math. Soc. (JEMS) 21 (7), 2107-2116 (2019)

Hyperplane mass partitions via relative equivariant obstruction theory

Authors: Pavle V. M. Blagojević, Florian Frick, Albert Haase, Günter M. Ziegler

Abstract: The Grünbaum-Hadwiger-Ramos hyperplane mass partition problem was introduced by Grünbaum (1960) in a special case and in general form by Ramos (1996). It asks for the "admissible" triples $(d,j,k)$ such that for any $j$ masses in $\mathbb{R}^d$ there are $k$ hyperplanes that cut each of the masses into $2^k$ equal parts. Ramos' conjecture is that the Avis-Ramos necessary lower bound condition… ▽ More The Grünbaum-Hadwiger-Ramos hyperplane mass partition problem was introduced by Grünbaum (1960) in a special case and in general form by Ramos (1996). It asks for the "admissible" triples $(d,j,k)$ such that for any $j$ masses in $\mathbb{R}^d$ there are $k$ hyperplanes that cut each of the masses into $2^k$ equal parts. Ramos' conjecture is that the Avis-Ramos necessary lower bound condition $dk\ge j(2^k-1)$ is also sufficient. We develop a "join scheme" for this problem, such that non-existence of an $G_k$-equivariant map between spheres $(S^d)^{*k} \rightarrow S(W_k\oplus U_k^{\oplus j})$ that extends a test map on the subspace of $(S^d)^{*k}$ where the hyperoctahedral group $G_k$ acts non-freely, implies that $(d,j,k)$ is admissible. For the sphere $(S^d)^{*k}$ we obtain a very efficient regular cell decomposition, whose cells get a combinatorial interpretation with respect to measures on a modified moment curve. This allows us to apply relative equivariant obstruction theory successfully, even in the case when the difference of dimensions of the spheres $(S^d)^{*k}$ and $S(W_k\oplus U_k^{\oplus j})$ is greater than one. The evaluation of obstruction classes leads to counting problems for concatenated Gray codes. Thus we give a rigorous, unified treatment of the previously announced cases of the Grünbaum-Hadwiger-Ramos problem, as well as a number of new cases for Ramos' conjecture. △ Less

Submitted 5 September, 2016; v1 submitted 9 September, 2015; originally announced September 2015.

Comments: 29 pages, 2 figures

MSC Class: 55N25; 51N20; 52A35; 55R20

Journal ref: Documenta Mathematica 21 (2016), 735-771

Topology of the Grünbaum-Hadwiger-Ramos hyperplane mass partition problem

Authors: Pavle V. M. Blagojevic, Florian Frick, Albert Haase, Günter M. Ziegler

Abstract: In 1960 Grünbaum asked whether for any finite mass in $\mathbb{R}^d$ there are $d$ hyperplanes that cut it into $2^d$ equal parts. This was proved by Hadwiger (1966) for $d\le3$, but disproved by Avis (1984) for $d\ge5$, while the case $d=4$ remained open. More generally, Ramos (1996) asked for the smallest dimension $Δ(j,k)$ in which for any $j$ masses there are $k$ affine hyperplanes that simu… ▽ More In 1960 Grünbaum asked whether for any finite mass in $\mathbb{R}^d$ there are $d$ hyperplanes that cut it into $2^d$ equal parts. This was proved by Hadwiger (1966) for $d\le3$, but disproved by Avis (1984) for $d\ge5$, while the case $d=4$ remained open. More generally, Ramos (1996) asked for the smallest dimension $Δ(j,k)$ in which for any $j$ masses there are $k$ affine hyperplanes that simultaneously cut each of the masses into $2^k$ equal parts. At present the best lower bounds on $Δ(j,k)$ are provided by Avis (1984) and Ramos (1996), the best upper bounds by Mani-Levitska, Vrećica \& Živaljević (2006). The problem has been an active testing ground for advanced machinery from equivariant topology. We give a critical review of the work on the Grünbaum--Hadwiger--Ramos problem, which includes the documentation of essential gaps in the proofs for some previous claims. Furthermore, we establish that $Δ(j,2)= \frac12(3j+1)$ in the cases when $j-1$ is a power of $2$, $j\ge5$. △ Less

Submitted 29 June, 2018; v1 submitted 10 February, 2015; originally announced February 2015.

Comments: Revised version, Transactions of the Amer. Math. Soc., in print

MSC Class: 55N25; 51M20; 52A35; 55R20

Journal ref: Trans. Amer. Math. Soc. 370 (10), 6795-6824 (2018)

Barycenters of points that are constrained to a polytope skeleton

Authors: Pavle V. M. Blagojević, Florian Frick, Günter M. Ziegler

Abstract: We give a short and simple proof of a recent result of Dobbins that any point in an $nd$-polytope is the barycenter of $n$ points in the $d$-skeleton. This new proof builds on the constraint method that we recently introduced to prove Tverberg-type results. We give a short and simple proof of a recent result of Dobbins that any point in an $nd$-polytope is the barycenter of $n$ points in the $d$-skeleton. This new proof builds on the constraint method that we recently introduced to prove Tverberg-type results. △ Less

Submitted 13 November, 2015; v1 submitted 17 November, 2014; originally announced November 2014.

Comments: 2 pages. This manuscript is now part of arXiv:1510.07984

MSC Class: 51M04; 51M20; 52B11

On complex highly regular embeddings and the extended Vassiliev conjecture

Authors: Pavle V. M. Blagojević, Frederick R. Cohen, Wolfgang Lück, Günter M. Ziegler

Abstract: A continuous map C^d -> C^N is a complex k-regular embedding if any k pairwise distinct points in C^d are mapped by f into k complex linearly independent vectors in C^N. Our central result on complex k-regular embeddings extends results of Cohen & Handel (1978), Chisholm (1979) and Blagojevic, Lück & Ziegler (2013) on real k-regular embeddings: We give new lower bounds for the existence of complex… ▽ More A continuous map C^d -> C^N is a complex k-regular embedding if any k pairwise distinct points in C^d are mapped by f into k complex linearly independent vectors in C^N. Our central result on complex k-regular embeddings extends results of Cohen & Handel (1978), Chisholm (1979) and Blagojevic, Lück & Ziegler (2013) on real k-regular embeddings: We give new lower bounds for the existence of complex k-regular embeddings. These are obtained by modifying the framework of Cohen & Handel (1978) and a study of Chern classes of complex regular representations. The main technical result, used for the study of the Chern classes, is an upper bound for the height of the cohomology of an unordered configuration space Furthermore, we give similar lower bounds for the existence of complex l-skew embeddings C^d -> C^N, for which we require that the images of the tangent spaces at any l distinct points are skew complex affine subspaces of C^N. △ Less

Submitted 27 October, 2015; v1 submitted 22 October, 2014; originally announced October 2014.

Comments: 32 pages; revised version with changed title

MSC Class: 53A07; 57R42; 57R22

Tverberg plus constraints

Authors: Pavle V. M. Blagojević, Florian Frick, Günter M. Ziegler

Abstract: Many of the strengthenings and extensions of the topological Tverberg theorem can be derived with surprising ease directly from the original theorem: For this we introduce a proof technique that combines a concept of "Tverberg unavoidable subcomplexes" with the observation that Tverberg points that equalize the distance from such a subcomplex can be obtained from maps to an extended target space.… ▽ More Many of the strengthenings and extensions of the topological Tverberg theorem can be derived with surprising ease directly from the original theorem: For this we introduce a proof technique that combines a concept of "Tverberg unavoidable subcomplexes" with the observation that Tverberg points that equalize the distance from such a subcomplex can be obtained from maps to an extended target space. Thus we obtain simple proofs for many variants of the topological Tverberg theorem, such as the colored Tverberg theorem of Zivaljevic and Vrecica (1992). We also get a new strengthened version of the generalized van Kampen-Flores theorem by Sarkaria (1991) and Volovikov (1996), an affine version of their "j-wise disjoint" Tverberg theorem, and a topological version of Soberon's (2013) result on Tverberg points with equal barycentric coordinates. △ Less

Submitted 29 April, 2014; v1 submitted 3 January, 2014; originally announced January 2014.

Comments: 15 pages; revised version, accepted for publication in Bulletin London Math. Society

MSC Class: 52A35; 55S35

Journal ref: Bull. Lond. Math. Soc. 46 (5), 953-967 (2014)

On highly regular embeddings

Authors: Pavle V. M. Blagojevic, Wolfgang Lueck, Guenter M. Ziegler

Abstract: Given parameters k, l, and d, we give new lower bounds on the dimensions N such that there are maps from R^d to R^N that are k-regular, l-skew embeddings, or k-regular-l-skew embeddings. This extends and sharpens results due to Chisholm (1979) and Ghomi-Tabachnikov (2008). Given parameters k, l, and d, we give new lower bounds on the dimensions N such that there are maps from R^d to R^N that are k-regular, l-skew embeddings, or k-regular-l-skew embeddings. This extends and sharpens results due to Chisholm (1979) and Ghomi-Tabachnikov (2008). △ Less

Submitted 3 September, 2014; v1 submitted 31 May, 2013; originally announced May 2013.

Comments: 20 pages

MSC Class: 53A07; 57R42; 57R22

The Schwarz genus of the Stiefel manifold and counting geometric configurations

Authors: Pavle Blagojević, Roman Karasev

Abstract: In this paper we compute: the Schwarz genus of the Stiefel manifold $V_k(\mathbb R^n)$ with respect to the action of the Weyl group $W_k:=(\mathbb Z/2)^{k}\rtimesΣ_k$, and the Lusternik--Schnirelmann category of the quotient space $V_k(\mathbb R^n)/W_k$. Furthermore, these results are used in estimating the number of: critically outscribed parallelotopes around the strictly convex body, and Birkho… ▽ More In this paper we compute: the Schwarz genus of the Stiefel manifold $V_k(\mathbb R^n)$ with respect to the action of the Weyl group $W_k:=(\mathbb Z/2)^{k}\rtimesΣ_k$, and the Lusternik--Schnirelmann category of the quotient space $V_k(\mathbb R^n)/W_k$. Furthermore, these results are used in estimating the number of: critically outscribed parallelotopes around the strictly convex body, and Birkhoff--James orthogonal bases of the normed finite dimensional vector space. △ Less

Submitted 21 November, 2012; originally announced November 2012.

MSC Class: 55M20; 05D10; 20J06; 46B20; 52A21; 55M35

Journal ref: Topology and its Applications 160:18 (2013), 2340-2350

Equivariant Topology of Configuration Spaces

Authors: Pavle V. M. Blagojević, Wolfgang Lück, Günter M. Ziegler

Abstract: We study the Fadell-Husseini index of the configuration space F(R^d,n) with respect to different subgroups of the symmetric group S_n. For p prime and d>0, we completely determine Index_{Z/p}(F(R^d,p);F_p) and partially describe Index{(Z/p)^k}(F(R^d,p^k);F_p). In this process we obtain results of independent interest, including: (1) an extended equivariant Goresky-MacPherson formula, (2) a com… ▽ More We study the Fadell-Husseini index of the configuration space F(R^d,n) with respect to different subgroups of the symmetric group S_n. For p prime and d>0, we completely determine Index_{Z/p}(F(R^d,p);F_p) and partially describe Index{(Z/p)^k}(F(R^d,p^k);F_p). In this process we obtain results of independent interest, including: (1) an extended equivariant Goresky-MacPherson formula, (2) a complete description of the top homology of the partition lattice Pi_p as an F_p[Z_p]-module, and (3) a generalized Dold theorem for elementary abelian groups. The results on the Fadell-Husseini index yield a new proof of the Nandakumar & Ramana Rao conjecture for a prime. For n=p^k a prime power, we compute the Lusternik-Schnirelmann category cat(F(R^d,n)/S_n)=(d-1)(n-1). Moreover, we extend coincidence results related to the Borsuk-Ulam theorem, as obtained by Cohen & Connett, Cohen & Lusk, and Karasev & Volovikov. △ Less

Submitted 3 November, 2014; v1 submitted 12 July, 2012; originally announced July 2012.

Comments: 40 pages; J. Topology, to appear

MSC Class: 14N20; 55M30; 55Q91; 55S91; 52A37

Convex Equipartitions via Equivariant Obstruction Theory

Authors: Pavle V. M. Blagojević, Günter M. Ziegler

Abstract: We describe a regular cell complex model for the configuration space F(\R^d,n). Based on this, we use Equivariant Obstruction Theory to prove the prime power case of the conjecture by Nandakumar and Ramana Rao that every polygon can be partitioned into n convex parts of equal area and perimeter. We describe a regular cell complex model for the configuration space F(\R^d,n). Based on this, we use Equivariant Obstruction Theory to prove the prime power case of the conjecture by Nandakumar and Ramana Rao that every polygon can be partitioned into n convex parts of equal area and perimeter. △ Less

Submitted 4 July, 2013; v1 submitted 24 February, 2012; originally announced February 2012.

Comments: Revised and improved version with extra explanations, 20 pages, 7 figures, to appear in Israel J. Math

MSC Class: 55S91; 52A37

Turán numbers for $K_{s,t}$-free graphs: topological obstructions and algebraic constructions

Authors: Pavle Blagojević, Boris Bukh, Roman Karasev

Abstract: We show that every hypersurface in $\R^s\times \R^s$ contains a large grid, i.e., the set of the form $S\times T$, with $S,T\subset \R^s$. We use this to deduce that the known constructions of extremal $K_{2,2}$-free and $K_{3,3}$-free graphs cannot be generalized to a similar construction of $K_{s,s}$-free graphs for any $s\geq 4$. We also give new constructions of extremal $K_{s,t}$-free graphs… ▽ More We show that every hypersurface in $\R^s\times \R^s$ contains a large grid, i.e., the set of the form $S\times T$, with $S,T\subset \R^s$. We use this to deduce that the known constructions of extremal $K_{2,2}$-free and $K_{3,3}$-free graphs cannot be generalized to a similar construction of $K_{s,s}$-free graphs for any $s\geq 4$. We also give new constructions of extremal $K_{s,t}$-free graphs for large $t$. △ Less

Submitted 3 June, 2012; v1 submitted 26 August, 2011; originally announced August 2011.

Comments: Fixed a small mistake in the application of Proposition 1

Journal ref: Israel Journal of Mathematics 197:1 (2013), 199-214

A tight colored Tverberg theorem for maps to manifolds

Authors: Pavle V. M. Blagojević, Benjamin Matschke, Günter M. Ziegler

Abstract: We prove that any continuous map of an N-dimensional simplex Delta_N with colored vertices to a d-dimensional manifold M must map r points from disjoint rainbow faces of Delta_N to the same point in M: For this we have to assume that N \geq (r-1)(d+1), no r vertices of Delta_N get the same color, and our proof needs that r is a prime. A face of Delta_N is a rainbow face if all vertices have differ… ▽ More We prove that any continuous map of an N-dimensional simplex Delta_N with colored vertices to a d-dimensional manifold M must map r points from disjoint rainbow faces of Delta_N to the same point in M: For this we have to assume that N \geq (r-1)(d+1), no r vertices of Delta_N get the same color, and our proof needs that r is a prime. A face of Delta_N is a rainbow face if all vertices have different colors. This result is an extension of our recent "new colored Tverberg theorem", the special case of M=R^d. It is also a generalization of Volovikov's 1996 topological Tverberg theorem for maps to manifolds, which arises when all color classes have size 1 (i.e., without color constraints); for this special case Volovikov's proof, as well as ours, work when r is a prime power. △ Less

Submitted 10 July, 2011; originally announced July 2011.

Comments: 9 pages, 2 figures

MSC Class: 52A35; 55S35

Journal ref: Topology and its Applications 158(12), 2011, 1445-1452

Extensions of theorems of Rattray and Makeev

Authors: Pavle Blagojević, Roman Karasev

Abstract: We consider extensions of the Rattray theorem and two Makeev's theorems, showing that they hold for several maps, measures, or functions simultaneously, when we consider orthonormal $k$-frames in $\R^n$ instead of orthonormal basis (full frames). We also present new results on simultaneous partition of several measures into parts by $k$ mutually orthogonal hyperplanes. In the case $k=2$ we rel… ▽ More We consider extensions of the Rattray theorem and two Makeev's theorems, showing that they hold for several maps, measures, or functions simultaneously, when we consider orthonormal $k$-frames in $\R^n$ instead of orthonormal basis (full frames). We also present new results on simultaneous partition of several measures into parts by $k$ mutually orthogonal hyperplanes. In the case $k=2$ we relate the Rattray and Makeev type results with the well known embedding problem for projective spaces. △ Less

Submitted 13 April, 2012; v1 submitted 3 November, 2010; originally announced November 2010.

MSC Class: 55M20; 05D10; 20J06; 46B20; 52A21; 55M35

Journal ref: Topological Methods in Nonlinear Analysis 40:1(2012), 189-213

Optimal bounds for a colorful Tverberg--Vrecica type problem

Authors: Pavle Blagojevic, Benjamin Matschke, Gunter Ziegler

Abstract: We prove the following optimal colorful Tverberg-Vrecica type transversal theorem: For prime r and for any k+1 colored collections of points C^l of size |C^l|=(r-1)(d-k+1)+1 in R^d, where each C^l is a union of subsets (color classes) C_i^l of size smaller than r, l=0,...,k, there are partition of the collections C^l into colorful sets F_1^l,...,F_r^l such that there is a k-plane that meets all… ▽ More We prove the following optimal colorful Tverberg-Vrecica type transversal theorem: For prime r and for any k+1 colored collections of points C^l of size |C^l|=(r-1)(d-k+1)+1 in R^d, where each C^l is a union of subsets (color classes) C_i^l of size smaller than r, l=0,...,k, there are partition of the collections C^l into colorful sets F_1^l,...,F_r^l such that there is a k-plane that meets all the convex hulls conv(F_j^l), under the assumption that r(d-k) is even or k=0. Along the proof we obtain three results of independent interest: We present two alternative proofs for the special case k=0 (our optimal colored Tverberg theorem (2009)), calculate the cohomological index for joins of chessboard complexes, and establish a new Borsuk-Ulam type theorem for (Z_p)^m-equivariant bundles that generalizes results of Volovikov (1996) and Zivaljevic (1999). △ Less

Submitted 31 December, 2009; v1 submitted 13 November, 2009; originally announced November 2009.

Comments: Substantially revised version: new notation, improved results, additional references; 12 pages, 2 figures

MSC Class: 52A35; 55S35

Journal ref: Adv. Math. 226 (2011), no. 6, 5198-5215

Optimal bounds for the colored Tverberg problem

Authors: Pavle V. M. Blagojević, Benjamin Matschke, Günter M. Ziegler

Abstract: We prove a "Tverberg type" multiple intersection theorem. It strengthens the prime case of the original Tverberg theorem from 1966, as well as the topological Tverberg theorem of Barany et al. (1980), by adding color constraints. It also provides an improved bound for the (topological) colored Tverberg problem of Barany & Larman (1992) that is tight in the prime case and asymptotically optimal in… ▽ More We prove a "Tverberg type" multiple intersection theorem. It strengthens the prime case of the original Tverberg theorem from 1966, as well as the topological Tverberg theorem of Barany et al. (1980), by adding color constraints. It also provides an improved bound for the (topological) colored Tverberg problem of Barany & Larman (1992) that is tight in the prime case and asymptotically optimal in the general case. The proof is based on relative equivariant obstruction theory. △ Less

Submitted 17 November, 2014; v1 submitted 26 October, 2009; originally announced October 2009.

Comments: 17 pages, 3 figures; revised version (February 2013), to appear in J. European Math. Soc. (JEMS)

MSC Class: 52A35; 55S35

Journal ref: J. Eur. Math. Soc. 17 (2015), no. 4, 739-754

Tetrahedra on deformed spheres and integral group cohomology

Authors: Pavle V. M. Blagojevic, Günter M. Ziegler

Abstract: We show that for every injective continuous map f: S^2 --> R^3 there are four distinct points in the image of f such that the convex hull is a tetrahedron with the property that two opposite edges have the same length and the other four edges are also of equal length. This result represents a partial result for the topological Borsuk problem for R^3. Our proof of the geometrical claim, via Fadel… ▽ More We show that for every injective continuous map f: S^2 --> R^3 there are four distinct points in the image of f such that the convex hull is a tetrahedron with the property that two opposite edges have the same length and the other four edges are also of equal length. This result represents a partial result for the topological Borsuk problem for R^3. Our proof of the geometrical claim, via Fadell-Husseini index theory, provides an instance where arguments based on group cohomology with integer coefficients yield results that cannot be accessed using only field coefficients. △ Less

Submitted 28 August, 2008; originally announced August 2008.

Comments: 8 pages, 5 figures

MSC Class: 55N25; 52C35

The ideal-valued index for a dihedral group action, and mass partition by two hyperplanes

Authors: Pavle V. M. Blagojević, Günter M. Ziegler

Abstract: We compute the complete Fadell-Husseini index of the 8 element dihedral group D_8 acting on S^d \times S^d, both for F_2 and for integer coefficients. This establishes the complete goup cohomology lower bounds for the two hyperplane case of Gr"unbaum's 1960 mass partition problem: For which d and j can any j arbitrary measures be cut into four equal parts each by two suitably-chosen hyperplanes in… ▽ More We compute the complete Fadell-Husseini index of the 8 element dihedral group D_8 acting on S^d \times S^d, both for F_2 and for integer coefficients. This establishes the complete goup cohomology lower bounds for the two hyperplane case of Gr"unbaum's 1960 mass partition problem: For which d and j can any j arbitrary measures be cut into four equal parts each by two suitably-chosen hyperplanes in R^d? In both cases, we find that the ideal bounds are not stronger than previously established bounds based on one of the maximal abelian subgroups of D_8. △ Less

Submitted 9 December, 2010; v1 submitted 16 April, 2007; originally announced April 2007.

Comments: new version revised according to referee's comments, 44 pages, many diagrams; a shorter version of this will appear in Topology and its Applications (ATA 2010 proceedings)

MSC Class: 55N25; 51M20; 52A35; 55R20

Borsuk-Ulam Theorems for Complements of Arrangements

Authors: Pavle V. M. Blagojevic, Aleksandra S. Dimitrijevic Blagojevic, John McCleary

Abstract: In combinatorial problems it is sometimes possible to define a $G$-equivariant mapping from a space $X$ of configurations of a system to a Euclidean space $\mathbb{R}^m$ for which a coincidence of the image of this mapping with an arrangement $\mathcal{A}$ of linear subspaces insures a desired set of linear conditions on a configuration. Borsuk-Ulam type theorems give conditions under which no… ▽ More In combinatorial problems it is sometimes possible to define a $G$-equivariant mapping from a space $X$ of configurations of a system to a Euclidean space $\mathbb{R}^m$ for which a coincidence of the image of this mapping with an arrangement $\mathcal{A}$ of linear subspaces insures a desired set of linear conditions on a configuration. Borsuk-Ulam type theorems give conditions under which no $G$-equivariant mapping of $X$ to the complement of the arrangement exist. In this paper, precise conditions are presented which lead to such theorems through a spectral sequence argument. We introduce a blow up of an arrangement whose complement has particularly nice cohomology making such arguments possible. Examples are presented that show that these conditions are best possible. △ Less

Submitted 9 July, 2008; v1 submitted 30 November, 2006; originally announced December 2006.

Comments: The authors wish to acknowledge the hospitality of MSRI whose atmosphere fosters collaboration. A great deal of gratitude goes to professor C. Schultz for sharing his insight with us

MSC Class: 54H25; 55T10

Using Equivariant Obstruction Theory in Combinatorial Geometry

Authors: Pavle V. M. Blagojevic, Aleksandra S. Dimitrijevic Blagojevic

Abstract: A significant group of problems coming from the realm of Combinatorial Geometry can only be approached through the use of Algebraic Topology. From the first such application to Kneser's problem in 1978 by Lov% ász \cite{Lovasz} through the solution of the Lovász conjecture \cite% {Babson-Kozlov}, \cite{Carsten}, many methods from Algebraic Topology have been used. Specifically, it appears that t… ▽ More A significant group of problems coming from the realm of Combinatorial Geometry can only be approached through the use of Algebraic Topology. From the first such application to Kneser's problem in 1978 by Lov% ász \cite{Lovasz} through the solution of the Lovász conjecture \cite% {Babson-Kozlov}, \cite{Carsten}, many methods from Algebraic Topology have been used. Specifically, it appears that the understanding of equivariant theories is of the most importance. The solution of many problems depends on the existence of an elegantly constructed equivariant map. For example, the following problems were approached by discussing the existence of appropriate equivariant maps.A variety of results from algebraic topology were applied in solving these problems. The methods used ranged from well known theorems like Borsuk Ulam and Dold theorem to the integer / ideal valued index theories. In this paper we are going to extract the essence of the equivariant obstruction theory in order to obtain an effective \emph{general position map%} scheme for analyzing the problem of existence of equivariant maps. △ Less

Submitted 7 May, 2007; v1 submitted 1 September, 2006; originally announced September 2006.

Comments: The statement and proof of Equivarian Poincare duality suited for application in equivariant obstruction theory is added. Also, many technical aspects are improved. References are updated

MSC Class: 55S35; 52C35; 68U05

Symmetric products of surfaces; a unifying theme for topology and physics

Authors: Pavle Blagojevic, Vladimir Grujic, Rade Zivaljevic

Abstract: This is a review paper about symmetric products of spaces $SP^n(X):= X^n/S_n$. We focus our attention on the symmetric products of 2-manifolds and make a journey through selected topics of algebraic topology, algebraic geometry, mathematical physics, theoretical mechanics etc. where these objects play an important role, demonstrating along the way the fundamental unity of diverse fields of physi… ▽ More This is a review paper about symmetric products of spaces $SP^n(X):= X^n/S_n$. We focus our attention on the symmetric products of 2-manifolds and make a journey through selected topics of algebraic topology, algebraic geometry, mathematical physics, theoretical mechanics etc. where these objects play an important role, demonstrating along the way the fundamental unity of diverse fields of physics and mathematics. △ Less

Submitted 30 August, 2004; originally announced August 2004.

MSC Class: 55S15; 52C35

Journal ref: Proceedings of Summer school in modern mathematical physics (B. Dragovic, B. Sazdovic, eds.) SFIN, XV (A3), Institute of Physics, Belgrade 2002

Computational Topology of Equivariant Maps from Spheres to Complements of Arrangements

Authors: Pavle V. M. Blagojevic, Sinisa T. Vrecica, Rade T. Zivaljevic

Abstract: We use a well known problem in discrete and computational geometry (partitions of measures by $k$-fans) as a motivation and as a point of departure to illustrate many aspects, both theoretical and computational, of the problem of calculating the obstructions for the existence of equivariant maps. A variety of techniques are introduced and discussed with the emphasis on concrete and explicit calc… ▽ More We use a well known problem in discrete and computational geometry (partitions of measures by $k$-fans) as a motivation and as a point of departure to illustrate many aspects, both theoretical and computational, of the problem of calculating the obstructions for the existence of equivariant maps. A variety of techniques are introduced and discussed with the emphasis on concrete and explicit calculations. This eventually leads (Theorems 18 and 19) to an almost exhaustive analysis of when such maps do or do not exist in the particular case of interest. △ Less

Submitted 9 March, 2004; originally announced March 2004.

MSC Class: 55S35; 52C35; 68U05

Topology of partition of measures by fans and the second obstruction

Authors: Pavle V. M. Blagojevic

Abstract: \noindent The simultaneous partition problems are classical problems of the combinatorial geometry which have the natural flavor of the equivariant topology. The $k$-fan partition problems have attracted a lot of attention \cite{Aki2000}, \cite{BaMa2001}, \cite{BaMa2002} and forced some hard concrete combinatorial calculations in the equivariant cohomology \cite% {Bl-Vr-Ziv}. These problems can… ▽ More \noindent The simultaneous partition problems are classical problems of the combinatorial geometry which have the natural flavor of the equivariant topology. The $k$-fan partition problems have attracted a lot of attention \cite{Aki2000}, \cite{BaMa2001}, \cite{BaMa2002} and forced some hard concrete combinatorial calculations in the equivariant cohomology \cite% {Bl-Vr-Ziv}. These problems can be reduced, by a beautiful scheme of \cite% {BaMa2001}, to a \textquotedblright typical\textquotedblright question of the existence of a $\mathbb{D}_{2n}$ equivariant map $f:V_{2}(\mathbb{R}% ^{3})\to W_{n}-\cup \mathcal{A}(α)$, where $V_{2}(\mathbb{R}% ^{3})$ is the space of all orthonormal 2-frames in $\mathbb{R}^{3}$ and $% W_{n}-\cup \mathcal{A}(α)$ is the complement of the appropriate arrangement. We introduce the \textit{target extension scheme} which allow us to use the equivariant obstruction theory as a tool for proving that: for every two proper measures on the sphere $S^{2}$, and any $α=(a,a+b,b)\in \mathbb{R}_{>0}^{3}$, there exists an $α$-partition of theses measures by a 3-fan. \noindent The significance of these results, among other, is that, beside negative results \cite{Bl-Vr-Ziv}, the equivariant obstruction theory can pull off some positive results, which were not attained by other means. △ Less

Submitted 27 July, 2004; v1 submitted 24 February, 2004; originally announced February 2004.

Comments: The exposition is radicaly improved. The proof is more general. The obstruction cocycle got the clear geometric interpretation

MSC Class: 52C15; 55S91

Arrangements of symmetric products of spaces

Authors: Pavle Blagojevic, Vladimir Grujic, Rade Zivaljevic

Abstract: Using the topological technique of diagrams of spaces, we calculate the homology of the union and the complement of finite arrangements of subspaces of the form $D + SP^{n-d}(X)$ in symmetric products $SP^n(X)$ where $D\in SP^d(X)$. As an application we include a computation of the homology of the homotopy end space of the open manifold $SP^n(M_{g,k})$, where $M_{g,k}$ is a Riemann surface of ge… ▽ More Using the topological technique of diagrams of spaces, we calculate the homology of the union and the complement of finite arrangements of subspaces of the form $D + SP^{n-d}(X)$ in symmetric products $SP^n(X)$ where $D\in SP^d(X)$. As an application we include a computation of the homology of the homotopy end space of the open manifold $SP^n(M_{g,k})$, where $M_{g,k}$ is a Riemann surface of genus $g$ punctured at $k$ points, a problem which was originally motivated by the study of commutative $(m+k,m)$-groups. △ Less

Submitted 26 September, 2004; v1 submitted 27 June, 2003; originally announced June 2003.

Comments: This is an updated version of the paper. In this version some results (Proposition 1.7., Theorem 1.8, Theorem 1.9, Theorem 1.11) are now reformulated in the greater generality (over integer coefficients). Moreover, we now interpret Theorems 1.8 and 1.11 as a generalization of classical Steenrod's theorem to the case symmetric products of (simple) diagrams of spaces

MSC Class: 52C35; 55S15; 57R19

Symmetric products of surfaces and the cycle index

Authors: Pavle Blagojevic, Vladimir Grujic, Rade Zivaljevic

Abstract: We express the signature ${\rm Sign}(SP^m_G(M))$ of the symmetric product $SP^n(M)$ of an (open) surface $M$ in terms of the cycle index $Z(G;\bar x)$ of $G$, a polynomial which originally appeared in P{\' o}lya enumeration theory of graphs, trees, chemical structures etc. The computations are used to show that there exist punctured Riemann surfaces $M_{g,k}, M_{g',k'}$ such that the manifolds… ▽ More We express the signature ${\rm Sign}(SP^m_G(M))$ of the symmetric product $SP^n(M)$ of an (open) surface $M$ in terms of the cycle index $Z(G;\bar x)$ of $G$, a polynomial which originally appeared in P{\' o}lya enumeration theory of graphs, trees, chemical structures etc. The computations are used to show that there exist punctured Riemann surfaces $M_{g,k}, M_{g',k'}$ such that the manifolds $SP^{m}(M_{g,k})$ and $SP^{m}(M_{g',k'})$ are often not homeomorphic, although they always have the same homotopy type provided $2g+k = 2g'+k'$ and $k,k'\geq 1$. △ Less

Submitted 27 June, 2003; originally announced June 2003.

MSC Class: 55S15; 14H40; 55R80; 57R19