Showing 1–24 of 24 results for author: Quinn, F

On foundations for deductive mathematics

Authors: Frank Quinn

Abstract: This article was motivated by the discovery of a potential new foundation for mainstream mathematics. The goals are to clarify the relationships between primitives, foundations, and deductive practice; to understand how to determine what is, or isn't, a foundation; and get clues as to how a foundation can be optimized for effective human use. For this we turn to history and professional practice… ▽ More This article was motivated by the discovery of a potential new foundation for mainstream mathematics. The goals are to clarify the relationships between primitives, foundations, and deductive practice; to understand how to determine what is, or isn't, a foundation; and get clues as to how a foundation can be optimized for effective human use. For this we turn to history and professional practice of the subject. We have no asperations to Philosophy. The first section gives a short abstract discussion, focusing on the significance of consistency. The next briefly describes foundations, explicit and implicit, at a few key periods in mathematical history. We see, for example, that at the primitive level human intuitions are essential, but can be problematic. We also see that traditional axiomatic set theories, Zermillo-Fraenkel-Choice (ZFC) in particular, are not quite consistent with mainstream practice. The final section sketches the proposed new foundation and gives the basic argument that it is uniquely qualified to be considered {the} foundation of mainstream deductive mathematics. The ``coherent limit axiom'' characterizes the new theory among ZFC-like theories. This axiom plays a role in recursion, but is implicitly assumed in mainstream work so does not provide new leverage there. In principle it should settle set-theory questions such as the continuum hypothesis. △ Less

Submitted 17 June, 2024; originally announced July 2024.

Comments: 9 pages. Companion to `Object generators, relaxed sets, and a foundation for mathematics; preprint 2023, http://arXiv.org2110.01489

MSC Class: 03E65 (set theory) 18A05 (categories) 03B60 (logic)

Object generators, categories, and everyday set theory

Authors: Frank Quinn

Abstract: In "Object generators, relaxed sets, and a foundation for mathematics", we introduced ``object generators'', a logical environment much more general than set theory. Inside this we found a `relaxed' version of set theory. That paper is focused on construction of the universal Zermillo-Fraenkel-Choice theory, and the argument that it alone is consistent with mainstream mathematical practice. This p… ▽ More In "Object generators, relaxed sets, and a foundation for mathematics", we introduced ``object generators'', a logical environment much more general than set theory. Inside this we found a `relaxed' version of set theory. That paper is focused on construction of the universal Zermillo-Fraenkel-Choice theory, and the argument that it alone is consistent with mainstream mathematical practice. This paper is oriented toward potential users. The first topic is that if the general context is not needed then there is a simpler description of the set theory. In particular this uses only familiar binary logic, and the resut is almost the same as na\"ıve set theory. The second topic collects facts about the smallest object that is not a set (the traditional Ordinal numbers, or ``class of all sets''). Quite a bit is known, but it heavily involves non-binary assertion logic. For instance the powerset of this object is the disjoint union of the bounded subobjects, and the cofinal subobjects. However there is no function to {yes, no} that detects this decomposition. The third topic illustrates how the general object-generator context enables natural and full-precision work with categories. △ Less

Submitted 17 December, 2023; v1 submitted 13 October, 2022; originally announced October 2022.

