Showing 1–27 of 27 results for author: Velásquez, M

Positive Scalar Curvature and crystallographic fundamental groups

Authors: Noe Barcenas, Mario Velasquez

Abstract: We examine positive and negative results for the Gromov-Lawson-Rosenberg Conjecture within the class of crystallographic groups. We give necessary conditions within the class of split extensions of free abelian by cyclic groups to satisfy the unstable Gromov-Lawson-Rosenberg Conjecture. We also give necessary conditions within the same class of groups, producing an infinite number of counterexampl… ▽ More We examine positive and negative results for the Gromov-Lawson-Rosenberg Conjecture within the class of crystallographic groups. We give necessary conditions within the class of split extensions of free abelian by cyclic groups to satisfy the unstable Gromov-Lawson-Rosenberg Conjecture. We also give necessary conditions within the same class of groups, producing an infinite number of counterexamples for the conjecture. △ Less

Submitted 21 March, 2025; v1 submitted 14 March, 2025; originally announced March 2025.

Rigidity and nonexistence of complete spacelike hypersurfaces in the steady state space

Authors: Weiller F. C. Barboza, Henrique F. de Lima, Marco Antonio L. Velásquez

Abstract: We study complete spacelike hypersurfaces immersed in an open region of the de Sitter space $\mathbb{S}^{n+1}_{1}$ which is known as the steady state space $\mathcal{H}^{n+1}$. In this setting, under suitable constraints on the behavior of the higher order mean curvatures of these hypersurfaces, we prove that they must be spacelike hyperplanes of $\mathcal{H}^{n+1}$. Nonexistence results concernin… ▽ More We study complete spacelike hypersurfaces immersed in an open region of the de Sitter space $\mathbb{S}^{n+1}_{1}$ which is known as the steady state space $\mathcal{H}^{n+1}$. In this setting, under suitable constraints on the behavior of the higher order mean curvatures of these hypersurfaces, we prove that they must be spacelike hyperplanes of $\mathcal{H}^{n+1}$. Nonexistence results concerning these spacelike hypersurfaces are also given. Our approach is based on a suitable extension of the Omori-Yau's generalized maximum principle due to Alías, Impera and Rigoli in [5]. △ Less

Submitted 20 January, 2025; originally announced January 2025.

On the $K$-theory of groups of the form $\mathbb{Z}^n\rtimes \mathbb{Z}/m$ with $m$ square-free

Authors: Luis Jorge Sánchez Saldaña, Mario Velásquez

Abstract: We provide an explicit computation of the topological $K$-theory groups $K_*(C_r^*(\mathbb{Z}^n\rtimes \mathbb{Z}/m))$ of semidirect products of the form $\mathbb{Z}^n\rtimes \mathbb{Z}Z/m$ with $m$ square-free. We want to highlight the fact that we are not impossing any conditions on the $\Z/m$-action on $\mathbb{Z}^n$. This generalizes previous computations of Lück-Davis and Langer-Lück. We provide an explicit computation of the topological $K$-theory groups $K_*(C_r^*(\mathbb{Z}^n\rtimes \mathbb{Z}/m))$ of semidirect products of the form $\mathbb{Z}^n\rtimes \mathbb{Z}Z/m$ with $m$ square-free. We want to highlight the fact that we are not impossing any conditions on the $\Z/m$-action on $\mathbb{Z}^n$. This generalizes previous computations of Lück-Davis and Langer-Lück. △ Less

Submitted 11 October, 2024; originally announced October 2024.

Comments: 10 pages. Comments are welcome

On the group cohomology of groups of the form $\mathbb{Z}^n\rtimes \mathbb{Z}/m$ with $m$ free of squares

Authors: Luis Jorge Sánchez Saldaña, Mario Velásquez

