Showing 1–31 of 31 results for author: Cencelj, M

On some generalization of the bicyclic semigroup: the topological version

Authors: Matija Cencelj, Oleg Gutik, Dušan Repovš

Abstract: We show that every Hausdorff Baire topology $τ$ on $\mathcal{C}=\langle a,b\mid a^2b=a, ab^2=b\rangle$ such that $(\mathcal{C},τ)$ is a semitopological semigroup is discrete and we construct a nondiscrete Hausdorff semigroup topology on $\mathcal{C}$. We also discuss the closure of a semigroup $\mathcal{C}$ in a semitopological semigroup and prove that $\mathcal{C}$ does not embed into a topologic… ▽ More We show that every Hausdorff Baire topology $τ$ on $\mathcal{C}=\langle a,b\mid a^2b=a, ab^2=b\rangle$ such that $(\mathcal{C},τ)$ is a semitopological semigroup is discrete and we construct a nondiscrete Hausdorff semigroup topology on $\mathcal{C}$. We also discuss the closure of a semigroup $\mathcal{C}$ in a semitopological semigroup and prove that $\mathcal{C}$ does not embed into a topological semigroup with the countably compact square. △ Less

Submitted 12 January, 2024; originally announced January 2024.

Comments: 12 pages

MSC Class: Primary 22A15; 20M20; Secondary 20M05; 54C25; 54E52

Journal ref: Visnyk of the Lviv University. Series Mechanics and Mathematics, 2022, Vol. 94, p. 56--71

On the Browder-Levine-Novikov embedding theorems

Authors: M. Cencelj, D. Repovš, A. Skopenkov

Abstract: In this survey we present applications of the ideas of complement and neighborhood in the theory embeddings of manifolds into Euclidean space (in codimension at least three). We describe how the combination of these ideas gives a reduction of embeddability and isotopy problems to algebraic problems. We present a more clarified exposition of the Browder-Levine theorem on realization of normal syste… ▽ More In this survey we present applications of the ideas of complement and neighborhood in the theory embeddings of manifolds into Euclidean space (in codimension at least three). We describe how the combination of these ideas gives a reduction of embeddability and isotopy problems to algebraic problems. We present a more clarified exposition of the Browder-Levine theorem on realization of normal systems. Most of the survey is accessible to non-specialists in the theory of embeddings. △ Less

Submitted 5 April, 2021; originally announced April 2021.

Comments: 13 pages, 1 figure

MSC Class: Primary: 57R40; Secondary: 57R42; 57R52; 57R65; 57Q35; 57Q37

On nonlinear Schrödinger equations on the hyperbolic space

Authors: Matija Cencelj, István Faragó, Róbert Horváth, Dušan D. Repovš

Abstract: We study existence of weak solutions for certain classes of nonlinear Schrödinger equations on the Poincaré ball model $\mathbb{B}^N$, $N\geq 3$. By using the Palais principle of symmetric criticality and suitable group theoretical arguments, we establish the existence of a nontrivial (weak) solution. We study existence of weak solutions for certain classes of nonlinear Schrödinger equations on the Poincaré ball model $\mathbb{B}^N$, $N\geq 3$. By using the Palais principle of symmetric criticality and suitable group theoretical arguments, we establish the existence of a nontrivial (weak) solution. △ Less

Submitted 3 September, 2020; originally announced September 2020.

MSC Class: Primary: 35J60; 49K10; 58J32; Secondary: 35A01; 35R01

Journal ref: J. Math. Anal. Appl. 492:2 (2020), art. 124516, 12 pp

Infinitely many sign-changing solutions for Kirchhoff type problems in $\mathbb{R}^3$

Authors: Jijiang Sun, Lin Li, Matija Cencelj, Boštjan Gabrovšek

