Related papers: Chart description for genus-two Lefschetz fibratio…
We develop the Lefschetz fixed-point theory for noncompact manifolds of bounded geometry and uniformly continuous maps. Specifically, we define the uniform Lefschetz class $\mathscr{L}(f)$ of a uniformly continuous map $f\colon M\to M$ of a…
We show how to construct broken, achiral Lefschetz fibrations on arbitrary smooth, closed, oriented 4-manifolds. These are generalizations of Lefschetz fibrations over the 2-sphere, where we allow Lefschetz singularities with the…
Recent work of Lazarovich provides necessary and sufficient conditions on a graph L for there to exist a unique simply-connected (k,L)-complex. The two conditions are symmetry properties of the graph, namely star-transitivity and…
We prove that for any rational number $r\in (2,8)$, there exists a genus-$g$ Lefschetz fibration over the two-sphere with large enough genus-$g$ having the slope is $r$.
A biform theory is a combination of an axiomatic theory and an algorithmic theory that supports the integration of reasoning and computation. These are ideal for formalizing algorithms that manipulate mathematical expressions. A theory…
Topological data analysis involves the statistical characterization of the shape of data. Persistent homology is a primary tool of topological data analysis, which can be used to analyze topological features and perform statistical…
A now classical construction due to Kato and Nakayama attaches a topological space (the "Betti realization") to a log scheme over $\mathbf{C}$. We show that in the case of a log smooth degeneration over the standard log disc, this…
The graph reconstruction conjecture states that all graphs on at least three vertices are determined up to isomorphism by their deck. In this paper, a general framework for this problem is proposed to simply explain the reconstruction of…
It is well-known that a minimal graph of codimension one is stable, i.e. the second variation of the area functional is non-negative. This is no longer true for higher codimensional minimal graphs. In this note, we prove that a minimal…
We develop a technique for gluing relative trisection diagrams of $4$-manifolds with nonempty connected boundary to obtain trisection diagrams for closed $4$-manifolds. As an application, we describe a trisection of any closed $4$-manifold…
We introduce a categorical formalism for rewriting surface-embedded graphs. Such graphs can represent string diagrams in a non-symmetric setting where we guarantee that the wires do not intersect each other. The main technical novelty is a…
A theorem of Laman gives a combinatorial characterisation of the graphs that admit a realisation as a minimally rigid generic bar-joint framework in $\bR^2$. A more general theory is developed for frameworks in $\bR^3$ whose vertices are…
We propose a general framework to contract unitary dual of Lie groups via holomorphic quantization of their co-adjoint orbits. The sufficient condition for the contractability of a representation is expressed via cocycles on coadjoint…
A Morse 2-function is a generic smooth map from a smooth manifold to a surface. In the absence of definite folds (in which case we say that the Morse 2-function is indefinite), these are natural generalizations of broken (Lefschetz)…
We propose a new approach to text semantic analysis and general corpus analysis using, as termed in this article, a "bi-gram graph" representation of a corpus. The different attributes derived from graph theory are measured and analyzed as…
This paper introduces a novel topology, referred to as the star topology, on finite graphs. By treating vertices and edges as points in a unified space, we explore continuous maps between Bare representations of a graph and their…
Let G be a graph with undirected and directed edges. Its representation is given by assigning a vector space to each vertex, a bilinear form on the corresponding vector spaces to each directed edge, and a linear map to each directed edge.…
In this paper, we provide a notion of $\infty$-bicategories fibred in $\infty$-bicategories which we call 2-Cartesian fibrations. Our definition is formulated using the language of marked biscaled simplicial sets: Those are scaled…
We extend the notion of graph homomorphism to cellularly embedded graphs (maps) by designing operations on vertices and edges that respect the surface topology; we thus obtain the first definition of map homomorphism that preserves both the…
Castro and Ozbagci constructed a trisection of a closed 4-manifold admitting a Lefschetz fibration with a $(-1)$-section such that the corresponding trisection diagram can be explicitly constructed from a monodromy of the Lefschetz…