Related papers: Higher order Nielsen numbers

We show that every NP problem is polynomially equivalent to a simple combinatorial problem: the membership problem for a special class of digraphs. These classes are defined by means of shadows (projections) and by finitely many forbidden…

Given topological spaces X and Y, a fundamental problem of algebraic topology is understanding the structure of all continuous maps X -> Y . We consider a computational version, where X, Y are given as finite simplicial complexes, and the…

The cohomology ring of a finite group, with coefficients in a finite field, can be computed by a machine, as Carlson has showed. Here "compute" means to find a presentation in terms of generators and relations, and involves only the…

Let \fa be an ideal of a commutative Noetherian ring R and M and N two finitely generated R-modules. Let \cd_{\fa}(M,N) denote the supremum of the i's such that H^i_{\fa}(M,N)\neq 0. First, by using the theory of Gorenstein homological…

Let $p$ be a prime number, let $d$ be an integer and let $G$ be a $d$-generated finite $p$-group of nilpotency class smaller than $p$. Then the number of possible isomorphism types for the mod $p$ cohomology algebra $H^*(G;{\mathbb F}_p)$…

In recent work, Rosenbaum and Wagner showed that isomorphism of explicitly listed $p$-groups of order $n$ could be tested in $n^{\frac{1}{2}\log_p n + O(p)}$ time, roughly a square root of the classical bound. The $O(p)$ term is entirely…

F-boxes defined in [6] as hyper-boxes in N^{\infty} discrete space were applied here for the geometric description of the cobweb posetes Hasse diagrams tilings. The F-boxes edges sizes are taken to be values of terms of natural numbers'…

Let $k$ be a field of characteristic $0$, $X$ be a geometrically connected, smooth and proper variety over $k$ and $x\in X(k)$ be a base point. Using the notion of iterated universal extensions, we show that Nori's fundamental group…

A large family of "standard" coboundary Hopf algebras is investigated. The existence of a universal R-matrix is demonstrated for the case when the parameters are in general position. Special values of the parameters are characterized by the…

Suppose $\mathcal{G}$ is a second-countable locally compact Hausdorff \'{e}tale groupoid, $G$ is a discrete group containing a unital subsemigroup $P$, and $c:\mathcal{G}\rightarrow G$ is a continuous cocycle. We derive conditions on the…

A fundamental step in the classification of finite-dimensional complex pointed Hopf algebras is the determination of all finite-dimensional Nichols algebras of braided vector spaces arising from groups. The most important class of braided…

Let P be a connected smooth p-manifold. We describe the group of all cobordism classes of smooth maps of n-manifolds to P with singularities of a given $cal K$-invariant class in terms of certain stable homotopy groups by applying the…

A natural notion of higher order rectifiability is introduced for subsets of Heisenberg groups $\mathbb{H}^n$ in terms of covering a set almost everywhere by a countable union of $(\mathbf{C}_H^{1,\alpha},\mathbb{H})$-regular surfaces, for…

In this paper we study the topology of cobordism categories of manifolds with corners. Specifically, if {Cob}_{d,<k>} is the category whose objets are a fixed dimension d, with corners of codimension less than or equal to k, then we…

Ramsey theory is the study of conditions under which mathematical objects show order when partitioned. Ramsey theory on the integers concerns itself with partitions of $[1,n]$ into $r$ subsets and asks the question whether one (or more) of…

Let $G({\mathbb F}_{q})$ be a finite Chevalley group defined over the field of $q=p^{r}$ elements, and $k$ be an algebraically closed field of characteristic $p>0$. A fundamental open and elusive problem has been the computation of the…

We examine the dimensions of the intersection of a subset $E$ of an $m$-ary Cantor space $\mathcal{C}^m$ with the image of a subset $F$ under a random isometry with respect to a natural metric. We obtain almost sure upper bounds for the…

We prove a converse to well-known results by E. Cartan and J. D. Moore. Let $f\colon M^n_c\to\Q^{n+p}_{\tilde c}$ be an isometric immersion of a Riemannian manifold with constant sectional curvature $c$ into a space form of curvature…

Let $G$ a semisimple Lie group of non-compact type and let $\mathcal{X}_G$ be the Riemannian symmetric space associated to it. Suppose $\mathcal{X}_G$ has dimension $n$ and it has no factor isometric to either $\mathbb{H}^2$ or…

The mod-p cohomology ring of a non-trivial finite p-group is an infinite dimensional, finitely presented graded unital algebra over the field with p elements, with generators in positive degrees. We describe an effective algorithm to test…