Showing 1–11 of 11 results for author: Camarena, O A

A Center Transversal Theorem for mass assignments

Authors: Omar Antolín Camarena, Jaime Calles Loperena

Abstract: In this paper, based on the ideas of Blagojević, Karasev & Magozinov, we consider an extension of the center transversal theorem to mass assignments with an improved Rado depth. In particular we substitute the marginal of a measure by a more general concept called a mass assignment over a flag manifold. Our results also allow us to solve the main problem proposed by Blagojević, Karasev & Magozinov… ▽ More In this paper, based on the ideas of Blagojević, Karasev & Magozinov, we consider an extension of the center transversal theorem to mass assignments with an improved Rado depth. In particular we substitute the marginal of a measure by a more general concept called a mass assignment over a flag manifold. Our results also allow us to solve the main problem proposed by Blagojević, Karasev & Magozinov in a linear subspace of lower dimension, as long as it is contained in a high-dimensional enough ambient space. △ Less

Submitted 23 January, 2024; originally announced January 2024.

Comments: 7 pages

MSC Class: 52C35; 52A35

Homotopy type of the independence complex of some categorical products of graphs

Authors: Omar Antolín Camarena, Andrés Carnero Bravo

Abstract: It was conjectured by Goyal, Shukla and Singh that the independence complex of the categorical product $K_2\times K_3\times K_n$ has the homotopy type of a wedge of $(n-1)(3n-2)$ spheres of dimension $3$. Here we prove this conjecture by calculating the homotopy type of the independence complex of the graphs $C_{3r}\times K_n$ and $K_2\times K_m\times K_n$. For $C_m \times K_n$ when $m$ is not a m… ▽ More It was conjectured by Goyal, Shukla and Singh that the independence complex of the categorical product $K_2\times K_3\times K_n$ has the homotopy type of a wedge of $(n-1)(3n-2)$ spheres of dimension $3$. Here we prove this conjecture by calculating the homotopy type of the independence complex of the graphs $C_{3r}\times K_n$ and $K_2\times K_m\times K_n$. For $C_m \times K_n$ when $m$ is not a multiple of $3$, we calculate the homotopy type for $m = 4, 5$ and show that for other values it has to have the homotopy type of a wedge of spheres of at most $2$ consecutive dimensions and maybe some Moore spaces. △ Less

Submitted 1 September, 2023; v1 submitted 23 July, 2023; originally announced July 2023.

Homotopy type through homology groups

Authors: Omar Antolín Camarena, Andrés Carnero Bravo

Abstract: We show that if a complex has free finitely generated reduced homology groups for two consecutive dimensions and trivial homology for all other dimensions, then it must have the homotopy type of a wedge of spheres of two consecutive dimensions. We also show other pairs of dimensions for which the last result can be generalized. We show that if a complex has free finitely generated reduced homology groups for two consecutive dimensions and trivial homology for all other dimensions, then it must have the homotopy type of a wedge of spheres of two consecutive dimensions. We also show other pairs of dimensions for which the last result can be generalized. △ Less

Submitted 13 January, 2023; v1 submitted 14 December, 2022; originally announced December 2022.

Crystallographic Interacting Topological Phases and Equivariant Cohomology: To assume or not to assume

Authors: Daniel Sheinbaum, Omar Antolín Camarena

Abstract: For symmorphic crystalline interacting gapped systems we derive a classification under adiabatic evolution. This classification is complete for non-degenerate ground states. For the degenerate case we discuss some invariants given by equivariant characteristic classes. We do not assume an emergent relativistic field theory nor that phases form a topological spectrum. We also do not restrict to sys… ▽ More For symmorphic crystalline interacting gapped systems we derive a classification under adiabatic evolution. This classification is complete for non-degenerate ground states. For the degenerate case we discuss some invariants given by equivariant characteristic classes. We do not assume an emergent relativistic field theory nor that phases form a topological spectrum. We also do not restrict to systems with short-range entanglement, stability against stacking with trivial systems nor assume the existence of quasi-particles as is done in SPT and SET classifications respectively. Using a slightly generalized Bloch decomposition and Grassmanians made out of ground state spaces, we show that the $P$-equivariant cohomology of a $d$-dimensional torus gives rise to different interacting phases, where $P$ denotes the point group of the crystalline structure. We compare our results to bosonic symmorphic crystallographic SPT phases and to non-interacting fermionic crystallographic phases in class A. Finally we discuss the relation of our assumptions to those made for crystallographic SPT and SET phases. △ Less

