Showing 1–19 of 19 results for author: Gómez, J M

Logic-Based Discrete-Steepest Descent: A Solution Method for Process Synthesis Generalized Disjunctive Programs

Authors: Daniel Ovalle, David A. Liñán, Albert Lee, Jorge M. Gómez, Luis Ricardez-Sandoval, Ignacio E. Grossmann, David E. Bernal Neira

Abstract: The optimization of chemical processes is challenging due to the nonlinearities arising from process physics and discrete design decisions. In particular, optimal synthesis and design of chemical processes can be posed as a Generalized Disjunctive Programming (GDP) superstructure problem. Various solution methods are available to address these problems, such as reformulating them as Mixed-Integer… ▽ More The optimization of chemical processes is challenging due to the nonlinearities arising from process physics and discrete design decisions. In particular, optimal synthesis and design of chemical processes can be posed as a Generalized Disjunctive Programming (GDP) superstructure problem. Various solution methods are available to address these problems, such as reformulating them as Mixed-Integer Nonlinear Programming (MINLP) problems; nevertheless, algorithms explicitly designed to solve the GDP problem and potentially leverage its structure remain scarce. This paper presents the Logic-based Discrete-Steepest Descent Algorithm (LD-SDA) as a solution method for GDP problems involving ordered Boolean variables. The LD-SDA reformulates these ordered Boolean variables into integer decisions called external variables. The LD-SDA solves the reformulated GDP problem using a two-level decomposition approach where the upper-level subproblem determines external variable configurations. Subsequently, the remaining continuous and discrete variables are solved as a subproblem only involving those constraints relevant to the given external variable arrangement, effectively taking advantage of the structure of the GDP problem. The advantages of LD-SDA are illustrated through a batch processing case study, a reactor superstructure, a distillation column, and a catalytic distillation column, and its open-source implementation is available online. The results show convergence efficiency and solution quality improvements compared to conventional GDP and MINLP solvers. △ Less

Submitted 27 January, 2025; v1 submitted 8 May, 2024; originally announced May 2024.

Comments: 36 pages, 14 figures

Journal ref: Computers & Chemical Engineering, Volume 195, April 2025, Article Number 108993

A stable splitting for spaces of commuting elements in unitary groups

Authors: Alejandro Adem, José Manuel Gómez, Simon Gritschacher

Abstract: We prove an analogue of Miller's stable splitting of the unitary group $U(m)$ for spaces of commuting elements in $U(m)$. After inverting $m!$, the space $\text{Hom}(\mathbb{Z}^n,U(m))$ splits stably as a wedge of Thom-like spaces of bundles of commuting varieties over certain partial flag manifolds. Using Steenrod operations we prove that our splitting does not hold integrally. Analogous decompos… ▽ More We prove an analogue of Miller's stable splitting of the unitary group $U(m)$ for spaces of commuting elements in $U(m)$. After inverting $m!$, the space $\text{Hom}(\mathbb{Z}^n,U(m))$ splits stably as a wedge of Thom-like spaces of bundles of commuting varieties over certain partial flag manifolds. Using Steenrod operations we prove that our splitting does not hold integrally. Analogous decompositions for symplectic and orthogonal groups as well as homological results for the one-point compactification of the commuting variety in a Lie algebra are also provided. △ Less

Submitted 27 January, 2025; v1 submitted 14 April, 2024; originally announced April 2024.

Comments: To appear in Journal of the London Mathematical Society

On the second homotopy group of spaces of commuting elements in Lie groups

Authors: Alejandro Adem, José Manuel Gómez, Simon Gritschacher

