Researcher profile

Jesús González

Jesús González contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
13works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

13 published item(s)

preprint2022arXiv

Cohomology ring of tree braid groups and exterior face rings

For a tree $T$ and a positive integer $n$, let $B_nT$ denote the $n$-strand braid group on $T$. We use discrete Morse theory techniques to show that the cohomology ring $H^*(B_nT)$ is encoded by an explicit abstract simplicial complex $K_nT$ that measures $n$-local interactions among essential vertices of $T$. We show that, in many cases (for instance when $T$ is a binary tree), $H^*(B_nT)$ is the exterior face ring determined by $K_nT$.

preprint2021arXiv

Effectual Topological Complexity

We introduce the effectual topological complexity (ETC) of a $G$-space $X$. This is a $G$-equivariant homotopy invariant sitting in between the effective topological complexity of the pair $(X,G)$ and the (regular) topological complexity of the orbit space $X/G$. We study ETC for spheres and surfaces with antipodal involution, obtaining a full computation in the case of the torus. This allows us to prove the vanishing of twice the non-trivial obstruction responsible for the fact that the topological complexity of the Klein bottle is 4. In addition, this gives a counterexample to the possibility -- suggested in Pavešić's work on the topological complexity of a map -- that ETC of $(X,G)$ would agree with Farber's $TC(X)$ whenever the projection map $X\to X/G$ is finitely sheeted. We conjecture that ETC of spheres with antipodal action recasts the Hopf invariant one problem, and describe (conjecturally optimal) effectual motion planners.

preprint2021arXiv

On the homotopy type of complexes of graphs with bounded domination number

Let $D_{n,γ}$ be the complex of graphs on $n$ vertices and domination number at least $γ$. We prove that $D_{n,n-2}$ has the homotopy type of a finite wedge of 2-spheres. This is done by using discrete Morse theory techniques. Acyclicity of the needed matching is proved by introducing a relativized form of a well known method for constructing acyclic matchings on suitable chunks of simplices. Our approach allows us to extend our results to the realm of infinite graphs. In addition, we give evidence supporting the assertion that the homotopy equivalences $D_{n,n-1}\simeq\bigvee S^0$ and $D_{n,n-2}\simeq\bigvee S^2$ do not seem to generalize for $D_{n,γ}$ with $γ\leq n-3$.

preprint2021arXiv

Sectional category and The Fixed Point Property

For a Hausdorff space $X$, we exhibit an unexpected connection between the sectional number of the Fadell-Neuwirth fibration $π_{2,1}^X:F(X,2)\to X$, and the fixed point property (FPP) for self-maps on $X$. Explicitly, we demonstrate that a space $X$ has the FPP if and only if 2 is the minimal cardinality of open covers $\{U_i\}$ of $X$ such that each $U_i$ admits a continuous local section for $π_{2,1}^X$. This characterization connects a standard problem in fixed point theory to current research trends in topological robotics.

preprint2020arXiv

Effective topological complexity of orientable-surface groups

We use rewriting systems to spell out cup-products in the (twisted) cohomology groups of a product of surface groups. This allows us to detect a non-trivial obstruction bounding from below the effective topological complexity of an orientable surface with respect to its antipodal involution. Our estimates are at most one unit from being optimal, and are closely related to the (regular) topological complexity of non-orientable surfaces.

preprint2020arXiv

Equivariant Nerve Lemma, simplicial difference, and models for configuration spaces on simplicial complexes

Wiltshire-Gordon has introduced a homotopy model for ordered configuration spaces on a given simplicial complex. That author asserts that, after a suitable subdivision, his model also works for unordered configuration spaces. We supply details justifying Wiltshire-Gordon's assertion and, more importantly, uncover the equivariant properties of his more-general simplicial-difference model for the complement of a subcomplex inside a larger complex. This is achieved by proving an equivariant version of the Nerve Lemma. In addition, in the case of configuration spaces, we show that a slight variation of the model has better properties: it is regular and sits inside the configuration space as a strong and equivariant deformation retract. Our variant for the configuration-space model comes from a comparison, in the equivariant setting, between Wiltshire's simplicial difference and a well known model for the complement of a full subcomplex on a simplicial complex.

preprint2020arXiv

On Lusternik-Schnirelmann category and topological complexity of no k-equal manifolds

We compute the Lusternik-Schnirelmann category and the topological complexity of no $k$-equal manifolds $M^{(k)}_d(n)$ for certain values of $d$, $k$ and $n$. This includes instances where $M^{(k)}_d(n)$ is known to be rationally non-formal. The key ingredient in our computations is the knowledge of the cohomology ring $H^*(M^{(k)}_d(n))$ as described by Dobrinskaya and Turchin. A fine tuning comes from the use of obstruction theory techniques.

preprint2019arXiv

Sequential collision-free optimal motion planning algorithms in punctured Euclidean spaces

