-
Structural Optimal Jacobian Accumulation and Minimum Edge Count are NP-Complete Under Vertex Elimination
Authors:
Matthias Bentert,
Alex Crane,
Pål Grønås Drange,
Yosuke Mizutani,
Blair D. Sullivan
Abstract:
We study graph-theoretic formulations of two fundamental problems in algorithmic differentiation. The first (Structural Optimal Jacobian Accumulation) is that of computing a Jacobian while minimizing multiplications. The second (Minimum Edge Count) is to find a minimum-size computational graph. For both problems, we consider the vertex elimination operation. Our main contribution is to show that b…
▽ More
We study graph-theoretic formulations of two fundamental problems in algorithmic differentiation. The first (Structural Optimal Jacobian Accumulation) is that of computing a Jacobian while minimizing multiplications. The second (Minimum Edge Count) is to find a minimum-size computational graph. For both problems, we consider the vertex elimination operation. Our main contribution is to show that both problems are NP-complete, thus resolving longstanding open questions. In contrast to prior work, our reduction for Structural Optimal Jacobian Accumulation does not rely on any assumptions about the algebraic relationships between local partial derivatives; we allow these values to be mutually independent. We also provide $O^*(2^n)$-time exact algorithms for both problems, and show that under the exponential time hypothesis these running times are essentially tight. Finally, we provide a data reduction rule for Structural Optimal Jacobian Accumulation by showing that false twins may always be eliminated consecutively.
△ Less
Submitted 20 June, 2025;
originally announced June 2025.
-
Coding with the transverse intersection algebra
Authors:
Ofir Aharoni,
Daniel An,
Alice Kwon,
Ruth Lawrence,
Dennis Sullivan
Abstract:
The concept of a fluid algebra was introduced by Sullivan over a decade ago as an algebraic construct which contains everything necessary in order to write down a form of the Euler equation, as an ODE whose solutions have invariant quantities which can be identified as energy and enthalpy. The natural (infinite-dimensional) fluid algebra on co-exact 1-forms on a three-dimensional closed oriented R…
▽ More
The concept of a fluid algebra was introduced by Sullivan over a decade ago as an algebraic construct which contains everything necessary in order to write down a form of the Euler equation, as an ODE whose solutions have invariant quantities which can be identified as energy and enthalpy. The natural (infinite-dimensional) fluid algebra on co-exact 1-forms on a three-dimensional closed oriented Riemannian manifold leads to an Euler equation which is equivalent to the classical Euler equation which describes non-viscous fluid flow. In this paper, the recently introduced transverse intersection algebra associated to a cubic lattice of An-Lawrence-Sullivan is used to construct a finite-dimensional fluid algebra on a cubic lattice (with odd periods). The corresponding Euler equation is an ODE which it is proposed is a `good' discretisation of the continuum Euler equation. This paper contains all the explicit details necessary to implement numerically the corresponding Euler equation. Such an implementation has been carried out by our team and results are pending.
△ Less
Submitted 8 April, 2025;
originally announced April 2025.
-
Infinite-order combinatorial Transverse Intersection Algebra TIA via the probabilistic wiggling model
Authors:
Daniel An,
Ruth Lawrence,
Dennis Sullivan
Abstract:
This paper constructs a graded-commutative, associative, differential Transverse Intersection Algebra TIA {on the torus (in any dimension) with its cubical decomposition by using a probabilistic wiggling interpretation. This structure agrees with the combinatorial graded intersection algebra (graded by codimension) defined by transversality on pairs of `cuboidal chains' which are in general positi…
▽ More
This paper constructs a graded-commutative, associative, differential Transverse Intersection Algebra TIA {on the torus (in any dimension) with its cubical decomposition by using a probabilistic wiggling interpretation. This structure agrees with the combinatorial graded intersection algebra (graded by codimension) defined by transversality on pairs of `cuboidal chains' which are in general position. In order to define an intersection of cuboids which are not necessarily in general position, the boundaries of the cuboids are considered to be `wiggled' by a distance small compared with the lattice parameter, according to a suitable probability distribution and then almost always the wiggled cuboids will be in general position, producing a transverse intersection with new probability distributions on the bounding sides. In order to make a closed theory, each geometric cuboid appears in an infinite number of forms with different probability distributions on the wiggled boundaries. The resulting structure is commutative, associative and satisfies the product rule with respect to the natural boundary operator deduced from the geometric boundary of the wiggled cuboids.
This TIA can be viewed as a combinatorial analogue of differential forms in which the continuity of space has been replaced by a lattice with corrections to infinite order. See the comparison to Whitney forms at the end of the paper.
For application to fluid algebra we also consider the same construction starting with the $2h$ cubical complex instead of the $h$ cubical complex. The adjoined higher order elements will be identical to those required in the $h$ cubical complex.
The $d$-dimensional theory is a tensor product of $d$ copies of the one-dimensional theory.
△ Less
Submitted 18 March, 2025;
originally announced April 2025.
-
The combinatorial transverse intersection algebra
Authors:
Daniel An,
Ruth Lawrence,
Dennis Sullivan
Abstract:
This paper constructs (with challenging obstacles) on the three torus with its cubical decomposition:
Firstly, a combinatorial graded intersection algebra (graded by the codimension) which is commutative and associative defined by transversality on the usual chains which are in general position. This, (with extra elements added) on the entire $h$-cubulated three torus whose differential satisfie…
▽ More
This paper constructs (with challenging obstacles) on the three torus with its cubical decomposition:
Firstly, a combinatorial graded intersection algebra (graded by the codimension) which is commutative and associative defined by transversality on the usual chains which are in general position. This, (with extra elements added) on the entire $h$-cubulated three torus whose differential satisfies the product rule and which agrees with the set theoretic intersection product appropriately weighted. The construction is characterized given these properties (see Comprehensive Theorem below). The challenge is to minimally adjoin infinitesimal elements when the geometric elements have glancing but transversal intersections weighted in such a way that the associativity (and commutativity) is not destroyed and the Leibniz product rule for the boundary operator is restored.
Secondly, there is a $2h$ subcomplex introduced in Sullivan arXiv:1811.00086 and discussed further in Lawrence-Sullivan-Ranade arXiv:2011.07505 which shares the above good properties when ideal elements are added AND which also has a star bijection between degree zero and degree three and between one and degree two. This is introduced for the purposes of computations of 3D fluid motion, incompressible, with or without viscosity. For the latter purposes one only needs the good properties in dimensions zero, one and two, where the situation is a bit better.
It is a new feature that the three good properties are respected by the crumbling chain mappings from coarse to finer subdivisions. The star operator does not cooperate with crumbling and is the sole reason in this discrete approximation for the Kolmogorov cascade to finer scales.
△ Less
Submitted 9 February, 2025;
originally announced February 2025.
-
Quantitative towers in finite difference calculus approximating the continuum
Authors:
R. Lawrence,
N. Ranade,
D. Sullivan
Abstract:
Multivector fields and differential forms at the continuum level have respectively two commutative associative products, a third composition product between them and various operators like $\partial$, $d$ and $*$ which are used to describe many nonlinear problems. The point of this paper is to construct consistent direct and inverse systems of finite dimensional approximations to these structures…
▽ More
Multivector fields and differential forms at the continuum level have respectively two commutative associative products, a third composition product between them and various operators like $\partial$, $d$ and $*$ which are used to describe many nonlinear problems. The point of this paper is to construct consistent direct and inverse systems of finite dimensional approximations to these structures and to calculate combinatorially how these finite dimensional models differ from their continuum idealizations. In a Euclidean background there is an explicit answer which is natural statistically.
△ Less
Submitted 15 November, 2020;
originally announced November 2020.
-
Complément to the Thurston 3D-Geometrization
Authors:
Alice Kwon,
Dennis Sullivan
Abstract:
Geometrization says `` any closed oriented three-manifold which is prime (not a connected sum) carries one of the eight Thurston geometries OR it has incompressible torus walls whose complementary components each carry one of four particular Thurston geometries" (see Introduction and Figure 1). These geometric components have finite volume for the hyperbolic geometries (the H labeled vertices). Th…
▽ More
Geometrization says `` any closed oriented three-manifold which is prime (not a connected sum) carries one of the eight Thurston geometries OR it has incompressible torus walls whose complementary components each carry one of four particular Thurston geometries" (see Introduction and Figure 1). These geometric components have finite volume for the hyperbolic geometries (the H labeled vertices). They also have finite volume for each of the two geometries appearing as Seifert fibrations (the S labeled vertices). The remaining pieces (the I labeled vertices) have Euclidean geometries of linear volume growth. Then these vertex geometries are combined topologically to recover the original manifold. This, by cutting off the toroidal ends and then gluing the torus boundaries by affine mappings (indicated by the labeled edges in Figure 1). The point of this work is to make the affine gluing respect an interpretation of the metric geometry in terms of a new notion of `` regional Lie generated geometry". The vertex regions use four geometries in Lie form combined in the overlap edge regions via affine geometry. The Theorem solves, using Geometrization, a 45 year old question/approach to the Poincaré Conjecture. This was described in a '76 Princeton Math dept. preprint and finally documented in the 1983 reference by Thurston and the second author.
△ Less
Submitted 1 September, 2023; v1 submitted 25 June, 2019;
originally announced June 2019.
-
Lattice Hydrodynamics
Authors:
Dennis Sullivan
Abstract:
Using the combinatorics of two interpenetrating face centered cubic lattices together with the part of calculus naturally encoded in combinatorial topology, we construct from first principles a lattice model of 3D incompressible hydrodynamics on triply periodic three space. Actually the construction applies to every dimension, but has special duality features in dimension three.
Using the combinatorics of two interpenetrating face centered cubic lattices together with the part of calculus naturally encoded in combinatorial topology, we construct from first principles a lattice model of 3D incompressible hydrodynamics on triply periodic three space. Actually the construction applies to every dimension, but has special duality features in dimension three.
△ Less
Submitted 31 October, 2018;
originally announced November 2018.
-
Structural Rounding: Approximation Algorithms for Graphs Near an Algorithmically Tractable Class
Authors:
Erik D. Demaine,
Timothy D. Goodrich,
Kyle Kloster,
Brian Lavallee,
Quanquan C. Liu,
Blair D. Sullivan,
Ali Vakilian,
Andrew van der Poel
Abstract:
We develop a new framework for generalizing approximation algorithms from the structural graph algorithm literature so that they apply to graphs somewhat close to that class (a scenario we expect is common when working with real-world networks) while still guaranteeing approximation ratios. The idea is to $\textit{edit}$ a given graph via vertex- or edge-deletions to put the graph into an algorith…
▽ More
We develop a new framework for generalizing approximation algorithms from the structural graph algorithm literature so that they apply to graphs somewhat close to that class (a scenario we expect is common when working with real-world networks) while still guaranteeing approximation ratios. The idea is to $\textit{edit}$ a given graph via vertex- or edge-deletions to put the graph into an algorithmically tractable class, apply known approximation algorithms for that class, and then $\textit{lift}$ the solution to apply to the original graph. We give a general characterization of when an optimization problem is amenable to this approach, and show that it includes many well-studied graph problems, such as Independent Set, Vertex Cover, Feedback Vertex Set, Minimum Maximal Matching, Chromatic Number, ($\ell$-)Dominating Set, Edge ($\ell$-)Dominating Set, and Connected Dominating Set.
To enable this framework, we develop new editing algorithms that find the approximately-fewest edits required to bring a given graph into one of several important graph classes (in some cases, also approximating the target parameter of the family). For bounded degeneracy, we obtain a bicriteria $(4,4)$-approximation which also extends to a smoother bicriteria trade-off. For bounded treewidth, we obtain a bicriteria $(O(\log^{1.5} n), O(\sqrt{\log w}))$-approximation, and for bounded pathwidth, we obtain a bicriteria $(O(\log^{1.5} n), O(\sqrt{\log w} \cdot \log n))$-approximation. For treedepth $2$ (also related to bounded expansion), we obtain a $4$-approximation. We also prove complementary hardness-of-approximation results assuming $\mathrm{P} \neq \mathrm{NP}$: in particular, these problems are all log-factor inapproximable, except the last which is not approximable below some constant factor ($2$ assuming UGC).
△ Less
Submitted 9 December, 2018; v1 submitted 7 June, 2018;
originally announced June 2018.
-
An Updated Experimental Evaluation of Graph Bipartization Methods
Authors:
Timothy D. Goodrich,
Eric Horton,
Blair D. Sullivan
Abstract:
We experimentally evaluate the practical state-of-the-art in graph bipartization (Odd Cycle Transversal), motivated by recent advances in near-term quantum computing hardware and the related embedding problems. We assemble a preprocessing suite of fast input reduction routines from the Odd Cycle Transversal (OCT) and Vertex Cover (VC) literature, and compare algorithm implementations using Quadrat…
▽ More
We experimentally evaluate the practical state-of-the-art in graph bipartization (Odd Cycle Transversal), motivated by recent advances in near-term quantum computing hardware and the related embedding problems. We assemble a preprocessing suite of fast input reduction routines from the Odd Cycle Transversal (OCT) and Vertex Cover (VC) literature, and compare algorithm implementations using Quadratic Unconstrained Binary Optimization problems from the quantum literature. We also generate a corpus of frustrated cluster loop graphs, which have previously been used to benchmark quantum annealing hardware. The diversity of these graphs leads to harder OCT instances than in existing benchmarks.
In addition to combinatorial branching algorithms for solving OCT directly, we study various reformulations into other NP-hard problems such as VC and Integer Linear Programming (ILP), enabling the use of solvers such as CPLEX. We find that for heuristic solutions with time constraints under a second, iterative compression routines jump-started with a heuristic solution perform best, after which point using a highly tuned solver like CPLEX is worthwhile. Results on exact solvers are split between using ILP formulations on CPLEX and solving VC formulations with a branch-and-reduce solver. We extend our results with a large corpus of synthetic graphs, establishing robustness and potential to generalize to other domain data. In total, over 8000 graph instances are evaluated, compared to the previous canonical corpus of 100 graphs.
Finally, we provide all code and data in an open source suite, including a Python API for accessing reduction routines and branching algorithms, along with scripts for fully replicating our results.
△ Less
Submitted 19 March, 2021; v1 submitted 2 May, 2018;
originally announced May 2018.
-
Characters for Complex Bundles and their Connections
Authors:
James Simons,
Dennis Sullivan
Abstract:
The paper combines several fortunate mini miracles to achieve its two objectives. These were woven together in a several year's effort to answer a question raised by Iz Singer a decade ago. Our answer is accessible to the topologist, to the differential geometer and to the analyst who appreciates the statement of the Index theorem of Atiyah,Patodi,Singer for manifolds with boundary. The mini mirac…
▽ More
The paper combines several fortunate mini miracles to achieve its two objectives. These were woven together in a several year's effort to answer a question raised by Iz Singer a decade ago. Our answer is accessible to the topologist, to the differential geometer and to the analyst who appreciates the statement of the Index theorem of Atiyah,Patodi,Singer for manifolds with boundary. The mini miracles are these:
a] The Conner Floyd miracle that complex bordism tensored over the Todd genus and the Bott miracle that stable complex vector bundles respectively satisfy the axioms of a generalized homology theory and of a generalized cohomology theory.
b] That these theories, with the covariant and contravariant geometric representations indicated, stably almost complex (SAC) manifolds modulo product relations and stable complex bundles, are not only related by Alexander duality but they are also related by Pontryagin duality.
c] The abstract corollary of b] that stable complex bundles have a complete system of numerical invariants and that these can be computed by integrals of chern weil characteristic forms over manifolds with boundary reduced modulo integers, thanks to the APS Index Theorem.
d] The adiabatic limit argument of the appendix to the last section showing a direct sum connection on the total space of a riemannian family of Riemannian manifolds with connection is Chern Simons equivalent in the limit to the Levi Civita connection of the direct sum metric. This allows the invariants to be described by the eta invariants of odd SAC manifolds reduced mod integers.
△ Less
Submitted 19 March, 2018;
originally announced March 2018.
-
Walk entropy and walk-regularity
Authors:
Kyle Kloster,
Daniel Král',
Blair D. Sullivan
Abstract:
A graph is said to be walk-regular if, for each $\ell \geq 1$, every vertex is contained in the same number of closed walks of length $\ell$. We construct a $24$-vertex graph $H_4$ that is not walk-regular yet has maximized walk entropy, $S^V(H_4,β) = \log 24$, for some $β>0$. This graph is a counterexample to a conjecture of Benzi [Linear Algebra Appl.~443 (2014), 395--399, Conjecture 3.1]. We al…
▽ More
A graph is said to be walk-regular if, for each $\ell \geq 1$, every vertex is contained in the same number of closed walks of length $\ell$. We construct a $24$-vertex graph $H_4$ that is not walk-regular yet has maximized walk entropy, $S^V(H_4,β) = \log 24$, for some $β>0$. This graph is a counterexample to a conjecture of Benzi [Linear Algebra Appl.~443 (2014), 395--399, Conjecture 3.1]. We also show that there exist infinitely many temperatures $β_0>0$ so that $S^V(G,β_0)=\log n_G$ if and only if a graph $G$ is walk-regular.
△ Less
Submitted 7 February, 2018; v1 submitted 31 August, 2017;
originally announced August 2017.
-
Generalized Euler classes, differential forms and commutative DGAs
Authors:
Alexander Gorokhovsky,
Dennis Sullivan,
Zhizhang Xie
Abstract:
In the context of commutative differential graded algebras over $\mathbb Q$, we show that an iteration of "odd spherical fibration" creates a "total space" commutative differential graded algebra with only odd degree cohomology. Then we show for such a commutative differential graded algebra that, for any of its "fibrations" with "fiber" of finite cohomological dimension, the induced map on cohomo…
▽ More
In the context of commutative differential graded algebras over $\mathbb Q$, we show that an iteration of "odd spherical fibration" creates a "total space" commutative differential graded algebra with only odd degree cohomology. Then we show for such a commutative differential graded algebra that, for any of its "fibrations" with "fiber" of finite cohomological dimension, the induced map on cohomology is injective.
△ Less
Submitted 24 June, 2017; v1 submitted 13 April, 2017;
originally announced April 2017.
-
The Cumulant Bijection and Differential Forms
Authors:
Nissim Ranade,
Dennis Sullivan
Abstract:
According to Jae Suk Park, physicists use "canonical coordinate systems" to compute correlations in perturbative quantum field theories. One may interpret these canonical coordinate systems as equivalences of generalized differential Lie algebras. In this note we discuss these flattenings in one particular setting and refer to them as "cumulant bijections". The main point we make is that these cum…
▽ More
According to Jae Suk Park, physicists use "canonical coordinate systems" to compute correlations in perturbative quantum field theories. One may interpret these canonical coordinate systems as equivalences of generalized differential Lie algebras. In this note we discuss these flattenings in one particular setting and refer to them as "cumulant bijections". The main point we make is that these cumulant bijections are functorial for deformation retracts. The discussion is completely self contained and based on well known universal properties.
△ Less
Submitted 3 July, 2014; v1 submitted 1 July, 2014;
originally announced July 2014.
-
On a Conjecture of Andrica and Tomescu
Authors:
Blair D. Sullivan
Abstract:
Let S(n) be the integer sequence which is the coefficient of x^{n(n+1)/4} in the expansion of (1+x)(1+x^2), ..., (1+x^n) for positive integers n congruent to 0 or 3 mod 4. We prove a conjecture of Andrica and Tomescu that S(n) is asymptotic to \sqrt{6/π} 2^n n^{-3/2} as n approaches infinity.
Let S(n) be the integer sequence which is the coefficient of x^{n(n+1)/4} in the expansion of (1+x)(1+x^2), ..., (1+x^n) for positive integers n congruent to 0 or 3 mod 4. We prove a conjecture of Andrica and Tomescu that S(n) is asymptotic to \sqrt{6/π} 2^n n^{-3/2} as n approaches infinity.
△ Less
Submitted 31 October, 2012;
originally announced October 2012.
-
Counting paths in digraphs
Authors:
Paul Seymour,
Blair D. Sullivan
Abstract:
Say a digraph is k-free if it has no directed cycles of length at most k, for positive integers k. Thomasse conjectured that the number of induced 3-vertex directed paths in a simple 2-free digraph on n vertices is at most (n-1)n(n+1)/15. We present an unpublished result of Bondy proving that there are at most 2n^3/25 such paths, and prove that for the class of circular interval digraphs, an upper…
▽ More
Say a digraph is k-free if it has no directed cycles of length at most k, for positive integers k. Thomasse conjectured that the number of induced 3-vertex directed paths in a simple 2-free digraph on n vertices is at most (n-1)n(n+1)/15. We present an unpublished result of Bondy proving that there are at most 2n^3/25 such paths, and prove that for the class of circular interval digraphs, an upper bound of n^3/16 holds. We also study the problem of bounding the number of (non-induced) 4-vertex paths in 3-free digraphs. We show an upper bound of 4n^4/75 using Bondy's result for Thomasse's conjecture.
△ Less
Submitted 31 October, 2012;
originally announced October 2012.
-
Adiabatic Quantum Programming: Minor Embedding With Hard Faults
Authors:
Christine Klymko,
Blair D. Sullivan,
Travis S. Humble
Abstract:
Adiabatic quantum programming defines the time-dependent mapping of a quantum algorithm into an underlying hardware or logical fabric. An essential step is embedding problem-specific information into the quantum logical fabric. We present algorithms for embedding arbitrary instances of the adiabatic quantum optimization algorithm into a square lattice of specialized unit cells. These methods exten…
▽ More
Adiabatic quantum programming defines the time-dependent mapping of a quantum algorithm into an underlying hardware or logical fabric. An essential step is embedding problem-specific information into the quantum logical fabric. We present algorithms for embedding arbitrary instances of the adiabatic quantum optimization algorithm into a square lattice of specialized unit cells. These methods extend with fabric growth while scaling linearly in time and quadratically in footprint. We also provide methods for handling hard faults in the logical fabric without invoking approximations to the original problem, and illustrate their versatility through numerical studies of embeddabilty versus fault rates in square lattices of complete bipartite unit cells. The studies show these algorithms are more resilient to faulty fabrics than naive embedding approaches, a feature which should prove useful in benchmarking the adiabatic quantum optimization algorithm on existing faulty hardware.
△ Less
Submitted 7 November, 2012; v1 submitted 31 October, 2012;
originally announced October 2012.
-
Transverse string topology and the cord algebra
Authors:
Somnath Basu,
Jason McGibbon,
Dennis Sullivan,
Michael Sullivan
Abstract:
We define a coalgebra structure for open strings transverse to any framed codimension 2 submanifold. When the submanifold is a knot in R^3, we show this structure recovers a specialization of the Ng cord algebra, a non-trivial knot invariant which is not determined by a number of other knot invariants.
We define a coalgebra structure for open strings transverse to any framed codimension 2 submanifold. When the submanifold is a knot in R^3, we show this structure recovers a specialization of the Ng cord algebra, a non-trivial knot invariant which is not determined by a number of other knot invariants.
△ Less
Submitted 14 December, 2013; v1 submitted 21 October, 2012;
originally announced October 2012.
-
Structure on the Top Homology and Related Algorithms
Authors:
Nissim Ranade,
Chandrika Sadanand,
Dennis Sullivan
Abstract:
We explore the special structure of the top-dimensional homology of any compact triangulable space $X$ of dimension $d$. Since there are no $(d+1)$-dimensional cells, the top homology equals the top cycles and is thus a free abelian group. There is no obvious basis, but we show that there is a canonical embedding of the top homology into a canonical free abelian group which has a natural basis up…
▽ More
We explore the special structure of the top-dimensional homology of any compact triangulable space $X$ of dimension $d$. Since there are no $(d+1)$-dimensional cells, the top homology equals the top cycles and is thus a free abelian group. There is no obvious basis, but we show that there is a canonical embedding of the top homology into a canonical free abelian group which has a natural basis up to signs. This embedding structure is an invariant of $X$ up to homeomorphism. This circumstance gives the top homology the structure of an (orientable) matroid, where cycles in the sense of matroids correspond to the cycles in the sense of homology. This adds a novel topological invariant to the topological literature.
We apply this matroid structure on the top homology to give a polynomial-time algorithm for the construction of a basis of the top homology (over $\mathbb{Z}$ coefficients).
△ Less
Submitted 27 November, 2019; v1 submitted 23 March, 2012;
originally announced March 2012.
-
A finite time blowup result for quadratic ODE's
Authors:
Dennis Sullivan
Abstract:
This short paper is dedicated to Mauricio Peixoto who abstracted the practical theory of ODE's and to David Rand who applied the subsequent powerful abstract theory to practical problems.
This short paper is dedicated to Mauricio Peixoto who abstracted the practical theory of ODE's and to David Rand who applied the subsequent powerful abstract theory to practical problems.
△ Less
Submitted 1 November, 2010;
originally announced November 2010.
-
The Mayer-Vietoris Property in Differential Cohomology
Authors:
James Simons,
Dennis Sullivan
Abstract:
In [1] it was shown that K^, a certain differential cohomology functor associated to complex K-theory, satisfies the Mayer-Vietoris property when the underlying manifold is compact. It turns out that this result is quite general. The work that follows shows the M-V property to hold on compact manifolds for any differential cohomology functor J^ associated to any Z-graded cohomology functor J(, Z)…
▽ More
In [1] it was shown that K^, a certain differential cohomology functor associated to complex K-theory, satisfies the Mayer-Vietoris property when the underlying manifold is compact. It turns out that this result is quite general. The work that follows shows the M-V property to hold on compact manifolds for any differential cohomology functor J^ associated to any Z-graded cohomology functor J(, Z) which, in each degree, assigns to a point a finitely generated group. The approach is to show that the result follows from Diagram 1, the commutative diagram we take as a definition of differential cohomology, and Diagram 2, which combines the three Mayer-Vietoris sequences for J*(, Z), J*(, R) and J*(, R/Z).
△ Less
Submitted 1 November, 2010; v1 submitted 25 October, 2010;
originally announced October 2010.
-
The Mayer-Vietoris Property in Differential Cohomology
Authors:
James Simons,
Dennis Sullivan
Abstract:
In [1] it was shown that K^, a certain differential cohomology functor associated to complex K-theory, satisfies the Mayer-Vietoris property when the underlying manifold is compact. It turns out that this result is quite general. The work that follows shows the M-V property to hold on compact manifolds for any differential cohomology functor J^ associated to any Z-graded cohomology functor J(,Z) w…
▽ More
In [1] it was shown that K^, a certain differential cohomology functor associated to complex K-theory, satisfies the Mayer-Vietoris property when the underlying manifold is compact. It turns out that this result is quite general. The work that follows shows the M-V property to hold on compact manifolds for any differential cohomology functor J^ associated to any Z-graded cohomology functor J(,Z) which, in each degree, assigns to a point a finitely generated group. The approach is to show that the result follows from Diagram 1, the commutative diagram we take as a definition of differential cohomology, and Diagram 2, which combines the three Mayer-Vietoris sequences for J*(,Z), J*(,R) and J*(,R/Z).
△ Less
Submitted 25 October, 2010; v1 submitted 15 October, 2010;
originally announced October 2010.
-
Algebra, Topology and Algebraic Topology of 3D Ideal Fluids
Authors:
Dennis Sullivan
Abstract:
There is a remarkable and canonical problem in 3D geometry and topology: To understand existing models of 3D fluid motion or to create new ones that may be useful. We discuss from an algebraic viewpoint the PDE called Euler's equation for incompressible frictionless fluid motion. In part I we define a "finite dimensional 3D fluid algebra", write its Euler equation and derive properties related to…
▽ More
There is a remarkable and canonical problem in 3D geometry and topology: To understand existing models of 3D fluid motion or to create new ones that may be useful. We discuss from an algebraic viewpoint the PDE called Euler's equation for incompressible frictionless fluid motion. In part I we define a "finite dimensional 3D fluid algebra", write its Euler equation and derive properties related to energy, helicity, transport of vorticity and linking that characterize this equation. This is directly motivated by the infinite dimensional fluid algebra associated to a closed riemannian three manifold whose Euler equation as defined above is the Euler PDE of fluid motion. The classical infinite dimensional fluid algebra satisfies an additional identity related to the Jacobi identity for the lie bracket of vector fields. In part II we discuss informally how this Jacobi identity can be reestablished in finite dimensional approximations as a Lie infinity algebra. The main point of a developed version of this theory would be a coherence between various levels of approximation. It is hoped that a better understanding of the meaning of the Euler equation in terms of such infinity structures would yield algorithms of computation that work well for conceptual reasons.
△ Less
Submitted 13 October, 2010;
originally announced October 2010.
-
Structured vector bundles define differential K-theory
Authors:
James Simons,
Dennis Sullivan
Abstract:
A equivalence relation, preserving the Chern-Weil form, is defined between connections on a complex vector bundle. Bundles equipped with such an equivalence class are called Structured Bundles, and their isomorphism classes form an abelian semi-ring. By applying the Grothedieck construction one obtains the ring K, elements of which, modulo a complex torus of dimension the sum of the odd Betti nu…
▽ More
A equivalence relation, preserving the Chern-Weil form, is defined between connections on a complex vector bundle. Bundles equipped with such an equivalence class are called Structured Bundles, and their isomorphism classes form an abelian semi-ring. By applying the Grothedieck construction one obtains the ring K, elements of which, modulo a complex torus of dimension the sum of the odd Betti numbers of the base, are uniquely determined by the corresponding element of ordinary K and the Chern-Weil form. This construction provides a simple model of differential K-theory, c.f.Hopkins-Singer (2005), as well as a useful codification of vector bundles with connection.
△ Less
Submitted 28 October, 2008;
originally announced October 2008.
-
Homotopy theory of the master equation package applied to algebra and geometry: a sketch of two interlocking programs
Authors:
Dennis Sullivan
Abstract:
We interpret mathematically the pair (master equation, solution of master equation) up to equivalence, as the pair (a presentation of a free triangular dga T over a combination operad O, dga map of T into C, a dga over O) up to homotopy equivalence of dgOa maps, see Definition 1. We sketch two general applications: I to the theory of the definition and homotopy theory of infinity versions of gen…
▽ More
We interpret mathematically the pair (master equation, solution of master equation) up to equivalence, as the pair (a presentation of a free triangular dga T over a combination operad O, dga map of T into C, a dga over O) up to homotopy equivalence of dgOa maps, see Definition 1. We sketch two general applications: I to the theory of the definition and homotopy theory of infinity versions of general algebraic structures including noncompact frobenius algebras and Lie bialgebras. Here the target C would be the total Hom complex between various tensor products of another chain complex B, C = HomB, O describes combinations of operations like composition and tensor product sufficient to describe the algebraic structure and one says that B has the algebraic structure in question. II to geometric systems of moduli spaces up to deformation like the moduli of J holomorphic curves. Here C is some geometric chain complex containing the fundamental classes of the moduli spaces of the geometric problem. We also discuss analogues of homotopy groups and Postnikov systems for maps and impediments to using them related to linear terms in the master equation called anomalies.
△ Less
Submitted 4 March, 2008;
originally announced March 2008.
-
String Topology: Background and Present State
Authors:
Dennis Sullivan
Abstract:
The data of a "2D field theory with a closed string compactification" is an equivariant chain level action of a cell decomposition of the union of all moduli spaces of punctured Riemann surfaces with each component compactified as a pseudomanifold with boundary. The axioms on the data are contained in the following assumptions. It is assumed the punctures are labeled and divided into nonempty se…
▽ More
The data of a "2D field theory with a closed string compactification" is an equivariant chain level action of a cell decomposition of the union of all moduli spaces of punctured Riemann surfaces with each component compactified as a pseudomanifold with boundary. The axioms on the data are contained in the following assumptions. It is assumed the punctures are labeled and divided into nonempty sets of inputs and outputs. The inputs are marked by a tangent direction and the outputs are weighted by nonnegative real numbers adding to unity. It is assumed the gluing of inputs to outputs lands on the pseudomanifold boundary of the cell decomposition and the entire pseudomanifold boundary is decomposed into pieces by all such factorings. It is further assumed that the action is equivariant with respect to the toroidal action of rotating the markings. A main result of compactified string topology is the
Theorem (closed strings): Each oriented smooth manifold has a 2D field theory with a closed string compactification on the equivariant chains of its free loop space mod constant loops. The sum over all surface types of the top pseudomanifold chain yields a chain X satisfying the master equation dX + X*X = 0 where * is the sum over all gluings. This structure is well defined up to homotopy.
The genus zero parts yields an infinity Lie bialgebra on the equivariant chains of the free loop space mod constant loops. The higher genus terms provide further elements of algebraic structure called a "quantum Lie bialgebra" partially resolving the involutive identity.
There is also a compactified discussion and a Theorem 2 for open strings as the first step to a more complete theory. We note a second step for knots.
△ Less
Submitted 22 October, 2007;
originally announced October 2007.
-
Heights in finite projective space, and a problem on directed graphs
Authors:
Melvyn B. Nathanson,
Blair D. Sullivan
Abstract:
Let $\F_p = \Z/p\Z$. The \emph{height} of a point $\mathbf{a}=(a_1,..., a_d) \in \F_p^d$ is $h_p(\mathbf{a}) = \min \left\{\sum_{i=1}^d (ka_i \mod p) : k=1,...,p-1\right\}.$ Explicit formulas and estimates are obtained for the values of the height function in the case $d=2,$ and these results are applied to the problem of determining the minimum number of edges the must be deleted from a finite…
▽ More
Let $\F_p = \Z/p\Z$. The \emph{height} of a point $\mathbf{a}=(a_1,..., a_d) \in \F_p^d$ is $h_p(\mathbf{a}) = \min \left\{\sum_{i=1}^d (ka_i \mod p) : k=1,...,p-1\right\}.$ Explicit formulas and estimates are obtained for the values of the height function in the case $d=2,$ and these results are applied to the problem of determining the minimum number of edges the must be deleted from a finite directed graph so that the resulting subgraph is acyclic.
△ Less
Submitted 14 March, 2007;
originally announced March 2007.
-
Cycles in dense digraphs
Authors:
Maria Chudnovsky,
Paul Seymour,
Blair D. Sullivan
Abstract:
Let G be a digraph (without parallel edges) such that every directed cycle has length at least four; let $β(G)$ denote the size of the smallest subset X in E(G) such that $G\X$ has no directed cycles, and let $γ(G)$ be the number of unordered pairs {u,v} of vertices such that u,v are nonadjacent in G. It is easy to see that if $γ(G) = 0$ then $β(G) = 0$; what can we say about $β(G)$ if $γ(G)$ is…
▽ More
Let G be a digraph (without parallel edges) such that every directed cycle has length at least four; let $β(G)$ denote the size of the smallest subset X in E(G) such that $G\X$ has no directed cycles, and let $γ(G)$ be the number of unordered pairs {u,v} of vertices such that u,v are nonadjacent in G. It is easy to see that if $γ(G) = 0$ then $β(G) = 0$; what can we say about $β(G)$ if $γ(G)$ is bounded?
We prove that in general $β(G)$ is at most $γ(G)$. We conjecture that in fact $β(G)$ is at most $γ(G)/2$ (this would be best possible if true), and prove this conjecture in two special cases:
1. when V(G) is the union of two cliques,
2. when the vertices of G can be arranged in a circle such that if distinct u,v,w are in clockwise order and uw is a (directed) edge, then so are both uv and vw.
△ Less
Submitted 6 February, 2007;
originally announced February 2007.
-
Axiomatic Characterization of Ordinary Differential Cohomology
Authors:
James Simons,
Dennis Sullivan
Abstract:
Cheeger-Simons differential characters, Deligne cohomology in the smooth category, the Hopkins-Singer construction of ordinary differential cohomology and the recent Harvey-Lawson constructions are each in two distinct ways Abelian group extensions of known functors. In one desciption these objects are extensions of integral cohomology by the quotient space of all differential forms by the subsp…
▽ More
Cheeger-Simons differential characters, Deligne cohomology in the smooth category, the Hopkins-Singer construction of ordinary differential cohomology and the recent Harvey-Lawson constructions are each in two distinct ways Abelian group extensions of known functors. In one desciption these objects are extensions of integral cohomology by the quotient space of all differential forms by the subspace of closed forms with integral periods. In the other they are extensions of closed differential forms with integral periods by the cohomology with coefficients in the circle. These two series of short exact sequences mesh with two interlocking long exact sequences (the Bockstein sequence and a DeRham sequence) to form a commutative DNA-like array of functors called the Character Diagram.
Theorem 1.1 shows that on the category of smooth manifolds and smooth maps any package consisting of a functor into graded abelian groups together with four natural transformations that fit together so as to form a Character Diagram as above is unique up to unique natural equivalence. Theorem 1.2 shows the natural product structure on differential characters is uniquely characterized by its compatibility with the product structures on the known functors in the Character Diagram. The proof of Theorem 1.1 couples the naturality with results about approximating smooth singular cycles and homologies by embedded pseudomanifolds.
△ Less
Submitted 3 January, 2007;
originally announced January 2007.
-
A formula for topology/deformations and its significance
Authors:
Ruth Lawrence,
Dennis Sullivan
Abstract:
The formula is $\partial{e}=({\rm ad}_e)b+\sum_{i=0}^\infty{\frac{B_i}{i!}}({\rm ad}_e)^i(b-a)\>,$ with $\partial{a}+{1\over2}[a,a] =0$ and $\partial{b}+{1\over2}[b,b] =0$, where $a$, $b$ and $e$ in degrees $-1$, $-1$ and 0 are the free generators of a completed free graded Lie algebra $L[a,b,e]$. The coefficients are defined by ${x\over{e^x-1}}=\sum_{n=0}^\infty{B_n\over{}n!}x^n$. The theorem is…
▽ More
The formula is $\partial{e}=({\rm ad}_e)b+\sum_{i=0}^\infty{\frac{B_i}{i!}}({\rm ad}_e)^i(b-a)\>,$ with $\partial{a}+{1\over2}[a,a] =0$ and $\partial{b}+{1\over2}[b,b] =0$, where $a$, $b$ and $e$ in degrees $-1$, $-1$ and 0 are the free generators of a completed free graded Lie algebra $L[a,b,e]$. The coefficients are defined by ${x\over{e^x-1}}=\sum_{n=0}^\infty{B_n\over{}n!}x^n$. The theorem is that (I) this formula for $\partial$ on generators extends to a derivation of square zero on $L[a,b,e]$, (II) the formula for $\partial{e}$ is unique satisfying the first property, once given the formulae for $\partial{a}$ and $\partial{b}$, along with the condition that the "flow" generated by $e$ moves $a$ to $b$ in unit time.
The immediate significance of this formula is that it computes the infinity cocommutative coalgebra structure on the chains of the closed interval. It may be derived and proved using the geometrical idea of flat connections and one parameter groups or flows of gauge transformations. The deeper significance of such general DGLAs which want to combine deformation theory and rational homotopy theory is proposed as a research problem.
△ Less
Submitted 22 May, 2017; v1 submitted 30 October, 2006;
originally announced October 2006.
-
A Summary of Problems and Results related to the Caccetta-Haggkvist Conjecture
Authors:
Blair Dowling Sullivan
Abstract:
This paper is an attempt to survey the current state of our knowledge on the Caccetta-Haggkvist conjecture and related questions. In January 2006 there was a workshop hosted by the American Institute of Mathematics in Palo Alto, on the Caccetta-Haggkvist conjecture, and this paper partly originated there, as a summary of the open problems and partial results presented at the workshop. This summa…
▽ More
This paper is an attempt to survey the current state of our knowledge on the Caccetta-Haggkvist conjecture and related questions. In January 2006 there was a workshop hosted by the American Institute of Mathematics in Palo Alto, on the Caccetta-Haggkvist conjecture, and this paper partly originated there, as a summary of the open problems and partial results presented at the workshop. This summary includes results and open problems related to Caccetta-Haggkvist, Seymour's Second Neighborhood Conjecture, the k/2 Conjecture (for nonedges), and connections with algebraic number theory through Cayley graphs, along with a number of other related topics.
△ Less
Submitted 24 May, 2006;
originally announced May 2006.
-
On the existence of infinitely many closed geodesics on orbifolds of revolution
Authors:
Joseph E. Borzellino,
Christopher R. Jordan-Squire,
Gregory C. Petrics,
D. Mark Sullivan
Abstract:
Using the theory of geodesics on surfaces of revolution, we introduce the period function. We use this as our main tool in showing that any two-dimensional orbifold of revolution homeomorphic to S^2 must contain an infinite number of geometrically distinct closed geodesics. Since any such orbifold of revolution can be regarded as a topological two-sphere with metric singularities, we will have e…
▽ More
Using the theory of geodesics on surfaces of revolution, we introduce the period function. We use this as our main tool in showing that any two-dimensional orbifold of revolution homeomorphic to S^2 must contain an infinite number of geometrically distinct closed geodesics. Since any such orbifold of revolution can be regarded as a topological two-sphere with metric singularities, we will have extended Bangert's theorem on the existence of infinitely many closed geodesics on any smooth Riemannian two-sphere. In addition, we give an example of a two-sphere cone-manifold of revolution which possesses a single closed geodesic, thus showing that Bangert's result does not hold in the wider class of closed surfaces with cone manifold structures.
△ Less
Submitted 26 February, 2006;
originally announced February 2006.
-
The homotopy invariance of the string topology loop product and string bracket
Authors:
Ralph L. Cohen,
John Klein,
Dennis Sullivan
Abstract:
Let M be a closed, oriented, n -manifold, and LM its free loop space.
Chas and Sullivan defined a commutative algebra structure in the homology of LM, and a Lie algebra structure in its equivariant homology. These structures are known as the string topology loop product and string bracket, respectively.
In this paper we prove that these structures are homotopy invariants in the following sen…
▽ More
Let M be a closed, oriented, n -manifold, and LM its free loop space.
Chas and Sullivan defined a commutative algebra structure in the homology of LM, and a Lie algebra structure in its equivariant homology. These structures are known as the string topology loop product and string bracket, respectively.
In this paper we prove that these structures are homotopy invariants in the following sense.
Let f : M_1 \to M_2 be a homotopy equivalence of closed, oriented n -manifolds. Then the induced equivalence, Lf : LM_1 \to LM_2 induces a ring isomorphism in homology, and an isomorphism of Lie algebras in equivariant homology. The analogous statement also holds true for any generalized homology theory h_* that supports an orientation of the M_i 's.
△ Less
Submitted 17 October, 2008; v1 submitted 28 September, 2005;
originally announced September 2005.
-
Dynamical Systems Applied to Asymptotic Geometry
Authors:
A. A. Pinto,
D. Sullivan
Abstract:
In the paper we discuss two questions about smooth expanding dynamical systems on the circle. (i) We characterize the sequences of asymptotic length ratios which occur for systems with Hölder continuous derivative. The sequences of asymptotic length ratios are precisely those given by a positive Hölder continuous function $s$ (solenoid function) on the Cantor set $C$ of 2-adic integers satisfyin…
▽ More
In the paper we discuss two questions about smooth expanding dynamical systems on the circle. (i) We characterize the sequences of asymptotic length ratios which occur for systems with Hölder continuous derivative. The sequences of asymptotic length ratios are precisely those given by a positive Hölder continuous function $s$ (solenoid function) on the Cantor set $C$ of 2-adic integers satisfying a functional equation called the matching condition. The functional equation for the 2-adic integer Cantor set is $s(2x+1)=\frac{s(x)}{s(2x)}(1+\frac{1}{s(2x-1)})-1.$ We also present a one-to-one correspondence between solenoid functions and affine classes of 2-adic quasiperiodic tilings of the real line that are fixed points of the 2-amalgamation operator. (ii) We calculate the precise maximum possible level of smoothness for a representative of the system, up to diffeomorphic conjugacy, in terms of the functions $s$ and $cr(x)=(1+s(x))/(1+(s(x+1))^{-1})$. For example, in the Lipschitz structure on $C$ determined by $s$, the maximum smoothness is $C^{1+α}$ for $0<α\le 1$ if, and only if, $s$ is $α$-Hölder continuous. The maximum smoothness is $C^{2+α}$ for $0<α\le 1$ if, and only if, $cr$ is $(1+α)$-Hölder. A curious connection with Mostow type rigidity is provided by the fact that $s$ must be constant if it is $α$-Hölder for $α> 1$.
△ Less
Submitted 17 February, 2005; v1 submitted 17 February, 2005;
originally announced February 2005.
-
Infinity Structure of Poincare Duality Spaces
Authors:
Thomas Tradler,
Mahmoud Zeinalian,
Dennis Sullivan
Abstract:
We show that the complex $C_\bullet X$ of rational simplicial chains on a compact and triangulated Poincaré duality space $X$ of dimension $d$ is an A$_\infty$ coalgebra with $\infty$ duality. This is the structure required for an A$_\infty$ version of the cyclic Deligne conjecture. One corollary is that the shifted Hochschild cohomology $HH^{\bullet+d} (C^\bullet X, C_\bullet X)$ of the cochain…
▽ More
We show that the complex $C_\bullet X$ of rational simplicial chains on a compact and triangulated Poincaré duality space $X$ of dimension $d$ is an A$_\infty$ coalgebra with $\infty$ duality. This is the structure required for an A$_\infty$ version of the cyclic Deligne conjecture. One corollary is that the shifted Hochschild cohomology $HH^{\bullet+d} (C^\bullet X, C_\bullet X)$ of the cochain algebra $C^\bullet X$ with values in $C_\bullet X$ has a BV structure. This implies, if $X$ is moreover simply connected, that the shifted homology $H_{\bullet+d}LX$ of the free loop space admits a BV structure. An appendix by Dennis Sullivan gives a general local construction of $\infty$ structures.
△ Less
Submitted 1 November, 2006; v1 submitted 28 September, 2003;
originally announced September 2003.
-
Open and Closed String field theory interpreted in classical Algebraic Topology
Authors:
Dennis Sullivan
Abstract:
There is an interpretation of open string field theory in algebraic topology. An interpretation of closed string field theory can be deduced from this open string theory to obtain as well the interpretation of open and closed string field theory combined.
There is an interpretation of open string field theory in algebraic topology. An interpretation of closed string field theory can be deduced from this open string theory to obtain as well the interpretation of open and closed string field theory combined.
△ Less
Submitted 26 February, 2003;
originally announced February 2003.
-
Closed string operators in topology leading to Lie bialgebras and higher string algebra
Authors:
Moira Chas,
Dennis Sullivan
Abstract:
This paper explains the conjectured algebraic duality between genus zero Gromov-Witten theory and genus zero "Closed String topology". This duality in another perspective is discussed on page 87 of the book "Frobenius manifold, quantum cohomology, and moduli spaces" (by Yuri Manin). This paper also discusses Fulton MacPherson strata.
This paper explains the conjectured algebraic duality between genus zero Gromov-Witten theory and genus zero "Closed String topology". This duality in another perspective is discussed on page 87 of the book "Frobenius manifold, quantum cohomology, and moduli spaces" (by Yuri Manin). This paper also discusses Fulton MacPherson strata.
△ Less
Submitted 27 December, 2002;
originally announced December 2002.
-
String Topology
Authors:
Moira Chas,
Dennis Sullivan
Abstract:
Consider two families of closed oriented curves in a d-manifold. At each point of intersecction of a curve of one family with a curve of the other family, form a new closed curve by going around the first curve and then going around the second. Typically, an i-dimensional family and a j-dimensional family will produce an (i+j-d+2)-dimensional family. Our purpose is to describe mathematical struc…
▽ More
Consider two families of closed oriented curves in a d-manifold. At each point of intersecction of a curve of one family with a curve of the other family, form a new closed curve by going around the first curve and then going around the second. Typically, an i-dimensional family and a j-dimensional family will produce an (i+j-d+2)-dimensional family. Our purpose is to describe mathematical structure behind such interactions.
△ Less
Submitted 20 November, 1999;
originally announced November 1999.
-
Topological conjugacy of circle diffeomorphisms
Authors:
Jun Hu,
Dennis Sullivan
Abstract:
The classical criterion for a circle diffeomorphism to be topologically conjugate to an irrational rigid rotation was given by A. Denjoy. In 1985, one of us (Sullivan) gave a new criterion. There is an example satisfying Denjoy's bounded variation condition rather than Sullivan's Zygmund condition and vice versa. This paper will give the third criterion which is implied by either of the above cr…
▽ More
The classical criterion for a circle diffeomorphism to be topologically conjugate to an irrational rigid rotation was given by A. Denjoy. In 1985, one of us (Sullivan) gave a new criterion. There is an example satisfying Denjoy's bounded variation condition rather than Sullivan's Zygmund condition and vice versa. This paper will give the third criterion which is implied by either of the above criteria.
△ Less
Submitted 13 June, 1995;
originally announced June 1995.
-
Determinant Bundles, Quillen Metrics, and Mumford Isomorphisms Over the Universal Commensurability Teichmüller Space
Authors:
Indranil Biswas,
Subhashis Nag,
Dennis Sullivan
Abstract:
There exists on each Teichmüller space $T_g$ (comprising compact Riemann surfaces of genus $g$), a natural sequence of determinant (of cohomology) line bundles, $DET_n$, related to each other via certain ``Mumford isomorphisms''. There is a remarkable connection, (Belavin-Knizhnik), between the Mumford isomorphisms and the existence of the Polyakov string measure on the Teichmüller space. This s…
▽ More
There exists on each Teichmüller space $T_g$ (comprising compact Riemann surfaces of genus $g$), a natural sequence of determinant (of cohomology) line bundles, $DET_n$, related to each other via certain ``Mumford isomorphisms''. There is a remarkable connection, (Belavin-Knizhnik), between the Mumford isomorphisms and the existence of the Polyakov string measure on the Teichmüller space. This suggests the question of finding a genus-independent formulation of these bundles and their isomorphisms. In this paper we combine a Grothendieck-Riemann-Roch lemma with a new concept of $C^{*} \otimes Q$ bundles to construct such an universal version. Our universal objects exist over the universal space, $T_\infty$, which is the direct limit of the $T_g$ as the genus varies over the tower of all unbranched coverings of any base surface. The bundles and the connecting isomorphisms are equivariant with respect to the natural action of the universal commensurability modular group.
△ Less
Submitted 19 March, 1996; v1 submitted 24 May, 1995;
originally announced May 1995.
-
Universal Hodge Bundle and Mumford Isomorphisms on the Abelian Inductive Limit of Teichmüller Spaces
Authors:
Indranil Biswas,
Subhashis Nag,
Dennis Sullivan
Abstract:
Let $\Mg$ denote the moduli space of compact Riemann surfaces of genus $g$. Mumford had proved that, for each fixed genus $g$, there are isomorphisms asserting that certain higher $DET$ bundles over $\Mg$ are certain fixed (genus-independent) tensor powers of the Hodge line bundle on $\Mg$. Here we obtain a coherent, genus-independent description of the Mumford isomorphisms over certain infinite…
▽ More
Let $\Mg$ denote the moduli space of compact Riemann surfaces of genus $g$. Mumford had proved that, for each fixed genus $g$, there are isomorphisms asserting that certain higher $DET$ bundles over $\Mg$ are certain fixed (genus-independent) tensor powers of the Hodge line bundle on $\Mg$. Here we obtain a coherent, genus-independent description of the Mumford isomorphisms over certain infinite-dimensional ``universal'' parameter spaces of compact Riemann surfaces (with or without marked points). We work with an inductive limit of Teichmüller spaces comprising complex structures on a certain ``solenoidal Riemann surface'', $H_{\infty,abel}$. The main result constructs these universal $DET$ and Hodge line bundles on this direct limit, equips them with their Quillen metrics, and proves that they are related by the appropriate Mumford isomorphisms. Our work can be viewed as a contribution towards a non-perturbative formulation of the bosonic string theory, since it provides an interpretation of the Polyakov measure in a genus-independent fashion.
△ Less
Submitted 15 June, 1994;
originally announced June 1994.
-
Teichmüller Theory and the Universal Period Mapping via Quantum Calculus and the $H^{1/2}$ Space on the Circle
Authors:
Subhashis Nag,
Dennis Sullivan
Abstract:
The Universal Teichmüller Space, $T(1)$, is a universal parameter space for all Riemann surfaces. In earlier work of the first author it was shown that one can canonically associate infinite- dimensional period matrices to the coadjoint orbit manifold $Diff(S^1)/Mobius(S^1)$ -- which resides within $T(1)$ as the (Kirillov-Kostant) submanifold of ``smooth points'' of $T(1)$. We now extend that pe…
▽ More
The Universal Teichmüller Space, $T(1)$, is a universal parameter space for all Riemann surfaces. In earlier work of the first author it was shown that one can canonically associate infinite- dimensional period matrices to the coadjoint orbit manifold $Diff(S^1)/Mobius(S^1)$ -- which resides within $T(1)$ as the (Kirillov-Kostant) submanifold of ``smooth points'' of $T(1)$. We now extend that period mapping $Π$ to the entire Universal Teichmüller space utilizing the theory of the Sobolev space $H^{1/2}(S^1)$. $Π$ is an equivariant injective holomorphic immersion of $T(1)$ into Universal Siegel Space, and we describe the Schottky locus utilizing Connes' ``quantum calculus''. There are connections to string theory. Universal Teichmüller Space contains also the separable complex submanifold $T(H_\infty)$ -- the Teichmüller space of the universal hyperbolic lamination. Genus-independent constructions like the universal period mapping proceed naturally to live on this completion of the classical Teichmüller spaces. We show that $T(H_\infty)$ carries a natural convergent Weil-Petersson pairing.
△ Less
Submitted 8 October, 1993; v1 submitted 7 October, 1993;
originally announced October 1993.
-
Expanding direction of the period doubling operator
Authors:
Yunping Jiang,
Takehiko Morita,
Dennis Sullivan
Abstract:
We prove that the period doubling operator has an expanding direction at the fixed point. We use the induced operator, a ``Perron-Frobenius type operator'', to study the linearization of the period doubling operator at its fixed point. We then use a sequence of linear operators with finite ranks to study this induced operator. The proof is constructive. One can calculate the expanding direction…
▽ More
We prove that the period doubling operator has an expanding direction at the fixed point. We use the induced operator, a ``Perron-Frobenius type operator'', to study the linearization of the period doubling operator at its fixed point. We then use a sequence of linear operators with finite ranks to study this induced operator. The proof is constructive. One can calculate the expanding direction and the rate of expansion of the period doubling operator at the fixed point.
△ Less
Submitted 27 March, 1991;
originally announced January 1992.