Abstract: We provide an explicit computation of the cohomology groups (with untwisted coefficients) of semidirect products of the form $\mathbb{Z}^n\rtimes \mathbb{Z}/m$ with $m$ free of squares, by means of formulas that only depend on $n$, $m$ and the action of $\mathbb{Z}/m$ on $\mathbb{Z}^n$. We want to highlight the fact that we are not impossing any conditions on the $\mathbb{Z}/m$-action on… ▽ More We provide an explicit computation of the cohomology groups (with untwisted coefficients) of semidirect products of the form $\mathbb{Z}^n\rtimes \mathbb{Z}/m$ with $m$ free of squares, by means of formulas that only depend on $n$, $m$ and the action of $\mathbb{Z}/m$ on $\mathbb{Z}^n$. We want to highlight the fact that we are not impossing any conditions on the $\mathbb{Z}/m$-action on $\mathbb{Z}^n$, and as far as we know our formulas are the first in the literature in this generality. This generalizes previous computations of Lück-Davis and Adem-Ge-Pan-Petrosyan. In order to show that our formulas are usable, we develop a concrete example of the form $\mathbb{Z}^5\rtimes \mathbb{Z}/6$ where its cohomology groups are described in full detail. △ Less

Submitted 21 March, 2024; originally announced March 2024.

MSC Class: 20J06; 55T25; 20K25; 20H15

Comparison of Dynamic Tomato Growth Models for Optimal Control in Greenhouses

Authors: Michael Fink, Annalena Daniels, Cheng Qian, Víctor Martínez Velásquez, Sahil Salotra, Dirk Wollherr

Abstract: As global demand for efficiency in agriculture rises, there is a growing interest in high-precision farming practices. Particularly greenhouses play a critical role in ensuring a year-round supply of fresh produce. In order to maximize efficiency and productivity while minimizing resource use, mathematical techniques such as optimal control have been employed. However, selecting appropriate models… ▽ More As global demand for efficiency in agriculture rises, there is a growing interest in high-precision farming practices. Particularly greenhouses play a critical role in ensuring a year-round supply of fresh produce. In order to maximize efficiency and productivity while minimizing resource use, mathematical techniques such as optimal control have been employed. However, selecting appropriate models for optimal control requires domain expertise. This study aims to compare three established tomato models for their suitability in an optimal control framework. Results show that all three models have similar yield predictions and accuracy, but only two models are currently applicable for optimal control due to implementation limitations. The two remaining models each have advantages in terms of economic yield and computation times, but the differences in optimal control strategies suggest that they require more accurate parameter identification and calibration tailored to greenhouses. △ Less

Submitted 11 August, 2023; originally announced August 2023.

Comments: 2023 IEEE International Conference on Agrosystem Engineering, Technology & Applications (AGRETA2023), Kuala Lumpur, Malaysia

A Fixed Point Decomposition of Twisted Equivariant K-Theory

Authors: Tom Dove, Thomas Schick, Mario Velásquez

Abstract: We present a decomposition of rational twisted $G$-equivariant K-theory, $G$ a finite group, into cyclic group equivariant K-theory groups of fixed point spaces. This generalises the untwisted decomposition by Atiyah and Segal as well as the decomposition by Adem and Ruan for twists coming from group cocycles. We present a decomposition of rational twisted $G$-equivariant K-theory, $G$ a finite group, into cyclic group equivariant K-theory groups of fixed point spaces. This generalises the untwisted decomposition by Atiyah and Segal as well as the decomposition by Adem and Ruan for twists coming from group cocycles. △ Less

Submitted 11 February, 2022; originally announced February 2022.

Comments: 16 pages

Journal ref: Proc. Amer. Math. Soc. 151 (2023), no. 11, 4593-4606

Conormal homology of manifolds with corners

Authors: Thomas Schick, Mario Velasquez