Abstract: Let $G$ be a compact connected Lie group and $n\geqslant 1$ an integer. Consider the space of ordered commuting $n$-tuples in $G$, $Hom(\mathbb{Z}^n,G)$, and its quotient under the adjoint action, $Rep(\mathbb{Z}^n,G):=Hom(\mathbb{Z}^n,G)/G$. In this article we study and in many cases compute the homotopy groups $π_2(Hom(\mathbb{Z}^n,G))$. For $G$ simply--connected and simple we show that… ▽ More Let $G$ be a compact connected Lie group and $n\geqslant 1$ an integer. Consider the space of ordered commuting $n$-tuples in $G$, $Hom(\mathbb{Z}^n,G)$, and its quotient under the adjoint action, $Rep(\mathbb{Z}^n,G):=Hom(\mathbb{Z}^n,G)/G$. In this article we study and in many cases compute the homotopy groups $π_2(Hom(\mathbb{Z}^n,G))$. For $G$ simply--connected and simple we show that $π_2(Hom(\mathbb{Z}^2,G))\cong \mathbb{Z}$ and $π_2(Rep(\mathbb{Z}^2,G))\cong \mathbb{Z}$, and that on these groups the quotient map $Hom(\mathbb{Z}^2,G)\to Rep(\mathbb{Z}^2,G)$ induces multiplication by the Dynkin index of $G$. More generally we show that if $G$ is simple and $Hom(\mathbb{Z}^2,G)_{1}\subseteq Hom(\mathbb{Z}^2,G)$ is the path--component of the trivial homomorphism, then $H_2(Hom(\mathbb{Z}^2,G)_{1};\mathbb{Z})$ is an extension of the Schur multiplier of $π_1(G)^2$ by $\mathbb{Z}$. We apply our computations to prove that if $B_{com}G_{1}$ is the classifying space for commutativity at the identity component, then $π_4(B_{com}G_{1})\cong \mathbb{Z}\oplus \mathbb{Z}$, and we construct examples of non-trivial transitionally commutative structures on the trivial principal $G$-bundle over the sphere $\mathbb{S}^{4}$. △ Less

Submitted 8 October, 2021; v1 submitted 18 September, 2020; originally announced September 2020.

Comments: Final version accepted for publication (open access CC-BY) in Int. Math. Res. Not. IMRN

Report number: GeoTop-DNRF151

Journal ref: Int. Math. Res. Not. IMRN (2021)

A Decomposition of Twisted Equivariant $K$-Theory

Authors: José Manuel Gómez, Johana Ramírez

Abstract: For $G$ a finite group, a normalized 2-cocycle $α\in Z^{2}\big(G,{\mathbb S}^{1}\big)$ and $X$ a $G$-space on which a normal subgroup $A$ acts trivially, we show that the $α$-twisted $G$-equivariant $K$-theory of $X$ decomposes as a direct sum of twisted equivariant $K$-theories of $X$ parametrized by the orbits of an action of $G$ on the set of irreducible $α$-projective representations of $A$. T… ▽ More For $G$ a finite group, a normalized 2-cocycle $α\in Z^{2}\big(G,{\mathbb S}^{1}\big)$ and $X$ a $G$-space on which a normal subgroup $A$ acts trivially, we show that the $α$-twisted $G$-equivariant $K$-theory of $X$ decomposes as a direct sum of twisted equivariant $K$-theories of $X$ parametrized by the orbits of an action of $G$ on the set of irreducible $α$-projective representations of $A$. This generalizes the decomposition obtained in [Gómez J.M., Uribe B., Internat. J. Math. 28 (2017), 1750016, 23 pages, arXiv:1604.01656] for equivariant $K$-theory. We also explore some examples of this decomposition for the particular case of the dihedral groups $D_{2n}$ with $n\ge 2$ an even integer. △ Less

Submitted 21 April, 2021; v1 submitted 7 January, 2020; originally announced January 2020.

Journal ref: SIGMA 17 (2021), 041, 20 pages

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

Twisted equivariant K-theory of compact Lie group actions with maximal rank isotropy

Authors: Alejandro Adem, José Cantarero, José Manuel Gómez

