arXiv subjects

Matthias Franz

Publications and source records attributed to Matthias Franz.

At least 37 records · Page 2Linked to original sources

arXiv2019

The syzygy order of big polygon spaces

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.

math.AT↗

arXiv2018

A quotient criterion for syzygies in equivariant cohomology

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.

math.AT↗

arXiv2017

Symmetric products of equivariantly formal spaces

Let X be a CW complex with a continuous action of a topological group G. We show that if X is equivariantly formal for singular cohomology with coefficients in a field, then so are all symmetric products of X and in fact all its Gamma-products. In particular, symmetric products of quasi-projective M-varieties are again M-varieties. This generalizes a result by Biswas and D'Mello about symmetric products of M-curves. We also discuss several related questions.

math.AT↗

arXiv2015

Mutants of compactified representations revisited

We show that the mutants of compactified representations constructed by Franz and Puppe can be written as intersections of real quadrics involving division algebras and as generalizations of polygon spaces. We also show that these manifolds are connected sums of products of spheres.

math.AT↗

arXiv2015

Syzygies in equivariant cohomology for non-abelian Lie groups

We extend the work of Allday-Franz-Puppe on syzygies in equivariant cohomology from tori to arbitrary compact connected Lie groups G. In particular, we show that for a compact orientable G-manifold X the analogue of the Chang-Skjelbred sequence is exact if and only if the equivariant cohomology of X is reflexive, if and only if the equivariant Poincare pairing for X is perfect. Along the way we establish that the equivariant cohomology modules arising from the orbit filtration of X are Cohen-Macaulay. We allow singular spaces and introduce a Cartan model for their equivariant cohomology. We also develop a criterion for the finiteness of the number of infinitesimal orbit types of a G-manifold.

math.AT↗

arXiv2014

Design of a dual species atom interferometer for space

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.

physics.ins-det↗

arXiv2013

Equivariant Poincaré-Alexander-Lefschetz duality and the Cohen-Macaulay property

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.

math.AT↗

arXiv2013

Equivariant cohomology, syzygies and orbit structure

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.

math.AT↗

arXiv2012

The classification of weighted projective spaces

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.

math.AT↗

arXiv2011

Weighted projective spaces and iterated Thom spaces

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.

math.AT↗

arXiv2010

Tensor products of homotopy Gerstenhaber algebras

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.

math.AT↗

arXiv2010

Exact sequences for equivariantly formal spaces

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.

math.AT↗

arXiv2010

Describing toric varieties and their equivariant cohomology

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.

math.AT↗

arXiv2008

The equivariant cohomology of weighted projective space

We describe the integral equivariant cohomology ring of a weighted projective space in terms of piecewise polynomials, and thence by generators and relations. We deduce that the ring is a perfect invariant, and prove a Chern class formula for weighted projective bundles.

math.AT↗

arXiv2007

Freeness of equivariant cohomology and mutants of compactified representations

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.

math.AT↗

arXiv2006

Exact cohomology sequences with integral coefficients for torus actions

Using methods applied by Atiyah in equivariant K-theory, Bredon obtained exact sequences for the relative cohomologies (with rational coefficients) of the equivariant skeletons of (sufficiently nice) T-spaces, T=(S^1)^n, with free equivariant cohomology over the cohomology of BT. Here we characterise those finite T-CW complexes with connected isotropy groups for which an analogous result holds with integral coefficients.

math.AT↗

arXiv2005

Is every toric variety an M-variety?

A complex algebraic variety X defined over the real numbers is called an M-variety if the sum of its Betti numbers (for homology with closed supports and coefficients in Z/2) coincides with the corresponding sum for the real part of X. It has been known for a long time that any nonsingular complete toric variety is an M-variety. In this paper we consider whether this remains true for toric varieties that are singular or not complete, and we give a positive answer when the dimension of X is less than or equal to 3.

math.AG↗

arXiv2005

Steenrod squares on conjugation spaces

We prove that the coefficients of the so-called conjugation equation for conjugation spaces in the sense of Hausmann-Holm-Puppe are completely determined by Steenrod squares. This generalises a result of V.A. Krasnov for certain complex algebraic varieties. It also leads to a generalisation of a formula given by Borel and Haefliger, thereby largely answering an old question of theirs in the affirmative.

math.AT↗