Abstract: Given a manifold with corners $X$, we associates to it the corner structure simplicial complex $Σ_X$. Its reduced K-homology is isomorphic to the K-theory of the $C^*$-algebra $\mathcal{K}_b(X)$ of b-compact operators on $X$. Moreover, the homology of $Σ_X$ is isomorphic to the conormal homology of $X$. In this note, we constract for an arbitrary abstract finite simplicial complex $Σ$ a manifold w… ▽ More Given a manifold with corners $X$, we associates to it the corner structure simplicial complex $Σ_X$. Its reduced K-homology is isomorphic to the K-theory of the $C^*$-algebra $\mathcal{K}_b(X)$ of b-compact operators on $X$. Moreover, the homology of $Σ_X$ is isomorphic to the conormal homology of $X$. In this note, we constract for an arbitrary abstract finite simplicial complex $Σ$ a manifold with corners $X$ such that $Σ_X\cong Σ$. As a consequence, the homology and K-homology which occur for finite simplicial complexes also occur as conormal homology of manifolds with corners and as K-theory of their b-compact operators. In particular, these groups can contain torsion. △ Less

Submitted 4 October, 2022; v1 submitted 26 November, 2021; originally announced November 2021.

Comments: 10 pages, minor revision

Hecke operators in Bredon (co)homology, K-(co)homology and Bianchi groups

Authors: David Muñoz, Jorge Plazas, Mario Velásquez

Abstract: In this article we provide a framework for the study of Hecke operators acting on the Bredon (co)homology of an arithmetic discrete group. Our main interest lies in the study of Hecke operators for Bianchi groups. Using the Baum-Connes conjecture, we can transfer computations in Bredon homology to obtain a Hecke action on the $K$-theory of the reduced $C^{*}$-algebra of the group. We show the powe… ▽ More In this article we provide a framework for the study of Hecke operators acting on the Bredon (co)homology of an arithmetic discrete group. Our main interest lies in the study of Hecke operators for Bianchi groups. Using the Baum-Connes conjecture, we can transfer computations in Bredon homology to obtain a Hecke action on the $K$-theory of the reduced $C^{*}$-algebra of the group. We show the power of this method giving explicit computations for the group $SL_2(\mathbb{Z}[i])$. In order to carry out these computations we use an Atiyah-Segal type spectral sequence together with the Bredon homology of the classifying space for proper actions. △ Less

Submitted 19 August, 2021; v1 submitted 24 January, 2021; originally announced January 2021.

Comments: 26 pages, minor changes. To appear in JTA

MSC Class: 19L47

The topological K-theory of crystallographic groups with holonomy $\mathbb{Z}/2$

Authors: Mario Velásquez

Abstract: In this note we present a complete computation of the topological K-theory of the reduced C*-algebra of a semidirect product of the form $Γ=\mathbb{Z}^n\rtimes_ρ\mathbb{Z}/2$ with no further assumptions about of the conjugacy action $ρ$. For this, we use some results for $\mathbb{Z}/2$-equivariant K-theory proved by Rosenberg and previous results of Davis and Luck when the conjugacy action $ρ$ is… ▽ More In this note we present a complete computation of the topological K-theory of the reduced C*-algebra of a semidirect product of the form $Γ=\mathbb{Z}^n\rtimes_ρ\mathbb{Z}/2$ with no further assumptions about of the conjugacy action $ρ$. For this, we use some results for $\mathbb{Z}/2$-equivariant K-theory proved by Rosenberg and previous results of Davis and Luck when the conjugacy action $ρ$ is free outside the origin. △ Less

Submitted 21 September, 2020; originally announced September 2020.

Comments: 6 pages

MSC Class: 19L47

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

On Fredholm boundary conditions on manifolds with corners I: Global corner's cycles obstructions

Authors: Paulo Carrillo Rouse, Jean-Marie Lescure, Mario Velasquez