Abstract: We consider twisted equivariant K--theory for actions of a compact Lie group $G$ on a space $X$ where all the isotropy subgroups are connected and of maximal rank. We show that the associated rational spectral sequence à la Segal has a simple $E_2$--term expressible as invariants under the Weyl group of $G$. Namely, if $T$ is a maximal torus of $G$, they are invariants of the $π_1(X^T)$-equivarian… ▽ More We consider twisted equivariant K--theory for actions of a compact Lie group $G$ on a space $X$ where all the isotropy subgroups are connected and of maximal rank. We show that the associated rational spectral sequence à la Segal has a simple $E_2$--term expressible as invariants under the Weyl group of $G$. Namely, if $T$ is a maximal torus of $G$, they are invariants of the $π_1(X^T)$-equivariant Bredon cohomology of the universal cover of $X^T$ with suitable coefficients. In the case of the inertia stack $ΛY$ this term can be expressed using the cohomology of $Y^T$ and algebraic invariants associated to the Lie group and the twisting. A number of calculations are provided. In particular, we recover the rational Verlinde algebra when $Y=\{*\}$. △ Less

Submitted 21 October, 2018; v1 submitted 4 September, 2017; originally announced September 2017.

Comments: To appear in Journal of Mathematical Physics. Some mistakes have been corrected in Section 2

MSC Class: 19L50; 19L47; 55N91

Journal ref: J. Math. Phys. 59, 113502 (2018)

A decomposition of equivariant K-theory in twisted equivariant K-theories

Authors: José Manuel Gómez, Bernardo Uribe

Abstract: For G a finite group and X a G-space on which a normal subgroup A acts trivially, we show that the G-equivariant K-theory of X decomposes as a direct sum of twisted equivariant K-theories of X parametrized by the orbits of the conjugation action of G on the irreducible representations of A. The twists are group 2-cocycles which encode the obstruction of lifting an irreducible representation of A t… ▽ More For G a finite group and X a G-space on which a normal subgroup A acts trivially, we show that the G-equivariant K-theory of X decomposes as a direct sum of twisted equivariant K-theories of X parametrized by the orbits of the conjugation action of G on the irreducible representations of A. The twists are group 2-cocycles which encode the obstruction of lifting an irreducible representation of A to the subgroup of G which fixes the isomorphism class of the irreducible representation. △ Less

Submitted 27 January, 2017; v1 submitted 6 April, 2016; originally announced April 2016.

Comments: Shorter version version. 20 pages. Accepted for publication in IJM

MSC Class: 19L47

Journal ref: Internat. J. Math. 28 (2017), no. 2, 1750016, 23 pp

Infinite loop spaces and nilpotent K-theory

Authors: Alejandro Adem, José Manuel Gómez, John A. Lind, Ulrike Tillmann

Abstract: Using a construction derived from the descending central series of the free groups, we produce filtrations by infinite loop spaces of the classical infinite loop spaces $BSU$, $BU$, $BSO$, $BO$, $BSp$, $BGL_{\infty}(R)^{+}$ and $Q_0(\mathbb{S}^{0})$. We show that these infinite loop spaces are the zero spaces of non-unital $E_\infty$-ring spectra. We introduce the notion of $q$-nilpotent K-theory… ▽ More Using a construction derived from the descending central series of the free groups, we produce filtrations by infinite loop spaces of the classical infinite loop spaces $BSU$, $BU$, $BSO$, $BO$, $BSp$, $BGL_{\infty}(R)^{+}$ and $Q_0(\mathbb{S}^{0})$. We show that these infinite loop spaces are the zero spaces of non-unital $E_\infty$-ring spectra. We introduce the notion of $q$-nilpotent K-theory of a CW-complex $X$ for any $q\ge 2$, which extends the notion of commutative K-theory defined by Adem-Gómez, and show that it is represented by $\mathbb Z\times B(q,U)$, were $B(q,U)$ is the $q$-th term of the aforementioned filtration of $BU$. For the proof we introduce an alternative way of associating an infinite loop space to a commutative $\mathbb{I}$-monoid and give criteria when it can be identified with the plus construction on the associated limit space. Furthermore, we introduce the notion of a commutative $\mathbb{I}$-rig and show that they give rise to non-unital $E_\infty$-ring spectra. △ Less

Submitted 30 September, 2016; v1 submitted 9 March, 2015; originally announced March 2015.

Comments: To appear in Algebraic and geometric topology

