Complex homothetic sections and projections through a Helly type Theorem for cosets of $§^1$

Jorge Luis Arocha,Javier Bracho,Luis Montejano

2023-10-10

Abstract:We prove that two closed subsets of complex space $\C^n$ with corresponding complex homothetic sections (projections) are complex homothetic. The proof uses a new Helly-type theorem for cosets of closed subgroups of $§^1$.

Metric Geometry

What problem does this paper attempt to address?

Complete totally geodesic subsets of the complex hyperbolic plane: an elementary classification

Hugo C. Botós,Carlos H. Grossi

2024-04-15

Abstract:The non-trivial complete totally geodesic submanifolds of the complex hyperbolic plane $\mathbb H_{\mathbb C}^2$ are the complex geodesics and the real planes. We present two new proofs for this fact. One is a short proof based on an algebraic formula for the Riemann curvature tensor due to S. Anan'in and C. Grossi and resembles the traditional proof using Lie theory. The other is purely elementary and geometric, relying on the structures in $\mathbb H_{\mathbb C}^2$ instead of general theories. In this second approach, we prove a slightly stronger result: the only non-trivial complete totally geodesic subsets of $\mathbb H_{\mathbb C}^2$ are the complex geodesics and the real planes without assuming that the subsets are submanifolds a priori. This second proof is also intriguing for only making use of elementary geometric constructions.

Differential Geometry
The quasi-isometry invariance of the Coset Intersection Complex

Carolyn Abbott,Eduardo Martínez-Pedroza

2024-06-18

Abstract:For a pair $(G,\mathcal{P})$ consisting of a group and finite collection of subgroups, we introduce a simplicial $G$-complex $\mathcal{K}(G,\mathcal{P})$ called the coset intersection complex. We prove that the quasi-isometry type and the homotopy type of $\mathcal{K}(G,\mathcal{P})$ are quasi-isometric invariants of the group pair $(G,\mathcal{P})$. Classical properties of $\mathcal{P}$ in $G$ correspond to topological or geometric properties of $\mathcal{K}(G,\mathcal{P})$, such as having finite height, having finite width, being almost malnormal, admiting a malnormal core, or having thickness of order one. As applications, we obtain that a number of algebraic properties of $\mathcal{P}$ in $G$ are quasi-isometry invariants of the pair $(G,\mathcal{P})$. For a certain class of right-angled Artin groups and their maximal parabolic subgroups, we show that the complex $\mathcal{K}(G,\mathcal{P})$ is quasi-isometric to the Extension graph; in particular, it is quasi-isometric to a tree.

Group Theory,Geometric Topology
Complex-projective and lens product spaces

Jesus Gonzalez,Maurilio Velasco

DOI: https://doi.org/10.48550/arXiv.1311.1220

2013-11-06

Abstract:Let $t$ be a positive integer. Following work of D. M. Davis, we study the topology of complex-projective product spaces, i.e. quotients of cartesian products of odd dimensional spheres by the diagonal $S^1$-action, and of the $t$-torsion lens product spaces, i.e. the corresponding quotients when the action is restricted to the $t^{\mathrm{th}}$ roots of unity. For a commutative complex-oriented cohomology theory $h^*$, we determine the $h^*$-cohomology ring of these spaces (in terms of the $t$-series for $h^*$, in the case of $t$-torsion lens product spaces). When $h^*$ is singular cohomology with mod 2 coefficients, we also determine the action of the Steenrod algebra. We show that these spaces break apart after a suspension as a wedge of desuspensions of usual stunted complex projective ($t$-torsion lens) spaces. We estimate the category and topological complexity of complex-projective and lens product spaces, showing in particular that these invariants are usually much lower than predicted by the usual dimensional bounds. We extend Davis' analysis of manifold properties such as immersion dimension, (stable-)span, and (stable-)parallelizability of real projective product spaces to the complex-projective and lens product cases.

Algebraic Topology
Spherical Complexes Attached to Symplectic Lattices

Wilberd van der Kallen,Eduard Looijenga

DOI: https://doi.org/10.1007/s10711-010-9553-0

2010-01-01

Geometriae Dedicata