Comments: 8 pages. companion to `Object generators, relaxed sets, and a foundation for mathematics' arXiv:2110.01489

MSC Class: 03E65 (set theory) 18A05 (categories) 03B60 (logic)

Object generators, relaxed sets, and a foundation for mathematics

Authors: Frank Quinn

Abstract: Object generators are essentially the "object" primitives of category theory, and can usually be thought of as "collections of elements". We develop a logical context with these and their morphisms as primitives, and four straightforward axioms. The only novelty is the logic: it is considerably weaker than standard binary logic, and does not include either equality or quantification. Instead of bu… ▽ More Object generators are essentially the "object" primitives of category theory, and can usually be thought of as "collections of elements". We develop a logical context with these and their morphisms as primitives, and four straightforward axioms. The only novelty is the logic: it is considerably weaker than standard binary logic, and does not include either equality or quantification. Instead of building these features into the logic, we require them of the objects. Relaxed sets are \emph{defined} to be object generators that have an equality pairing and that do support quantification. Some basic set-theory material (well-orders, recursion, cardinals etc.) is developed to show these have all the properties expected of sets. The theory closely follows naïve set theory, and is almost as easy to use. The main technical result is that relaxed theory contains a universal implementation of the ZFC-1 axioms, universal in the sense that every other such implementation is (uniquely) isomorphic to a transitive subobject. Here `ZFC' stands for `Zermillo-Fraenkel-Choice', and `-1' means `ignore first-order logical constraints'. Unexpectedly, we see that relaxed set theory is the \emph{only} theory that is fully satisfactory for mainstream deductive mathematics. To see this we formulate the "Coherent Limit axiom" that asserts that a particularly simple type of increasing sequence of functions has a limit. It is easy to see that this is satisfied only in the maximal theory. Mainstream mathematicians implicitly assume this axiom, at least in the sense that they don't do the work required to deal with failures. Finally, a justification for including the Quantification Hypothesis is given in an appendix. △ Less

Submitted 23 November, 2023; v1 submitted 4 October, 2021; originally announced October 2021.

Comments: 24 pages, April 2023 version updated to correct misprints, tighten proofs, add an appendix explaining the Quantification Hypothesis. arXiv admin note: text overlap with arXiv:2009.08867

MSC Class: 03E65 (set theory) 18A05 (categories) 03B60 (logic)

A construction of set theory

Authors: Frank Quinn

Abstract: We begin with a context more general than set theory. The basic ingredients are essentially the object and functor primitives of category theory, and the logic is weak, requiring neither the Law of Excluded Middle nor quantification. Inside this we find "relaxed" set theory, which is much easier to use with full precision than traditional axiomatic theories. There is also an implementation of the… ▽ More We begin with a context more general than set theory. The basic ingredients are essentially the object and functor primitives of category theory, and the logic is weak, requiring neither the Law of Excluded Middle nor quantification. Inside this we find "relaxed" set theory, which is much easier to use with full precision than traditional axiomatic theories. There is also an implementation of the Zermillo-Fraenkel-Choice axioms that is maximal in the sense that any other implementation uniquely embeds in it. △ Less

Submitted 1 June, 2023; v1 submitted 18 September, 2020; originally announced September 2020.

Comments: Obsolete; replaced by "Object generators 1: set theory", arXiv:2110.01489

MSC Class: 03E65; 18A05; 03B60

Fractions in elementary education

Authors: Frank Quinn

Abstract: This paper is one of a series in which elementary-education practice is analyzed by comparison with the history of mathematics, mathematical structure, modern practice, and (occasionally) cognitive neuroscience. The primary concerns are: Why do so many children find elementary mathematics difficult? And, why are the ones who succeed still so poorly prepared for college material needed for technica… ▽ More This paper is one of a series in which elementary-education practice is analyzed by comparison with the history of mathematics, mathematical structure, modern practice, and (occasionally) cognitive neuroscience. The primary concerns are: Why do so many children find elementary mathematics difficult? And, why are the ones who succeed still so poorly prepared for college material needed for technical careers? The answer provided by conventional wisdom is essentially that mathematics is difficult. Third-graders are not developmentally ready for the subtlety of fractions, for instance, and even high-performing students cannot be expected to develop the skills of experienced users. However we will see that this is far from the whole story and is probably wrong: elementary-education fractions are genuinely harder and less effective than the version employed by experienced users. Experts discard at least 90% of what is taught in schools. Our educational system is actually counterproductive for skill development, and the reasons for this are an important secondary concern. △ Less

Submitted 9 November, 2013; originally announced November 2013.

Comments: 19 pages

MSC Class: 97B70; 97F40