Journal ref: Algebr. Geom. Topol. 17 (2017) 869-893

A classifying space for commutativity in Lie groups

Authors: Alejandro Adem, José Manuel Gómez

Abstract: In this article we consider a space B_{com}G assembled from commuting elements in a Lie group G first defined in [Adem, Cohen, Torres-Giese 2012]. We describe homotopy-theoretic properties of these spaces using homotopy colimits, and their role as a classifying space for transitionally commutative bundles. We prove that ZxB_{com}U is a loop space and define a notion of commutative K-theory for bun… ▽ More In this article we consider a space B_{com}G assembled from commuting elements in a Lie group G first defined in [Adem, Cohen, Torres-Giese 2012]. We describe homotopy-theoretic properties of these spaces using homotopy colimits, and their role as a classifying space for transitionally commutative bundles. We prove that ZxB_{com}U is a loop space and define a notion of commutative K-theory for bundles over a finite complex X which is isomorphic to [X,ZxB_{com}U]. We compute the rational cohomology of B_{com}G for G equal to any of the classical groups U(n), SU(n) and Sp(n), and exhibit the rational cohomologies of B_{com}U, B_{com}SU and B_{com}Sp as explicit polynomial rings. △ Less

Submitted 13 July, 2014; v1 submitted 31 August, 2013; originally announced September 2013.

Comments: Final version. To appear in Algebraic and Geometric Topology

Journal ref: Algebr. Geom. Topol. 15 (2015) 493-535

A basis for the diagonally signed-symmetric polynomials

Authors: José Manuel Gómez

Abstract: Let n>0 be an integer and let B_{n} denote the hyperoctahedral group of rank n. The group B_{n} acts on the polynomial ring Q[x_{1},...,x_{n},y_{1},...,y_{n}] by signed permutations simultaneously on both of the sets of variables x_{1},...,x_{n} and y_{1},...,y_{n}. The invariant ring M^{B_{n}}:=Q[x_{1},...,x_{n},y_{1},...,y_{n}]^{B_{n}} is the ring of diagonally signed-symmetric polynomials. In t… ▽ More Let n>0 be an integer and let B_{n} denote the hyperoctahedral group of rank n. The group B_{n} acts on the polynomial ring Q[x_{1},...,x_{n},y_{1},...,y_{n}] by signed permutations simultaneously on both of the sets of variables x_{1},...,x_{n} and y_{1},...,y_{n}. The invariant ring M^{B_{n}}:=Q[x_{1},...,x_{n},y_{1},...,y_{n}]^{B_{n}} is the ring of diagonally signed-symmetric polynomials. In this article we provide an explicit free basis of M^{B_{n}} as a module over the ring of symmetric polynomials on both of the sets of variables x_{1}^{2},..., x^{2}_{n} and y_{1}^{2},..., y^{2}_{n} using signed descent monomials. △ Less

Submitted 20 March, 2013; v1 submitted 14 March, 2013; originally announced March 2013.

Comments: Reference added

MSC Class: 05E10; 13A50; 13F20; 20C30

On the structure of spaces of commuting elements in compact Lie groups

Authors: Alejandro Adem, José Manuel Gómez

Abstract: In this note we study topological invariants of the spaces of homomorphisms Hom(π,G), where π is a finitely generated abelian group and G is a compact Lie group arising as an arbitrary finite product of the classical groups SU(r), U(q) and Sp(k). In this note we study topological invariants of the spaces of homomorphisms Hom(π,G), where π is a finitely generated abelian group and G is a compact Lie group arising as an arbitrary finite product of the classical groups SU(r), U(q) and Sp(k). △ Less

Submitted 24 March, 2012; originally announced March 2012.

Comments: Accepted for publication in the proceedings of the conference: Configuration spaces: Geometry, Combinatorics and Topology. Scuola Normale Superiore

Equivariant K-theory of compact Lie group actions with maximal rank isotropy

Authors: Alejandro Adem, José Manuel Gómez