Abstract:To the integral symplectic group Sp(2g,Z) we associate two posets of which we prove that they have the Cohen-Macaulay property. As an application we show that the locus of marked decomposable principally polarized abelian varieties in the Siegel space of genus g has the homotopy type of a bouquet of (g-2)-spheres. This, in turn, implies that the rational homology of moduli space of (unmarked) principal polarized abelian varieties of genus g modulo the decomposable ones vanishes in degree g-2 or lower. Another application is an improved stability range for the homology of the symplectic groups over Euclidean rings. But the original motivation comes from envisaged applications to the homology of groups of Torelli type. The proof of our main result rests on a refined nerve theorem for posets that may have an interest in its own right.
Homogeneous Hypercomplex Structures II - Coset Spaces of compact Lie Groups

George Dimitrov,Vasil Tsanov

DOI: https://doi.org/10.48550/arXiv.1204.5222

2012-04-24

Abstract:We obtain a complete classification of hypercomplex manifolds, on which a compact group of automorphisms acts transitively. The description of the spaces as well as the proofs of our results use only the structure theory of reductive groups, in particular the notion of "stem" of a reduced root system, introduced in the first paper of this series.

Differential Geometry,Group Theory
Homotopy properties of the complex of frames of a unitary space

Kevin I. Piterman,Volkmar Welker

DOI: https://doi.org/10.1112/jlms.12978

2024-08-27

Journal of the London Mathematical Society

Abstract:Abstract Let be a finite‐dimensional vector space equipped with a nondegenerate Hermitian form over a field . Let be the graph with vertex set the one‐dimensional nondegenerate subspaces of and adjacency relation given by orthogonality. We give a complete description of when is connected in terms of the dimension of and the size of the ground field . Furthermore, we prove that if , then the clique complex of is simply connected. For finite fields , we also compute the eigenvalues of the adjacency matrix of . Then, by Garland's method, we conclude that for all , where is a field of characteristic 0, provided that . Under these assumptions, we deduce that the barycentric subdivision of deformation retracts to the order complex of the certain rank selection of that is Cohen–Macaulay over . Finally, we apply our results to the Quillen poset of elementary abelian ‐subgroups of a finite group and to the study of geometric properties of the poset of nondegenerate subspaces of and the poset of orthogonal decompositions of .

mathematics
Every group is the group of self-homotopy equivalences of finite dimensional -complex

Mahmoud Benkhalifa

DOI: https://doi.org/10.4213/sm10038e

2024-12-12

Sbornik Mathematics

Abstract:We prove that any group occurs as , where is a -complex of finite dimension and denotes its group of self-homotopy equivalences. Thus, we generalize a well-known theorem due to Costoya and Viruel [9] asserting that any finite group occurs as , where is rational elliptic space. Bibliography: 12 titles.

mathematics
Higher Dimensional Homology Algebra II:Projectivity

Fang Huang,Shao-Han Chen,Wei Chen,Zhu-Jun Zheng

2010-01-01

Abstract:In this paper, we will prove that the 2-category (2-SGp) of symmetric 2-groups and 2-category ($\cR$-2-Mod) of $\cR$-2-modules(\cite{5}) have enough projective objects, respectively.
Homology groups of cubical sets

Ahmet A. Husainov

DOI: https://doi.org/10.1007/S10485-018-9550-2

2023-06-30

Abstract:The paper is devoted to homology groups of cubical sets with coefficients in contravariant systems of Abelian groups. The study is based on the proof of the assertion that the homology groups of the category of cubes with coefficients in the diagram of Abelian groups are isomorphic to the homology groups of normalized complex of the cubical Abelian group corresponding to this diagram. The main result shows that the homology groups of a cubical set with coefficients in a contravariant system of Abelian groups are isomorphic to the values of left derived functors of the colimit functor on this contravariant system. This is used to obtain the isomorphism criterion for homology groups of cubical sets with coefficients in contravariant systems, and also to construct spectral sequences for the covering of a cubical set and for a morphism between cubical sets. This version of the preprint contains a refinement of the proof of Lemma 3.2 corresponding to Lemma 4 from the paper of the same name published in the journal Appl. Category. Struct. 27, 199-216 (2019).

Algebraic Topology,Category Theory
Extending cycles to the coHochschild complex

Luis Fernandez,Thomas Tradler

2024-11-28

Abstract:For the chains C of a simplicial complex, we provide an explicit chain map to the coHochschild complex cCH(C,C) of C. Applying this map to a fundamental cycle of a manifold, yields a non-degenerate homotopy inner product, i.e., a weak Calabi-Yau structure. This can be used, for example, as the starting point for defining string topology operations in an algebraic setting. We apply this to the case of the 2-sphere, extending an earlier construction from $\mathbb{Z}_2$ to $\mathbb{Z}$ coefficients.