The triangulation of manifolds

Authors: Frank Quinn

Abstract: A mostly expository account of old questions about the relationship between polyhedra and topological manifolds. Topics are old topological results, new gauge theory results (with speculations about next directions), and history of the questions. A mostly expository account of old questions about the relationship between polyhedra and topological manifolds. Topics are old topological results, new gauge theory results (with speculations about next directions), and history of the questions. △ Less

Submitted 12 November, 2013; v1 submitted 28 October, 2013; originally announced October 2013.

Comments: 26 pages, 2 figures. version 2: spellings corrected, analytic speculations in 4.8.2 sharpened

MSC Class: 57Q15; 01A60; 57R58

Algebraic K-theory over the infinite dihedral group: a controlled topology approach

Authors: James F. Davis, Frank Quinn, Holger Reich

Abstract: We use controlled topology applied to the action of the infinite dihedral group on a partially compactified plane and deduce two consequences for algebraic K-theory. The first is that the family in the K-theoretic Farrell-Jones conjecture can be reduced to only those virtually cyclic groups which admit a surjection with finite kernel onto a cyclic group. The second is that the Waldhausen Nil group… ▽ More We use controlled topology applied to the action of the infinite dihedral group on a partially compactified plane and deduce two consequences for algebraic K-theory. The first is that the family in the K-theoretic Farrell-Jones conjecture can be reduced to only those virtually cyclic groups which admit a surjection with finite kernel onto a cyclic group. The second is that the Waldhausen Nil groups for a group which maps epimorphically onto the infinite dihedral group can be computed in terms of the Farrell-Bass Nil groups of the index two subgroup which maps surjectively to the infinite cyclic group. △ Less

Submitted 7 March, 2011; v1 submitted 19 February, 2010; originally announced February 2010.

Comments: Accepted for publication by the Journal of Topology, 23 pages, proof of Lemma 4.1 simplified

MSC Class: 57Q10; 16E20

Journal ref: Journal of Topology, 4 (2011), 505-528

A controlled-topology proof of the product structure theorem

Authors: Frank Quinn

Abstract: The controlled end and h-cobrodism theorems (Ends of maps I, 1979) are used to give quick proofs of the Top/PL and PL/DIFF product structure theorems. The controlled end and h-cobrodism theorems (Ends of maps I, 1979) are used to give quick proofs of the Top/PL and PL/DIFF product structure theorems. △ Less

Submitted 3 October, 2006; originally announced October 2006.

Comments: 6 pages

MSC Class: 57Q25

Hyperelementary assembly for K-theory of virtually abelian groups

Authors: Frank Quinn

Abstract: Controlled $K$-theory is used to show that algebraic $K$-theory of virtually abelian groups is described by an assembly map defined using possibly-infinite hyperelementary subgroups. The Farrell-Jones summand (coming from infinite subgroups) is parameterized by the rational projective space of the group, and a reduced version is torsion. Includes general material on assembly and universal spaces… ▽ More Controlled $K$-theory is used to show that algebraic $K$-theory of virtually abelian groups is described by an assembly map defined using possibly-infinite hyperelementary subgroups. The Farrell-Jones summand (coming from infinite subgroups) is parameterized by the rational projective space of the group, and a reduced version is torsion. Includes general material on assembly and universal spaces. △ Less

Submitted 16 February, 2006; v1 submitted 13 September, 2005; originally announced September 2005.

Comments: 30 page AMS-TeX file. Feb 06 revision fixes misprints, minor errors

MSC Class: 19A31; 19B28; 19DXX

Homology manifolds and 4-dimensional surgery

Authors: Frank Quinn

Abstract: Withdrawn May 2005. There is an error in the even-dimensional case of the proof in the April 2005 version. The hoped-for 4-dimensional applications are unlikely to survive the repairs. Withdrawn May 2005. There is an error in the even-dimensional case of the proof in the April 2005 version. The hoped-for 4-dimensional applications are unlikely to survive the repairs. △ Less

