Related papers: Nontrivial Topological Quandles

We show that the second bounded cohomology of the free product of racks and quandles is infinite-dimensional as a real vector space. This is similar to the case of groups. As a corollary, we show that the second bounded cohomology of the…

In this paper, we give a characterization of homogeneous quandles with abelian inner automorphism groups. In particular, we show that such a quandle is expressed as an abelian extension of a trivial quandle. Our construction is a…

We establish curvature obstruction theorems for manifolds with boundary. Our main theorems show that, for dimensions up to 7, a topologically nontrivial compact manifold with boundary cannot have a metric of positive $m$-intermediate…

Let $X$ be any rational surface. We construct a tilting bundle $T$ on $X$. Moreover, we can choose $T$ in such way that its endomorphism algebra is quasi-hereditary. In particular, the bounded derived category of coherent sheaves on $X$ is…

The existence of topological invariants analogous to Chern/Pontryagin classes for a standard $SO(D)$ or $SU(N)$ connection, but constructed out of the torsion tensor, is discussed. These invariants exhibit many of the features of the…

We prove that for any $n\geq 4$ there are infinitely many real homotopy types of $2n$-dimensional nilmanifolds admitting generalized complex structures of every type $k$, for $0 \leq k \leq n$. This is in deep contrast to the…

We prove that for any infinite countable amenable group $G$, any $\epsilon > 0$ and any finite subset $K\subset G$, there exists a tiling (partition of $G$ into finite "tiles" using only finitely many "shapes"), where all the tiles are $(K;…

We show uniqueness up to sign of positive, orthogonal almost-Kaehler structures on any non-scalar flat Kaehler-Einstein surface.

King's conjecture states that on every smooth complete toric variety $X$ there exists a strongly exceptional collection which generates the bounded derived category of $X$ and which consists of line bundles. We give a counterexample to this…

We prove that, for any $n\geq 0$, there exists an uncountable, $n$-dimensional, excellent, regular local ring with countable spectrum.

The numbers of $\mathbb{F}_q$-points of nonsingular hypersurfaces of a fixed degree in an odd-dimensional projective space are investigated, and an upper bound for them is given. Also we give the complete list of nonsingular hypersurfaces…

The real cohomology of the space of imbeddings of S^1 into R^n, n>3, is studied by using configuration space integrals. Nontrivial classes are explicitly constructed. As a by-product, we prove the nontriviality of certain cycles of…

A subset of a topological space is constructible if it is a finite Boolean combination of closed sets. We prove that every NTP$_2$ expansion of $(\mathbb{R},<,+)$ by constructible sets defines only constructible sets, and that definable…

We prove that if an $n$-dimensional space $X$ satisfies certain topological conditions then any triangulation of $X$ as well as any its representation as a simplicial set with contractible faces has at least $2^n$ faces of dimension $n$.…

It is shown that there exists a nontrivial uniform algebra that is Dirichlet on its maximal ideal space and has a dense set of elements that are exponentials. This answers a 65-year-old question of John Wermer and a 17-year-old question of…

Conformal fundamental forms populate a minimal generating set for low differential order invariants of conformal hypersurface embeddings. In this work we complete the characterization of conformal fundamental forms by proving the general…

We prove there exist infinitely many inequivalent fusion categories whose Grothendieck rings do not admit any pseudounitary categorifications.

We show that every orientable infinite-type surface is properly rigid as a consequence of a more general result. Namely, we prove that if a homotopy equivalence between any two non-compact orientable surfaces is a proper map, then it is…

We study $A_{\infty}$-structures extending the natural algebra structure on the cohomology of $\oplus_n L^n$, where $L$ is a very ample line bundle on a projective $d$-dimensional variety $X$ such that $H^i(X,L^n)=0$ for $0<i<d$ and all…

Let $X$ be a topological vector space of complex-valued sequences and $Y$ be a subset of $X$. We provide conditions for $X \setminus Y \cup \{0\}$ to contain uncountably infinitely many linearly independent dense vector subspaces of $X$. We…