Abstract: Given a connected manifold with corners of any codimension there is a very basic and computable homology theory called conormal homology defined in terms of faces and orientations of their conormal bundles, and whose cycles correspond geometrically to corner's cycles. Our main theorem is that, for any manifold with corners $X$ of any codimension, there is a natural and explicit morphism… ▽ More Given a connected manifold with corners of any codimension there is a very basic and computable homology theory called conormal homology defined in terms of faces and orientations of their conormal bundles, and whose cycles correspond geometrically to corner's cycles. Our main theorem is that, for any manifold with corners $X$ of any codimension, there is a natural and explicit morphism $$K_*(\mathcal{K}_b(X)) \stackrel{T}{\longrightarrow} H^{pcn}_*(X,\mathbb{Q})$$ between the $K-$theory group of the algebra $\mathcal{K}_b(X)$ of $b$-compact operators for $X$ and the periodic conormal homology group with rational coeficients, and that $T$ is a rational isomorphism. As shown by the first two authors in a previous paper this computation implies that the rational groups $H^{pcn}_{ev}(X,\mathbb{Q})$ provide an obstruction to the Fredholm perturbation property for compact connected manifold with corners. The difference with respect to the previous article of the first two authors in which they solve this problem for low codimensions is that we overcome in the present article the problem of computing the higher spectral sequence K-theory differentials associated to the canonical filtration by codimension by introducing an explicit topological space whose singular cohomology is canonically isomorphic to the conormal homology and whose K-theory is naturally isomorphic to the $K-$theory groups of the algebra $\mathcal{K}_b(X)$. △ Less

Submitted 24 October, 2019; originally announced October 2019.

Comments: Comments welcome!

MSC Class: 19K56; 58J40; 58H05

Journal ref: Ann. K-Th. 6 (2021) 607-628

Induced character in equivariant K-theory and wreath products

Authors: Germán Combariza, Juan Rodríguez, Mario Velásquez

Abstract: Let $G$ be a finite group, $X$ be a compact $G$-space. In this note we study the $(\mathbb{Z}_ + \times\mathbb{Z}/2\mathbb{Z})$-graded algebra $$\mathcal{F}^q_G(X) = \bigoplus_{n\geq0} q^n \cdot K_{G\wr\mathfrak{S}_n}(X^n)\otimes\mathbb{C},$$ defined in terms of equivariant K-theory with respect to wreath products as a symmetric algebra. More specifically, let $H$ be another finite group and $Y$ b… ▽ More Let $G$ be a finite group, $X$ be a compact $G$-space. In this note we study the $(\mathbb{Z}_ + \times\mathbb{Z}/2\mathbb{Z})$-graded algebra $$\mathcal{F}^q_G(X) = \bigoplus_{n\geq0} q^n \cdot K_{G\wr\mathfrak{S}_n}(X^n)\otimes\mathbb{C},$$ defined in terms of equivariant K-theory with respect to wreath products as a symmetric algebra. More specifically, let $H$ be another finite group and $Y$ be a compact $H$-space, we give a decomposition of $\mathcal{F}^q_{G\times H}(X\times Y)$ in terms of $\mathcal{F}^q_G(X)$ and $\mathcal{F}^q_H(Y)$. For this, we need to study the representation theory of pullbacks of groups. We discuss also some applications of the above result to equivariant connective K-homology. △ Less

Submitted 20 November, 2019; v1 submitted 19 February, 2019; originally announced February 2019.

Comments: New version with minor changes

The algebraic and topological K-theory of the Hilbert Modular Group

Authors: Luis Jorge Sánchez Saldaña, Mario Velásquez

Abstract: In this paper we provide descriptions of the Whitehead groups with coefficients in a ring of the Hilbert modular group and its reduced version, as well as for the topological K-theory of $C^*$-algebras, after tensoring with $\mathbb{Q}$, by computing the source of the assembly maps in the Farrell-Jones and the Baum-Connes conjecture respectively. We also construct a model for the classifying space… ▽ More In this paper we provide descriptions of the Whitehead groups with coefficients in a ring of the Hilbert modular group and its reduced version, as well as for the topological K-theory of $C^*$-algebras, after tensoring with $\mathbb{Q}$, by computing the source of the assembly maps in the Farrell-Jones and the Baum-Connes conjecture respectively. We also construct a model for the classifying space of the Hilbert modular group for the family of virtually cyclic subgroups. △ Less

Submitted 14 June, 2017; originally announced June 2017.

A description of the assembly map for the Baum-Connes conjecture with coefficients

Authors: Mario Velásquez

