• 제목/요약/키워드: simplicial homotopy

검색결과 5건 처리시간 0.017초

REAL POLYHEDRAL PRODUCTS, MOORE'S CONJECTURE, AND SIMPLICIAL ACTIONS ON REAL TORIC SPACES

  • Kim, Jin Hong
    • 대한수학회보
    • /
    • 제55권4호
    • /
    • pp.1051-1063
    • /
    • 2018
  • The real moment-angle complex (or, more generally, real polyhedral product) and its real toric space have recently attracted much attention in toric topology. The aim of this paper is to give two interesting remarks regarding real polyhedral products and real toric spaces. That is, we first show that Moore's conjecture holds to be true for certain real polyhedral products. In general, real polyhedral products show some drastic difference between the rational and torsion homotopy groups. Our result shows that at least in terms of the homotopy exponent at a prime this is not the case for real polyhedral products associated to a simplicial complex whose minimal missing faces are all k-simplices with $k{\geq}2$. Moreover, we also show a structural theorem for a finite group G acting simplicially on the real toric space. In other words, we show that G always contains an element of order 2, and so the order of G should be even.

ON THE SIMPLICIAL COMPLEX STEMMED FROM A DIGITAL GRAPH

  • HAN, SANG-EON
    • 호남수학학술지
    • /
    • 제27권1호
    • /
    • pp.115-129
    • /
    • 2005
  • In this paper, we give a digital graph-theoretical approach of the study of digital images with relation to a simplicial complex. Thus, a digital graph $G_k$ with some k-adjacency in ${\mathbb{Z}}^n$ can be recognized by the simplicial complex spanned by $G_k$. Moreover, we demonstrate that a graphically $(k_0,\;k_1)$-continuous map $f:G_{k_0}{\subset}{\mathbb{Z}}^{n_0}{\rightarrow}G_{k_1}{\subset}{\mathbb{Z}}^{n_1}$ can be converted into the simplicial map $S(f):S(G_{k_0}){\rightarrow}S(G_{k_1})$ with relation to combinatorial topology. Finally, if $G_{k_0}$ is not $(k_0,\;3^{n_0}-1)$-homotopy equivalent to $SC^{n_0,4}_{3^{n_0}-1}$, a graphically $(k_0,\;k_1)$-continuous map (respectively a graphically $(k_0,\;k_1)$-isomorphisim) $f:G_{k_0}{\subset}{\mathbb{Z}}^{n_0}{\rightarrow}G_{k_1}{\subset}{\mathbb{Z}^{n_1}$ induces the group homomorphism (respectively the group isomorphisim) $S(f)_*:{\pi}_1(S(G_{k_0}),\;v_0){\rightarrow}{\pi}_1(S(G_{k_1}),\;f(v_0))$ in algebraic topology.

  • PDF

THE EQUIVALENCE OF TWO ALGEBARAIC K-THEORIES

  • Song, Yongjin
    • Korean Journal of Mathematics
    • /
    • 제5권2호
    • /
    • pp.107-112
    • /
    • 1997
  • For a ring R with 1, the higher K-theory of Quillen is defined by the higher homotopy groups of the plus construction of the general linear group of R. On the other hand, the Volodin K-theory is defined by the higher homotopy groups of the Volodin space. In this paper we show that these two K-theories are equivalent. We show that the Volodin space is a homotopy fiber of the acyclic map from BGL(R) to its plus construction.

  • PDF

On the general volodin space

  • Park, Sang-Gyu;Song, Yong-Jin
    • 대한수학회논문집
    • /
    • 제10권3호
    • /
    • pp.699-705
    • /
    • 1995
  • We first generalize the Volodin space which Volodin constructed in order to define a new algebraic K-theory. We investigate the topological (homotopy) properties of the general Volodin space. We also provide a theorem which seems to be useful in pure homotopy theory. We prove that $V(*_\alpha G_\alpha, {G_\alpha})$ is simply connected.

  • PDF

HOMOTOPY TYPE OF A 2-CATEGORY

  • Song, Yongjin
    • Korean Journal of Mathematics
    • /
    • 제18권2호
    • /
    • pp.175-183
    • /
    • 2010
  • The classical group completion theorem states that under a certain condition the homology of ${\Omega}BM$ is computed by inverting ${\pi}_0M$ in the homology of M. McDuff and Segal extended this theorem in terms of homology fibration. Recently, more general group completion theorem for simplicial spaces was developed. In this paper, we construct a symmetric monoidal 2-category ${\mathcal{A}}$. The 1-morphisms of ${\mathcal{A}}$ are generated by three atomic 2-dimensional CW-complexes and the set of 2-morphisms is given by the group of path components of the space of homotopy equivalences of 1-morphisms. The main part of the paper is to compute the homotopy type of the group completion of the classifying space of ${\mathcal{A}}$, which is shown to be homotopy equivalent to ${\mathbb{Z}}{\times}BAut^+_{\infty}$.