Abstract: Let G denote a compact connected Lie group with torsion-free fundamental group acting on a compact space X such that all the isotropy subgroups are connected subgroups of maximal rank. Let $T\subset G$ be a maximal torus with Weyl group W. If the fixed-point set $X^T$ has the homotopy type of a finite W-CW complex, we prove that the rationalized complex equivariant K-theory of X is a free module o… ▽ More Let G denote a compact connected Lie group with torsion-free fundamental group acting on a compact space X such that all the isotropy subgroups are connected subgroups of maximal rank. Let $T\subset G$ be a maximal torus with Weyl group W. If the fixed-point set $X^T$ has the homotopy type of a finite W-CW complex, we prove that the rationalized complex equivariant K-theory of X is a free module over the representation ring of G. Given additional conditions on the W-action on the fixed-point set $X^T$ we show that the equivariant K-theory of X is free over R(G). We use this to provide computations for a number of examples, including the ordered n-tuples of commuting elements in G with the conjugation action. △ Less

Submitted 21 March, 2012; originally announced March 2012.

Comments: Accepted for publication by the Journal of Topology

Actions of Eilenberg-MacLane spaces on K-theory spectra and uniqueness of twisted K-theory

Authors: Benjamin Antieau, David Gepner, José Manuel Gómez

Abstract: We prove the uniqueness of twisted K-theory in both the real and complex cases using the computation of the K-theories of Eilenberg-MacLane spaces due to Anderson and Hodgkin. As an application of our method, we give some vanishing results for actions of Eilenberg-MacLane spaces on K-theory spectra. We prove the uniqueness of twisted K-theory in both the real and complex cases using the computation of the K-theories of Eilenberg-MacLane spaces due to Anderson and Hodgkin. As an application of our method, we give some vanishing results for actions of Eilenberg-MacLane spaces on K-theory spectra. △ Less

Submitted 13 October, 2011; v1 submitted 24 June, 2011; originally announced June 2011.

Comments: 16 pages, submitted

MSC Class: 19L50; 55N15

Stable splittings, spaces of representations and almost commuting elements in Lie groups

Authors: Alejandro Adem, Frederick R. Cohen, Jose Manuel Gomez

Abstract: In this paper the space of almost commuting elements in a Lie group is studied through a homotopical point of view. In particular a stable splitting after one suspension is derived for these spaces and their quotients under conjugation. A complete description for the stable factors appearing in this splitting is provided for compact connected Lie groups of rank one.By using symmetric products, the… ▽ More In this paper the space of almost commuting elements in a Lie group is studied through a homotopical point of view. In particular a stable splitting after one suspension is derived for these spaces and their quotients under conjugation. A complete description for the stable factors appearing in this splitting is provided for compact connected Lie groups of rank one.By using symmetric products, the colimits $\Rep(\Z^n, SU)$, $\Rep(\Z^n,U)$ and $\Rep(\Z^n, Sp)$ are explicitly described as finite products of Eilenberg-MacLane spaces. △ Less

Submitted 4 October, 2010; originally announced October 2010.

Comments: 37 Pages. To appear in Math. Proc. Camb. Phil. Soc

On the fundamental group of Hom(Z^k,G)

Authors: Jose Manuel Gomez, Alexandra Pettet, Juan Souto

Abstract: Let G be a compact Lie group, and consider the variety Hom(Z^k,G) of representations of Z^k into G. We view this as a based space by designating the trivial representation to be its base point. We prove that the fundamental group of this space is naturally isomorphic to π_1(G)^k. Let G be a compact Lie group, and consider the variety Hom(Z^k,G) of representations of Z^k into G. We view this as a based space by designating the trivial representation to be its base point. We prove that the fundamental group of this space is naturally isomorphic to π_1(G)^k. △ Less

Submitted 15 June, 2010; originally announced June 2010.

Cohomology of Toroidal Orbifold Quotients

Authors: Alejandro Adem, Ali Nabi Duman, Jose Manuel Gomez

