• We study the problem of computing the homology of the configuration spaces of a finite cell complex $X$. We proceed by viewing $X$, together with its subdivisions, as a subdivisional space--a kind of diagram object in a category of cell complexes. After developing a version of Morse theory for subdivisional spaces, we decompose $X$ and show that the homology of the configuration spaces of $X$ is computed by the derived tensor product of the Morse complexes of the pieces of the decomposition, an analogue of the monoidal excision property of factorization homology. Applying this theory to the configuration spaces of a graph, we recover a cellular chain model due to \'{S}wi\k{a}tkowski. Our method of deriving this model enhances it with various convenient functorialities, exact sequences, and module structures, which we exploit in numerous computations, old and new.
  • We define a differential graded algebra for Legendrian graphs in the standard contact Euclidean three space. This invariant is defined combinatorially by using ideas from Legendrian contact homology. The construction is distinguished from other versions of Legendrian contact algebra by the vertices of Legendrian graphs. A set of countably many generators and a generalized notion of equivalence are introduced for invariance. Our construction also recovers the Chekanov-Eliashberg algebra for Legendrian links as a special case.
  • In this paper, we define the set of singular grid diagrams $\mathcal{SG}$ which provides a unified description for singular links, singular Legendrian links, singular transverse links, and singular braids. We also classify the complete set of all equivalence relations on $\mathcal{SG}$ which induce the bijection onto each singular object. This is an extension of the known result of Ng-Thurston for non-singular links and braids.
  • Let $(M,\psi)$ be a $(2n+1)$-dimensional oriented closed manifold equipped with a pseudo-free $S^1$-action $\psi : S^1 \times M \rightarrow M$. We first define a \textit{local data} $\mathcal{L}(M,\psi)$ of the action $\psi$ which consists of pairs $(C, (p(C) ; \overrightarrow{q}(C)))$ where $C$ is an exceptional orbit, $p(C)$ is the order of isotropy subgroup of $C$, and $\overrightarrow{q}(C) \in (\mathbb{Z}_{p(C)}^{\times})^n$ is a vector whose entries are the weights of the slice representation of $C$. In this paper, we give an explicit formula of the Chern number $\langle c_1(E)^n, [M/S^1] \rangle$ modulo $\mathbb{Z}$ in terms of the local data, where $E = M \times_{S^1} \mathbb{C}$ is the associated complex line orbibundle over $M/S^1$. Also, we illustrate several applications to various problems arising in equivariant symplectic topology.
  • We study Legendrian singular links up to contact isotopy. Using a special property of the singular points, we define the singular connected sum of Legendrian singular links. This concept is a generalization of the connected sum and can be interpreted as a tangle replacement, which provides a way to classify Legendrian singular links. Moreover, we investigate several phenomena only occur in the Legendrian setup.
  • A Gelfand-Cetlin polytope is a convex polytope obtained as an image of certain completely integrable system on a partial flag variety. In this paper, we give an equivalent description of the face structure of a GC-polytope in terms of so called the face structure of a ladder diagram. Using our description, we obtain a partial differential equation whose solution is the exponential generating function of f-vectors of GC-polytopes. This solves the open problem (2) posed by Gusev, Kritchenko, and Timorin in [GKT].
  • In this paper we compute the automorphism groups $\operatorname{Aut}(\mathbf{P}_n(\Sigma))$ and $\operatorname{Aut}(\mathbf{B}_n(\Sigma))$ of braid groups $\mathbf{P}_n(\Sigma)$ and $\mathbf{B}_n(\Sigma)$ on every orientable surface $\Sigma$, which are isomorphic to group extensions of the extended mapping class group $\mathcal{M}^*_n(\Sigma)$ by the transvection subgroup except for a few cases. We also prove that $\mathbf{P}_n(\Sigma)$ is always a characteristic subgroup of $\mathbf{B}_n(\Sigma)$ unless $\Sigma$ is a twice-punctured sphere and $n=2$.
  • We consider the braid groups $\mathbf{B}_n(X)$ on finite simplicial complexes $X$, which are generalizations of those on both manifolds and graphs that have been studied already by many authors. We figure out the relationships between geometric decompositions for $X$ and their effects on braid groups, and provide an algorithmic way to compute the group presentations for $\mathbf{B}_n(X)$ with the aid of them. As applications, we give complete criteria for both the surface embeddability and planarity for $X$, which are the torsion-freeness of the braid group $\mathbf{B}_n(X)$ and its abelianization $H_1(\mathbf{B}_n(X))$, respectively.
  • In this paper, we provide the necessary and sufficient conditions for the connected sum of knots in $S^3$ to be Legendrian simple.
  • We show that there is a family of pseudo-Anosov braids independently parameterized by the braid index and the (canonical) length whose smallest conjugacy invariant sets grow exponentially in the braid index and linearly in the length and conclude that the conjugacy problem remains exponential in the braid index under the current knowledge.
  • We propose a family of new representations of the braid groups on surfaces that extend linear representations of the braid groups on a disc such as the Burau representation and the Lawrence-Krammer-Bigelow representation.