arXiv research

Proves Hadamard states for Dirac fields on manifolds with timelike boundaries.

The Cannon Conjecture from the geometric group theory asserts that a word hyperbolic group that acts effectively on its boundary, and whose boundary is homeomorphic to the 2-sphere, is isomorphic to a Kleinian group. We prove the following Criterion for Cannon's Conjecture: A hyperbolic group $G$ (that acts effectively…

We will show that if a proper complete CAT(0) space X has a visual boundary homeomorphic to the join of two Cantor sets, and X admits a geometric group action by a group containing a subgroup isomorphic to Z^2, then its Tits boundary is the spherical join of two uncountable discrete sets. If X is geodesically complete,…

Recently, Honda, Kazez and Matic described an adapted partial open book of a compact contact 3-manifold with convex boundary by generalizing the work of Giroux in the closed case. They also implicitly established a one-to-one correspondence between isomorphism classes of partial open book decompositions modulo positive…

The aim of this paper is to relate Thurston's metric on Teichmüller space to several ideas initiated by T. Sorvali on isomorphisms between Fuchsian groups. In particular, this will give a new formula for Thurston's asymmetric metric for surfaces with punctures. We also update some results of Sorvali on boundary isomorp…

Generalizes cohomology ring result for combinatorial line arrangements.

Given a compact smooth manifold $M$ with non-empty boundary and a Morse function, a pseudo-gradient Morse-Smale vector field adapted to the boundary allows one to build a Morse complex whose homology is isomorphic to the (absolute or relative to the boundary) homology of $M$ with integer coefficients. Our approach simp…

Study shows universal circle isomorphic to flow space ideal boundary.

3-manifolds with similar completions have matching slopes and polynomials.

We show that if a homeomorphism between the ideal boundaries of two Fuchsian buildings preserves the combinatorial cross ratio almost everywhere, then it extends to an isomorphism between the Fuchsian buildings. It follows that Mostow rigidity holds for Fuchsian buildings: if a group acts properly and cocompactly on tw…

Usually bundle gerbes are considered as objects of a 2-groupoid, whose 1-morphisms, called stable isomorphisms, are all invertible. I introduce new 1-morphisms which include stable isomorphisms, trivializations and bundle gerbe modules. They fit into the structure of a 2-category of bundle gerbes, and lead to natural d…

We introduce a $\mathbb{Z}$-valued cross ratio on Roller boundaries of ${\rm CAT(0)}$ cube complexes. We motivate its relevance by showing that every cross-ratio preserving bijection of Roller boundaries uniquely extends to a cubical isomorphism. Our results are strikingly general and even apply to infinite dimensional…

Given a smooth compact manifold with boundary, we show that the subcomplex of the deformed de Rham complex consisting of eigenspaces of small eigenvalues of the Witten Laplacian is canonically isomorphic to the Thom-Smale complex constructed by Laudenbach. Our proof is based on Bismut-Lebeau's analytic localization tec…

We study elliptic theory on manifolds with boundary represented as a covering space. Firstly, we consider boundary value problems, where the boundary conditions are allowed to mix the values of functions in the fibers of the covering. We show that elliptic elements define Fredholm operators and prove an index formula. …

We generalize the very well known boundary operator of the ordinary singular homology theory, defined in many books about algebraic topology. We describe a variant of this ordinary simplicial boundary operator where the usual boundary (n-1)-simplices of each n-simplex are replaced by combinations of internal (n-1)- sim…

We prove surfaces are unknotted with specific properties.

We adapt the results of Part 1 to include the unit ball in the Heisenberg group, the model domain with characteristic boundary points. In particular, we construct function spaces on which the Kohn Laplacian with the \bar{\partial}_b-Neumann boundary conditions is an isomorphism. As an application, we establish sharp re…

We prove a geometric model for HHS hierarchies as CAT(0) cube complexes.

We study symplectic Laplacians on compact symplectic manifolds with boundary. These Laplacians are associated with symplectic cohomologies of differential forms and can be of fourth-order. We introduce several natural boundary conditions on differential forms and use them to establish Hodge theory by proving various fo…

We prove that the Kauffman bracket skein algebra of a cylinder over a surface with boundary, defined over complex numbers, is isomorphic to the observables of an appropriate lattice gauge field theory.

Introduces a new Hodge theory using vector fields on manifolds.

The theorem connects surface mapping groups to fundamental groupoids.

3D hyperbolic manifolds map one-to-one to their boundary character varieties.

We give examples of closed, oriented 3-manifolds whose fundamental groups are not isomorphic, but yet have the same sets of finite quotient groups; hence the same profinite completions. We also give examples of compact, oriented 3-manifolds with non-empty boundaries whose fundamental groups though isomorphic have disti…

We consider a connection $\nabla^X$ on a complex line bundle over a Riemann surface with boundary $M_0$, with connection 1-form $X$. We show that the Cauchy data space of the connection Laplacian (also called magnetic Laplacian) $L:={\nabla^X}^*\nabla^X + q$, with $q$ a complex valued potential, uniquely determines the…

