Automorphism groups of polycyclic-by-finite groups and arithmetic groups

We show that the outer automorphism group of a polycyclic-by-finite group is an arithmetic group. This result follows from a detailed structural analysis of the automorphism groups of such groups. We use an extended version of the theory of the algebraic hull functor initiated by Mostow. We thus make applicable refined methods from the theory of algebraic and arithmetic groups. We also construct examples of polycyclic-by-finite groups which have an automorphism group which does not contain an arithmetic group of finite index. Finally we discuss applications of our results to the groups of homotopy self-equivalences of K(\Gamma, 1)-spaces and obtain an extension of arithmeticity results of Sullivan in rational homotopy theory

On Hausdorff dimension of the set of closed orbits for a cylindrical transformation

We deal with Besicovitch's problem of existence of discrete orbits for transitive cylindrical transformations $T_\varphi:(x,t)\mapsto(x+\alpha,t+\varphi(x))$ where $Tx=x+\alpha$ is an irrational rotation on the circle \T and \varphi:\T\to\R is continuous, i.e.\ we try to estimate how big can be the set D(\alpha,\varphi):=\{x\in\T:|\varphi^{(n)}(x)|\to+\infty\text{as}|n|\to+\infty\}. We show that for almost every $\alpha$ there exists $\varphi$ such that the Hausdorff dimension of $D(\alpha,\varphi)$ is at least $1/2$. We also provide a Diophantine condition on $\alpha$ that guarantees the existence of $\varphi$ such that the dimension of $D(\alpha,\varphi)$ is positive. Finally, for some multidimensional rotations $T$ on \T^d, $d\geq3$, we construct smooth $\varphi$ so that the Hausdorff dimension of $D(\alpha,\varphi)$ is positive.Comment: 32 pages, 1 figur

Asymptotic Behavior of Ext functors for modules of finite complete intersection dimension

Let $R$ be a local ring, and let $M$ and $N$ be finitely generated $R$-modules such that $M$ has finite complete intersection dimension. In this paper we define and study, under certain conditions, a pairing using the modules \Ext_R^i(M,N) which generalizes Buchweitz's notion of the Herbrand diference. We exploit this pairing to examine the number of consecutive vanishing of \Ext_R^i(M,N) needed to ensure that \Ext_R^i(M,N)=0 for all $i\gg 0$. Our results recover and improve on most of the known bounds in the literature, especially when $R$ has dimension at most two

Symbolic approach and induction in the Heisenberg group

We associate a homomorphism in the Heisenberg group to each hyperbolic unimodular automorphism of the free group on two generators. We show that the first return-time of some flows in "good" sections, are conjugate to niltranslations, which have the property of being self-induced.Comment: 18 page

Evaluating Matrix Circuits

The circuit evaluation problem (also known as the compressed word problem) for finitely generated linear groups is studied. The best upper bound for this problem is $\mathsf{coRP}$, which is shown by a reduction to polynomial identity testing. Conversely, the compressed word problem for the linear group $\mathsf{SL}_3(\mathbb{Z})$ is equivalent to polynomial identity testing. In the paper, it is shown that the compressed word problem for every finitely generated nilpotent group is in $\mathsf{DET} \subseteq \mathsf{NC}^2$. Within the larger class of polycyclic groups we find examples where the compressed word problem is at least as hard as polynomial identity testing for skew arithmetic circuits

Weak Liouville-Arnold Theorems & Their Implications

This paper studies the existence of invariant smooth Lagrangian graphs for Tonelli Hamiltonian systems with symmetries. In particular, we consider Tonelli Hamiltonians with n independent but not necessarily involutive constants of motion and obtain two theorems reminiscent of the Liouville-Arnold theorem. Moreover, we also obtain results on the structure of the configuration spaces of such systems that are reminiscent of results on the configuration space of completely integrable Tonelli Hamiltonians.Comment: 24 pages, 1 figure; v2 corrects typo in online abstract; v3 includes new title (was: A Weak Liouville-Arnold Theorem), re-arrangement of introduction, re-numbering of main theorems; v4 updates the authors' email and physical addresses, clarifies notation in section 4. Final versio

On quiver Grassmannians and orbit closures for representation-finite algebras

We show that Auslander algebras have a unique tilting and cotilting module which is generated and cogenerated by a projective-injective; its endomorphism ring is called the projective quotient algebra. For any representation- nite algebra, we use the projective quotient algebra to construct desingularizations of quiver Grassmannians, orbit closures in representation varieties, and their desingularizations. This generalizes results of Cerulli Irelli, Feigin and Reineke

Relationship between abuse and neglect in childhood and diabetes in adulthood: Differential effects by sex, national longitudinal study of adolescent health

INTRODUCTION: Few studies have investigated links between child abuse and neglect and diabetes mellitus in nationally representative samples, and none have explored the role of obesity in the relationship. We sought to determine whether child abuse and neglect were associated with diabetes and if so, whether obesity mediated this relationship in a population-representative sample of young adults. METHODS: We used data from 14,493 participants aged 24 to 34 years from Wave IV of the National Longitudinal Study of Adolescent Health to study associations between self-reported child abuse (sexual, physical, or emotional abuse) and neglect as children and diabetes or prediabetes in young adulthood. We conducted sex-stratified logistic regression analyses to evaluate associations in models before and after the addition of body mass index (BMI) as a covariate. RESULTS: Although the prevalence of diabetes was similar for men and women (7.0% vs 6.7%), men were more likely than women to have prediabetes (36.3% vs 24.6%; omnibus P < .001). Among men, recurrent sexual abuse (≥3 lifetime incidents) was significantly associated with diabetes (OR, 3.66; 95% CI, 1.31–10.24), but not with prediabetes. There was no evidence of mediation by BMI. No forms of child abuse or neglect were associated with diabetes or prediabetes among women. CONCLUSIONS: Recurrent sexual abuse is robustly associated with diabetes in young adult men, independently of other forms of child abuse or neglect and BMI. Future research should explore other potential mechanisms for this association to identify avenues for prevention of diabetes among men who have experienced sexual abuse

Simultaneous Orthogonal Planarity

We introduce and study the $\textit{OrthoSEFE}-k$ problem: Given $k$ planar graphs each with maximum degree 4 and the same vertex set, do they admit an OrthoSEFE, that is, is there an assignment of the vertices to grid points and of the edges to paths on the grid such that the same edges in distinct graphs are assigned the same path and such that the assignment induces a planar orthogonal drawing of each of the $k$ graphs? We show that the problem is NP-complete for $k \geq 3$ even if the shared graph is a Hamiltonian cycle and has sunflower intersection and for $k \geq 2$ even if the shared graph consists of a cycle and of isolated vertices. Whereas the problem is polynomial-time solvable for $k=2$ when the union graph has maximum degree five and the shared graph is biconnected. Further, when the shared graph is biconnected and has sunflower intersection, we show that every positive instance has an OrthoSEFE with at most three bends per edge.Comment: Appears in the Proceedings of the 24th International Symposium on Graph Drawing and Network Visualization (GD 2016