Abstract: In this note we set a configuration space description of the equivariant connective K-homology groups with coefficients in a unital C*-algebra for proper actions. Over this model we define a connective assembly map and prove that in this setting is possible to recover the analytic assembly map. In this note we set a configuration space description of the equivariant connective K-homology groups with coefficients in a unital C*-algebra for proper actions. Over this model we define a connective assembly map and prove that in this setting is possible to recover the analytic assembly map. △ Less

Submitted 1 February, 2019; v1 submitted 11 November, 2016; originally announced November 2016.

Comments: 15 pages. New version, comments are welcome. To appear in NYMJ

MSC Class: 19L41; 19L47; 55N91; 19K35

$φ$-parabolicity and the uniqueness of spacelike hypersurfaces immersed in a spatially weighted GRW spacetime

Authors: Alma L. Albujer, Henrique F. de Lima, Arlandson M. Oliveira, Marco Antonio L. Velásquez

Abstract: In this paper, we extend a technique due to Romero, Rubio and Salamanca establishing sufficient conditions to guarantee the parabolicity of complete spacelike hypersurfaces immersed in a weighted generalized Robertson-Walker spacetime whose fiber has phi-parabolic universal Riemannian covering. As some applications of this criteria, we obtain uniqueness results concerning spacelikes hypersurfaces… ▽ More In this paper, we extend a technique due to Romero, Rubio and Salamanca establishing sufficient conditions to guarantee the parabolicity of complete spacelike hypersurfaces immersed in a weighted generalized Robertson-Walker spacetime whose fiber has phi-parabolic universal Riemannian covering. As some applications of this criteria, we obtain uniqueness results concerning spacelikes hypersurfaces immersed in spatially weighted generalized Robertson-Walker spacetimes. Furthermore, Calabi-Bernstein type results are also given. △ Less

Submitted 14 April, 2016; originally announced April 2016.

Comments: 11 pages. arXiv admin note: text overlap with arXiv:1604.04117

MSC Class: Primary 53C42; 53A07; Secondary 35P15

Journal ref: Mediterr. J. Math. 15, 84 (2018)

Rigidity of spacelike hypersurfaces in spatially weighted generalized Robertson-Walker spacetimes

Authors: Alma L. Albujer, Henrique F. de Lima, Arlandson M. Oliveira, Marco Antonio L. Velásquez

Abstract: Our purpose in this paper is to apply some maximum principles in order to study the rigidity of complete spacelike hypersurfaces immersed in a spatially weighted generalized Robertson-Walker (GRW) spacetime, which is supposed to obey the so called strong null convergence condition. Under natural constraints on the weight function and on the f-mean curvature, we establish sufficient conditions to g… ▽ More Our purpose in this paper is to apply some maximum principles in order to study the rigidity of complete spacelike hypersurfaces immersed in a spatially weighted generalized Robertson-Walker (GRW) spacetime, which is supposed to obey the so called strong null convergence condition. Under natural constraints on the weight function and on the f-mean curvature, we establish sufficient conditions to guarantee that such a hypersurface must be a slice of the ambient space. In this setting, we also obtain new Calabi-Bernstein type results concerning entire graphs in a spatially weighted GRW spacetime. △ Less

Submitted 14 April, 2016; originally announced April 2016.

Comments: 11 pages

MSC Class: Primary 53C42; 53A07; Secondary 35P15

A Kunneth formula for Bredon cohomology of pullbacks and twisted K-theory of some 6-dimensional orbifolds

Authors: German Combariza, Mario Velasquez

Abstract: In this paper we show a Kunneth formula for Bredon cohomology for actions of a pullback of groups. We show how this formula can be used to compute orbifold twisted K-theory for some discrete twistings. Using that result we compute orbifold K-theory for some 6-dimensional orbifolds introduced by Vafa and Witten. These examples also show the limitations of the method. In this paper we show a Kunneth formula for Bredon cohomology for actions of a pullback of groups. We show how this formula can be used to compute orbifold twisted K-theory for some discrete twistings. Using that result we compute orbifold K-theory for some 6-dimensional orbifolds introduced by Vafa and Witten. These examples also show the limitations of the method. △ Less

Submitted 20 January, 2016; v1 submitted 9 December, 2015; originally announced December 2015.