Generalizes integration map to coinvariants of bounded functions.

It is proved that the profinite completion of the mapping class group Mod (g,n) of a surface of genus g with n boundary components is isomorphic to such of the arithmetic group GL(6g-6+2n, Z). We establish a relation between the normal subgroups of Mod (g,n) and the absolute Galois group G(K) of a number field K. Using…

Study shows only one type of proper domain in certain spaces.

We define a compactification of symmetric spaces of noncompact type, seen as spaces of isometry classes of marked lattices, analogous to the Thurston compactification of the Teichmüller space, and we show that it is equivariantly isomorphic to a Satake compactification. We then use it to define a new compactification o…

Study of $(R,ε)$-panted cobordism groups in cusped hyperbolic 3-manifolds.

In this paper, we define a relative Morse complex for manifold with boundary using the handlebody decomposition of the manifold. We prove that the homology of the relative Morse complex is isomorphic to the relative singular homology. Furthermore, we construct $A_\infty$-category structure on the relative Morse complex…

This paper establishes an isomorphism between the Bar-Natan skein module of the solid torus with a particular boundary curve system and the homology of the (n,n) Springer variety. The results build on Khovanov's work with crossingless matchings and the cohomology of the (n,n) Springer variety. We also give a formula fo…

We prove that if g and n are integers at least two, then the abstract commensurator of the braid group with n strands on a closed orientable surface of genus g is naturally isomorphic to the extended mapping class group of a compact orientable surface of genus g with n boundary components.

Minimal triangulations of spheres map almost linearly to boundaries of high-dimensional polytopes.

Let M and N be n-dimensional connected orientable finite-volume hyperbolic manifolds with geodesic boundary, and let f be a given isomorphism between the fundamental groups of M and N. We study the problem whether there exists an isometry between M and N which induces f. We show that this is always the case if the dime…

A random group contains many subgroups which are isomorphic to the fundamental group of a compact hyperbolic 3-manifold with totally geodesic boundary. These subgroups can be taken to be quasi-isometrically embedded. This is true both in the few relators model, and the density model of random groups (at any density les…

Almost perimeter-minimizing boundaries in plentiful groups can be approximated by Lipschitz graphs.

Let (X, t, S) be a triple, where S is a compact, connected surface without boundary, and t is a free cellular involution on a CW-complex X. The triple (X, t, S) is said to satisfy the Borsuk-Ulam property if for every continuous map f:X-->S, there exists a point x belonging to X satisfying f(t(x))=f(x). In this paper, …

In this paper, we prove that each injective simplicial map of the arc complex of a compact, connected, orientable surface with nonempty boundary is induced by a homeomorphism of the surface. We deduce, from this result, that the group of automorphisms of the arc complex is naturally isomorphic to the extended mapping c…

Let $S$ be a closed Riemann surface of genus $g(\geqq 2)$ and set $\dot{S}=S \setminus \{\hat{z}_0 \}$. Then we have the composed map $\varphi\circ r$ of a map $r: T(S) \times U \rightarrow F(S)$ and the Bers isomorphism $\varphi: F(S) \rightarrow T(\dot{S})$, where $F(S)$ is the Bers fiber space of $S$, $T(X)$ is the …

Based in the isomorphism between Lie algebroid cohomology and piecewise smooth cohomology, it is proved that the Rham cohomology of a locally trivial Lie groupoid $G$ on a smooth manifold $M$ is isomorphic to the piecewise Rham cohomology of $G$, in which $G$ and $M$ are manifolds without boundary and $M$ is smoothly t…

We extend the study of the de Rham operator with ideal boundary conditions from the case of isolated conic singularities, as analyzed by Cheeger, to the case of arbitrary stratified pseudomanifolds. We introduce a class of ideal boundary operators and the notion of mezzoperversity, which intermediates between the stand…

The paper studies the Poisson transform of differential forms on hyperbolic spaces.

It is proved that the K_0-group of a cluster C*-algebra is isomorphic to the corresponding cluster algebra. As a corollary, one gets a shorter proof of the positivity conjecture for cluster algebras. As an example, we consider a cluster C*-algebra A(1,1) coming from triangulation of an annulus with one marked point on …

We prove that each injective simplicial map from the arc complex of a compact, connected, nonorientable surface with nonempty boundary to itself is induced by a homeomorphism of the surface. We also prove that the automorphism group of the arc complex is isomorphic to the quotient of the mapping class group of the surf…

To a compact hyperbolic Riemann surface, we associate a finitely summable spectral triple whose underlying topological space is the limit set of a corresponding Schottky group, and whose ``Riemannian'' aspect (Hilbert space and Dirac operator) encode the boundary action through its Patterson-Sullivan measure. We prove …

Instanton Floer homology matches Heegaard Floer for almost-rational plumbings.

Chern-Simons and Reshetikhin-Turaev theories are shown equivalent.