Searcharxiv⌕ Search

arXiv subjects

Zbigniew Fiedorowicz

Publications and source records attributed to Zbigniew Fiedorowicz.

10 recordsLinked to original sources
arXiv2026

Generalizations of the Squircle-Lemniscate Relation and Keplerian Dynamics

This paper establishes a generalized relationship between the arc length of sinusoidal spirals \(r^n=\cos(n\theta)\) and the area of generalized Lam\'e curves defined by \(x^{2n}+y^{2n}=1\). Building on our previous work connecting the lemniscate to the squircle, we prove an integral identity relating these two curves for any positive integer $n$, which we further generalize to arbitrary positive real exponents and general superellipses. We further extend this correspondence to a geometric relationship between radial sectors of the Lam\'e curve and arc lengths of the spiral, providing a physical interpretation where keplerian motion on the Lam\'e curve corresponds to uniform motion on the spiral. Additionally, we derive an explicit central force law for keplerian motion along the Lam\'e curve. Finally, we introduce policles--a new class of curves generalizing the squircle--and demonstrate a direct geometric mapping between their sectors and the arc lengths of sinusoidal spirals.

math.HO↗
arXiv2024

An Elementary Proof of a Remarkable Relation Between the Squircle and Lemniscate

It is well known that there is a somewhat mysterious relation between the area of the quartic Fermat curve $x^4+y^4=1$, aka squircle, and the arc length of the lemniscate $(x^2+y^2)^2=x^2-y^2$. The standardproof of this fact uses relations between elliptic integrals and the gamma function. In this article we generalize this result to relate areas of sectors of the squircle to arc lengths of segments of the lemniscate. We provide a geometric interpretation of this relation and an elementary proof of the relation, which only uses basic integral calculus. We also discuss an alternate version of this kind of relation, which is implicit in a calculation of Siegel.

math.HO↗
arXiv2015

Rectification of Weak Product Algebras over an Operad in Cat and Top and Applications

We develop an alternative to the May-Thomason construction used to compare operad based infinite loop machines to that of Segal, which relies on weak products. Our construction has the advantage that it can be carried out in $Cat$, whereas their construction gives rise to simplicial categories. As an application we show that a simplicial algebra over a $Σ$-free $Cat$ operad $\mathcal{O}$ is functorially weakly equivalent to a $Cat$ algebra over $\mathcal{O}$. When combined with the results of a previous paper, this allows us to conclude that up to weak equivalences the category of $\mathcal{O}$-categories is equivalent to the category of $B\mathcal{O}$-spaces, where $B:Cat\to Top$ is the classifying space functor. In particular, $n$-fold loop spaces (and more generally $E_n$ spaces) are functorially weakly equivalent to classifying spaces of $n$-fold monoidal categories. Another application is a change of operads construction within $Cat$.

math.AT↗
arXiv2013

An Additivity Theorem for the Interchange of E_n Structures

The notion of interchange of two multiplicative structures on a topological space is encoded by the tensor product of the two operads parametrizing these structures. Intuitively one might thus expect that the tensor product of an E_m and an E_n operad (which encode the muliplicative structures of m-fold, respectively n-fold loop spaces) ought to be an E_{m+n} operad. However there are easy counterexamples to this naive conjecture. In this paper we show that the tensor product of a cofibrant E_m operad and a cofibrant E_n operad is an E_{m+n} operad. It follows that if A_i are E_{m_i} operads for i=1,2,...,k, then there is an E_{m_1+m_2+...+m_k} operad which maps into their tensor product.

math.AT↗
arXiv2013

Homotopy Colimits of Algebras Over Cat-Operads and Iterated Loop Spaces

We extend Thomason's homotopy colimit construction in the category of permutative categories to categories of algebras over an arbitrary $\Cat$ operad and analyze its properties. We then use this homotopy colimit to prove that the classifying space functor induces an equivalence between the category of $n$-fold monoidal categories and the category of $\mathcal{C}_n$-spaces after formally inverting certain classes of weak equivalences, where $\mathcal{C}_n$ is the little $n$-cubes operad. As a consequence we obtain an equivalence of the categories of $n$-fold monoidal categories and the category of $n$-fold loop spaces and loop maps after localization with respect to some other class of weak equivalences. We recover Thomason's corresponding result about infinite loop spaces and obtain related results about braided monoidal categories and 2-fold loop spaces.

math.AT↗
arXiv2011

Localisation and Completion with an addendum on the use of Brown-Peterson homology in stable homotopy

These are notes, by Z. Fiedorowicz, from lectures given by J. Frank Adams at the University of Chicago in spring of 1973. They give an elegant axiomatic presentation of localization and completion in algebraic topology. The construction of localization and completion functors with respect to an arbitrary generalized homology theory is derived from the axioms by using the Brown representability theorem. These notes were never formally published, due to an apparent flaw in the proof. The relevant representable functors could not be shown to be set-valued, as opposed to class-valued. Subsequent work by A. K. Bousfield established the existence of these functors, using more technical simplicial methods. These functors are now an essential tool in homotopy theory. The notes also contain an addendum devoted to establishing that a certain element in the gamma family of the stable homotopy groups of spheres is nonzero, using Brown-Peterson homology. At that time this was a matter of controversy, as S. Oka and H. Toda claimed to have proved the contrary result. Besides being of historical interest, these notes give a very readable introduction to localization and completion, with minimal prerequisites. A brief epilogue by Z. Fiedorowicz fills the gap in the proof and sketches some follow up history. A foreword and a few additional editorial notes have also been added.

math.AT↗
arXiv2007

Symmetric Homology of Algebras

In this note, we outline the general development of a theory of symmetric homology of algebras, an analog of cyclic homology where the cyclic groups are replaced by symmetric groups. This theory is developed using the framework of crossed simplicial groups and the homological algebra of module-valued functors. The symmetric homology of group algebras is related to stable homotopy theory. Two spectral sequences for computing symmetric homology are constructed. The relation to cyclic homology is discussed and some conjectures and questions towards further work are discussed.

math.AT↗