Submitted 9 May, 2005; v1 submitted 12 April, 2005; originally announced April 2005.

Comments: April 2005 version withdrawn May 2005 due to an error in the even-dimensional part of the proof

MSC Class: 57P99; 57N13

Cores of s-cobordisms of 4-manifolds

Authors: Frank Quinn

Abstract: The main result is that an s-cobordism (topological or smooth) of 4-manifolds has a product structure outside a ``core'' sub s-cobordism. These cores are arranged to have quite a bit of structure, for example they are smooth and abstractly (forgetting boundary structure) diffeomorphic to a standard neighborhood of a 1-complex. The decomposition is highly nonunique so cannot be used to define an… ▽ More The main result is that an s-cobordism (topological or smooth) of 4-manifolds has a product structure outside a ``core'' sub s-cobordism. These cores are arranged to have quite a bit of structure, for example they are smooth and abstractly (forgetting boundary structure) diffeomorphic to a standard neighborhood of a 1-complex. The decomposition is highly nonunique so cannot be used to define an invariant, but it shows the topological s-cobordism question reduces to the core case. The simply-connected version of the decomposition (with 1-complex a point) is due to Curtis, Freedman, Hsiang and Stong. Controlled surgery is used to reduce topological triviality of core s-cobordisms to a question about controlled homotopy equivalence of 4-manifolds. There are speculations about further reductions. △ Less

Submitted 31 March, 2004; originally announced March 2004.

Comments: 12 pages

MSC Class: 57N13; 57N70; 57R80

Controlled K-theory I: Basic theory

Authors: Frank Quinn

Abstract: This paper provides a full controlled version of algebraic $K$-theory. This includes a rich array of assembly maps; the controlled assembly isomorphism theorem identifying the controlled group with homology; and the stability theorem describing the behavior of the inverse limit as the control parameter goes to 0. There is a careful treatment of spectral cosheaf homology and related tools, includ… ▽ More This paper provides a full controlled version of algebraic $K$-theory. This includes a rich array of assembly maps; the controlled assembly isomorphism theorem identifying the controlled group with homology; and the stability theorem describing the behavior of the inverse limit as the control parameter goes to 0. There is a careful treatment of spectral cosheaf homology and related tools, including an ``iterated homology identity'' giving a spectrum-level version of the Leray-Serre spectral sequence. △ Less

Submitted 19 September, 2005; v1 submitted 24 February, 2004; originally announced February 2004.

Comments: 64 pages AMSTex with xypic. Revision omits material now in math.KT/0509294

MSC Class: 19D99; 55N20; 57N80

Problems on homology manifolds

Authors: Frank Quinn

Abstract: A list of problems prepared for the proceedings of the Workshop on Exotic Homology Manifolds, Oberwolfach June 29-July 5 2003. A list of problems prepared for the proceedings of the Workshop on Exotic Homology Manifolds, Oberwolfach June 29-July 5 2003. △ Less

Submitted 18 March, 2009; v1 submitted 17 October, 2003; originally announced October 2003.

Comments: This is the version published by Geometry & Topology Monographs on 22 April 2006

MSC Class: 57P99

Journal ref: Geom. Topol. Monogr. 9 (2006) 87-103

Lectures on controlled topology: mapping cylinder neighborhoods

Authors: Frank Quinn

Abstract: The existence theorem for mapping cylinder neighborhoods is discussed as a prototypical example of controlled topology and its applications. The first of a projected series developed from lectures at the Summer School on High-Dimensional Topology, Trieste Italy 2001 The existence theorem for mapping cylinder neighborhoods is discussed as a prototypical example of controlled topology and its applications. The first of a projected series developed from lectures at the Summer School on High-Dimensional Topology, Trieste Italy 2001 △ Less

Submitted 22 January, 2002; originally announced January 2002.

Comments: 19 pages, one figure

MSC Class: 57N15; 55R65

Controlled surgery with trivial local fundamental groups

