Related papers: On Computability and Triviality of Well Groups
As a higher dimensional version of the theory of Morse functions, there have been various studies of smooth manifolds using generic smooth maps. As fundamental results, in these studies, they have found that inverse images of such maps…
Although provably robust to translational perturbations, convolutional neural networks (CNNs) are known to suffer from extreme performance degradation when presented at test time with more general geometric transformations of inputs.…
Invariance to nuisance transformations is one of the desirable properties of effective representations. We consider transformations that form a \emph{group} and propose an approach based on kernel methods to derive local group invariant…
Simplicial complexes can be viewed as high dimensional generalizations of graphs that explicitly encode multi-way ordered relations between vertices at different resolutions, all at once. This concept is central towards detection of higher…
We construct topological invariants, called abstract weak orbit spaces, of flows and homeomorphisms on topological spaces, to describe both gradient dynamics and recurrent dynamics. In particular, the abstract weak orbit spaces of flows on…
We study finite-dimensional groups definable in models of the theory of real closed fields with a generic derivation (also known as CODF). We prove that any such group definably embeds in a semialgebraic group. We extend the results to…
In this article, we characterize the distortion elements of the group of smooth diffeomorphisms of the circle and of the group of compactly supported smooth diffeomorphisms of the real line. More precisely, we prove that, in this context,…
A finitely presented group F is called flawed if Hom(F,G)//G deformation retracts onto its subspace Hom(F,K)/K for reductive affine algebraic groups G and maximal compact subgroups K in G. After discussing generalities concerning flawed…
We establish vanishing results for the first cohomology group of nilpotent groups and Lie rings when the submodule of invariants is trivial. Our results are obtained within a model-theoretic setting, namely for structures that are definable…
The article gives the second part of the treatise on Regular Algebraic $K$-theory (Sections V & VI) of the author. Regular algebraic $K$-theory for groups is a homology theory for discrete groups closely connected to (but different from)…
In noncommutative geometry a `Lie algebra' or bidirectional bicovariant differential calculus on a finite group is provided by a choice of an ad-stable generating subset C stable under inversion. We study the associated Killing form. For…
We describe the Witt invariants of a Weyl group over a field $k_0$ by giving generators for the $W(k_0)$-module of Witt invariants, under the assumption that the characteristic of $k_0$ does not divide the order of the group. For the Weyl…
We define an infinite family of linearly independent, integer-valued smooth concordance homomorphisms. Our homomorphisms are explicitly computable and rely on local equivalence classes of knot Floer complexes over the ring $\mathbb{F}[U,…
A weakly complete vector space over $\mathbb{K}=\mathbb{R}$ or $\mathbb{K}=\mathbb{C}$ is isomorphic to $\mathbb{K}^X$ for some set $X$ algebraically and topologically. The significance of this type of topological vector spaces is…
In this paper we analyse the topological group cohomology of finite-dimensional Lie groups. We introduce a technique for computing it (as abelian groups) for torus coefficients by the naturally associated long exact sequence. The upshot in…
A topological group G is profinite if it is compact and totally disconnected. Equivalently, G is the inverse limit of a surjective system of finite groups carrying the discrete topology. We discuss how to represent a countably based…
Let $H$ be an infinite dimensional separable Hilbert space, $B(H)$ the $C^*$-algebra of all bounded linear operators on $H,$ $U(B(H))$ the unitary group of $B(H)$ and ${\cal K}\subset B(H)$ the ideal of compact operators. Let $G$ be a…
We use assembly maps to study $\mathbf{TC}(\mathbb{A}[G];p)$, the topological cyclic homology at a prime $p$ of the group algebra of a discrete group $G$ with coefficients in a connective ring spectrum $\mathbb{A}$. For any finite group, we…
We study definably compact definably connected groups definable in a sufficiently saturated real closed field $R$. We introduce the notion of group-generic point for $\bigvee$-definable groups and show the existence of group-generic points…
In this article, we establish the foundations of a computational field theory, which we term Topological Kleene Field Theory (TKFT), inspired by Stephen Kleene's seminal work on partial recursive functions and drawing parallels with…