Showing 1–14 of 14 results for author: Angel, A

Edge-graceful usual fan graphs

Authors: Aaron D. C. Angel, John Rafael M. Antalan, John Loureynz F. Gamurot, Richard P. Tagle

Abstract: A graph $G$ with $p$ vertices and $q$ edges is said to be edge-graceful if its edges can be labeled from $1$ through $q$, in such a way that the labels induced on the vertices by adding over the labels of incident edges modulo $p$ are distinct. A known result under this topic is Lo's Theorem, which states that if a graph $G$ with $p$ vertices and $q$ edges is edge-graceful, then… ▽ More A graph $G$ with $p$ vertices and $q$ edges is said to be edge-graceful if its edges can be labeled from $1$ through $q$, in such a way that the labels induced on the vertices by adding over the labels of incident edges modulo $p$ are distinct. A known result under this topic is Lo's Theorem, which states that if a graph $G$ with $p$ vertices and $q$ edges is edge-graceful, then $p\Big|\Big(q^{2}+q-\dfrac{p(p-1)}{2}\Big)$. This paper presents novel results on the edge-gracefulness of the usual fan graphs. Using Lo's Theorem, the concepts of divisibility and Diophantine equations, and a computer program created, we determine all edge-graceful usual fan graphs $F_{1,n}$ with their corresponding edge-graceful labels. △ Less

Submitted 17 January, 2025; v1 submitted 11 December, 2024; originally announced December 2024.

Comments: 19 pages with C-codes as appendix

MSC Class: 05C78

G-category versus orbifold category

Authors: Andres Angel, Hellen Colman

Abstract: We present a comparative study of certain invariants defined for group actions and their analogues defined for orbifolds. In particular, we prove that Fadell's equivariant category for $G$-spaces coincides with the Lusternik-Schnirelmann category for orbifolds when the group is finite. We present a comparative study of certain invariants defined for group actions and their analogues defined for orbifolds. In particular, we prove that Fadell's equivariant category for $G$-spaces coincides with the Lusternik-Schnirelmann category for orbifolds when the group is finite. △ Less

Submitted 26 August, 2022; originally announced August 2022.

Oriented and unitary equivariant bordism of surfaces

Authors: Andrés Angel, Eric Samperton, Carlos Segovia, Bernardo Uribe