Authors: Erik Pedersen, Frank Quinn, Andrew Ranicki

Abstract: We provide a proof of the controlled surgery sequence, including stability, in the special case that the local fundamental groups are trivial. Stability is a key ingredient in the construction of exotic homology manifolds by Bryant, Ferry, Mio and Weinberger, but no proof has been available. The development given here is based on work of M. Yamasaki. We provide a proof of the controlled surgery sequence, including stability, in the special case that the local fundamental groups are trivial. Stability is a key ingredient in the construction of exotic homology manifolds by Bryant, Ferry, Mio and Weinberger, but no proof has been available. The development given here is based on work of M. Yamasaki. △ Less

Submitted 27 November, 2001; originally announced November 2001.

Comments: 5 pages

MSC Class: 57R67; 57P99

Journal ref: Proceedings 2001 ICTP Trieste School on High-dimensional Manifold Topology, World Scientific, 421--426 (2003)

Dual decompositions of 4-manifolds II: linear invariants

Authors: Frank Quinn

Abstract: This paper continues the study of decompositions of a smooth 4-manifold into two handlebodies with handles of index $\leq2$. Part I gave existence results in terms of spines and chain complexes over the fundamental group of the ambient manifold. Here we assume that one side of a decomposition has larger fundamental group, and use this to define algebraic-topological invariants. These reveal a ba… ▽ More This paper continues the study of decompositions of a smooth 4-manifold into two handlebodies with handles of index $\leq2$. Part I gave existence results in terms of spines and chain complexes over the fundamental group of the ambient manifold. Here we assume that one side of a decomposition has larger fundamental group, and use this to define algebraic-topological invariants. These reveal a basic asymmetry in these decompositions: subtle changes on one side can force algebraic-topologically detectable changes on the other. A solvable iteration of the basic invariant gives an ``obstruction theory'' using lower commutator quotients. By thinking of a 2-handlebody as essentially determined by the links used as attaching maps for its 2-handles this theory can be thought of a giving ``ambient'' link invariants. The moves used are related to the grope cobordism of links developed by Conant-Teichner, and the Cochran-Orr-Teichner filtration of the link concordance groups. The invariants give algebraically sophisticated ``finite type'' invariants in the sense of Vassilaev. △ Less

Submitted 6 March, 2004; v1 submitted 20 September, 2001; originally announced September 2001.

Comments: 21 pages, 4 figures. Revised March 2004 to correct misprints and respond to referee suggestions. Still no worked-out examples, though

MSC Class: 57R65 57M25

Relation between quantum invariants of 3-manifolds and 2-dimensional CW-complexes

Authors: Ivelina Bobtcheva, Frank Quinn

Abstract: We show that the Reshetikhin-Turaev-Walker invariant of 3-manifolds can be normalized to obtain an invariant of 4-dimensional thickenings of 2-complexes. Moreover when the underlying semisimple tortile category comes from the representations of a quantum group at a primitive prime root of unity, the 0-term in the Ohtsuki expansion of this invariant depends only on the spine and is the mod p inva… ▽ More We show that the Reshetikhin-Turaev-Walker invariant of 3-manifolds can be normalized to obtain an invariant of 4-dimensional thickenings of 2-complexes. Moreover when the underlying semisimple tortile category comes from the representations of a quantum group at a primitive prime root of unity, the 0-term in the Ohtsuki expansion of this invariant depends only on the spine and is the mod p invariant of 2-complexes defined previously from the second author. As a consequence it is shown that when the Euler characteristic is greater or equal to 1, the 2-complex invariant depends only on homology. The last statement doesn't hold for the negative Euler characteristic case. △ Less

Submitted 21 December, 2000; originally announced December 2000.

Comments: 16 pages, Latex

Report number: 5-12-00 MSC Class: Primary 57M20; Secondary 57M05

Dual 2-complexes in 4-manifolds

Authors: Frank Quinn

