Related papers: The rationality of Sol manifolds

Regular logic can be regarded as the internal language of regular categories, but the logic itself is generally not given a categorical treatment. In this paper, we understand the syntax and proof rules of regular logic in terms of the free…

We give a short proof of the following result due to Howie: if $A(\Gamma)$ is a right-angled Artin group embedding into some one-relator group, then $\Gamma$ is a finite forest. The proof only uses elementary Bass--Serre theory and…

Let f: X -> Y be a based map of simply connected spaces. The corresponding evaluation map w: map(X,Y;f) -> Y induces a homomorphism of homotopy groups whose image in pi_n(Y) is called the nth evaluation subgroup of f. The nth Gottlieb group…

This paper proves the existence of global rational structures on spaces of cusp forms of general reductive groups. We identify cases where the constructed rational structures are optimal, which includes the case of GL($n$). As an…

Let $\Gamma$ be a (non-elementary) convex co-compact group of isometries of a pinched Hadamard manifold $X$. We show that a normal subgroup $\Gamma_0$ has critical exponent equal to the critical exponent of $\Gamma$ if and only if $\Gamma /…

Given a finite group $G$ with a normal subgroup $N$, the simple graph $\Gamma_\textit{G}( \textit{N} )$ is a graph whose vertices are of the form $|x^G|$, where $x\in{N\setminus{Z(G)}}$, and $x^G$ is the $G$-conjugacy class of $N$…

For a residually finite group $G$, its normal subgroups $G\supset G_1\supset G_2\cdots$ with $\cap_{n\in\mathbb N}G_n=\{e\}$ and for a growth function $\gamma$ we construct a unitary representation $\pi_\gamma$ of $G$. For the minimal…

As an instance of a linear action of a Hopf algebra on a free associative algebra, we consider finite group gradings of a free algebra induced by gradings on the space spanned by the free generators. The homogeneous component corresponding…

We study the moduli spaces of rational curves on prime Fano threefolds of index 1. For general threefolds of most genera we compute the dimension and the number of irreducible components of these moduli spaces. Our results confirm Geometric…

We study the structural regularities and irregularities of the reals in inner models of set theory. Starting with $L$, G\"{o}del's constructible universe, our study of the reals is thus two-fold. On the one hand, we study how their…

A grammar logic refers to an extension to the multi-modal logic K in which the modal axioms are generated from a formal grammar. We consider a proof theory, in nested sequent calculus, of grammar logics with converse, i.e., every modal…

We show that there is an order-preserving embedding of the additive group of rational numbers $\mathbb{Q}$ into a 2-generator group $G$. The group $G$ can be chosen to be a solvable group $G$ of length 3, which is a minimal result in the…

Let $A$ be a $d \times d$ matrix with rational entries which has no eigenvalue $\lambda \in \mathbb{C}$ of absolute value $|\lambda| < 1$ and let $\mathbb{Z}^d[A]$ be the smallest nontrivial $A$-invariant $\mathbb{Z}$-module. We lay down a…

Convincing someone of the truth value of a premise requires understanding and articulating the core logical structure of the argument which proves or disproves the premise. Understanding the logical structure of an argument refers to…

It is a conjecture of Koll\'ar that a variety $X$ with rational singularities in some open subvariety $U$ has a rationalification; that is, a proper, birational morphism $f: Y \rightarrow X$ such that $Y$ has rational singularities, and…

Let $\Gamma$ be a finite group, let $\theta$ be an involution of $\Gamma$, and let $\rho$ be an irreducible complex representation of $\Gamma$. We bound $\dim \rho^{\Gamma^{\theta}}$ in terms of the smallest dimension of a faithful…

We explore the structure of the p-adic automorphism group Gamma of the infinite rooted regular tree. We determine the asymptotic order of a typical element, answering an old question of Turan. We initiate the study of a general dimension…

To any real rational function with generic ramification points we assign a combinatorial object, called a garden, which consists of a weighted labeled directed planar chord diagram and of a set of weighted rooted trees each corresponding to…

We exhibit families of smooth projective threefolds with both stably rational and non stably rational fibers.

Let $M$ be either $S^2\times S^2$ or the one point blow-up $\cp# \bcp$ of $\cp$. In both cases $M$ carries a family of symplectic forms $\om_\la$, where $\la > -1$ determines the cohomology class $[\om_\la]$. This paper calculates the…