Abstract: Let $φ:\Z/p\to GL_{n}(\Z)$ denote an integral representation of the cyclic group of prime order $p$. This induces a $\Z/p$-action on the torus $X=\R^{n}/\Z^{n}$. The goal of this paper is to explicitly compute the cohomology groups $H^{*}(X/\Z/p;\Z)$ for any such representation. As a consequence we obtain an explicit calculation of the integral cohomology of the classifying space associated to the… ▽ More Let $φ:\Z/p\to GL_{n}(\Z)$ denote an integral representation of the cyclic group of prime order $p$. This induces a $\Z/p$-action on the torus $X=\R^{n}/\Z^{n}$. The goal of this paper is to explicitly compute the cohomology groups $H^{*}(X/\Z/p;\Z)$ for any such representation. As a consequence we obtain an explicit calculation of the integral cohomology of the classifying space associated to the family of finite subgroups for any crystallographic group $Γ=\Z^n\rtimes\Z/p$ with prime holonomy. △ Less

Submitted 12 July, 2011; v1 submitted 1 March, 2010; originally announced March 2010.

Comments: Final version. Accepted for publication in the Journal of Algebra

From fibered symmetric bimonoidal categories to symmetric spectra

Authors: Jose Manuel Gomez

Abstract: In here we define the concept of fibered symmetric bimonoidal categories. These are roughly speaking fibered categories D->C whose fibers are symmetric monoidal categories parametrized by C and such that both D and C have a further structure of a symmetric monoidal category that satisfy certain coherences that we describe. Our goal is to show that we can correspond to a fibered symmetric bimonoi… ▽ More In here we define the concept of fibered symmetric bimonoidal categories. These are roughly speaking fibered categories D->C whose fibers are symmetric monoidal categories parametrized by C and such that both D and C have a further structure of a symmetric monoidal category that satisfy certain coherences that we describe. Our goal is to show that we can correspond to a fibered symmetric bimonoidal category an E_{\infty}-ring spectrum in a functorial way. △ Less

Submitted 19 May, 2009; originally announced May 2009.

Comments: 66 Pages. Submitted to the Journal of Pure and Applied Algebra August 2008

MSC Class: 18D10;18D30;19D23

On the nonexistence of higher twistings

Authors: Jose Manuel Gomez

Abstract: In this note we show that there are no higher twistings for the Borel cohomology theory associated to G-equivariant K-theory over a point and for a compact Lie group G. Therefore, twistings over a point for this theory are classified by the group H^{1}(BG,Z/2)\x H^{3}(BG,Z) In this note we show that there are no higher twistings for the Borel cohomology theory associated to G-equivariant K-theory over a point and for a compact Lie group G. Therefore, twistings over a point for this theory are classified by the group H^{1}(BG,Z/2)\x H^{3}(BG,Z) △ Less

Submitted 19 May, 2009; originally announced May 2009.

Comments: 12 Pages. Submitted to the Journal of Geometry and Physics September 2008

MSC Class: 55N15; 19L47

Commuting elements in central products of special unitary groups

Authors: Alejandro Adem, Frederick R. Cohen, Jose Manuel Gomez

Abstract: In this paper the space of commuting elements in the central product $G_{m,p}$ of $m$ copies of the special unitary group $SU(p)$ is studied, where $p$ is a prime number. In particular, a computation for the number of path connected components of these spaces is given and the geometry of the moduli space $\Rep(\mathbb Z^n, G_{m,p})$ of flat principal $G_{m,p}$--bundles over the $n$--torus is compl… ▽ More In this paper the space of commuting elements in the central product $G_{m,p}$ of $m$ copies of the special unitary group $SU(p)$ is studied, where $p$ is a prime number. In particular, a computation for the number of path connected components of these spaces is given and the geometry of the moduli space $\Rep(\mathbb Z^n, G_{m,p})$ of flat principal $G_{m,p}$--bundles over the $n$--torus is completely described for all values of $n$, $m$ and $p$. △ Less

Submitted 4 October, 2010; v1 submitted 18 May, 2009; originally announced May 2009.

Comments: revised version to appear in Proc.Edinburgh Math. Soc. (Isle of Skye 2009 Conference Volume)