Comments: Some remarks added. Minor corrections

Multiplicative Structures and the Twisted Baum-Connes Assembly map

Authors: Noé Bárcenas, Paulo Carrillo Rouse, Mario Velásquez

Abstract: Using a combination of Atiyah-Segal ideas on one side and of Connes and Baum-Connes ideas on the other, we prove that the Twisted geometric K-homology groups of a Lie groupoid have an external multiplicative structure extending hence the external product structures for proper cases considered by Adem-Ruan in [1] or by Tu,Xu and Laurent-Gengoux in [24]. These Twisted geometric K-homology groups are… ▽ More Using a combination of Atiyah-Segal ideas on one side and of Connes and Baum-Connes ideas on the other, we prove that the Twisted geometric K-homology groups of a Lie groupoid have an external multiplicative structure extending hence the external product structures for proper cases considered by Adem-Ruan in [1] or by Tu,Xu and Laurent-Gengoux in [24]. These Twisted geometric K-homology groups are the left hand sides of the twisted geometric Baum-Connes assembly maps recently constructed in [9] and hence one can transfer the multiplicative structure via the Baum-Connes map to the Twisted K-theory groups whenever this assembly maps are isomorphisms. △ Less

Submitted 30 March, 2016; v1 submitted 21 January, 2015; originally announced January 2015.

Comments: 27 pages. We thank the collegue that revised a previous version of this paper for his accurate comments and remarks that allow us to correct some imprecisions and clarify and improve the contents of this work

The Completion Theorem in twisted equivariant $K$-Theory for proper and discrete actions

Authors: Noe Barcenas, Mario Velasquez

Abstract: We compare different algebraic structures in twisted equivariant K-Theory for proper actions of discrete groups. After the construction of a module structure over untwisted equivariant K-Theory, we prove a completion Theorem of Atiyah-Segal type for twisted equivariant K-Theory. Using a Universal coefficient Theorem, we prove a cocompletion Theorem for Twisted Borel K-Homology for discrete Groups. We compare different algebraic structures in twisted equivariant K-Theory for proper actions of discrete groups. After the construction of a module structure over untwisted equivariant K-Theory, we prove a completion Theorem of Atiyah-Segal type for twisted equivariant K-Theory. Using a Universal coefficient Theorem, we prove a cocompletion Theorem for Twisted Borel K-Homology for discrete Groups. △ Less

Submitted 13 January, 2019; v1 submitted 11 August, 2014; originally announced August 2014.

Comments: Major revision

Equivariant K-Theory of Central Extensions and Twisted Equivariant K-theory: Sl3(Z) and St3(Z)

Authors: Noe Barcenas, Mario Velasquez

Abstract: We compare twisted Equivariant K-theory of Sl3Z with untwisted equivariant K-Theory of its universal central extension, St3Z. Using universal coefficient theorems by the authors, the computations explained here give the domain of Baum-Connes assembly maps landing on the topological K-theory of twisted group C*-algebras related to Sl3Z, for which a version of Poincaré Duality studied previously by… ▽ More We compare twisted Equivariant K-theory of Sl3Z with untwisted equivariant K-Theory of its universal central extension, St3Z. Using universal coefficient theorems by the authors, the computations explained here give the domain of Baum-Connes assembly maps landing on the topological K-theory of twisted group C*-algebras related to Sl3Z, for which a version of Poincaré Duality studied previously by Echterhoff, Emerson and Kim is verified. △ Less

Submitted 15 August, 2014; v1 submitted 21 November, 2013; originally announced November 2013.

Comments: Major revision, correction of the main result. arXiv admin note: text overlap with arXiv:math/0601587 by other authors

Bredon Cohomology, K theory and K homology of Pullbacks of groups

Authors: Noe Barcenas, Daniel Juan-Pineda, Mario Velasquez