Abstract: In this paper, we consider the following nonlinear Kirchhoff type problem: \[ \left\{\begin{array}{lcl}-\left(a+b\displaystyle\int_{\mathbb{R}^3}|\nabla u|^2\right)Δu+V(x)u=f(u), & \textrm{in}\,\,\mathbb{R}^3,\\ u\in H^1(\mathbb{R}^3), \end{array}\right. \] where $a,b>0$ are constants, the nonlinearity $f$ is superlinear at infinity with subcritical growth and $V$ is continuous and coercive. For t… ▽ More In this paper, we consider the following nonlinear Kirchhoff type problem: \[ \left\{\begin{array}{lcl}-\left(a+b\displaystyle\int_{\mathbb{R}^3}|\nabla u|^2\right)Δu+V(x)u=f(u), & \textrm{in}\,\,\mathbb{R}^3,\\ u\in H^1(\mathbb{R}^3), \end{array}\right. \] where $a,b>0$ are constants, the nonlinearity $f$ is superlinear at infinity with subcritical growth and $V$ is continuous and coercive. For the case when $f$ is odd in $u$ we obtain infinitely many sign-changing solutions for the above problem by using a combination of invariant sets method and the Ljusternik-Schnirelman type minimax method. To the best of our knowledge, there are only few existence results for this problem. It is worth mentioning that the nonlinear term may not be 4-superlinear at infinity, in particular, it includes the power-type nonlinearity $|u|^{p-2}u$ with $p\in(2,4]$. △ Less

Submitted 3 July, 2019; originally announced July 2019.

Journal ref: Nonlinear Analysis, vol. 186, 2019, pages 33-54

Double phase problems with variable growth

Authors: Matija Cencelj, Vicenţiu D. Rădulescu, Dušan D. Repovš

Abstract: We consider a class of double phase variational integrals driven by nonhomogeneous potentials. We study the associated Euler equation and we highlight the existence of two different Rayleigh quotients. One of them is in relationship with the existence of an infinite interval of eigenvalues while the second one is associated with the nonexistence of eigenvalues. The notion of eigenvalue is understo… ▽ More We consider a class of double phase variational integrals driven by nonhomogeneous potentials. We study the associated Euler equation and we highlight the existence of two different Rayleigh quotients. One of them is in relationship with the existence of an infinite interval of eigenvalues while the second one is associated with the nonexistence of eigenvalues. The notion of eigenvalue is understood in the sense of pairs of nonlinear operators, as introduced by Fučik, Nečas, Souček, and Souček. The analysis developed in this paper extends the abstract framework corresponding to some standard cases associated to the $p(x)$-Laplace operator, the generalized mean curvature operator, or the capillarity differential operator with variable exponent. The results contained in this paper complement the pioneering contributions of Marcellini, Mingione et al. in the field of variational integrals with unbalanced growth. △ Less

Submitted 18 October, 2018; originally announced October 2018.

MSC Class: 35J60; 35P30; 47J10; 58C40; 58E30

Journal ref: Nonlinear Anal. 177 (2018), Part A, 270-287

On the Alexandroff-Borsuk problem

Authors: Matija Cencelj, Umed H. Karimov, Dušan D. Repovš

Abstract: We investigate the classical Alexandroff-Borsuk problem in the category of non-triangulable manifolds: Given an $n$-dimensional compact non-triangulable manifold $M^n$ and $\varepsilon > 0$, does there exist an $\varepsilon$-map of $M^n$ onto an $n$-dimensional finite polyhedron which induces a homotopy equivalence? We investigate the classical Alexandroff-Borsuk problem in the category of non-triangulable manifolds: Given an $n$-dimensional compact non-triangulable manifold $M^n$ and $\varepsilon > 0$, does there exist an $\varepsilon$-map of $M^n$ onto an $n$-dimensional finite polyhedron which induces a homotopy equivalence? △ Less

Submitted 3 March, 2017; originally announced March 2017.

MSC Class: 54F15; 54G20; 55N15; 57M05

Journal ref: Topology Appl. 221 (2017), 114-120

Multiple perturbations of a singular eigenvalue problem

Authors: Matija Cencelj, Dušan Repovš, Žiga Virk

Abstract: We study the perturbation by a critical term and a $(p-1)$-superlinear subcritical nonlinearity of a quasilinear elliptic equation containing a singular potential. By means of variational arguments and a version of the concentration-compactness principle in the singular case, we prove the existence of solutions for positive values of the parameter under the principal eigenvalue of the associated s… ▽ More We study the perturbation by a critical term and a $(p-1)$-superlinear subcritical nonlinearity of a quasilinear elliptic equation containing a singular potential. By means of variational arguments and a version of the concentration-compactness principle in the singular case, we prove the existence of solutions for positive values of the parameter under the principal eigenvalue of the associated singular eigenvalue problem. △ Less

Submitted 22 February, 2016; originally announced February 2016.

MSC Class: 35B33; 35B38; 35P30; 47J10; 58E05

Journal ref: Nonlinear Analysis 119 (2015), 37-45

Asymptotic dimension of coarse spaces via maps to simplicial complexes

Authors: M. Cencelj, J. Dydak, A. Vavpetič

Abstract: It is well-known that a paracompact space $X$ is of covering dimension at most $n$ if and only if any map $f\colon X\to K$ from $X$ to a simplicial complex $K$ can be pushed into its $n$-skeleton $K^{(n)}$. We use the same idea to characterize asymptotic dimension in the coarse category of arbitrary coarse spaces. Continuity of the map $f$ is replaced by variation of $f$ on elements of a uniformly… ▽ More It is well-known that a paracompact space $X$ is of covering dimension at most $n$ if and only if any map $f\colon X\to K$ from $X$ to a simplicial complex $K$ can be pushed into its $n$-skeleton $K^{(n)}$. We use the same idea to characterize asymptotic dimension in the coarse category of arbitrary coarse spaces. Continuity of the map $f$ is replaced by variation of $f$ on elements of a uniformly bounded cover. The same way one can generalize Property A of G.Yu to arbitrary coarse spaces. △ Less

Submitted 6 August, 2015; originally announced August 2015.

Comments: 9 pages

MSC Class: Primary 54F45; Secondary 55M10

Journal ref: Topology Appl. 239 (2018), 226-233

Coarse classification of abelian groups and amenable shift-homogeneous metric spaces

Authors: Taras Banakh, Matija Cencelj, Dušan Repovš, Ihor Zarichnyi

Abstract: In this paper we classify countable locally finite-by-abelian groups up to coarse isomorphism. This classification is derived from a coarse classification of amenable shift-homogeneous metric spaces. In this paper we classify countable locally finite-by-abelian groups up to coarse isomorphism. This classification is derived from a coarse classification of amenable shift-homogeneous metric spaces. △ Less

Submitted 13 December, 2014; originally announced December 2014.

Comments: 12 pages

MSC Class: 20F65

Journal ref: Quaterly Jour. Math. 65:4 (2014), 1127-1144

Max-min measures on ultrametric spaces

Authors: Matija Cencelj, Dušan Repovš, Mykhailo Zarichnyi

Abstract: The ultrametrization of the set of all probability measures of compact support on the ultrametric spaces was first defined by Hartog and de Vink. In this paper we consider a similar construction for the so called max-min measures on the ultrametric spaces. In particular, we prove that the functors max-min measures and idempotent measures are isomorphic. However, we show that this is not the case f… ▽ More The ultrametrization of the set of all probability measures of compact support on the ultrametric spaces was first defined by Hartog and de Vink. In this paper we consider a similar construction for the so called max-min measures on the ultrametric spaces. In particular, we prove that the functors max-min measures and idempotent measures are isomorphic. However, we show that this is not the case for the monads generated by these functors. △ Less

Submitted 26 February, 2013; originally announced February 2013.

MSC Class: 32P05; 54B30; 60B05

Journal ref: Topology Appl. 160:5 (2013), 673-681

Coarse amenability versus paracompactness

Authors: M. Cencelj, J. Dydak, A. Vavpetič

Abstract: Recent research in coarse geometry revealed similarities between certain concepts of analysis, large scale geometry, and topology. Property A of G.Yu is the coarse analog of amenability for groups and its generalization (exact spaces) was later strengthened to be the large scale analog of paracompact spaces using partitions of unity. In this paper we go deeper into divulging analogies between coar… ▽ More Recent research in coarse geometry revealed similarities between certain concepts of analysis, large scale geometry, and topology. Property A of G.Yu is the coarse analog of amenability for groups and its generalization (exact spaces) was later strengthened to be the large scale analog of paracompact spaces using partitions of unity. In this paper we go deeper into divulging analogies between coarse amenability and paracompactness. In particular, we define a new coarse analog of paracompactness modelled on the defining characteristics of expanders. That analog gives an easy proof of three categories of spaces being coarsely non-amenable: expander sequences, graph spaces with girth approaching infinity, and unions of powers of a finite non-trivial group. △ Less

Submitted 18 November, 2013; v1 submitted 13 August, 2012; originally announced August 2012.

Comments: 24 pages, version 3 as a result of comments by a great referee

MSC Class: 54F45 (Primary); 55M10 (Secondary)

Asymptotic dimension, Property A, and Lipschitz maps

Authors: M. Cencelj, J. Dydak, A. Vavpetic

Abstract: It is well-known that a paracompact space X is of covering dimension n if and only if any map f from X to a simplicial complex K can be pushed into its n-skeleton. We use the same idea to define dimension in the coarse category. It turns out the analog of maps f from X to K is related to asymptotically Lipschitz maps, the analog of paracompact spaces are spaces related to Yu's Property A, and th… ▽ More It is well-known that a paracompact space X is of covering dimension n if and only if any map f from X to a simplicial complex K can be pushed into its n-skeleton. We use the same idea to define dimension in the coarse category. It turns out the analog of maps f from X to K is related to asymptotically Lipschitz maps, the analog of paracompact spaces are spaces related to Yu's Property A, and the dimension coincides with Gromov's asymptotic dimension. △ Less

Submitted 22 September, 2009; originally announced September 2009.

Comments: 10 pages

MSC Class: 54F45; 55M10

Journal ref: Rev. Mat. Complut. 26 (2013), no. 2 561-571

On structure sets of manifold pairs

Authors: Matija Cencelj, Yurij V. Muranov, Dušan Repovš

Abstract: In this paper we systematically describe relations between various structure sets which arise naturally for pairs of compact topological manifolds with boundary. Our consideration is based on a deep analogy between the case of a compact manifold with boundary and the case of a closed manifold pair. This approach also gives a possibility to construct the obstruction groups for natural maps of var… ▽ More In this paper we systematically describe relations between various structure sets which arise naturally for pairs of compact topological manifolds with boundary. Our consideration is based on a deep analogy between the case of a compact manifold with boundary and the case of a closed manifold pair. This approach also gives a possibility to construct the obstruction groups for natural maps of various structure sets and to investigate their properties. △ Less

Submitted 10 August, 2009; originally announced August 2009.

MSC Class: 57R67; 19J25; 55T99; 58A35

Journal ref: Homology, Homotopy and Applications 11:2 (2009), 195-222.

A combinatorial approach to coarse geometry

Authors: M. Cencelj, J. Dydak, A. Vavpeti\v\{c}, \v\{Z}. Virk

Abstract: Using ideas from shape theory we embed the coarse category of metric spaces into the category of direct sequences of simplicial complexes with bonding maps being simplicial. Two direct sequences of simplicial complexes are equivalent if one of them can be transformed to the other by contiguous factorizations of bonding maps and by taking infinite subsequences. That embedding can be realized by e… ▽ More Using ideas from shape theory we embed the coarse category of metric spaces into the category of direct sequences of simplicial complexes with bonding maps being simplicial. Two direct sequences of simplicial complexes are equivalent if one of them can be transformed to the other by contiguous factorizations of bonding maps and by taking infinite subsequences. That embedding can be realized by either Rips complexes or analogs of Roe's anti-\v\{C}ech approximations of spaces. In that model the asymptotic dimension being at most n means that for each k there is m > k such that the bonding map from K_k to K_m factors (up to contiguity) through an n-dimensional complex. One can give a similar characterization of Property A of G.Yu. Using our approach we give a simple proof of a characterization of geodesic spaces that are coarsely equivalent to simplicial trees (a result of Fujiwara and Whyte). △ Less

Submitted 7 June, 2009; originally announced June 2009.

Comments: 18 pages

MSC Class: 54F45; 55M10

Journal ref: Topology and its Applications 159(2012), 646-658

Property A and asymptotic dimension

Authors: M. Cencelj, J. Dydak, A. Vavpetic

Abstract: The purpose of this note is to characterize the asymptotic dimension $asdim(X)$ of metric spaces $X$ in terms similar to Property A of Yu: If $(X,d)$ is a metric space and $n\ge 0$, then the following conditions are equivalent: [a.] $asdim(X,d)\leq n$, [b.] For each $R,ε> 0$ there is $S > 0$ and finite non-empty subsets $A_x\subset B(x,S)\times N$, $x\in X$, such that… ▽ More The purpose of this note is to characterize the asymptotic dimension $asdim(X)$ of metric spaces $X$ in terms similar to Property A of Yu: If $(X,d)$ is a metric space and $n\ge 0$, then the following conditions are equivalent: [a.] $asdim(X,d)\leq n$, [b.] For each $R,ε> 0$ there is $S > 0$ and finite non-empty subsets $A_x\subset B(x,S)\times N$, $x\in X$, such that $\frac{| A_xΔA_y|}{| A_x\cap A_y|} < ε$ if $d(x,y) < R$ and the projection of $A_x$ onto $X$ contains at most $n+1$ elements for all $x\in X$, [c.] For each $R > 0$ there is $S > 0$ and finite non-empty subsets $A_x\subset B(x,S)\times N$, $x\in X$, such that $\frac{| A_xΔA_y|}{| A_x\cap A_y|} < \frac{1}{n+1}$ if $d(x,y) < R$ and the projection of $A_x$ onto $X$ contains at most $n+1$ elements for all $x\in X$. △ Less

Submitted 14 December, 2008; originally announced December 2008.

Comments: 3 pages

MSC Class: 54F45; 55M10

Journal ref: Glas. Mat. Ser. III 47 (2012), no. 2, 441-444

Classification of knotted tori in the 2-metastable dimension

Authors: M. Cencelj, D. Repovš, M. Skopenkov

Abstract: This paper is on the classical Knotting Problem: for a given manifold N and a number m describe the set of isotopy classes of embeddings $N\to S^m$. We study the specific case of knotted tori, i. e. the embeddings $S^p \times S^q \to S^m$. The classification of knotted tori up to isotopy in the metastable dimension range $m>p+\frac{3}{2}q+2$, $p\le q$, was given by A. Haefliger, E. Zeeman and A. S… ▽ More This paper is on the classical Knotting Problem: for a given manifold N and a number m describe the set of isotopy classes of embeddings $N\to S^m$. We study the specific case of knotted tori, i. e. the embeddings $S^p \times S^q \to S^m$. The classification of knotted tori up to isotopy in the metastable dimension range $m>p+\frac{3}{2}q+2$, $p\le q$, was given by A. Haefliger, E. Zeeman and A. Skopenkov. We consider the dimensions below the metastable range, and give an explicit criterion for the finiteness of this set of isotopy classes in the 2-metastable dimension: Theorem. Assume that $p+\frac{4}{3}q+2<m<p+\frac{3}{2}q+2$ and $m>2p+q+2$. Then the set of smooth embeddings $S^p \times S^q \to S^m$ up to isotopy is infinite if and only if either $q+1$ or $p+q+1$ is divisible by 4. Our approach to the classification is based on an analogue of the Koschorke exact sequence from the theory of link maps. This sequence involves a new $β$-invariant of knotted tori. The exactness is proved using embedded surgery and the Habegger-Kaiser techniques of studying the complement. △ Less

Submitted 2 November, 2012; v1 submitted 17 November, 2008; originally announced November 2008.

Comments: in English and in Russian, 24 pages, 10 figures. Minor corrections: in particular, in notation (c) before Theorem 2.1 and in Definiton of the beta-invariant

MSC Class: 57Q35; 57Q45 (Primary) 55S37; 57Q60 (Secondary)

Journal ref: Sbornik: Mathematics 203:11 (2012), 1654-1681

Characterizing compact Clifford semigroups that embed into convolution and functor-semigroups

Authors: Taras Banakh, Matija Cencelj, Olena Hryniv, Dušan Repovš

Abstract: We study algebraic and topological properties of the convolution semigroups of probability measures on a topological groups and show that a compact Clifford topological semigroup $S$ embeds into the convolution semigroup $P(G)$ over some topological group $G$ if and only if $S$ embeds into the semigroup $\exp(G)$ of compact subsets of $G$ if and only if $S$ is an inverse semigroup and has zero-dim… ▽ More We study algebraic and topological properties of the convolution semigroups of probability measures on a topological groups and show that a compact Clifford topological semigroup $S$ embeds into the convolution semigroup $P(G)$ over some topological group $G$ if and only if $S$ embeds into the semigroup $\exp(G)$ of compact subsets of $G$ if and only if $S$ is an inverse semigroup and has zero-dimensional maximal semilattice. We also show that such a Clifford semigroup $S$ embeds into the functor-semigroup $F(G)$ over a suitable compact topological group $G$ for each weakly normal monadic functor $F$ in the category of compacta such that $F(G)$ contains a $G$-invariant element (which is an analogue of the Haar measure on $G$). △ Less

Submitted 2 August, 2011; v1 submitted 6 November, 2008; originally announced November 2008.

MSC Class: 20M18; 20M30; 22A15; 43A05; 54B20; 54B30

Journal ref: Semigroup Forum 83:1 (2011), 123-133

Bockstein theorem for nilpotent groups

Authors: M. Cencelj, J. Dydak, A. Mitra, A. Vavpetic

Abstract: We extend the definition of Bockstein basis $σ(G)$ to nilpotent groups $G$. A metrizable space $X$ is called a {\it Bockstein space} if $\dim_G(X) = \sup\{\dim_H(X) | H\in σ(G)\}$ for all Abelian groups $G$. Bockstein First Theorem says that all compact spaces are Bockstein spaces. Here are the main results of the paper: Let $X$ be a Bockstein space. If $G$ is nilpotent, then… ▽ More We extend the definition of Bockstein basis $σ(G)$ to nilpotent groups $G$. A metrizable space $X$ is called a {\it Bockstein space} if $\dim_G(X) = \sup\{\dim_H(X) | H\in σ(G)\}$ for all Abelian groups $G$. Bockstein First Theorem says that all compact spaces are Bockstein spaces. Here are the main results of the paper: Let $X$ be a Bockstein space. If $G$ is nilpotent, then $\dim_G(X) \leq 1$ if and only if $\sup\{\dim_H(X) | H\inσ(G)\}\leq 1$. $X$ is a Bockstein space if and only if $\dim_{\Z_{(l)}} (X) = \dim_{\hat{Z}_{(l)}}(X)$ for all subsets $l$ of prime numbers. △ Less

Submitted 23 September, 2008; originally announced September 2008.

Comments: 10 pages

MSC Class: 54F45; 55M10; 54C65

Journal ref: Proceedings of the American Math.Soc. 138 (2010), 1501-1510

A short proof of the Twelve points theorem

Authors: Matija Cencelj, Dušan Repovš, Mikhail Skopenkov

Abstract: We present a short elementary proof of the following Twelve Points Theorem: Let M be a convex polygon with vertices at the lattice points, containing a single lattice point in its interior. Denote by m (resp. m*) the number of lattice points in the boundary of M (resp. in the boundary of the dual polygon). Then m+m*=12. We present a short elementary proof of the following Twelve Points Theorem: Let M be a convex polygon with vertices at the lattice points, containing a single lattice point in its interior. Denote by m (resp. m*) the number of lattice points in the boundary of M (resp. in the boundary of the dual polygon). Then m+m*=12. △ Less

Submitted 8 August, 2008; originally announced August 2008.

Comments: in English and in Russian, 4 pages, 4 figures

MSC Class: 52B20

Journal ref: Mathematical Notes 77:1(2005), 108-111

The Arf-Kervaire invariant of framed manifolds as an obstruction to embeddability

Authors: Peter M. Akhmetiev, Matija Cencelj, Dušan D. Repovš

Abstract: We prove that no $14$-connected (resp. $30$-connected) stably parallelizable manifold $N^{30}$ (resp. $N^{62}$) of dimension $30$ (resp. $62$) with the Arf-Kervaire invariant 1 can be smoothly embedded into $\mathbb{R}^{36}$ (resp. $\mathbb{R}^{83}$). We prove that no $14$-connected (resp. $30$-connected) stably parallelizable manifold $N^{30}$ (resp. $N^{62}$) of dimension $30$ (resp. $62$) with the Arf-Kervaire invariant 1 can be smoothly embedded into $\mathbb{R}^{36}$ (resp. $\mathbb{R}^{83}$). △ Less

Submitted 7 December, 2022; v1 submitted 19 April, 2008; originally announced April 2008.

MSC Class: 55Q10; 55Q45; 55P42; 57N35; 57Q35; 58D10

Journal ref: Atti Accad. Peloritana Pericolanti Cl. Sci. Fis. Mat. Natur. 100:2 (2022), art. 10, 17 pp

Homotopy type of the complement of an immersion and classification of embeddings of tori

Authors: M. Cencelj, D. Repovš, M. Skopenkov

Abstract: This paper is devoted to the classification of embeddings of higher dimensional manifolds. We study the case of embeddings $S^p\times S^q\to S^m$, which we call knotted tori. The set of knotted tori in the the space of sufficiently high dimension, namely in the metastable range $m\ge p+3q/2+2$, $p\le q$, which is a natural limit for the classical methods of embedding theory, has been explicitely… ▽ More This paper is devoted to the classification of embeddings of higher dimensional manifolds. We study the case of embeddings $S^p\times S^q\to S^m$, which we call knotted tori. The set of knotted tori in the the space of sufficiently high dimension, namely in the metastable range $m\ge p+3q/2+2$, $p\le q$, which is a natural limit for the classical methods of embedding theory, has been explicitely described earlier. The aim of this note is to present an approach which allows for results in lower dimension. △ Less

Submitted 29 March, 2008; originally announced March 2008.

MSC Class: 57R40; 57R42; 55Q52

Journal ref: Russian Math. Surv. 62:5 (2007), 985-987

Preserving $Z$-sets by Dranishnikov's resolution

Authors: S. M. Ageev, M. Cencelj, D. Repovš

Abstract: We prove that Dranishnikov's $k$-dimensional resolution $d_k\colon μ^k\to Q$ is a UV$^{n-1}$-divider of Chigogidze's $k$-dimensional resolution $c_k$. This fact implies that $d_k^{-1}$ preserves $Z$-sets. A further development of the concept of UV$^{n-1}$-dividers permits us to find sufficient conditions for $d_k^{-1}(A)$ to be homeomorphic to the Nöbeling space $ν^k$ or the universal pseudoboun… ▽ More We prove that Dranishnikov's $k$-dimensional resolution $d_k\colon μ^k\to Q$ is a UV$^{n-1}$-divider of Chigogidze's $k$-dimensional resolution $c_k$. This fact implies that $d_k^{-1}$ preserves $Z$-sets. A further development of the concept of UV$^{n-1}$-dividers permits us to find sufficient conditions for $d_k^{-1}(A)$ to be homeomorphic to the Nöbeling space $ν^k$ or the universal pseudoboundary $σ^k$. We also obtain some other applications. △ Less

Submitted 28 March, 2008; originally announced March 2008.

MSC Class: 54F65; 58B05; 54C55; 57N20

Journal ref: Topology Appl. 156:13 (2009), 2175-2188.

Classification of framed links in 3-manifolds

Authors: M. Cencelj, D. Repovš, M. Skopenkov

Abstract: We present a short proof of the following Pontryagin theorem, whose original proof was complicated and has never been published in details: {\bf Theorem.} Let $M$ be a connected oriented closed smooth 3-manifold. Let $L_1(M)$ be the set of framed links in $M$ up to a framed cobordism. Let $°:L_1(M)\to H_1(M;\Z)$ be the map taking a framed link to its homology class. Then for each… ▽ More We present a short proof of the following Pontryagin theorem, whose original proof was complicated and has never been published in details: {\bf Theorem.} Let $M$ be a connected oriented closed smooth 3-manifold. Let $L_1(M)$ be the set of framed links in $M$ up to a framed cobordism. Let $°:L_1(M)\to H_1(M;\Z)$ be the map taking a framed link to its homology class. Then for each $α\in H_1(M;\Z)$ there is a 1-1 correspondence between the set $°\nolimits^{-1}α$ and the group $\Bbb Z_{2d(α)}$, where $d(α)$ is the divisibility of the projection of $α$ to the free part of $H_1(M;\Bbb Z)$. △ Less

Submitted 12 June, 2007; v1 submitted 29 May, 2007; originally announced May 2007.

Comments: Some references were added and some minor corrections and comments were made

MSC Class: 57M20; 57M25; 57M27; 57N10; 57N65; 57R20

Journal ref: Proc. Indian Acad. Sci. (Math. Sci.) 117:3 (2007), 301-306.

On $π- π$ theorem for manifold pairs with boundaries

Authors: M. Cencelj, Yu. V. Muranov, D. Repovš

Abstract: Surgery obstruction of a normal map to a simple Poincare pair $(X,Y)$ lies in the relative surgery obstruction group $L_*(π_1(Y)\toπ_1(X))$. A well known result of Wall, the so called $π$-$π$ theorem, states that in higher dimensions a normal map of a manifold with boundary to a simple Poincare pair with $π_1(X)\congπ_1(Y)$ is normally bordant to a simple homotopy equivalence of pairs. In order… ▽ More Surgery obstruction of a normal map to a simple Poincare pair $(X,Y)$ lies in the relative surgery obstruction group $L_*(π_1(Y)\toπ_1(X))$. A well known result of Wall, the so called $π$-$π$ theorem, states that in higher dimensions a normal map of a manifold with boundary to a simple Poincare pair with $π_1(X)\congπ_1(Y)$ is normally bordant to a simple homotopy equivalence of pairs. In order to study normal maps to a manifold with a submanifold, Wall introduced surgery obstruction group for manifold pairs $LP_*$ and splitting obstruction groups $LS_*$. In the present paper we formulate and prove for manifold pairs with boundaries the results which are similar to the $π$-$π$ theorem. We give direct geometric proofs, which are based on the original statements of Wall's results and apply obtained results to investigate surgery on filtered manifolds. △ Less

Submitted 29 May, 2007; originally announced May 2007.

MSC Class: 57R67; 57Q10; 57R10; 55U35

Journal ref: Mathematical Notes 81: 3-4 (2007), 356-364

Compact maps and quasi-finite complexes

Authors: M. Cencelj, J. Dydak, J. Smrekar, A. Vavpetic, Z. Virk

Abstract: The simplest condition characterizing quasi-finite CW complexes $K$ is the implication $Xτ_h K\implies β(X)τK$ for all paracompact spaces $X$. Here are the main results of the paper: Theorem: If $\{K_s\}_{s\in S}$ is a family of pointed quasi-finite complexes, then their wedge $\bigvee\limits_{s\in S}K_s$ is quasi-finite. Theorem: If $K_1$ and $K_2$ are quasi-finite countable complexes, then… ▽ More The simplest condition characterizing quasi-finite CW complexes $K$ is the implication $Xτ_h K\implies β(X)τK$ for all paracompact spaces $X$. Here are the main results of the paper: Theorem: If $\{K_s\}_{s\in S}$ is a family of pointed quasi-finite complexes, then their wedge $\bigvee\limits_{s\in S}K_s$ is quasi-finite. Theorem: If $K_1$ and $K_2$ are quasi-finite countable complexes, then their join $K_1\ast K_2$ is quasi-finite. Theorem: For every quasi-finite CW complex $K$ there is a family $\{K_s\}_{s\in S}$ of countable CW complexes such that $\bigvee\limits_{s\in S} K_s$ is quasi-finite and is equivalent, over the class of paracompact spaces, to $K$. Theorem: Two quasi-finite CW complexes $K$ and $L$ are equivalent over the class of paracompact spaces if and only if they are equivalent over the class of compact metric spaces. Quasi-finite CW complexes lead naturally to the concept of $Xτ{\mathcal F}$, where ${\mathcal F}$ is a family of maps between CW complexes. We generalize some well-known results of extension theory using that concept. △ Less

Submitted 28 February, 2008; v1 submitted 30 August, 2006; originally announced August 2006.

Comments: 20 pages

MSC Class: 54F45; 55M10; 54C65

Journal ref: Topology and its Applications, 154 (2007) 3005-3020

On the splitting problem for manifold pairs with boundaries

Authors: M. Cencelj, Yu. V. Muranov, D. Repovš

Abstract: The problem of splitting a homotopy equivalence along a submanifold is closely related to the surgery exact sequence and to the problem of surgery of manifold pairs. In classical surgery theory there exist two approaches to surgery in the category of manifolds with boundaries. In the $ rel \partial$ case the surgery on a manifold pair is considered with the given fixed manifold structure on the… ▽ More The problem of splitting a homotopy equivalence along a submanifold is closely related to the surgery exact sequence and to the problem of surgery of manifold pairs. In classical surgery theory there exist two approaches to surgery in the category of manifolds with boundaries. In the $ rel \partial$ case the surgery on a manifold pair is considered with the given fixed manifold structure on the boundary. In the relative case the surgery on the manifold with boundary is considered without fixing maps on the boundary. Consider a normal map to a manifold pair $(Y, \partial Y)\subset (X, \partial X)$ with boundary which is a simple homotopy equivalence on the boundary $\partial X$. This map defines a mixed structure on the manifold with the boundary in the sense of Wall. We introduce and study groups of obstructions to splitting of such mixed structures along submanifold with boundary $(Y, \partial Y)$. We describe relations of these groups to classical surgery and splitting obstruction groups. We also consider several geometric examples. △ Less

Submitted 29 August, 2006; originally announced August 2006.

Comments: Abh. Math. Sem. Univ. Hamburg, to appear

MSC Class: Primary 57R67; 57Q10; 57R10; 55U35

Journal ref: Abh. Math. Sem. Univ. Hamburg 76 (2006), 35-55.

Sublinear Higson corona and Lipschitz extensions

Authors: M. Cencelj, J. Dydak, J. Smrekar, A. Vavpetic

Abstract: The purpose of the paper is to characterize the dimension of sublinear Higson corona $ν_L(X)$ of $X$ in terms of Lipschitz extensions of functions: Theorem: Suppose $(X,d)$ is a proper metric space. The dimension of the sublinear Higson corona $ν_L(X)$ of $X$ is the smallest integer $m\ge 0$ with the following property: Any norm-preserving asymptotically Lipschitz function… ▽ More The purpose of the paper is to characterize the dimension of sublinear Higson corona $ν_L(X)$ of $X$ in terms of Lipschitz extensions of functions: Theorem: Suppose $(X,d)$ is a proper metric space. The dimension of the sublinear Higson corona $ν_L(X)$ of $X$ is the smallest integer $m\ge 0$ with the following property: Any norm-preserving asymptotically Lipschitz function $f'\colon A\to \R^{m+1}$, $A\subset X$, extends to a norm-preserving asymptotically Lipschitz function $g'\colon X\to \R^{m+1}$. One should compare it to the result of Dranishnikov \cite{Dr1} who characterized the dimension of the Higson corona $ν(X)$ of $X$ is the smallest integer $n\ge 0$ such that $\R^{n+1}$ is an absolute extensor of $X$ in the asymptotic category $\AAA$ (that means any proper asymptotically Lipschitz function $f\colon A\to \R^{n+1}$, $A$ closed in $X$, extends to a proper asymptotically Lipschitz function $f'\colon X\to \R^{n+1}$). \par In \cite{Dr1} Dranishnikov introduced the category $\tilde \AAA$ whose objects are pointed proper metric spaces $X$ and morphisms are asymptotically Lipschitz functions $f\colon X\to Y$ such that there are constants $b,c > 0$ satisfying $|f(x)|\ge c\cdot |x|-b$ for all $x\in X$. We show $\dim(ν_L(X))\leq n$ if and only if $\R^{n+1}$ is an absolute extensor of $X$ in the category $\tilde\AAA$. \par As an application we reprove the following result of Dranishnikov and Smith \cite{DRS}: Theorem: Suppose $(X,d)$ is a proper metric space of finite asymptotic Assouad-Nagata dimension $\asdim_{AN}(X)$. If $X$ is cocompact and connected, then $\asdim_{AN}(X)$ equals the dimension of the sublinear Higson corona $ν_L(X)$ of $X$. △ Less

Submitted 28 August, 2006; originally announced August 2006.

Comments: 13 pages

Journal ref: Houston J. Math. 37 (2011), no. 4, 1307-1322

Codimension two PL embeddings of spheres with nonstandard regular neighborhoods

Authors: M. Cencelj, D. Repovš, A. Skopenkov

Abstract: For a given polyhedron $K\subset M$ the notation $R_M(K)$ denotes a regular neighborhood of $K$ in $M$. We study the following problem: find all pairs $(m,k)$ such that if $K$ is a compact $k$-polyhedron and $M$ a PL $m$-manifold, then $R_M(fK)\cong R_M(gK)$, for each two homotopic PL embeddings $f,g:K\to M$. We prove that $R_{S^{k+2}}(S^k)\not\cong S^k\times D^2$ for each $k\ge2$ and {\it some}… ▽ More For a given polyhedron $K\subset M$ the notation $R_M(K)$ denotes a regular neighborhood of $K$ in $M$. We study the following problem: find all pairs $(m,k)$ such that if $K$ is a compact $k$-polyhedron and $M$ a PL $m$-manifold, then $R_M(fK)\cong R_M(gK)$, for each two homotopic PL embeddings $f,g:K\to M$. We prove that $R_{S^{k+2}}(S^k)\not\cong S^k\times D^2$ for each $k\ge2$ and {\it some} PL sphere $S^k\subset S^{k+2}$ (even for {\it any} PL sphere $S^k\subset S^{k+2}$ having an isolated non-locally flat point with the singularity $S^{k-1}\subset S^{k+1}$ such that $π_1(S^{k+1}-S^{k-1})\not\cong\Z$). △ Less

Submitted 27 August, 2006; originally announced August 2006.

MSC Class: 57M25; 57Q40; 57M05; 57N40

Journal ref: Chinese Ann. of Math., Ser. B, 28: 5 (2007), 603-608.

Rigidity of the Minimal Grope Group

Authors: Matija Cencelj, Katsuya Eda, Ales Vavpetic

Abstract: We give a systematic definition of the fundamental groups of gropes, which we call grope groups. We show that there exists a nontrivial homomorphism from the minimal grope group M to another grope group G only if G is the free product of M with another grope group. We give a systematic definition of the fundamental groups of gropes, which we call grope groups. We show that there exists a nontrivial homomorphism from the minimal grope group M to another grope group G only if G is the free product of M with another grope group. △ Less

Submitted 4 August, 2006; originally announced August 2006.

MSC Class: 20F22; 20F12; 20F38

Hurewicz-Serre Theorem in extension theory

Authors: M. Cencelj, J. Dydak, A. Mitra, A. Vavpetic

Abstract: The paper is devoted to generalizations of Cencelj-Dranishnikov theorems relating extension properties of nilpotent CW complexes to its homology groups. Here are the main results of the paper: \par {\bf Theorem}. Suppose $L$ is a nilpotent CW complex and $F$ is the homotopy fiber of the inclusion $i$ of $L$ into its infinite symmetric product $SP(L)$. If $X$ is a metrizable space such that… ▽ More The paper is devoted to generalizations of Cencelj-Dranishnikov theorems relating extension properties of nilpotent CW complexes to its homology groups. Here are the main results of the paper: \par {\bf Theorem}. Suppose $L$ is a nilpotent CW complex and $F$ is the homotopy fiber of the inclusion $i$ of $L$ into its infinite symmetric product $SP(L)$. If $X$ is a metrizable space such that $XτK(H_k(L),k)$ for all $k\ge 1$, then $XτK(π_k(F),k)$ and $XτK(π_k(L),k)$ for all $k\ge 2$. \par {\bf Theorem}. Let $X$ be a metrizable space such that $\dim(X) < \infty$ or $X\in ANR$. Suppose $L$ is a nilpotent CW complex and $SP(L)$ is its infinite symmetric product. If $XτSP(L)$, then $XτL$ in the following cases: \begin{itemize} \item[a.] $H_1(L)$ is finitely generated. \item[b.] $H_1(L)$ is a torsion group. \end{itemize} △ Less

Submitted 31 March, 2006; originally announced March 2006.

MSC Class: 55M10; 54F45; 54C65

Algebraic properties of quasi-finite complexes

Authors: M. Cencelj, J. Dydak, J. Smrekar, A. Vavpetic, Z. Virk

Abstract: A countable CW complex $K$ is quasi-finite (as defined by A.Karasev) if for every finite subcomplex $M$ of $K$ there is a finite subcomplex $e(M)$ such that any map $f:A\to M$, where $A$ is closed in a separable metric space $X$ satisfying $XτK$, has an extension $g:X\to e(M)$. Levin's results imply that none of the Eilenberg-MacLane spaces $K(G,2)$ is quasi-finite if $G\ne 0$. In this paper we… ▽ More A countable CW complex $K$ is quasi-finite (as defined by A.Karasev) if for every finite subcomplex $M$ of $K$ there is a finite subcomplex $e(M)$ such that any map $f:A\to M$, where $A$ is closed in a separable metric space $X$ satisfying $XτK$, has an extension $g:X\to e(M)$. Levin's results imply that none of the Eilenberg-MacLane spaces $K(G,2)$ is quasi-finite if $G\ne 0$. In this paper we discuss quasi-finiteness of all Eilenberg-MacLane spaces. More generally, we deal with CW complexes with finitely many nonzero Postnikov invariants. Here are the main results of the paper: Suppose $K$ is a countable CW complex with finitely many nonzero Postnikov invariants. If $π_1(K)$ is a locally finite group and $K$ is quasi-finite, then $K$ is acyclic. Suppose $K$ is a countable non-contractible CW complex with finitely many nonzero Postnikov invariants. If $π_1(K)$ is nilpotent and $K$ is quasi-finite, then $K$ is extensionally equivalent to $S^1$. △ Less

Submitted 24 September, 2005; originally announced September 2005.

Comments: 13 pages

MSC Class: 54F45; 55M10; 54C65

Journal ref: Fund. Math. 197 (2007), 67-80