Abstract: Fix a finite group $G$. We study $Ω^{SO,G}_2$ and $Ω^{U,G}_2$, the unitary and oriented bordism groups of smooth $G$-equivariant compact surfaces, respectively, and we calculate them explicitly. Their ranks are determined by the possible representations around fixed points, while their torsion subgroups are isomorphic to the direct sum of the Bogomolov multipliers of the Weyl groups of representat… ▽ More Fix a finite group $G$. We study $Ω^{SO,G}_2$ and $Ω^{U,G}_2$, the unitary and oriented bordism groups of smooth $G$-equivariant compact surfaces, respectively, and we calculate them explicitly. Their ranks are determined by the possible representations around fixed points, while their torsion subgroups are isomorphic to the direct sum of the Bogomolov multipliers of the Weyl groups of representatives of conjugacy classes of all subgroups of $G$. We present an alternative proof of the fact that surfaces with free actions which induce non-trivial elements in the Bogomolov multiplier of the group cannot equivariantly bound. This result permits us to show that the 2-dimensional SK-groups (Schneiden und Kleben, or ``cut and paste") of the classifying spaces of a finite group can be understood in terms of the bordism group of free equivariant surfaces modulo the ones that bound arbitrary actions. △ Less

Submitted 12 December, 2023; v1 submitted 4 November, 2021; originally announced November 2021.

Comments: To appear in AG&T. 37 pages. Lemma 4.14 has been amended

Report number: MPIM-Bonn-2022 MSC Class: 57R85; 55N22; 57R75; 57R77

Journal ref: Algebr. Geom. Topol. 24 (2024) 1623-1654

Thom's counterexamples for the Steenrod problem

Authors: Andres Angel, Carlos Segovia, Arley Fernando Torres

Abstract: The present paper deals with integral classes $ξ_p\in H_{2p+1}(L^{2p+1}\times L^{2p+1})$ which are counterexamples for the Steenrod realization problem, where $L^{2p+1}$ is the $(2p+1)$-dimensional lens space and $p\geq 3$ is a prime number. For $p=3$, this is Thom's famous counterexample. We give a geometric description of this class using the theory of stratifolds. As a consequence, we obtain a… ▽ More The present paper deals with integral classes $ξ_p\in H_{2p+1}(L^{2p+1}\times L^{2p+1})$ which are counterexamples for the Steenrod realization problem, where $L^{2p+1}$ is the $(2p+1)$-dimensional lens space and $p\geq 3$ is a prime number. For $p=3$, this is Thom's famous counterexample. We give a geometric description of this class using the theory of stratifolds. As a consequence, we obtain a geometric interpretation of the obstruction to realizability in terms of the Atiyah--Hirzebruch spectral sequence. △ Less

Submitted 21 December, 2023; v1 submitted 4 May, 2021; originally announced May 2021.

Comments: 8 pages, 1 figure

MSC Class: 55N22

Proper actions and decompositions in equivariant K-theory

Authors: Andrés Angel, Edward Becerra, Mario Velásquez

Abstract: In this paper we study a natural decomposition of $G$-equivariant $K$-theory of a proper $G$-space, when $G$ is a Lie group with a compact normal subgroup $A$ acting trivially. Our decomposition could be understood as a generalization of the theory known as Mackey machine under suitable hypotheses, since it decomposes $G$-equivariant K-theory in terms of twisted equivariant K-theory groups respect… ▽ More In this paper we study a natural decomposition of $G$-equivariant $K$-theory of a proper $G$-space, when $G$ is a Lie group with a compact normal subgroup $A$ acting trivially. Our decomposition could be understood as a generalization of the theory known as Mackey machine under suitable hypotheses, since it decomposes $G$-equivariant K-theory in terms of twisted equivariant K-theory groups respect to some subgroups of $G/A$. Similar decompositions were known for the case of a compact Lie group acting on a space, but our main result applies to discrete, linear and almost connected groups. We also apply this decomposition to study equivariant $K$-theory of spaces with only one isotropy type. We provide a rich class of examples in order to expose the strength and generality of our results. We also study the decomposition for equivariant connective $K$-homology for actions of compact Lie groups using a suitable configuration space model, based on previous papers published by the third author. △ Less

Submitted 7 September, 2024; v1 submitted 21 March, 2020; originally announced March 2020.

Comments: 33 pages (this version)

MSC Class: 55N15; 19L50; 19L47; 19L41; 55N20

Morita Invariance of Equivariant Lusternik-Schnirelmann Category and Invariant Topological Complexity

Authors: Andrés Angel, Hellen Colman, Mark Grant, John Oprea

Abstract: We use the homotopy invariance of equivariant principal bundles to prove that the equivariant ${\mathcal A}$-category of Clapp and Puppe is invariant under Morita equivalence. As a corollary, we obtain that both the equivariant Lusternik-Schnirelmann category of a group action and the invariant topological complexity are invariant under Morita equivalence. This allows a definition of topological c… ▽ More We use the homotopy invariance of equivariant principal bundles to prove that the equivariant ${\mathcal A}$-category of Clapp and Puppe is invariant under Morita equivalence. As a corollary, we obtain that both the equivariant Lusternik-Schnirelmann category of a group action and the invariant topological complexity are invariant under Morita equivalence. This allows a definition of topological complexity for orbifolds. △ Less

Submitted 20 August, 2019; v1 submitted 14 August, 2019; originally announced August 2019.

$\mathbb{Z}_k$-stratifolds

Authors: Andrés Angel, Arley Fernando Torres, Carlos Segovia

Abstract: Generalizing the ideas of $\mathbb{Z}_k$-manifolds from Sullivan and stratifolds from Kreck, we define $\mathbb{Z}_k$-stratifolds. We show that the bordism theory of $\mathbb{Z}_k$-stratifolds is sufficient to represent all homology classes of a $CW$-complex with coefficients in $\mathbb{Z}_k$. We present a geometric interpretation of the Bockstein long exact sequences and the Atiyah-Hirzebruch sp… ▽ More Generalizing the ideas of $\mathbb{Z}_k$-manifolds from Sullivan and stratifolds from Kreck, we define $\mathbb{Z}_k$-stratifolds. We show that the bordism theory of $\mathbb{Z}_k$-stratifolds is sufficient to represent all homology classes of a $CW$-complex with coefficients in $\mathbb{Z}_k$. We present a geometric interpretation of the Bockstein long exact sequences and the Atiyah-Hirzebruch spectral sequence for $\mathbb{Z}_k$-bordism ($k$ an odd number). Finally, for $p$ an odd prime, we give geometric representatives of all classes in $H_*(B\mathbb{Z}_p;\mathbb{Z}_p)$ using $\mathbb{Z}_p$-stratifolds. △ Less

Submitted 10 March, 2023; v1 submitted 1 October, 2018; originally announced October 2018.

Journal ref: Algebr. Geom. Topol. 24 (2024) 1863-1901

Equivariant complex bundles, fixed points and equivariant unitary bordism

Authors: Andrés Angel, José Manuel Gómez, Bernardo Uribe

Abstract: We study the fixed points of the universal G-equivariant n-dimensional complex vector bundle and obtain a decomposition formula in terms of twisted equivariant universal complex vector bundles of smaller dimension. We use this decomposition to describe the fixed points of the complex equivariant K-theory spectrum and the equivariant unitary bordism groups for adjacent families of subgroups. We study the fixed points of the universal G-equivariant n-dimensional complex vector bundle and obtain a decomposition formula in terms of twisted equivariant universal complex vector bundles of smaller dimension. We use this decomposition to describe the fixed points of the complex equivariant K-theory spectrum and the equivariant unitary bordism groups for adjacent families of subgroups. △ Less

Submitted 6 July, 2018; v1 submitted 2 October, 2017; originally announced October 2017.

Comments: Corrected version. To appear in AG&T. 27 pages

Journal ref: Algebr. Geom. Topol. 18 (2018) 4001-4035

Equivariant topological complexities

Authors: Andres Angel, Hellen Colman

Abstract: The aim of this article is to review different generalizations of the the notion of topological complexity to the equivariant setting. In particular, we review the relation (or non-relation) between these notions and the topological complexity of the quotient space and the topological complexity of the fixed point sets. We give examples of calculations and stress the question: When the action is f… ▽ More The aim of this article is to review different generalizations of the the notion of topological complexity to the equivariant setting. In particular, we review the relation (or non-relation) between these notions and the topological complexity of the quotient space and the topological complexity of the fixed point sets. We give examples of calculations and stress the question: When the action is free, do we recover the topological complexity of the quotient? △ Less

Submitted 2 September, 2017; originally announced September 2017.

Equilateral $p$-gons in $\mathbb R^d$ and deformed spheres and mod $p$ Fadell-Husseini index

Authors: Andrés Angel, Jerson Borja

Abstract: We introduce the concept of $r$-equilateral $m$-gons. We prove the existence of $r$-equilateral $p$-gons in $\mathbb R^d$ if $r<d$ and the existence of equilateral $p$-gons in the image of continuous injective maps $f:S^d\to \mathbb R^{d+1}$. Our ideas are based mainly in the paper of Y. Soibelman \cite{soibelman}, in which the topological Borsuk number of $\mathbb{R}^2$ is calculated by means of… ▽ More We introduce the concept of $r$-equilateral $m$-gons. We prove the existence of $r$-equilateral $p$-gons in $\mathbb R^d$ if $r<d$ and the existence of equilateral $p$-gons in the image of continuous injective maps $f:S^d\to \mathbb R^{d+1}$. Our ideas are based mainly in the paper of Y. Soibelman \cite{soibelman}, in which the topological Borsuk number of $\mathbb{R}^2$ is calculated by means of topological methods and the paper of P. Blagojević and G. Ziegler \cite{blagojevictetrahedra} where Fadell-Husseini index is used for solving a problem related to the topological Borsuk problem for $\mathbb{R}^3$. △ Less

Submitted 6 June, 2017; originally announced June 2017.

A BV-algebra Structure on Hochschild Cohomology of the Group Ring of Finitely Generated Abelian Groups

Authors: Andrés Angel, Diego Duarte

Abstract: We study a Batalin-Vilkovisky algebra structure on the Hochschild cohomology of the group ring of finitely generated abelian groups. The Batalin-Vilkovisky algebra structure for finite abelian groups comes from the fact that the group ring of finite groups is a symmetric algebra, and the Batalin-Vilkovisky algebra structure for free abelian groups of finite rank comes from the fact that its group… ▽ More We study a Batalin-Vilkovisky algebra structure on the Hochschild cohomology of the group ring of finitely generated abelian groups. The Batalin-Vilkovisky algebra structure for finite abelian groups comes from the fact that the group ring of finite groups is a symmetric algebra, and the Batalin-Vilkovisky algebra structure for free abelian groups of finite rank comes from the fact that its group ring is a Calabi-Yau algebra. △ Less

Submitted 10 April, 2017; originally announced April 2017.

MSC Class: 16E40; 16S34; 55U25

The Evasiveness Conjecture and Graphs on 2p Vertices

Authors: Andres Angel, Jerson Borja

Abstract: The Evasiveness conjecture have been proved for properties of graphs on a prime-power number of vertices and the six vertices case. The ten vertices case is still unsolved. In this paper we study the size of the automorphism group of a graph on $2p$ vertices to estimate the Euler characteristic of monotone non-evasive graph properties and get some conditions such graph properties must satisfy. We… ▽ More The Evasiveness conjecture have been proved for properties of graphs on a prime-power number of vertices and the six vertices case. The ten vertices case is still unsolved. In this paper we study the size of the automorphism group of a graph on $2p$ vertices to estimate the Euler characteristic of monotone non-evasive graph properties and get some conditions such graph properties must satisfy. We also do this by means of Oliver groups and give some lower bounds for the dimension of the simplicial complex associated to a nontrivial monotone non-evasive graph property. We apply our results to graphs on ten vertices to get conditions on potential counterexamples to the evasiveness conjecture in the ten vertices case. △ Less

Submitted 14 March, 2016; originally announced March 2016.

Free and based path groupoids

Authors: Andres Angel, Hellen Colman

Abstract: We give an explicit description of the free path and loop groupoids in the Morita bicategory of translation topological groupoids. We prove that the free path groupoid of a discrete group acting on a topological space $X$ is a translation groupoid given by the same group acting on the topological path space $X^I$. We give a detailed description of based path and loop groupoids and show that both a… ▽ More We give an explicit description of the free path and loop groupoids in the Morita bicategory of translation topological groupoids. We prove that the free path groupoid of a discrete group acting on a topological space $X$ is a translation groupoid given by the same group acting on the topological path space $X^I$. We give a detailed description of based path and loop groupoids and show that both are equivalent to topological spaces. We also establish the notion of homotopy and fibration in this context. △ Less

Submitted 16 November, 2021; v1 submitted 25 September, 2015; originally announced September 2015.

MSC Class: 55P35; 18B40; 58E40; 22A22 (Primary); 55R91; 58D19 (Secondary)

Journal ref: Algebr. Geom. Topol. 23 (2023) 1959-2008

Hochschild cohomology and string topology of global quotient orbifolds

Authors: Andres Angel, Erik Backelin, Bernardo Uribe

Abstract: Let M be a connected, simply connected, closed and oriented manifold, and G a finite group acting on M by orientation preserving diffeomorphisms. In this paper we show an explicit ring isomorphism between the orbifold string topology of the orbifold [M/G] and the Hochschild cohomology of the dg-ring obtained by performing the smash product between the group G and the singular cochain complex of M. Let M be a connected, simply connected, closed and oriented manifold, and G a finite group acting on M by orientation preserving diffeomorphisms. In this paper we show an explicit ring isomorphism between the orbifold string topology of the orbifold [M/G] and the Hochschild cohomology of the dg-ring obtained by performing the smash product between the group G and the singular cochain complex of M. △ Less

Submitted 7 June, 2012; v1 submitted 26 April, 2010; originally announced April 2010.

Comments: Revised version. Sections have been reorganized, and section 4.1 is new. Version accepted for publication in the Journal of Topology