9,195 research outputs found
Helly meets Garside and Artin
A graph is Helly if every family of pairwise intersecting combinatorial balls
has a nonempty intersection. We show that weak Garside groups of finite type
and FC-type Artin groups are Helly, that is, they act geometrically on Helly
graphs. In particular, such groups act geometrically on spaces with convex
geodesic bicombing, equipping them with a nonpositive-curvature-like structure.
That structure has many properties of a CAT(0) structure and, additionally, it
has a combinatorial flavor implying biautomaticity. As immediate consequences
we obtain new results for FC-type Artin groups (in particular braid groups and
spherical Artin groups) and weak Garside groups, including e.g.\ fundamental
groups of the complements of complexified finite simplicial arrangements of
hyperplanes, braid groups of well-generated complex reflection groups, and
one-relator groups with non-trivial center. Among the results are:
biautomaticity, existence of EZ and Tits boundaries, the Farrell-Jones
conjecture, the coarse Baum-Connes conjecture, and a description of higher
order homological and homotopical Dehn functions. As a mean of proving the
Helly property we introduce and use the notion of a (generalized) cell Helly
complex.Comment: Small modifications according to the referee report, updated
references. Final accepted versio
Operational axioms for C*-algebra representation of transformations
It is shown how a C*-algebra representation of the transformations of a
physical system can be derived from two operational postulates: 1) the
existence of dynamically independent systems}; 2) the existence of symmetric
faithful states. Both notions are crucial for the possibility of performing
experiments on the system, in preventing remote instantaneous influences and in
allowing calibration of apparatuses. The case of Quantum Mechanics is
thoroughly analyzed. The possibility that other no-signaling theories admit a
C*-algebra formulation is discussed.Comment: Work presented at the conference {\em Quantum Theory: Reconsideration
of Foundations, 4} held on 11-16 June 2007 at the International Centre for
Mathematical Modeling in Physics, Engineering and Cognitive Sciences, Vaxjo
University, Swede
The Lie group of real analytic diffeomorphisms is not real analytic
We construct an infinite dimensional real analytic manifold structure for the
space of real analytic mappings from a compact manifold to a locally convex
manifold. Here a map is real analytic if it extends to a holomorphic map on
some neighbourhood of the complexification of its domain. As is well known the
construction turns the group of real analytic diffeomorphisms into a smooth
locally convex Lie group. We prove then that the diffeomorphism group is
regular in the sense of Milnor.
In the inequivalent "convenient setting of calculus" the real analytic
diffeomorphisms even form a real analytic Lie group. However, we prove that the
Lie group structure on the group of real analytic diffeomorphisms is in general
not real analytic in our sense.Comment: 33 pages, LaTex, v2: now includes a proof for the regularity of the
real analytic diffeomorphism grou
The Vector Valued Quartile Operator
Certain vector-valued inequalities are shown to hold for a Walsh analog of
the bilinear Hilbert transform. These extensions are phrased in terms of a
recent notion of quartile type of a UMD (Unconditional Martingale Differences)
Banach space X. Every known UMD Banach space has finite quartile type, and it
was recently shown that the Walsh analog of Carleson's Theorem holds under a
closely related assumption of finite tile type. For a Walsh model of the
bilinear Hilbert transform however, the quartile type should be sufficiently
close to that of a Hilbert space for our results to hold. A full set of
inequalities is quantified in terms of quartile type.Comment: 32 pages, 5 figures, incorporates referee's report, to appear in
Collect. Mat
- …