Abstract: Concerns decompositions of smooth 4-manifolds as the union of two handlebodies, each with handles of index <=2 (``Heegard'' decompositions).Sample result: Two 2-complexes are (up to 2-deformation) dual spines of a Heegard decomposition of the 4-sphere if and only if they satisfy the conclusions of the Alexander-Lefshetz duality theorem ($H_1K\simeq H^2L$ and $H_2K\simeq H^1L$). Concerns decompositions of smooth 4-manifolds as the union of two handlebodies, each with handles of index <=2 (``Heegard'' decompositions).Sample result: Two 2-complexes are (up to 2-deformation) dual spines of a Heegard decomposition of the 4-sphere if and only if they satisfy the conclusions of the Alexander-Lefshetz duality theorem ($H_1K\simeq H^2L$ and $H_2K\simeq H^1L$). △ Less

Submitted 27 September, 2000; originally announced September 2000.

Comments: 19 pages, AMSTeX soruce file

MSC Class: 57R65; 57M99

Subexponential groups in 4-manifold topology

Authors: Vyacheslav S Krushkal, Frank Quinn

Abstract: We present a new, more elementary proof of the Freedman-Teichner result that the geometric classification techniques (surgery, s-cobordism, and pseudoisotopy) hold for topological 4-manifolds with groups of subexponential growth. In an appendix Freedman and Teichner give a correction to their original proof, and reformulate the growth estimates in terms of coarse geometry. We present a new, more elementary proof of the Freedman-Teichner result that the geometric classification techniques (surgery, s-cobordism, and pseudoisotopy) hold for topological 4-manifolds with groups of subexponential growth. In an appendix Freedman and Teichner give a correction to their original proof, and reformulate the growth estimates in terms of coarse geometry. △ Less

Submitted 17 November, 2000; v1 submitted 11 January, 2000; originally announced January 2000.

Comments: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol4/paper14.abs.html

MSC Class: 57N13; 57N37; 57N70; 57R65

Journal ref: Geom. Topol. 4 (2000) 407-430

Group categories and their field theories

Authors: Frank Quinn

Abstract: A group-category is an additively semisimple category with a monoidal product structure in which the simple objects are invertible. For example in the category of representations of a group, 1-dimensional representations are the invertible simple objects. This paper gives a detailed exploration of "topological quantum field theories" for group-categories, in hopes of finding clues to a better un… ▽ More A group-category is an additively semisimple category with a monoidal product structure in which the simple objects are invertible. For example in the category of representations of a group, 1-dimensional representations are the invertible simple objects. This paper gives a detailed exploration of "topological quantum field theories" for group-categories, in hopes of finding clues to a better understanding of the general situation. Group-categories are classified in several ways extending results of Froelich and Kerler. Topological field theories based on homology and cohomology are constructed, and these are shown to include theories obtained from group-categories by Reshetikhin-Turaev constructions. Braided-commutative categories most naturally give theories on 4-manifold thickenings of 2-complexes; the usual 3-manifold theories are obtained from these by normalizing them (using results of Kirby) to depend mostly on the boundary of the thickening. This is worked out for group-categories, and in particular we determine when the normalization is possible and when it is not. △ Less

Submitted 20 November, 1999; v1 submitted 8 November, 1998; originally announced November 1998.

Comments: 47 pages. Published copy, also available at http://www.maths.warwick.ac.uk/gt/GTMon2/paper21.abs.html

Report number: G&T migration mon2-21 MSC Class: 18D10; 81R50; 55B20

Journal ref: Geom. Topol. Monogr. 2 (1999), 407-453

Response to comments on ``Theoretical mathematics''

Authors: Arthur Jaffe, Frank Quinn

Abstract: The authors discuss various objections and rejoinders in the collected responses [math.HO/9404229,math.HO/9404236] to their original article on the relationship between mathematics and theoretical physics [math.HO/9307227]. The authors discuss various objections and rejoinders in the collected responses [math.HO/9404229,math.HO/9404236] to their original article on the relationship between mathematics and theoretical physics [math.HO/9307227]. △ Less

