Related papers: The rationality of Sol manifolds

For any prime number p and any positive real number {\alpha}, we construct a finitely generated group {\Gamma} with p-gradient equal to {\alpha}. This construction is used to show that there exist uncountably many pairwise non-commensurable…

Let $G$ be 2-generated group. The generating graph $\Gamma(G)$ of $G$ is the graph whose vertices are the elements of $G$ and where two vertices $g$ and $h$ are adjacent if $G = \langle g, h \rangle.$ This definition can be extended to a…

The notion of formal Siegel modular forms for an arithmetic subgroup $\Gamma$ of the symplectic group of genus $n$ is a generalization of symmetric formal Fourier-Jacobi series. Assuming an upper bound on the affine covering number of the…

Let $\Gamma$ be a finite graph and let $A(\Gamma)$ be the corresponding right-angled Artin group. From an arbitrary basis $\mathcal B$ of $H^1(A(\Gamma),\mathbb F)$ over an arbitrary field, we construct a natural graph $\Gamma_{\mathcal B}$…

Let $G$ be the fundamental group of a compact nonpositively curved cube complex $Y$. With respect to a basepoint $x$, one obtains an integer-valued length function on $G$ by counting the number of edges in a minimal length edge-path…

Let $K$ be a field and $G$ be a finite group. Let $G$ act on the rational function field $K(x(g):g\in G)$ by $K$-automorphisms defined by $g\cdot x(h)=x(gh)$ for any $g,h\in G$. Denote by $K(G)$ the fixed field $K(x(g):g\in G)^G$. Noether's…

Let $M \subset X$ be a submanifold of a rational homogeneous space $X$ such that the normal sequence splits. We prove that $M$ is also rational homogeneous.

Given a regular language L, we effectively construct a unary semigroup that recognizes the topological closure of L in the free unary semigroup relative to the variety of unary semigroups generated by the pseudovariety R of all finite…

Let $n$ be a positive integer and $\mathcal M$ a set of rational $n \times n$-matrices such that $\mathcal M$ generates a finite multiplicative semigroup. We show that any matrix in the semigroup is a product of matrices in $\mathcal M$…

A group is said to hae a rational growth with respect to the generating set if the growth series is a rational polynomial. It was shown by Parry that a subset of torus bundle groups exhibits rational growth. We generalize this result to…

We introduce a class of normal complex spaces having only mild sin-gularities (close to quotient singularities) for which we generalize the notion of a (analytic) fundamental class for an analytic cycle and also the notion of a relative…

For $\Gamma$ a group of order $mp$ for $p$ prime where $gcd(p,m)=1$, we consider those regular subgroups $N\leq Perm(\Gamma)$ normalized by $\lambda(\Gamma)$, the left regular representation of $\Gamma$. These subgroups are in one-to-one…

We show that every word hyperbolic, surface-by-(noncyclic) free group Gamma is as rigid as possible: the quasi-isometry group of Gamma equals the abstract commensurator group Comm(Gamma), which in turn contains Gamma as a finite index…

Let P be a principal bundle with semisimple compact simply connected structure group G over a compact simply connected four-manifold M. In this note we give explicit formulas for the rational homotopy groups and cohomology algebra of the…

Purpose: This study extends the structural theory of finite commutative ternary $\Gamma$-semirings into a computational and categorical framework for explicit classification and constructive reasoning. Methods: Constraint-driven enumeration…

Group languages are regular languages recognized by finite groups, or equivalently by finite automata in which each letter induces a permutation on the set of states. We investigate the separation problem for this class of languages: given…

We give an alternative proof of a fact that a finite continuous non-decreasing submodular set function on a measurable space can be expressed as a supremum of measures dominated by the function, if there exists a class of sets which is…

For several instances of metric largeness like enlargeability or having hyperspherical universal covers, we construct non-large vector subspaces in the rational homology of finitely generated groups. The functorial properties of this…

Let $\varphi\colon\Gamma\to G$ be a homomorphism of groups. In this paper we introduce the notion of a subnormal map (the inclusion of a subnormal subgroup into a group being a basic prototype). We then consider factorizations…

Let G be one of the groups SL_n C, Sp_2n C, SO_m C, O_m C, or G_2. For a generically free G-representation V, we say that N is a level of stable rationality for V/G if V/G x P^N is rational. In this paper we improve known bounds for the…