In robotics, a topological theory of motion planning was initiated by M. Farber. The multitasking motion planning problem is new and its theoretical part via topological complexity has hardly been developed, but the concrete implementations are still non-existent, and in fact this work takes the first step in this last direction (producing explicit algorithms.) We present optimal motion planning algorithms which can be used in designing practical systems controlling objects moving in Euclidean space without collisions between them and avoiding obstacles. Furthermore, we present the multitasking version of the algorithms.

preprint2016arXiv

Pairwise disjoint maximal cliques in random graphs and sequential motion planning on random right angled Artin groups

The clique number of a random graph in the Erdos-Renyi model G(n,p) yields a random variable which is known to be asymptotically (as n tends to infinity) almost surely within one of an explicit logarithmic (on n) function r(n,p). We extend this fact by showing that random graphs have, asymptotically almost surely, arbitrarily many pairwise disjoint complete subgraphs with as many vertices as r(n,p). The result is motivated by and applied to the sequential motion planning problem on random right angled Artin groups. Indeed, we give an asymptotical description of all the higher topological complexities of Eilenberg-MacLane spaces associated to random graph groups.

preprint2015arXiv

Induced nuclear activity in galaxy pairs with different morphologies (E+E), (E+S) and (S+S)

We analysed 385 galactic spectra from the Sloan Digital Sky Survey Data Release 7 (SDSS-DR7) that belong to the catalog of isolated pairs of galaxies by Karachentsev. The spectra corresponds to physical pairs of galaxies as defined by V $\leq$ 1200 Km/s and a pair separation $\leq$ 100 kpc. We search for the incidence of nuclear activity, both thermal (star-forming) and non-thermal -Active Galactic Nuclei (AGN). After a careful extraction of the nuclear spectra, we use diagnostic diagrams and find that the incidence of AGN activity is 48 \% in the paired galaxies with emission lines and 40\% for the total sample (as compared to $\sim$ 43 \% and 41\% respectively in a sample of isolated galaxies). These results remain after dissecting the effects of morphological type and galactic stellar mass (with only a small, non significant, enhancement of the AGN fraction in pairs of objects). These results suggest that weak interactions are not necessary or sufficient to trigger low-luminosity AGN. Since the fraction of AGN is predominant in early type spiral galaxies, we conclude that the role of a bulge, and a large gas reservoir are both essential for the triggering of nuclear activity. The most striking result is that type 1 galaxies are almost absent from the AGN sample. This result is in conflict with the Unified Model, and suggests that high accretion rates are essential to form the Broad Line Region in active galaxies.

preprint2015arXiv

Motion planning in real flag manifolds

Starting from Borel's description of the mod-2 cohomology of real flag manifolds, we give a minimal presentation of the cohomology ring for semi complete flag manifolds $F_{k,m}:=F(1,\ldots,1,m)$ where $1$ is repeated $k$ times. The information is used in order to estimate Farber's topological complexity of these spaces when $m$ approaches (from below) a 2-power. In particular, we get almost sharp estimates for $F_{2,2^e-1}$ which resemble the known situation for the real projective spaces $F_{1,2^e}$. Our results indicate that the agreement between the topological complexity and the immersion dimension of real projective spaces no longer holds for other flag manifolds. More interestingly, we also get corresponding results for the $s$-th (higher) topological complexity of these spaces. Actually, we prove the surprising fact that, as $s$ increases, the estimates become stronger. Indeed, we get several full computations of the higher motion planning problem of these manifolds. This property is also shown to hold for surfaces: we get a complete computation of the higher topological complexity of all closed surfaces (orientable or not). A homotopy-obstruction explanation is included for the phenomenon of having a cohomologically accessible higher topological complexity even when the regular topological complexity is not so accessible.

preprint2015arXiv

The cohomology ring away from 2 of configuration spaces on real projective spaces

Let R be a commutative ring containing 1/2. We compute the R-cohomology ring of the configuration space F(m,k) of k ordered points in the m-dimensional real projective space. The method uses the observation that the orbit configuration space of k ordered points in the m-dimensional sphere (with respect to the antipodal action) is a 2^k-fold covering of F(m,k). This implies that, for odd m, the Leray spectral sequence for the inclusion of F(m,k) in the k-fold Cartesian self power of the m-dimensional real projective space collapses after its first non-trivial differential, just as it does when the projective space is replaced by a complex projective variety. The method also allows us to handle the R-cohomology ring of the configuration space of k ordered points in a punctured real projective space. Lastly, we compute the Lusternik-Schnirelmann category and all of the higher topological complexities of some of the auxiliary orbit configuration spaces.

preprint2015arXiv

The higher topological complexity of subcomplexes of products of spheres---and related polyhedral product spaces

We construct "higher" motion planners for automated systems whose space of states are homotopy equivalent to a polyhedral product space $Z(K,\{(S^{k_i},\star)\})$, e.g. robot arms with restrictions on the possible combinations of simultaneously moving nodes. Our construction is shown to be optimal by explicit cohomology calculations. The higher topological complexity of other families of polyhedral product spaces is also determined.