Abstract: We develop an Eilenberg-Moore spectral sequence to compute Bredon cohomology of spaces with an action of a group given as a pullback. Using several other spectral sequences, and positive results on the Baum-Connes Conjecture, we are able to compute Equivariant K-theory and K-Homology of the reduced group C*-algebra of a 6-dimensional crystallographic group $Γ$ introduced by Vafa and Witten. We als… ▽ More We develop an Eilenberg-Moore spectral sequence to compute Bredon cohomology of spaces with an action of a group given as a pullback. Using several other spectral sequences, and positive results on the Baum-Connes Conjecture, we are able to compute Equivariant K-theory and K-Homology of the reduced group C*-algebra of a 6-dimensional crystallographic group $Γ$ introduced by Vafa and Witten. We also use positive results on the Farrell-Jones Conjecture to give a vanishing result for the negative algebraic K-theory of the integral group ring of $Γ$. △ Less

Submitted 18 August, 2014; v1 submitted 13 November, 2013; originally announced November 2013.

Segal's spectral sequence in twisted equivariant K-theory for proper and discrete actions

Authors: Noe Barcenas, Jesus Espinoza, Bernardo Uribe, Mario Velasquez

Abstract: We use a spectral sequence developed by Graeme Segal in order to understand the twisted G-equivariant K-theory for proper and discrete actions. We show that the second page of this spectral sequence is isomorphic to a version of Bredon cohomology with local coefficients in twisted representations. We furthermore explain some phenomena concerning the third differential of the spectral sequence, and… ▽ More We use a spectral sequence developed by Graeme Segal in order to understand the twisted G-equivariant K-theory for proper and discrete actions. We show that the second page of this spectral sequence is isomorphic to a version of Bredon cohomology with local coefficients in twisted representations. We furthermore explain some phenomena concerning the third differential of the spectral sequence, and we recover known results when the twisting comes from finite order elements in discrete torsion. △ Less

Submitted 26 June, 2015; v1 submitted 3 July, 2013; originally announced July 2013.

Comments: 25 pages. Corrected version. arXiv admin note: text overlap with arXiv:math/0411656 by other authors

MSC Class: 19L47; 19L50; 55N91

Journal ref: Proc. Edinb. Math. Soc. (2) 61 (2018), no. 1, 121-150

Twisted equivariant K- Theory and K-Homology of Sl3(Z)

Authors: Noe Barcenas, Mario Velasquez

Abstract: Replaces Previous version. Includes comments on poincare duality for twisted equivariant in the context of proper and discrete actions and the Baum-Connes Conjecture. We use a spectral sequence proposed by C. Dwyer and previous work by Sanchez-Garcia and Soule to compute Twisted Equivariant K-theory groups of the classifying space for proper actions of Sl3(Z). After proving a Universal coefficient… ▽ More Replaces Previous version. Includes comments on poincare duality for twisted equivariant in the context of proper and discrete actions and the Baum-Connes Conjecture. We use a spectral sequence proposed by C. Dwyer and previous work by Sanchez-Garcia and Soule to compute Twisted Equivariant K-theory groups of the classifying space for proper actions of Sl3(Z). After proving a Universal coefficient theorem in Bredon Cohomology with specific coefficients, we compute the twisted equivariant K-homology and state a relation to the Baum-Connes Conjecture with coefficients. △ Less

Submitted 22 August, 2013; v1 submitted 3 April, 2013; originally announced April 2013.

Comments: 1 Figure. arXiv admin note: text overlap with arXiv:math/0601587 by other authors

MSC Class: 19l47; 55N91; 46L80

Twisted K-Theory for the Orbifold [*/G]

Authors: Edward Becerra, Hermes Martinez, Mario Velasquez

