-
Linear actions of $\mathbb{Z}/p\times\mathbb{Z}/p$ on $S^{2n-1}\times S^{2n-1}$
Authors:
Jim Fowler,
Courtney Thatcher
Abstract:
For an odd prime $p$, we consider free actions of $(\mathbb{Z}/p)^2$ on $S^{2n-1}\times S^{2n-1}$ given by linear actions of $(\mathbb{Z}/p)^2$ on $\mathbb{R}^{4n}$. Simple examples include a lens space cross a lens space, but $k$-invariant calculations show that other quotients exist. Using the tools of Postnikov towers and surgery theory, the quotients are classified up to homotopy by the $k$-in…
▽ More
For an odd prime $p$, we consider free actions of $(\mathbb{Z}/p)^2$ on $S^{2n-1}\times S^{2n-1}$ given by linear actions of $(\mathbb{Z}/p)^2$ on $\mathbb{R}^{4n}$. Simple examples include a lens space cross a lens space, but $k$-invariant calculations show that other quotients exist. Using the tools of Postnikov towers and surgery theory, the quotients are classified up to homotopy by the $k$-invariants and up to homeomorphism by the Pontrjagin classes. We will present these results and demonstrate how to calculate the $k$-invariants and the Pontrjagin classes from the rotation numbers.
△ Less
Submitted 29 February, 2024; v1 submitted 22 September, 2022;
originally announced September 2022.
-
$\mathbb Z_{/p}\times \mathbb Z_{/p}$ actions on $S^n\times S^n$
Authors:
Jim Fowler,
Courtney Thatcher
Abstract:
We determine the homotopy type of quotients of $S^n \times S^n$ by free actions of $\mathbb Z_{/p} \times \mathbb Z_{/p}$ where $2p>n+3$. Much like free $\mathbb Z_{/p}$ actions, they can be classified via the first $p$-localized $k$-invariant, but there are restrictions on the possibilities, and these restrictions are sufficient to determine every possibility in the $n=3$ case. We use this to com…
▽ More
We determine the homotopy type of quotients of $S^n \times S^n$ by free actions of $\mathbb Z_{/p} \times \mathbb Z_{/p}$ where $2p>n+3$. Much like free $\mathbb Z_{/p}$ actions, they can be classified via the first $p$-localized $k$-invariant, but there are restrictions on the possibilities, and these restrictions are sufficient to determine every possibility in the $n=3$ case. We use this to complete the classification of free $\mathbb Z_{/p} \times \mathbb Z_{/p}$ actions on $S^3 \times S^3$, for $p>3$, by reducing the problem to the simultaneous classification of pairs of binary quadratic forms. Although the restrictions are not sufficient to determine which $k$-invariants are realizable in general, they can sometimes be used to rule out free actions by groups that contain $\mathbb Z_{/p}\times\mathbb Z_{/p}$ as a normal Abelian subgroup.
△ Less
Submitted 26 July, 2022; v1 submitted 27 December, 2019;
originally announced December 2019.
-
Smooth manifolds with prescribed rational cohomology ring
Authors:
Jim Fowler,
Zhixu Su
Abstract:
The Hirzebruch signature formula provides an obstruction to the following realization question: given a rational Poincaré duality algebra $\mathcal{A}$, does there exist a smooth manifold $M$ such that $H^*(M;\mathbb{Q})=\mathcal{A}$?
This problem is especially interesting for rational truncated polynomial algebras whose corresponding integral algebra is not realizable. For example, there are nu…
▽ More
The Hirzebruch signature formula provides an obstruction to the following realization question: given a rational Poincaré duality algebra $\mathcal{A}$, does there exist a smooth manifold $M$ such that $H^*(M;\mathbb{Q})=\mathcal{A}$?
This problem is especially interesting for rational truncated polynomial algebras whose corresponding integral algebra is not realizable. For example, there are number theoretic constraints on the dimension $n$ in which there exists a closed smooth manifold $M^n$ with $H^*(M^n;\mathbb{Q})= \mathbb{Q}[x]/\langle x^3\rangle$. We limit the possible existence dimension to $n=8(2^a+2^b)$. For $n = 32$, such manifolds are not two-connected. We show that the next smallest possible existence dimension is $n=128$. As there exists no integral $\mathbb{O}P^m$ for $m>2$, the realization of the truncated polynomial algebra $\mathbb{Q}[x]/\langle x^{m+1}\rangle, |x|=8$ is studied. Similar considerations provide examples of topological manifolds which do not have the rational homotopy type of a smooth closed manifold.
The appendix presents a recursive algorithm for efficiently computing the coefficients of the L-polynomials which arise in the signature formula.
△ Less
Submitted 7 March, 2014;
originally announced March 2014.
-
Cross-training with Imperfect training Schemes
Authors:
Burak Buke,
Ozgur M. Araz,
John W. Fowler
Abstract:
Cross-training workers is one of the most efficient ways to achieve flexibility in manufacturing and service systems to increase responsiveness to demand variability. However, it is generally the case that cross-trained employees are not as productive as employees who are originally trained on a specific task. Also, the productivity of the cross-trained workers depend on when they are cross-traine…
▽ More
Cross-training workers is one of the most efficient ways to achieve flexibility in manufacturing and service systems to increase responsiveness to demand variability. However, it is generally the case that cross-trained employees are not as productive as employees who are originally trained on a specific task. Also, the productivity of the cross-trained workers depend on when they are cross-trained. In this work, we consider a two-stage model to analyze the affect of variations in productivity levels of workers on cross-training policies. Our results indicate that the most important factor determining the problem structure is the consistency in productivity levels of workers trained at different times. As long as cross-training can be done in a consistent manner, the productivity differences between cross-trained workers and workers originally trained on the task plays a minor role. We also analyze the effect of the variabilities in demand and producivity levels. We show that if the productivity levels of workers trained at different times are consistent, the decision maker is inclined to defer the cross-training decisions as the variability of demand or productivity levels increases. However, when the productivities of workers trained at different times differ, the decision maker may prefer to invest more in cross-training earlier as variability increases.
△ Less
Submitted 26 August, 2013;
originally announced August 2013.
-
Aspherical manifolds that cannot be triangulated
Authors:
Michael W. Davis,
Jim Fowler,
Jean-François Lafont
Abstract:
Although Kirby and Siebenmann showed that there are manifolds that do not admit PL structures, the possibility remained that all manifolds could be triangulated. In the late seventies Galewski and Stern and independently Matumoto showed that non-triangulable manifolds exist in all dimensions > 4 if and only if homology 3-spheres with certain properties do not exist. In 2013 Manolescu showed that,…
▽ More
Although Kirby and Siebenmann showed that there are manifolds that do not admit PL structures, the possibility remained that all manifolds could be triangulated. In the late seventies Galewski and Stern and independently Matumoto showed that non-triangulable manifolds exist in all dimensions > 4 if and only if homology 3-spheres with certain properties do not exist. In 2013 Manolescu showed that, indeed, there were no such homology 3-spheres and hence, non-triangulable manifolds exist in each dimension >4. It follows from work of Freedman in 1982 that there are 4-manifolds that cannot be triangulated. In 1991 Davis and Januszkiewicz applied a hyperbolization procedure to Freedman's 4-manifolds to get closed aspherical 4-manifolds that cannot be triangulated. In this paper we apply hyperbolization techniques to the Galewski-Stern manifolds to show that there exist closed aspherical n-manifolds that cannot be triangulated for each n> 5. The question remains open in dimension 5.
△ Less
Submitted 18 April, 2013; v1 submitted 12 April, 2013;
originally announced April 2013.
-
Finiteness properties for some rational Poincaré duality groups
Authors:
Jim Fowler
Abstract:
A combination of Bestvina--Brady Morse theory and an acyclic reflection group trick produces a torsion-free finitely presented Q-Poincaré duality group which is not the fundamental group of an aspherical closed ANR Q-homology manifold.
The acyclic construction suggests asking which Q-Poincaré duality groups act freely on Q-acyclic spaces, i.e., which groups are FH(Q). For example, the orbifold f…
▽ More
A combination of Bestvina--Brady Morse theory and an acyclic reflection group trick produces a torsion-free finitely presented Q-Poincaré duality group which is not the fundamental group of an aspherical closed ANR Q-homology manifold.
The acyclic construction suggests asking which Q-Poincaré duality groups act freely on Q-acyclic spaces, i.e., which groups are FH(Q). For example, the orbifold fundamental group Γ of a good orbifold satisfies Q-Poincaré duality, and we show Γ is FH(Q) if the Euler characteristics of certain fixed sets vanish.
△ Less
Submitted 20 April, 2012;
originally announced April 2012.
-
The no-three-in-line problem on a torus
Authors:
Jim Fowler,
Andrew Groot,
Deven Pandya,
Bart Snapp
Abstract:
Let $T(\Z_m \times \Z_n)$ denote the maximal number of points that can be placed on an $m \times n$ discrete torus with "no three in a line," meaning no three in a coset of a cyclic subgroup of $\Z_m \times \Z_n$. By proving upper bounds and providing explicit constructions, for distinct primes $p$ and $q$, we show that $T(\Z_p \times \Z_{p^2}) = 2p$ and $T(\Z_p \times \Z_{pq}) = p+1$. Via Gröbner…
▽ More
Let $T(\Z_m \times \Z_n)$ denote the maximal number of points that can be placed on an $m \times n$ discrete torus with "no three in a line," meaning no three in a coset of a cyclic subgroup of $\Z_m \times \Z_n$. By proving upper bounds and providing explicit constructions, for distinct primes $p$ and $q$, we show that $T(\Z_p \times \Z_{p^2}) = 2p$ and $T(\Z_p \times \Z_{pq}) = p+1$. Via Gröbner bases, we compute $T(\Z_m \times \Z_n)$ for $2 \leq m \leq 7$ and $2 \leq n \leq 19$.
△ Less
Submitted 29 March, 2012;
originally announced March 2012.
-
Bounded homotopy theory and the $K$-theory of weighted complexes
Authors:
J. Fowler,
C. Ogle
Abstract:
Given a bounding class $B$, we construct a bounded refinement $BK(-)$ of Quillen's $K$-theory functor from rings to spaces. $BK(-)$ is a functor from weighted rings to spaces, and is equipped with a comparison map $BK \to K$ induced by "forgetting control". In contrast to the situation with $B$-bounded cohomology, there is a functorial splitting $BK(-) \simeq K(-) \times BK^{rel}(-)$ where…
▽ More
Given a bounding class $B$, we construct a bounded refinement $BK(-)$ of Quillen's $K$-theory functor from rings to spaces. $BK(-)$ is a functor from weighted rings to spaces, and is equipped with a comparison map $BK \to K$ induced by "forgetting control". In contrast to the situation with $B$-bounded cohomology, there is a functorial splitting $BK(-) \simeq K(-) \times BK^{rel}(-)$ where $BK^{rel}(-)$ is the homotopy fiber of the comparison map.
△ Less
Submitted 11 March, 2011; v1 submitted 2 February, 2011;
originally announced February 2011.
-
Discrete product systems of finite-dimensional Hilbert spaces, and generalized Cuntz algebras
Authors:
Neal J. Fowler
Abstract:
To each discrete product system E of finite-dimensional Hilbert spaces we associate a C*-algebra O_E. When E is the n-dimensional product system over N, O_E is the Cuntz algebra O_n, and the irrational rotation algebras appear as O_E for certain one-dimensional product systems over N^2. We give conditions which ensure that O_E is simple, purely infinite, and nuclear. Our main examples are the le…
▽ More
To each discrete product system E of finite-dimensional Hilbert spaces we associate a C*-algebra O_E. When E is the n-dimensional product system over N, O_E is the Cuntz algebra O_n, and the irrational rotation algebras appear as O_E for certain one-dimensional product systems over N^2. We give conditions which ensure that O_E is simple, purely infinite, and nuclear. Our main examples are the lexicographic product systems, for which we obtain slightly stronger results.
△ Less
Submitted 21 April, 1999;
originally announced April 1999.
-
Discrete product systems of Hilbert bimodules
Authors:
Neal J. Fowler
Abstract:
A Hilbert bimodule is a right Hilbert module X over a C*-algebra A together with a left action of A as adjointable operators on X. We consider families X = {X_s :s\in P} of Hilbert bimodules, indexed by a semigroup P, which are endowed with a multiplication which implements isomorphisms X_s\otimes_A X_t \to X_{st}; such a family is a called a product system. We define a generalized Cuntz- Pimsne…
▽ More
A Hilbert bimodule is a right Hilbert module X over a C*-algebra A together with a left action of A as adjointable operators on X. We consider families X = {X_s :s\in P} of Hilbert bimodules, indexed by a semigroup P, which are endowed with a multiplication which implements isomorphisms X_s\otimes_A X_t \to X_{st}; such a family is a called a product system. We define a generalized Cuntz- Pimsner algebra O_X, and we show that every twisted crossed product of A by P can be realized as O_X for a suitable product system X. Assuming P is quasi- lattice ordered in the sense of Nica, we analyze a certain Toeplitz extension T_{cov}(X) of O_X by embedding it in a crossed product B_P \times_{τ,X} P which has been ``twisted'' by X; our main Theorem is a characterization of the faithful representations of B_P \times_{τ,X} P.
△ Less
Submitted 21 April, 1999;
originally announced April 1999.
-
Compactly-aligned discrete product systems, and generalizations of O_\infty
Authors:
Neal J. Fowler
Abstract:
The universal C*-algebras of discrete product systems generalize the Toeplitz- Cuntz algebras and the Toeplitz algebras of discrete semigroups. We consider a semigroup P which is quasi-lattice ordered in the sense of Nica, and, for a product system p:E\to P, we study those representations of E, called covariant, which respect the lattice structure of P. We identify a class of product systems, wh…
▽ More
The universal C*-algebras of discrete product systems generalize the Toeplitz- Cuntz algebras and the Toeplitz algebras of discrete semigroups. We consider a semigroup P which is quasi-lattice ordered in the sense of Nica, and, for a product system p:E\to P, we study those representations of E, called covariant, which respect the lattice structure of P. We identify a class of product systems, which we call compactly aligned, for which there is a purely C*-algebraic characterization of covariance, and study the algebra C*_{cov}(P,E) which is universal for covariant representations of E. Our main theorem is a characterization of the faithful representations of C*_{cov}(P,E) when P is the positive cone of a free product of totally-ordered amenable groups.
△ Less
Submitted 29 September, 1998;
originally announced September 1998.
-
The Toeplitz algebra of a Hilbert bimodule
Authors:
Neal J. Fowler,
Iain Raeburn
Abstract:
Suppose a C*-algebra A acts by adjointable operators on a Hilbert A-module X. Pimsner constructed a C*-algebra O_X which includes, for particular choices of X, crossed products of A by Z, the Cuntz algebras O_n, and the Cuntz-Krieger algebras O_B. Here we analyse the representations of the corresponding Toeplitz algebra. One consequence is a uniqueness theorem for the Toeplitz-Cuntz-Krieger alge…
▽ More
Suppose a C*-algebra A acts by adjointable operators on a Hilbert A-module X. Pimsner constructed a C*-algebra O_X which includes, for particular choices of X, crossed products of A by Z, the Cuntz algebras O_n, and the Cuntz-Krieger algebras O_B. Here we analyse the representations of the corresponding Toeplitz algebra. One consequence is a uniqueness theorem for the Toeplitz-Cuntz-Krieger algebras of directed graphs, which includes Cuntz's uniqueness theorem for O_\infty.
△ Less
Submitted 22 June, 1998; v1 submitted 18 June, 1998;
originally announced June 1998.
-
States of Toeplitz-Cuntz algebras
Authors:
Neal J. Fowler
Abstract:
We characterize the state space of a Toeplitz-Cuntz algebra TO_n in terms of positive operator matrices $Ω$ on Fock space which satisfy sl(Ω) \le Ω, where sl(Ω) is the operator matrix obtained from Ωby taking the trace in the last variable. Essential states correspond to those matrices Ωwhich are slice-invariant. As an application we show that a pure essential product state of the fixed-point al…
▽ More
We characterize the state space of a Toeplitz-Cuntz algebra TO_n in terms of positive operator matrices $Ω$ on Fock space which satisfy sl(Ω) \le Ω, where sl(Ω) is the operator matrix obtained from Ωby taking the trace in the last variable. Essential states correspond to those matrices Ωwhich are slice-invariant. As an application we show that a pure essential product state of the fixed-point algebra for the action of the gauge group has precisely a circle of pure extensions to TO_n.
△ Less
Submitted 11 August, 1997; v1 submitted 25 February, 1997;
originally announced February 1997.