Algebraic Topology
Mixed Hodge structures on the intersection homotopy type of complex varieties with isolated singularities

David Chataur,Joana Cirici

DOI: https://doi.org/10.48550/arXiv.1603.09125

2016-03-30

Abstract:A homotopical treatment of intersection cohomology recently developed by Chataur-Saralegui-Tanré associates a "perverse algebraic model" to every topological pseudomanifold, extending Sullivan's presentation of rational homotopy to intersection cohomology. In this context, there is a notion of "intersection-formality", measuring the vanishing of Massey products in intersection cohomology. In the present paper, we study the perverse algebraic model of complex projective varieties with isolated singularities. We endow such invariant with natural mixed Hodge structures. This allows us to prove some intersection-formality results for large families of complex projective varieties, such as isolated surface singularities and varieties of arbitrary dimension with ordinary isolated singularities.

Algebraic Topology,Algebraic Geometry
Schematic homotopy types and non-abelian Hodge theory

L. Katzarkov,T. Pantev,B. Toën

DOI: https://doi.org/10.1112/s0010437x07003351

2008-05-01

Compositio Mathematica

Abstract:Abstract We use Hodge theoretic methods to study homotopy types of complex projective manifolds with arbitrary fundamental groups. The main tool we use is the schematization functor $X \mapsto (X\otimes \mathbb {C})^{\mathrm {sch}}$ , introduced by the third author as a substitute for the rationalization functor in homotopy theory in the case of non-simply connected spaces. Our main result is the construction of a Hodge decomposition on $(X\otimes \mathbb {C})^{\mathrm {sch}}$ . This Hodge decomposition is encoded in an action of the discrete group $\mathbb {C}^{\times \delta }$ on the object $(X\otimes \mathbb {C})^{\mathrm {sch}}$ and is shown to recover the usual Hodge decomposition on cohomology, the Hodge filtration on the pro-algebraic fundamental group, and, in the simply connected case, the Hodge decomposition on the complexified homotopy groups. We show that our Hodge decomposition satisfies a purity property with respect to a weight filtration, generalizing the fact that the higher homotopy groups of a simply connected projective manifold have natural mixed Hodge structures. As applications we construct new examples of homotopy types which are not realizable as complex projective manifolds and we prove a formality theorem for the schematization of a complex projective manifold.

mathematics
The topology of spaces of holomorphic maps to projective space

Alexis Aumonier

2024-02-08

Abstract:We show that the spaces of holomorphic and continuous maps from a smooth complex projective variety to a projective space have the same homology in a range depending on the degree of the maps.

Algebraic Topology,Algebraic Geometry
Generating the homology of covers of surfaces

Marco Boggi,Andrew Putman,Nick Salter

DOI: https://doi.org/10.1112/blms.13026

IF: 1.036

2024-03-16

Bulletin of the London Mathematical Society

Abstract:Putman and Wieland conjectured that if Σ∼→Σ is a finite branched cover between closed oriented surfaces of sufficiently high genus, then the orbits of all nonzero elements of H1(Σ∼;Q) under the action of lifts to Σ∼ of mapping classes on Σ are infinite. We prove that this holds if H1(Σ∼;Q) is generated by the homology classes of lifts of simple closed curves on Σ . We also prove that the subspace of H1(Σ∼;Q) spanned by such lifts is a symplectic subspace. Finally, simple closed curves lie on subsurfaces homeomorphic to 2‐holed spheres, and we prove that H1(Σ∼;Q) is generated by the homology classes of lifts of loops on Σ lying on subsurfaces homeomorphic to 3‐holed spheres.

mathematics
Algebraic description of complex conjugation on cohomology of a smooth projective hypersurface

Jeehoon Park,Junyeong Park,Philsang Yoo

2024-04-06

Abstract:We describe complex conjugation on the primitive middle-dimensional algebraic de Rham cohomology of a smooth projective hypersurface defined over a number field that admits a real embedding. We use Griffiths' description of the cohomology in terms of a Jacobian ring. The resulting description is algebraic up to transcendental factors explicitly given by certain periods.

Algebraic Geometry
Koszul Bicomplexes and Generalized Koszul Complexes in Projective Dimension One

Bogdan Ichim,Udo Vetter

DOI: https://doi.org/10.1080/00927870600876284

2005-10-27

