BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Matthias Franz 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
We compute the Čech cohomology ring of a countable product of infinite projective spaces, and that of an infinite flag manifold. The method of our first result in fact computes the cohomology ring of a countably infinite product of paracompact Hausdorff spaces, under some mild assumptions.
We compute the cohomology rings of smooth real toric varieties and of real toric spaces, which are quotients of real moment-angle complexes by freely acting subgroups of the ambient 2-torus. The differential graded algebra we present is in fact an equivariant dga model, valid for arbitrary coefficients. We deduce from our description that smooth toric varieties are M-varieties.
We show that any homotopy Gerstenhaber algebra is naturally a strongly homotopy commutative (shc) algebra in the sense of Stasheff-Halperin with a homotopy associative structure map. In the presence of certain additional operations corresponding to a cup-1 product on the bar construction, the structure map becomes homotopy commutative, so that one obtains an shc algebra in the sense of Munkholm.
Big polygon spaces are compact orientable manifolds with a torus action whose equivariant cohomology can be torsion-free or reflexive without being free as a module over $H^*(BT)$. We determine the exact syzygy order of the equivariant cohomology of a big polygon space in terms of the length vector defining it. The proof uses a refined characterization of syzygies in terms of certain linearly independent elements in $H^2(BT)$ adapted to the isotropy groups occurring in a given $T$-space.
Let X be a manifold with an action of a torus T such that all isotropy groups are connected and satisfying some other mild hypotheses. We provide a necessary and sufficient criterion for the T-equivariant cohomology of X with real coefficients to be a certain syzygy as a module over the cohomology of BT. It turns out that, possibly after blowing up the non-free part of the action, this only depends on the orbit space X/T together with its stratification by orbit type. Our criterion unifies and generalizes results of many authors about the freeness and torsion-freeness of equivariant cohomology for various classes of T-manifolds.
Atom interferometers have a multitude of proposed applications in space including precise measurements of the Earth's gravitational field, in navigation & ranging, and in fundamental physics such as tests of the weak equivalence principle (WEP) and gravitational wave detection. While atom interferometers are realized routinely in ground-based laboratories, current efforts aim at the development of a space compatible design optimized with respect to dimensions, weight, power consumption, mechanical robustness and radiation hardness. In this paper, we present a design of a high-sensitivity differential dual species $^{85}$Rb/$^{87}$Rb atom interferometer for space, including physics package, laser system, electronics and software. The physics package comprises the atom source consisting of dispensers and a 2D magneto-optical trap (MOT), the science chamber with a 3D-MOT, a magnetic trap based on an atom chip and an optical dipole trap (ODT) used for Bose-Einstein condensate (BEC) creation and interferometry, the detection unit, the vacuum system for $10^{-11}$ mbar ultra-high vacuum generation, and the high-suppression factor magnetic shielding as well as the thermal control system. The laser system is based on a hybrid approach using fiber-based telecom components and high-power laser diode technology and includes all laser sources for 2D-MOT, 3D-MOT, ODT, interferometry and detection. Manipulation and switching of the laser beams is carried out on an optical bench using Zerodur bonding technology. The instrument consists of 9 units with an overall mass of 221 kg, an average power consumption of 608 W (819 W peak), and a volume of 470 liters which would well fit on a satellite to be launched with a Soyuz rocket, as system studies have shown.
Let X be a "nice" space with an action of a torus T. We consider the Atiyah-Bredon sequence of equivariant cohomology modules arising from the filtration of X by orbit dimension. We show that a front piece of this sequence is exact if and only if the H^*(BT)-module H_T^*(X) is a certain syzygy. Moreover, we express the cohomology of that sequence as an Ext module involving a suitably defined equivariant homology of X. One consequence is that the GKM method for computing equivariant cohomology applies to a Poincare duality space if and only if the equivariant Poincare pairing is perfect.
We prove a Poincare-Alexander-Lefschetz duality theorem for rational torus-equivariant cohomology and rational homology manifolds. We allow non-compact and non-orientable spaces. We use this to deduce certain short exact sequences in equivariant cohomology, originally due to Duflot in the differentiable case, from similar, but more general short exact sequences in equivariant homology. A crucial role is played by the Cohen-Macaulayness of relative equivariant cohomology modules arising from the orbit filtration.
We obtain two classifications of weighted projective spaces; up to homeomorphism and up to homotopy equivalence. We show that the former coincides with Al Amrani's classification up to isomorphism of algebraic varieties, and deduce the latter by proving that the Mislin genus of any weighted projective space is rigid.
For any (n+1)-dimensional weight vector χ of positive integers, the weighted projective space P(χ) is a projective toric variety, and has orbifold singularities in every case other than CP^n. We study the algebraic topology of P(χ), paying particular attention to its localisation at individual primes p. We identify certain p-primary weight vectors π for which P(π) is homeomorphic to an iterated Thom space over S^2, and discuss how any P(χ) may be reconstructed from its p-primary factors. We express Kawasaki's computations of the integral cohomology ring H^*(P(χ);Z) in terms of iterated Thom isomorphisms, and recover Al Amrani's extension to complex K-theory. Our methods generalise to arbitrary complex oriented cohomology algebras E^*(P(χ)) and their dual homology coalgebras E_*(P(χ)), as we demonstrate for complex cobordism theory (the universal example). In particular, we describe a fundamental class in Ω^U_{2n}(P(χ)), which may be interpreted as a resolution of singularities.
Topologically, compact toric varieties can be constructed as identification spaces: they are quotients of the product of a compact torus and the order complex of the fan. We give a detailed proof of this fact, extend it to the non-compact case and draw several, mostly cohomological conclusions. In particular, we show that the equivariant integral cohomology of a toric variety can be described in terms of piecewise polynomials on the fan if the ordinary integral cohomology is concentrated in even degrees. This generalizes a result of Bahri-Franz-Ray to the non-compact case. We also investigate torsion phenomena in integral cohomology.
Let T be a torus. We present an exact sequence relating the relative equivariant cohomologies of the skeletons of an equivariantly formal T-space. This sequence, which goes back to Atiyah and Bredon, generalizes the so-called Chang-Skjelbred lemma. As coefficients, we allow prime fields and subrings of the rationals, including the integers. We extend to the same coefficients a generalization of this "Atiyah-Bredon sequence" for actions without fixed points which has recently been obtained by Goertsches and Toeben.
On the tensor product of two homotopy Gerstenhaber algebras we construct a Hirsch algebra structure which extends the canonical dg algebra structure. Our result applies more generally to tensor products of "level 3 Hirsch algebras" and also to the Mayer-Vietoris double complex.
We survey generalisations of the Chang-Skjelbred Lemma for integral coefficients. Moreover, we construct examples of manifolds with actions of tori of rank > 2 whose equivariant cohomology is torsion-free, but not free. This answers a question of Allday's. The "mutants" we construct are obtained from compactified representations and involve Hopf bundles in a crucial way.