BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Andreas Thom appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In this note we consider a $p$-isometrisability property of discrete groups. If $p=2$ this property is equivalent to unitarisability. We prove that any group containing a non-abelian free subgroup is not $p$-isometrisable for any $p\in (1, \infty)$. We also discuss some open questions and possible relations of $p$-isometrisability with the recently introduced Littlewood exponent ${\rm Lit}(Γ)$.
We study self-adjoint matrix polynomial equations in a single variable and prove existence of self-adjoint solutions under some assumptions on the leading form. Our main result is that any self-adjoint matrix polynomial equation of odd degree with non-degenerate leading form can be solved in self-adjoint matrices. We also study equations of even degree and equations in many variables.
We study the question how quickly products of a fixed conjugacy class cover the entire group in the projective unitary group of the connected component of the identity of the Calkin algebra, as well as the projective unitary group of a factor von Neumann algebra of type III. Our result is that the number of factors that are needed is as small as permitted by the (essential) operator norm - in analogy to a result of Liebeck-Shalev for non-abelian finite simple groups and analogous results for unitary groups of II_1-factors.
For a long time it has been known that in the 16th century the Swiss mathematician Jost Bürgi found a new method for calculating sines, but no information about the details has been available. Recently a manuscript written by Bürgi himself has come to light in which he explains his algorithm. It is totally different from the traditional procedure which was used until the 17th century. In the first part of the article the standard method is explained which was rooted in Greek antiquity with Ptolemy's computation of chords and which was used in the Arabic-Islamic tradition and in the Western European Middle Ages for calculating chords as well as sines. The main part of the article deals with Bürgi's way. By only using additions and halving, his procedure is elementary and it converges quickly. Bürgi does not explain why his method is correct, but in the last part of the article a modern proof for the correctness of his algorithm is provided.
We provide an alternative proof for the extreme amenability of the unitary group of the hyperfinite II${}_1$-factor von Neumann algebra, endowed with the strong operator topology.
We prove new upper bounds for the length of laws that hold for all groups of size at most $n$ -- improving on previous results of Bou-Rabee and Kassabov-Matucci. The methods make use of the classification of finite simple groups. Stronger bounds are proved in case the groups are assumed to be nilpotent or solvable.
We study the question how quickly products of a fixed conjugacy class in the projective unitary group of a II${}_1$-factor von Neumann algebra cover the entire group. Our result is that the number of factors that are needed is essentially as small as permitted by the $1$-norm - in analogy to a result of Liebeck-Shalev for non-abelian finite simple groups. As an application of the techniques, we prove that every homomorphism from the projective unitary group of a II${}_1$-factor to a polish SIN group is continuous. Moreover, we show that the projective unitary group of a II${}_1$-factor carries a unique polish group topology.
We show the compatibility of the differential geometric and the topological construction of equivariant characteristic classes for compact Lie groups. Our analysis motivates a differential geometric construction for equivariant characteristic classes in the non-compact case. This compatibility is generally assumed and used in various cases, but there is only a proof for compact connected Lie groups in the literature, see the work of Raoul Bott and Loring Tu. Our proof applies and generalizes ideas of Johan Dupont and Ezra Getzler.
The construction of characteristic classes via the curvature form of a connection is one motivation for the refinement of integral cohomology by de Rham cocycles -- known as differential cohomology. We will discuss the analog in the case of a group action on the manifold: The definition of equivariant characteristic forms in the Cartan model due to Nicole Berline and Michèle Vergne motivates a refinement of equivariant integral cohomology by all Cartan cocycles. In view of this, we will also review previous definitions critically, in particular the one given by Kiyonori Gomi.
In this note we study sets of normal generators of finitely presented residually $p$-finite groups. We show that if an infinite, finitely presented, residually $p$-finite group $G$ is normally generated by $g_1,\dots,g_k$ with order $n_1,\dots,n_k \in \{1,2,\dots \} \cup \{\infty \}$, then $$β_1^{(2)}(G) \leq k-1-\sum_{i=1}^{k} \frac1{n_i},$$ where $β_1^{(2)}(G)$ denotes the first $\ell^2$-Betti number of $G$. We also show that any $k$-generated group with $β_1^{(2)}(G) \geq k-1-\varepsilon$ must have girth greater than or equal $1/\varepsilon$.
In this paper we study characters on special linear groups SL_n(R), where R is either an infinite field or the localization of an order in a number field. We give several applications to the theory of measure preserving actions, operator-algebraic superrigidity, and almost homomorphisms.
We provide new bounds for the divisibility function of the free group F_2 and construct short laws for the symmetric groups Sym(n). The construction is random and relies on the classification of the finite simple groups. We also give bounds on the length of laws for finite simple groups of Lie type.
Following an idea of Ozawa, we give a new proof of Kazhdan's property (T) for ${\rm SL}(3,\mathbb Z)$, by showing that $Δ^2- \frac{1}{6} Δ$ is a hermitian sum of squares in the group algebra, where $Δ$ is the unnormalized Laplace operator with respect to the natural generating set. This corresponds to a spectral gap of $\frac{1}{72}\sim 0.014$ for the associated random walk operator. The sum of squares representation was found numerically by a semidefinite programming algorithm, and then turned into an exact symbolic representation, provided in an attached Mathematica file.
Some new results on metric ultraproducts of finite simple groups are presented. Suppose that G is such a group, defined in terms of a non-principal ultrafilter ω on N and a sequence {(G_i)_{i \in N}} of finite simple groups, and that G is neither finite nor a Chevalley group over an infinite field. Then G is isomorphic to an ultraproduct of alternating groups or to an ultraproduct of finite simple classical groups. The isomorphism type of G determines which of these two cases arises, and, in the latter case, the ω-limit of the characteristics of the groups Gi. Moreover G is a complete path-connected group with respect to the natural metric on G.
A palindrome is a word that reads the same left-to-right as right-to-left. We show that every simple group has a finite generating set $X$, such that every element of it can be written as a palindrome in the letters of $X$. Moreover, every simple group has palindromic width $pw(G,X)=1$, where $X$ only differs by at most one Nielsen-transformation from any given generating set. On the contrary, we prove that all non-abelian finite simple groups $G$ also have a generating set $S$ with $pw(G,S)>1$. As a by-product of our work we also obtain that every just-infinite group has finite palindromic width with respect to a finite generating set. This provides first examples of groups with finite palindromic width but infinite commutator width.
We show that for any finitely generated non-amenable group and any $\varepsilon>0$, there exists some finite symmetric generating set with spectral radius less than $\varepsilon$. We give applications to percolation theory and the theory of operator spaces.
In this note we address various algorithmic problems that arise in the computation of the operator norm in unitary representations of a group on Hilbert space. We show that the operator norm in the universal unitary representation is computable if the group is residually finite-dimensional or amenable with decidable word problem. Moreover, we relate the computability of the operator norm on the product of non-abelian free groups to Kirchberg's QWEP Conjecture, a fundamental open problem in the theory of operator algebras.
We show that for any amenable group Γand any ZΓ-module M of type FL with vanishing Euler characteristic, the entropy of the natural Γ-action on the Pontryagin dual of M is equal to the L2-torsion of M. As a particular case, the entropy of the principal algebraic action associated with the module ZΓ/ZΓf is equal to the logarithm of the Fuglede-Kadison determinant of f whenever f is a non-zero-divisor in ZΓ. This confirms a conjecture of Deninger. As a key step in the proof we provide a general Szegő-type approximation theorem for the Fuglede-Kadison determinant on the group von Neumann algebra of an amenable group. As a consequence of the equality between L2-torsion and entropy, we show that the L2-torsion of a non-trivial amenable group with finite classifying space vanishes. This was conjectured by Lück. Finally, we establish a Milnor-Turaev formula for the L2-torsion of a finite Δ-acyclic chain complex.
We prove that the lattice of normal subgroups of ultraproducts of compact simple non-abelian groups is distributive. In the case of ultraproducts of finite simple groups or compact connected simple Lie groups of bounded rank the set of normal subgroups is shown to be linearly ordered by inclusion.
We provide upper and lower bounds on the length of the shortest non-trivial element in the derived series and lower central series in the free group on two generators. The techniques are used to provide new estimates on the nilpotent residual finiteness growth and on almost laws for compact groups.
Studying inequalities between subgraph- or homomorphism-densities is an important topic in graph theory. Sums of squares techniques have proven useful in dealing with such questions. Using an approach from real algebraic geometry, we strengthen a Positivstellensatz for simple quantum graphs by Lovász and Szegedy, and we prove several new Positivstellensätze for nonnegativity of quantum multigraphs. We provide new examples and counterexamples.
In this short note we study the entropy for algebraic actions of certain amenable groups. The possible values for this entropy are studied. Various fundamental results about certain classes of amenable groups are reproved using elementary arguments and the entropy invariant. We provide a natural decomposition of the entropy into summands contributed by individual primes and a summand corresponding to infinity. These results extend previous work by Lind and Ward on p-adic entropy.
We give a lower bound on the expected degree of the free minimal spanning forest of a vertex transitive graph in terms of its spectral radius. This result answers a question of Lyons-Peres-Schramm and simplifies the Gaboriau-Lyons proof of the measurable-group-theoretic solution to von Neumann's problem. In the second part we study a relative version of the free minimal spanning forest. As a consequence of this study we can show that non-torsion unitarizable groups have fixed price one.
Let F be the free group on two letters. For ω \in F we study the associated word map ω: SU(n) \times SU(n) \rightarrow SU(n). Extending a method of Goto, we show that for ω not in the second derived subgroup F^(2) of F, there are infinitely many n \in N such that the associated word map ω : SU(n) \times SU(n) \rightarrow SU(n) is surjective.
We consider the problem of realizing hyperbolicity cones as spectrahedra, i.e. as linear slices of cones of positive semidefinite matrices. The generalized Lax conjecture states that this is always possible. We use generalized Clifford algebras for a new approach to the problem. Our main result is that if -1 is not a sum of hermitian squares in the Clifford algebra of a hyperbolic polynomial, then its hyperbolicity cone is spectrahedral. Our result also has computational applications, since this sufficient condition can be checked with a single semidefinite program.
Recall that a rng is a ring which is possibly non-unital. In this note, we address the problem whether every finitely generated idempotent rng (abbreviated as irng) is singly generated as an ideal. It is well-known that it is the case for a commutative irng. We prove here it is also the case for a free rng on finitely many idempotents and for a finite irng. A relation to the Wiegold problem for perfect groups is discussed.
In this paper we prove a strong Hahn-Banach theorem: separation of disjoint convex sets by linear forms is possible without any further conditions, if the target field $\R$ is replaced by a more general real closed extension field. From this we deduce a general Positivstellensatz for *-algebras, involving representations over real closed fields. We investigate the class of group algebras in more detail. We show that the cone of sums of squares in the augmentation ideal has an interior point if and only if the first cohomology vanishes. For groups with Kazhdan's property (T) the result can be strengthened to interior points in the $\ell^1$-metric. We finally reprove some strong Positivstellensätze by Helton and Schmüdgen, using our separation method.
We use techniques from both real and complex algebraic geometry to study K-theoretic and related invariants of the algebra C(X) of continuous complex-valued functions on a compact Hausdorff topological space X. For example, we prove a parametrized version of a theorem of Joseph Gubeladze; we show that if M is a countable, abelian, cancellative, torsion-free, seminormal monoid, and X is contractible, then every finitely generated projective module over C(X)[M] is free. The particular case when M=N^n gives a parametrized version of the celebrated theorem proved independently by Daniel Quillen and Andrei Suslin that finitely generated projective modules over a polynomial ring over a field are free. The conjecture of Jonathan Rosenberg which predicts the homotopy invariance of the negative algebraic K-theory of C(X) follows from the particular case when M=Z^n. We also give algebraic conditions for a functor from commutative algebras to abelian groups to be homotopy invariant on C*-algebras, and for a homology theory of commutative algebras to vanish on C*-algebras. These criteria have numerous applications. For example, the vanishing criterion applied to nil-K-theory implies that commutative C*-algebras are K-regular. As another application, we show that the familiar formulas of Hochschild-Kostant-Rosenberg and Loday-Quillen for the algebraic Hochschild and cyclic homology of the coordinate ring of a smooth algebraic variety remain valid for the algebraic Hochschild and cyclic homology of C(X). Applications to the conjectures of Beilinson-Soule and Farrell-Jones are also given.
Using the Foelner condition for coamenable quantum groups we derive information about the ring theoretical structure of the Hopf algebras arising from such quantum groups, as well as an approximation result concerning the Murray von Neumann dimension associated with the corresponding the von Neumann algebra.
We present a classification-based approach to identify quasi-stellar radio sources (quasars) in the Sloan Digital Sky Survey and evaluate its performance on a manually labeled training set. While reasonable results can already be obtained via approaches working only on photometric data, our experiments indicate that simple but problem-specific features extracted from spectroscopic data can significantly improve the classification performance. Since our approach works orthogonal to existing classification schemes used for building the spectroscopic catalogs, our classification results are well suited for a mutual assessment of the approaches' accuracies.
We consider the problem of writing real polynomials as determinants of symmetric linear matrix polynomials. This problem of algebraic geometry, whose roots go back to the nineteenth century, has recently received new attention from the viewpoint of convex optimization. We relate the question to sums of squares decompositions of a certain Hermite matrix. If some power of a polynomial admits a definite determinantal representation, then its Hermite matrix is a sum of squares. Conversely, we show how a determinantal representation can sometimes be constructed from a sums-of-squares decomposition of the Hermite matrix. We finally show that definite determinantal representations always exist, if one allows for denominators.
The problem of writing real zero polynomials as determinants of linear matrix polynomials has recently attracted a lot of attention. Helton and Vinnikov have proved that any real zero polynomial in two variables has a determinantal representation. Brändén has shown that the result does not extend to arbitrary numbers of variables, disproving the generalized Lax conjecture. We prove that in fact almost no real zero polynomial admits a determinantal representation; there are dimensional differences between the two sets. So the generalized Lax conjecture fails badly. The result follows from a general upper bound on the size of linear matrix polynomials. We then provide a large class of surprisingly simple explicit real zero polynomials that do not have a determinantal representation, improving upon Brändén's mostly unconstructive result. We finally characterize polynomials of which some power has a determinantal representation, in terms of an algebra with involution having a finite dimensional representation. We use the characterization to prove that any quadratic real zero polynomial has a determinantal representation, after taking a high enough power. Taking powers is thereby really necessary in general. The representations emerge explicitly, and we characterize them up to unitary equivalence.
We prove that Higman's group does not embed into a metric ultraproduct of finite groups with a commutator-contractive invariant length function.
In this article we study cocycles of discrete countable groups with values in l^2(G) and the ring of affiliated operators UG. We clarify properties of the first cohomology of a group G with coefficients in l^2(G) and answer several questions from [CTV]. Moreover, we obtain strong results about the existence of free subgroups and the subgroup structure, provided the group has a positive first l^2-Betti number. We give numerous applications and examples of groups which satisfy our assumptions.
We study $ε$-representations of discrete groups by unitary operators on a Hilbert space. We define the notion of Ulam stability of a group which loosely means that finite-dimensional $ε$-represendations are uniformly close to unitary representations. One of our main results is that certain lattices in connected semi-simple Lie groups of higher rank are Ulam stable. For infinite-dimensional $ε$-representations, the similarly defined notion of strong Ulam stability is defined and it is shown that groups with free subgroups are not strongly Ulam stable. We also study deformation rigidity of unitary representations and show that groups containing a free subgroup are not deformation rigid.
We prove that every positive trace on a countably generated *-algebra can be approximated by positive traces on algebras of generic matrices. This implies that every countably generated tracial *-algebra can be embedded into a metric ultraproduct of generic matrix algebras. As a particular consequence, every finite von Neumann algebra with separable pre-dual can be embedded into an ultraproduct of tracial *-algebras, which as *-algebras embed into a matrix-ring over a commutative algebra.
We construct a spectral sequence for L2-type cohomology groups of discrete measured groupoids. Based on the spectral sequence, we prove the Hopf-Singer conjecture for aspherical manifolds with poly-surface fundamental groups. More generally, we obtain a permanence result for the Hopf-Singer conjecture under taking fiber bundles whose base space is an aspherical manifold with poly-surface fundamental group. As further sample applications of the spectral sequence, we obtain new vanishing theorems and explicit computations of L2-Betti numbers of groups and manifolds and obstructions to the existence of normal subrelations in measured equivalence relations.
We show how methods from K-theory of operator algebras can be applied in a completely algebraic setting to define a bivariant, matrix-stable, homotopy-invariant, excisive K-theory of algebras over a fixed unital ground ring H, kk_*(A,B), which is universal in the sense that it maps uniquely to any other such theory. It turns out kk is related to C. Weibel's homotopy algebraic K-theory, KH. We prove that, if H is commutative and A is central as an H-bimodule, then kk_*(H,A)=KH_*(A). We show further that some calculations from operator algebra KK-theory, such as the exact sequence of Pimsner-Voiculescu, carry over to algebraic kk.
This paper is concerned with the algebraic K-theory of locally convex algebras stabilized by operator ideals, and its comparison with topological K-theory. We show that the obstruction for the comparison map between algebraic and topological K-theory to be an isomorphism is (absolute) algebraic cyclic homology and prove the existence of an 6-term exact sequence. We show that cyclic homology vanishes in the case when J is the ideal of compact operators and L is a Frechet algebra with bounded app. unit. This proves the generalized version of Karoubi's conjecture due to Mariusz Wodzicki and announced in his paper "Algebraic K-theory and functional analysis", First European Congress of Mathematics, Vol. II (Paris, 1992), 485--496, Progr. Math., 120, Birkhäuser, Basel, 1994. We also consider stabilization with respect to a wider class of operator ideals, called sub-harmonic. We study the algebraic K-theory of the tensor product of a sub-harmonic ideal with an arbitrary complex algebra and prove that the obstruction for the periodicity of algebraic K-theory is again cyclic homology. The main technical tools we use are the diffeotopy invariance theorem of Cuntz and the second author (which we generalize), and the excision theorem for infinitesimal K-theory, due to the first author.
We give a counterexample to a conjecture of D.H. Gottlieb and prove a strengthened version of it. The conjecture says that a map from a finite CW-complex X to an aspherical CW-complex Y with non-zero Euler characteristic can have non-trivial degree (suitably defined) only if the centralizer of the image of the fundamental group of X is trivial. As a corollary we show that in the above situation all components of non-zero degree maps in the space of maps from X to Y are contractible.