Abstract:We describe Koszul type complexes associated with a linear map from any module to a free module, and vice versa with a linear map from a free module to an arbitrary module, generalizing the classical Koszul complexes. Given a short complex of finite free modules, we assemble these complexes to what we call Koszul bicomplexes. They are used in order to investigate the homology of the Koszul complexes in projective dimension one. As in the case of the classical Koszul complexes this homology turns out to be grade sensitive. In a special setup we obtain necessary conditions for a map of free modules to be lengthened to a short complex of free modules.

Commutative Algebra
Asphericity of cubical presentations: the 2-dimensional case

Macarena Arenas

DOI: https://doi.org/10.1093/imrn/rnad204

2023-10-30

Abstract:We show that under suitable hypotheses, the second homotopy group of the coned-off space associated to a $C(9)$ cubical presentation is trivial, and use this to provide classifying spaces for proper actions for the fundamental groups of many quotients of square complexes admitting such cubical presentations. When the cubical presentations satisfy a condition analogous to requiring that the relators in a group presentation are not proper powers, we conclude that the corresponding coned-off space is aspherical.

Group Theory,Geometric Topology
Complexification of an infinite volume Coxeter tetrahedron

Jiming Ma

2023-01-01

Abstract: Let $T$ be an infinite volume Coxeter tetrahedron in three dimensional real hyperbolic space ${\bf H}^{3}_{\mathbb R}$ with two opposite right-angles and the other angles are all zeros. Let $G$ be the Coxeter group of $T$, so $$G=\left\langle \iota_1, \iota_2, \iota_3, \iota_4 \Bigg| \begin{array} {c} \iota_1^2= \iota_2^2 = \iota_3^2=\iota_4^2=id, \\ (\iota_1 \iota_3)^{2}=(\iota_2 \iota_4)^{2}=id \end{array}\right\rangle$$ as an abstract group. We study type-preserving representations $\rho: G \rightarrow \mathbf{PU}(3,1)$, where $\rho( \iota_{i})=I_{i}$ is a complex reflection fixing a complex hyperbolic plane in three dimensional complex hyperbolic space ${\bf H}^{3}_{\mathbb C}$ for $1 \leq i \leq 4$. The moduli space $\mathcal{M}$ of these representations is parameterized by $\theta \in [\frac{5 \pi}{6}, \pi]$. In particular, $\theta=\frac{5 \pi}{6}$ and $\theta=\pi$ degenerate to ${\bf H}^{2}_{\mathbb C}$-geometry and ${\bf H}^{3}_{\mathbb R}$-geometry respectively. Via Dirichlet domains, we show $\rho=\rho_{\theta}$ is a discrete and faithful representation of the group $G$ for all $\theta \in [\frac{5 \pi}{6}, \pi]$. This is the first nontrivial moduli space in three dimensional complex hyperbolic space that has been studied completely.
A congruence subgroup property for symmetric mapping class groups

Marco Boggi

2024-08-22

Abstract:We prove the congruence subgroup property for the centralizer of a finite subgroup $G$ in the mapping class group of a hyperbolic oriented and connected surface of finite topological type $S$ such that the genus of the quotient surface $S/G$ is at most $2$. As an application, we show that torsion elements in the mapping class group of a surface of genus $\leq 2$ are conjugacy distinguished.

Geometric Topology,Group Theory

Complex homothetic sections and projections through a Helly type Theorem for cosets of $§^1$

Complete totally geodesic subsets of the complex hyperbolic plane: an elementary classification

The quasi-isometry invariance of the Coset Intersection Complex

Complex-projective and lens product spaces

Spherical Complexes Attached to Symplectic Lattices

Homogeneous Hypercomplex Structures II - Coset Spaces of compact Lie Groups

Homotopy properties of the complex of frames of a unitary space

Every group is the group of self-homotopy equivalences of finite dimensional -complex

Higher Dimensional Homology Algebra II:Projectivity

Homology groups of cubical sets

Extending cycles to the coHochschild complex

Mixed Hodge structures on the intersection homotopy type of complex varieties with isolated singularities

Schematic homotopy types and non-abelian Hodge theory

The topology of spaces of holomorphic maps to projective space

Generating the homology of covers of surfaces

Algebraic description of complex conjugation on cohomology of a smooth projective hypersurface

Koszul Bicomplexes and Generalized Koszul Complexes in Projective Dimension One

Asphericity of cubical presentations: the 2-dimensional case

Complexification of an infinite volume Coxeter tetrahedron

A congruence subgroup property for symmetric mapping class groups