Showing 1–3 of 3 results for author: Juran, B

On orthogonal factorization systems and double categories

Authors: Branko Juran

Abstract: We prove that the $\infty$-category of orthogonal factorization systems embeds fully faithfully into the $\infty$-category of double $\infty$-categories. Moreover, we prove an (un)straightening equivalence for double $\infty$-categories, which restricts to an (un)straightening equivalence for op-Gray fibrations and curved orthofibrations of orthogonal factorization systems. We prove that the $\infty$-category of orthogonal factorization systems embeds fully faithfully into the $\infty$-category of double $\infty$-categories. Moreover, we prove an (un)straightening equivalence for double $\infty$-categories, which restricts to an (un)straightening equivalence for op-Gray fibrations and curved orthofibrations of orthogonal factorization systems. △ Less

Submitted 2 January, 2025; originally announced January 2025.

Comments: 27 pages, comments welcome!

Report number: CPH-GEOTOP-DNRF151 MSC Class: 18N60; 18N65; 18N10; 18A32

A proof of the corrected Sister Beiter cyclotomic coefficient conjecture inspired by Zhao and Zhang

Authors: Branko Juran, Pieter Moree, Adrian Riekert, David Schmitz, Julian Völlmecke

Abstract: The largest coefficient (in absolute value) of a cyclotomic polynomial $Φ_n$ is called its height $A(n)$. In case $p$ is a fixed prime it turns out that as $q$ and $r$ range over all primes satisfying $p<q<r$, the height $A(pqr)$ assumes a maximum $M(p)$. In 1968, Sister Marion Beiter conjectured that $M(p)\leq (p+1)/2$. In 2009, this was disproved for every $p\ge 11$ by Yves Gallot and Pieter Mor… ▽ More The largest coefficient (in absolute value) of a cyclotomic polynomial $Φ_n$ is called its height $A(n)$. In case $p$ is a fixed prime it turns out that as $q$ and $r$ range over all primes satisfying $p<q<r$, the height $A(pqr)$ assumes a maximum $M(p)$. In 1968, Sister Marion Beiter conjectured that $M(p)\leq (p+1)/2$. In 2009, this was disproved for every $p\ge 11$ by Yves Gallot and Pieter Moree. They proposed a Corrected Beiter Conjecture, namely $M(p)\leq 2p/3$. In 2009, Jia Zhao and Xianke Zhang posted on the arXiv what they thought to be a proof of this conjecture. Their work was never accepted for publication in a journal. However, in retrospect it turns out to be essentially correct, but rather sketchy at some points. Here we supply a lot more details. \par The bound $M(p)\le 2p/3$ allows us to improve some bounds of Bzdęga from 2010 for ternary cyclotomic coefficients. It also makes it possible to determine $M(p)$ exactly for three new primes $p$ and study the fine structure of $A(pqr)$ for them in greater detail. △ Less

Submitted 18 April, 2023; originally announced April 2023.

Comments: 20 pages, 3 tables, outcome of MPIM Internship project in 2015+2022

Report number: MPIM-Bonn-2023 MSC Class: 11C08; 11T22

Orbifolds, Orbispaces and Global Homotopy Theory

Authors: Branko Juran

Abstract: Given an orbifold, we construct an orthogonal spectrum representing its stable global homotopy type. Orthogonal spectra now represent orbifold cohomology theories which automatically satisfy certain properties as additivity and the existence of Mayer-Vietoris sequences. Moreover, the value at a global quotient orbifold $M/G$ can be identified with the $G$-equivariant cohomology of the manifold… ▽ More Given an orbifold, we construct an orthogonal spectrum representing its stable global homotopy type. Orthogonal spectra now represent orbifold cohomology theories which automatically satisfy certain properties as additivity and the existence of Mayer-Vietoris sequences. Moreover, the value at a global quotient orbifold $M/G$ can be identified with the $G$-equivariant cohomology of the manifold $M$. Examples of orbifold cohomology theories which are represented by an orthogonal spectrum include Borel and Bredon cohomology theories and orbifold $K$-theory. This also implies that these cohomology groups are independent of the presentation of an orbifold as a global quotient orbifold. △ Less

Submitted 22 June, 2020; originally announced June 2020.

MSC Class: 55P91; 55N32