Source author record

Pavle V. M. Blagojević

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AT math.CO math.MG math.DG math.DS math.GT

Catalog footprint

Research overview

13works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

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

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}$ .

preprint2021arXiv

More bisections by hyperplane arrangements

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.

preprint2020arXiv

Counting Periodic Trajectories of Finsler Billiards

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.

preprint2019arXiv

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

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.

preprint2016arXiv

Hyperplane mass partitions via relative equivariant obstruction theory

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.

preprint2016arXiv

Local multiplicity of continuous maps between manifolds

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$ .

preprint2016arXiv

Polynomial partitioning for several sets of varieties

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.

preprint2015arXiv

Barycenters of points that are constrained to a polytope skeleton

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.

preprint2015arXiv

On complex highly regular embeddings and the extended Vassiliev conjecture

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.

preprint2014arXiv

Optimal bounds for the colored Tverberg problem

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.

preprint2013arXiv

Convex Equipartitions via Equivariant Obstruction Theory

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.

preprint2011arXiv

A tight colored Tverberg theorem for maps to manifolds

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.

preprint2010arXiv

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

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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Pavle V. M. Blagojević

Research overview

Is this your work?

13 publications

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

More bisections by hyperplane arrangements

Counting Periodic Trajectories of Finsler Billiards

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

Hyperplane mass partitions via relative equivariant obstruction theory

Local multiplicity of continuous maps between manifolds

Polynomial partitioning for several sets of varieties

Barycenters of points that are constrained to a polytope skeleton

On complex highly regular embeddings and the extended Vassiliev conjecture

Optimal bounds for the colored Tverberg problem

Convex Equipartitions via Equivariant Obstruction Theory

A tight colored Tverberg theorem for maps to manifolds

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

See the researcher in context

Building this map preview