Submitted 30 June, 2021; v1 submitted 13 July, 2020; originally announced July 2020.

Comments: Stronger results. Included examples in section 6. Accepted for publication in JHEP

The mod 2 homology of free spectral Lie algebras

Authors: Omar Antolín Camarena

Abstract: The Goodwillie derivatives of the identity functor on pointed spaces form an operad in spectra. Adapting a definition of Behrens, we introduce mod 2 homology operations for algebras over this operad and prove these operations account for all the mod 2 homology of free algebras on suspension spectra of simply-connected spaces. The Goodwillie derivatives of the identity functor on pointed spaces form an operad in spectra. Adapting a definition of Behrens, we introduce mod 2 homology operations for algebras over this operad and prove these operations account for all the mod 2 homology of free algebras on suspension spectra of simply-connected spaces. △ Less

Submitted 22 February, 2020; v1 submitted 26 November, 2016; originally announced November 2016.

Comments: 24 pages; some corrections and many small improvements throughout. Accepted for publication in Transactions of the AMS

MSC Class: 55P43; 55S99; 55S12

Nilpotent $n$-tuples in $SU(2)$

Authors: Omar Antolín Camarena, Bernardo Villarreal

Abstract: We describe the connected components of the space $\text{Hom}(Γ,SU(2))$ of homomorphisms for a discrete nilpotent group $Γ$. The connected components arising from homomorphisms with non-abelian image turn out to be homeomorphic to $\mathbb{RP}^3$. We give explicit calculations when $Γ$ is a finitely generated free nilpotent group. In the second part of the paper we study the filtration… ▽ More We describe the connected components of the space $\text{Hom}(Γ,SU(2))$ of homomorphisms for a discrete nilpotent group $Γ$. The connected components arising from homomorphisms with non-abelian image turn out to be homeomorphic to $\mathbb{RP}^3$. We give explicit calculations when $Γ$ is a finitely generated free nilpotent group. In the second part of the paper we study the filtration $B_{\text{com}}SU(2) = B(2,SU(2))\subset\cdots \subset B(q,SU(2))\subset\cdots$ of the classifying space $BSU(2)$ (introduced by Adem, Cohen and Torres-Giese), showing that for every $q\geq2$, the inclusions induce a homology isomorphism with coefficients over a ring in which 2 is invertible. Most of the computations are done for $SO(3)$ and $U(2)$ as well. △ Less

Submitted 8 May, 2019; v1 submitted 17 November, 2016; originally announced November 2016.

Comments: Added description of Hom(Gamma, SU(2)) for arbitrary discrete nilpotent Gamma, and several examples

MSC Class: 22E99 (primary); 55R35 (secondary)

Journal ref: Proc. Edinburgh Math. Soc. 2020

Topology of Fermi Surfaces and anomaly inflows

Authors: Alejandro Adem, Omar Antolín Camarena, Gordon W. Semenoff, Daniel Sheinbaum

Abstract: We derive a rigorous classification of topologically stable Fermi surfaces of non-interacting, discrete translation-invariant systems from electronic band theory, adiabatic evolution and their topological interpretations. For systems on an infinite crystal it is shown that there can only be topologically unstable Fermi surfaces. For systems on a half- space and with a gapped bulk, our derivation n… ▽ More We derive a rigorous classification of topologically stable Fermi surfaces of non-interacting, discrete translation-invariant systems from electronic band theory, adiabatic evolution and their topological interpretations. For systems on an infinite crystal it is shown that there can only be topologically unstable Fermi surfaces. For systems on a half- space and with a gapped bulk, our derivation naturally yields a $\mathit{K}$-theory classification. Given the $d-1$-dimensional surface Brillouin zone $\mathrm{X}_{s}$ of a $d$-dimensional half-space, our result implies that different classes of globally stable Fermi surfaces belong in $\mathit{K^{-1}}\mathrm{(X_{s})}$ for systems with only discrete translation-invariance. This result has a chiral anomaly inflow interpretation, as it reduces to the spectral flow for $d = 2$. Through equivariant homotopy methods we extend these results for symmetry classes $AI,\,AII,\, C$ and $D$ and discuss their corresponding anomaly inflow interpretation. △ Less

Submitted 16 November, 2016; v1 submitted 4 September, 2015; originally announced September 2015.

Comments: Removed Born-von Karman boundary conditions for $\mathbb{R}^{d}$ and $\mathbb{R}^{d-1}\times [0,\infty)$ and includes the 'weak' topological phase found by Kitaev for $Ξ^2 = I, d= 2$