Submitted 31 March, 1994; originally announced April 1994.

Comments: 4 pages. Abstract added in migration.

Report number: Bulletin migration 11/99

Journal ref: Bull.Am.Math.Soc. 30 (1994) 208-211

``Theoretical mathematics'': Toward a cultural synthesis of mathematics and theoretical physics

Authors: Arthur Jaffe, Frank Quinn

Abstract: Is speculative mathematics dangerous? Recent interactions between physics and mathematics pose the question with some force: traditional mathematical norms discourage speculation, but it is the fabric of theoretical physics. In practice there can be benefits, but there can also be unpleasant and destructive consequences. Serious caution is required, and the issue should be considered before, rat… ▽ More Is speculative mathematics dangerous? Recent interactions between physics and mathematics pose the question with some force: traditional mathematical norms discourage speculation, but it is the fabric of theoretical physics. In practice there can be benefits, but there can also be unpleasant and destructive consequences. Serious caution is required, and the issue should be considered before, rather than after, obvious damage occurs. With the hazards carefully in mind, we propose a framework that should allow a healthy and positive role for speculation. △ Less

Submitted 30 June, 1993; originally announced July 1993.

Comments: 13 pages

Report number: Bulletin migration 11/99

Journal ref: Bull.Am.Math.Soc. 29 (1993) 1-13

Representation theory, topological field theory, and the Andrews-Curtis conjecture

Authors: Frank Quinn

Abstract: We pose a representation-theoretic question motivated by an attempt to resolve the Andrews-Curtis conjecture. Roughly, is there a triangular Hopf algebra with a collection of self-dual irreducible representations $V_i$ so that the product of any two decomposes as a sum of copies of the $V_i$, and $\sum (\rank V_i)^2=0$? This data can be used to construct a `topological quantum field theory' on 2… ▽ More We pose a representation-theoretic question motivated by an attempt to resolve the Andrews-Curtis conjecture. Roughly, is there a triangular Hopf algebra with a collection of self-dual irreducible representations $V_i$ so that the product of any two decomposes as a sum of copies of the $V_i$, and $\sum (\rank V_i)^2=0$? This data can be used to construct a `topological quantum field theory' on 2-complexes which stands a good chance of detecting counterexamples to the conjecture. △ Less

Submitted 14 February, 1992; v1 submitted 13 February, 1992; originally announced February 1992.

Comments: 7 pages. ADMIN NOTE: source file was garbled, partially salvaged 19Feb2001

Chern-Simons Theory with Finite Gauge Group

Authors: Daniel S. Freed, Frank Quinn

Abstract: These theories, which are surely some of the simplest possible quantum field theories, were introduced in a paper of Dijkgraaf and Witten. The path integral reduces to a finite sum, so it is quite amenable to direct mathematical study. Although the theory exisits in arbitrary dimensions, it is most interesting in $2+1$~dimensions, where it has a ``modular structure.'' This is related to quantum… ▽ More These theories, which are surely some of the simplest possible quantum field theories, were introduced in a paper of Dijkgraaf and Witten. The path integral reduces to a finite sum, so it is quite amenable to direct mathematical study. Although the theory exisits in arbitrary dimensions, it is most interesting in $2+1$~dimensions, where it has a ``modular structure.'' This is related to quantum groups, and the precise details may give clues as to what happens in other contexts. This paper is written using AMSTeX 2.1, which can be obtained via ftp from the American Mathematical Society (instructions included). 1 encapsulated postscript file was submitted separately in uuencoded tar-compressed format. △ Less

Submitted 18 December, 1992; v1 submitted 3 November, 1991; originally announced November 1991.

Comments: 44 pages + 1 figure (revised version, this revision fixes some mistakes, changes some notation, clarifies some arguments, redraws the figure, and generally improves the previous version.)

Journal ref: Commun.Math.Phys.156:435-472,1993