Related papers: The normal hull and commutator group for nonconnec…

We study properties of the convex hull of a set $S$ described by quadratic inequalities. A simple way of generating inequalities valid on $S$ is to take a nonnegative linear combinations of the defining inequalities of $S$. We call such…

A graph $G$ is said to be chordal if it has no induced cycles of length four or more. In a recent preprint Culbertson, Guralnik, and Stiller give a new characterization of chordal graphs in terms of sequences of what they call…

Let $w=w(x_1,\ldots,x_r)$ be an outer commutator word. We show that the word $w(u_1,\ldots,u_r)$ is concise whenever $u_1,\ldots,u_r$ are non-commutator words in disjoint sets of variables. This applies in particular to words of the form…

We prove that the subgroup graph of a finite group $G$ is regular if and only if $G$ is cyclic with square-free order.

In this article, a logahoric Higgs torsor is defined as a parahoric torsor with a logarithmic Higgs field. For a connected complex reductive group $G$, we introduce a notion of stability for logahoric $\mathcal{G}_{\boldsymbol\theta}$-Higgs…

Version 2: Corrected Section 3.3: instead of lexicographical normal forms we now use a normal form due to V. Diekert and A. Muscholl. Consequent changes made and some misprints corrected. Using an analogue of Makanin-Razborov diagrams, we…

We construct the vortex Floer homology group $VHF (M,\mu;H)$ for an aspherical Hamiltonian $G$-manifold $(M, \omega)$ with moment map $\mu$ and a class of $G$-invariant Hamiltonian loop $H_t$, following the proposal of [3]. This is a…

We define a class $\mathcal{U}$ of solvable groups of finite abelian section rank which includes all such groups that are virtually torsion-free as well as those that are finitely generated. Assume that $G$ is a group in $\mathcal{U}$ and…

We study smooth maps that arise in derived algebraic geometry. Given a map $A \to B$ between non-positive commutative noetherian DG-rings which is of flat dimension $0$, we show that it is smooth in the sense of To\"{e}n-Vezzosi if and only…

Let $G$ be a group hyperbolic relative to a finite collection of subgroups $\mathcal P$. Let $\mathcal F$ be the family of subgroups consisting of all the conjugates of subgroups in $\mathcal P$, all their subgroups, and all finite…

It is well known that Sullivan showed that the mapping class group of a simply connected high-dimensional manifold is commensurable with an arithmetic group, but the meaning of "commensurable" in this statement seems to be less well known.…

Let G be a reductive group over a commutative ring R. We say that G has isotropic rank >=n, if every normal semisimple reductive R-subgroup of G contains (G_m)^n. We prove that if G has isotropic rank >=1 and R is a regular domain…

We describe structure of quasihomomorphisms from arbitrary groups to discrete groups. We show that all quasihomomorphisms are 'constructible', i.e., are obtained via certain natural operations from homomorphisms to some groups and…

For any finite abelian group $G$ and commutative unitary ring $R$, by $R[G]$ we denote the group algebra over $R$. Let $T=(g_1,\ldots,g_{\ell})$ be a sequence over the group $G$. We say $T$ is algebraically zero-sum free over R if…

A subgroup $H\leq G$ is said to be almost normal if every conjugate of $H$ is commensurable to $H$. If $H$ is almost normal, there is a well-defined quotient space $G/H$. We show that if a group $G$ has type $F_{n+1}$ and contains an almost…

We prove that it is consistent that there is a non-reflexive Whitehead group, in fact one whose dual group is free. We also prove that it is consistent that there is a group A such that Ext(A,Z) is torsion and Hom(A,Z)=0. As an application…

For two representations of some local division algebra, congruent modulo $l$, giving rise to two Harris-Taylor local systems on the corresponding Newton strata of the special fiber of a KHT Shimura varieties, we prove that the $l$-torsion…

A smooth cuboid can be identified with a $3\times 3$ matrix of linear forms, with coefficients in a field $K$, whose determinant describes a smooth cubic in the projective plane. To each such matrix one can associate a group scheme over…

Let G be the group of all formal power series starting with x with coefficients in a field k of zero characteristic (with the composition product), and let F[G] be its function algebra. C. Brouder and A. Frabetti introduced a…

In a joint work with Palmer we have formulated sufficient conditions under which there exist continuous and invertible transformations of the form $H_n(x,y)$ taking solutions of a coupled system \begin{equation*} x_{n+1} =A_nx_n+f_n(x_n,…