Corrigendum to "Groupoids, the Phragmen-Brouwer Property, and the Jordan Curve Theorem", J. Homotopy and Related Structures 1 (2006) 175-183

Authors: Ronald Brown, Omar Antolín Camarena

Abstract: Omar Antol{\'ı}n Camarena pointed out a gap in the proofs in \cite{Brown15,BrownJordan} of a condition for the Phragmen--Brouwer Property not to hold; this note gives the correction in terms of a result on a pushout of groupoids, and some additional background. Omar Antol{\'ı}n Camarena pointed out a gap in the proofs in \cite{Brown15,BrownJordan} of a condition for the Phragmen--Brouwer Property not to hold; this note gives the correction in terms of a result on a pushout of groupoids, and some additional background. △ Less

Submitted 8 August, 2014; v1 submitted 2 April, 2014; originally announced April 2014.

Comments: 6 pages, 1 figure, submitted to JHRS. v2 small corrections v2: 4 pages

MSC Class: 20L05; 57N05

A Whirlwind Tour of the World of $(\infty,1)$-categories

Authors: Omar Antolín Camarena

Abstract: This introduction to higher category theory is intended to a give the reader an intuition for what $(\infty,1)$-categories are, when they are an appropriate tool, how they fit into the landscape of higher category, how concepts from ordinary category theory generalize to this new setting, and what uses people have put the theory to. It is a rough guide to a vast terrain, focuses on ideas and motiv… ▽ More This introduction to higher category theory is intended to a give the reader an intuition for what $(\infty,1)$-categories are, when they are an appropriate tool, how they fit into the landscape of higher category, how concepts from ordinary category theory generalize to this new setting, and what uses people have put the theory to. It is a rough guide to a vast terrain, focuses on ideas and motivation, omits almost all proofs and technical details, and provides many references. △ Less

Submitted 5 September, 2013; v1 submitted 19 March, 2013; originally announced March 2013.

Comments: Added details to discussion of tmf; added references for definitions of 3- and 4-categories; corrected many typos

Positive graphs

Authors: Omar Antolín Camarena, Endre Csóka, Tamás Hubai, Gábor Lippner, László Lovász

Abstract: We study "positive" graphs that have a nonnegative homomorphism number into every edge-weighted graph (where the edgeweights may be negative). We conjecture that all positive graphs can be obtained by taking two copies of an arbitrary simple graph and gluing them together along an independent set of nodes. We prove the conjecture for various classes of graphs including all trees. We prove a number… ▽ More We study "positive" graphs that have a nonnegative homomorphism number into every edge-weighted graph (where the edgeweights may be negative). We conjecture that all positive graphs can be obtained by taking two copies of an arbitrary simple graph and gluing them together along an independent set of nodes. We prove the conjecture for various classes of graphs including all trees. We prove a number of properties of positive graphs, including the fact that they have a homomorphic image which has at least half the original number of nodes but in which every edge has an even number of pre-images. The results, combined with a computer program, imply that the conjecture is true for all graphs up to 9 nodes. △ Less

Submitted 29 January, 2014; v1 submitted 29 May, 2012; originally announced May 2012.

Comments: 17 pages, 5 figures; minor revision

MSC Class: 05C75; 05C22; 05C60; 37A05

Nilspaces, nilmanifolds and their morphisms

Authors: Omar Antolin Camarena, Balazs Szegedy

Abstract: Recent developments in ergodic theory, additive combinatorics, higher order Fourier analysis and number theory give a central role to a class of algebraic structures called nilmanifolds. In the present paper we continue a program started by Host and Kra. We introduce nilspaces as structures satisfying a variant of the Host-Kra axiom system for parallelepiped structures. We give a detailed structur… ▽ More Recent developments in ergodic theory, additive combinatorics, higher order Fourier analysis and number theory give a central role to a class of algebraic structures called nilmanifolds. In the present paper we continue a program started by Host and Kra. We introduce nilspaces as structures satisfying a variant of the Host-Kra axiom system for parallelepiped structures. We give a detailed structural analysis of abstract and compact topological nilspaces. Among various results it will be proved that compact nilspaces are inverse limits of finite dimensional ones. Then we show that finite dimensional compact connected nilspaces are nilmanifolds. The theory of compact nilspaces is a generalization of the theory of compact abelian groups. This paper is the main algebraic tool in the second authors approach to Gowers's uniformity norms and higher order Fourier analysis. △ Less

Submitted 10 June, 2012; v1 submitted 20 September, 2010; originally announced September 2010.