Abstract: We study the relationship between the twisted Orbifold K-theories ${^α}K_{orb}(\textsl{X})$ and ${^{α'}}K_{orb}(\textsl{Y})$ for two different twists $α\in Z^3(G;S^1)$ and $α'\in Z^3(G';S^1)$ of the Orbifolds $\textsl{X}=[*/G]$ and $\textsl{Y}=[*/G']$ respectively, for $G$ and $G'$ finite groups. We prove that under suitable hypothesis over the twisting $α'$ and the group $G'$ we obtain an isomorp… ▽ More We study the relationship between the twisted Orbifold K-theories ${^α}K_{orb}(\textsl{X})$ and ${^{α'}}K_{orb}(\textsl{Y})$ for two different twists $α\in Z^3(G;S^1)$ and $α'\in Z^3(G';S^1)$ of the Orbifolds $\textsl{X}=[*/G]$ and $\textsl{Y}=[*/G']$ respectively, for $G$ and $G'$ finite groups. We prove that under suitable hypothesis over the twisting $α'$ and the group $G'$ we obtain an isomorphism between these twisted K-theories. △ Less

Submitted 5 February, 2013; v1 submitted 28 March, 2012; originally announced March 2012.

Comments: version accepted in Pacific Journal of Mathematics

Journal ref: Pacific J. Math. 264 (2013) 471-490

A configuration space for equivariant connective K-homology

Authors: Mario Velasquez

Abstract: Following ideas of Graeme Segal, we construct an equivariant con- figuration space that is a model of equivariant connective K-homology spec- trum for finite groups, as a consequence we obtain an induction structure for equivariant connective K-homology. We describe explicitly the homology with complex coefficients for the fixed points of this configuration space as a Hopf algebra. Following ideas of Graeme Segal, we construct an equivariant con- figuration space that is a model of equivariant connective K-homology spec- trum for finite groups, as a consequence we obtain an induction structure for equivariant connective K-homology. We describe explicitly the homology with complex coefficients for the fixed points of this configuration space as a Hopf algebra. △ Less

Submitted 11 June, 2015; v1 submitted 24 February, 2012; originally announced February 2012.

Comments: 30 pages, version accepted in JNG

On the Geometry of Conformally Stationary Lorentz Spaces

Authors: F. Camargo, A. Caminha, H. de Lima, M. Velasquez

Abstract: In this paper we study several aspects of the geometry of conformally stationary Lorentz manifolds, and particularly of GRW spaces, due to the presence of a closed conformal vector field. More precisely, we begin by extending to these spaces a result of J. Simons on the minimality of cones in Euclidean space, and apply it to the construction of complete, noncompact maximal submanifolds of both de… ▽ More In this paper we study several aspects of the geometry of conformally stationary Lorentz manifolds, and particularly of GRW spaces, due to the presence of a closed conformal vector field. More precisely, we begin by extending to these spaces a result of J. Simons on the minimality of cones in Euclidean space, and apply it to the construction of complete, noncompact maximal submanifolds of both de Sitter and anti-de Sitter spaces. Then we state and prove very general Bernstein-type theorems for spacelike hypersurfaces in conformally stationary Lorentz manifolds, one of which not assuming the hypersurface to be of constant mean curvature. Finally, we study the strong $r$-stability of spacelike hypersurfaces of constant $r$-th mean curvature in a conformally stationary Lorentz manifold of constant sectional curvature, extending previous results in the current literature. △ Less

Submitted 5 April, 2010; originally announced April 2010.

MSC Class: Primary 53C42; Secondary 53B30; 53C50; 53Z05; 83C99

$r$-Stable Hypersurfaces in Conformally Stationary Spacetimes

Authors: F. Camargo, A. Caminha, H. de Lima, M. Velásquez

Abstract: In this paper we study the r-stability of closed spacelike hypersurfaces with constant $r$-th mean curvature in conformally stationary spacetimes of constant sectional curvature. In this setting, we obtain a characterization of $r-$stability through the analysis of the first eigenvalue of an operator naturally attached to the $r$-th mean curvature. As an application, we treat the case in which t… ▽ More In this paper we study the r-stability of closed spacelike hypersurfaces with constant $r$-th mean curvature in conformally stationary spacetimes of constant sectional curvature. In this setting, we obtain a characterization of $r-$stability through the analysis of the first eigenvalue of an operator naturally attached to the $r$-th mean curvature. As an application, we treat the case in which the spacetime is the de Sitter space. △ Less

Submitted 1 March, 2010; originally announced March 2010.

MSC Class: Primary 53C42; Secondary 53B30; 53C50; 53Z05; 83C99