Showing 1–29 of 29 results for author: Rosenberg, S

The Geometry of Loop Spaces II: Corrections

Authors: Yoshiaki Maeda, Steven Rosenberg, Fabián Torres-Ardila

Abstract: This paper contains corrections to Madea, Rosenberg, Torres-Ardila, "The Geometry of Loop Spaces II: Characteristic Classes," Advances in Math. (287), 2016, 485-518. The main change is that results about $π_1({\rm Diff}(M))$ are replaced by results about $π_1({\rm Isom}(M))$, where Diff$(M)$, Isom$(M)$ refer to the diffeomorphism and isometry group of the manifold $M$. This paper contains corrections to Madea, Rosenberg, Torres-Ardila, "The Geometry of Loop Spaces II: Characteristic Classes," Advances in Math. (287), 2016, 485-518. The main change is that results about $π_1({\rm Diff}(M))$ are replaced by results about $π_1({\rm Isom}(M))$, where Diff$(M)$, Isom$(M)$ refer to the diffeomorphism and isometry group of the manifold $M$. △ Less

Submitted 2 May, 2024; v1 submitted 1 May, 2024; originally announced May 2024.

MSC Class: 58J28; 58J40

Polynomial compositions with large monodromy groups and applications to arithmetic dynamics

Authors: Joachim König, Danny Neftin, Shai Rosenberg

Abstract: For a composition $f=f_1\circ\cdots \circ f_r$ of polynomials $f_i\in \mathbb Q[x]$ of degrees $d_i\geq 5$ with alternating or symmetric monodromy group, we show that the monodromy group of $f$ contains the iterated wreath product $A_{d_r}\wr \cdots\wr A_{d_1}$. A similar property holds more generally for polynomials that do not factor through $x^d$ or Chebyshev. We derive consequences to arithmet… ▽ More For a composition $f=f_1\circ\cdots \circ f_r$ of polynomials $f_i\in \mathbb Q[x]$ of degrees $d_i\geq 5$ with alternating or symmetric monodromy group, we show that the monodromy group of $f$ contains the iterated wreath product $A_{d_r}\wr \cdots\wr A_{d_1}$. A similar property holds more generally for polynomials that do not factor through $x^d$ or Chebyshev. We derive consequences to arithmetic dynamics regarding arboreal representations, and forward and backward orbits of such $f$. In particular, given an orbit $(a_n)_{n=0}^\infty$ of $f$ as above, we show that for "almost all" $a\in \mathbb Z$, the set of primes $p$ for which some $a_n$ is congruent to $a$ mod $p$ is "small". △ Less

Submitted 1 February, 2024; v1 submitted 31 January, 2024; originally announced January 2024.

MSC Class: 37P55; 11G99; 12F10; 20B05

A Note on Reproducing Kernels for Sobolev Spaces

Authors: Steven Rosenberg

Abstract: In this note, we compute the reproducing kernel for the RKHS of functions on $\mathbb{R}^n$ in a sufficiently high Sobolev norm. In this note, we compute the reproducing kernel for the RKHS of functions on $\mathbb{R}^n$ in a sufficiently high Sobolev norm. △ Less

Submitted 17 July, 2023; originally announced July 2023.

MSC Class: 46E35

The Conformal Laplacian and Positive Scalar Curvature Metrics on Manifolds with Boundary

Authors: Steven Rosenberg, Daniel Ruberman, Jie Xu

Abstract: We give examples of spin $4$-manifolds with boundary that do not admit metrics of positive scalar curvature and nonnegative mean curvature. These manifolds in fact have the stronger property that the conformal Laplacian with appropriate boundary conditions is never positive. The obstruction to the positivity of the conformal Laplacian is given by a real-valued $ξ$-invariant associated to the APS t… ▽ More We give examples of spin $4$-manifolds with boundary that do not admit metrics of positive scalar curvature and nonnegative mean curvature. These manifolds in fact have the stronger property that the conformal Laplacian with appropriate boundary conditions is never positive. The obstruction to the positivity of the conformal Laplacian is given by a real-valued $ξ$-invariant associated to the APS theorem for the twisted Dirac operator. We use analytic techniques related to the prescribed scalar curvature problem in conformal geometry to move beyond earlier work where the metric is a product near the boundary. △ Less

Submitted 27 June, 2024; v1 submitted 10 February, 2023; originally announced February 2023.

MSC Class: 53C21 (primary); 35J66; 53C27; 58J05; 58J20 (secondary)

Solving the Yamabe Problem by an Iterative Method on a Small Riemannian Domain

Authors: Steven Rosenberg, Jie Xu

Abstract: We introduce an iterative scheme to solve the Yamabe equation $ - aΔ_{g} u + S u = λu^{p-1} $ on small domains $(Ω,g)\subset {\mathbb R}^n$ equipped with a Riemannian metric $g$. Thus $g$ admits a conformal change to a constant scalar curvature metric. The proof does not use the traditional functional minimization. Applications to the Yamabe problem on closed manifolds, manifolds with boundary, an… ▽ More We introduce an iterative scheme to solve the Yamabe equation $ - aΔ_{g} u + S u = λu^{p-1} $ on small domains $(Ω,g)\subset {\mathbb R}^n$ equipped with a Riemannian metric $g$. Thus $g$ admits a conformal change to a constant scalar curvature metric. The proof does not use the traditional functional minimization. Applications to the Yamabe problem on closed manifolds, manifolds with boundary, and noncompact manifolds are given in forthcoming papers. △ Less

Submitted 28 October, 2021; v1 submitted 27 October, 2021; originally announced October 2021.

The Geometry of Loop Spaces III: Diffeomorphisms of Contact Manifolds

Authors: Satoshi Egi, Yoshiaki Maeda, Steven Rosenberg

Abstract: We study the diffeomorphism and isometry groups of manifolds $\overline {M_p}$, $p\in\mathbb Z$, which are circle bundles over a closed $4n$-dimensional integral symplectic manifold. Equivalently, $\overline{M_p}$ is a compact $(4n+1)$-dimensional contact manifold with closed Reeb orbits. We use Wodzicki-Chern-Simons forms to prove that $π_1({\rm Diff}(\overline{M_p})$ and… ▽ More We study the diffeomorphism and isometry groups of manifolds $\overline {M_p}$, $p\in\mathbb Z$, which are circle bundles over a closed $4n$-dimensional integral symplectic manifold. Equivalently, $\overline{M_p}$ is a compact $(4n+1)$-dimensional contact manifold with closed Reeb orbits. We use Wodzicki-Chern-Simons forms to prove that $π_1({\rm Diff}(\overline{M_p})$ and $π_1({\rm Isom}(\overline{M_p}))$ are infinite for $|p| \gg 0.$ For the Kodaira-Thurston manifold, we explicitly compute that this result holds for all $p$. We also give the first examples of nonvanishing Wodzicki-Pontryagin forms. △ Less

Submitted 4 April, 2021; v1 submitted 3 November, 2020; originally announced November 2020.

Central Limit Theorems on Compact Metric Spaces

Authors: Steven Rosenberg, Jie Xu

Abstract: We produce a series of Central Limit Theorems (CLTs) associated to compact metric measure spaces $(K,d,η)$, with $η$ a reasonable probability measure. For the first CLT, we can ignore $η$ by isometrically embedding $K$ into ${\mathcal C}(K)$, the space of continuous functions on $K$ with the sup norm, and then applying known CLTs for sample means on Banach spaces (Theorem 3.1). However, the sample… ▽ More We produce a series of Central Limit Theorems (CLTs) associated to compact metric measure spaces $(K,d,η)$, with $η$ a reasonable probability measure. For the first CLT, we can ignore $η$ by isometrically embedding $K$ into ${\mathcal C}(K)$, the space of continuous functions on $K$ with the sup norm, and then applying known CLTs for sample means on Banach spaces (Theorem 3.1). However, the sample mean makes no sense back on $K$, so using $η$ we develop a CLT for the sample Fréchet mean (Corollary 4.1). This involves working on the closed convex hull of the embedded image of $K$. To work in the easier Hilbert space setting of $L^2(K,η)$, we have to modify the metric $d$ to a related metric $d_η$. We obtain an $L^2$-CLT for both the sample mean and the sample Fréchet mean (Theorem 5.1), and we relate the Fréchet sample and population means on the closed convex hull to the Fréchet means on the image of $K$. Since the $L^2$ and $L^\infty$ norms play important roles, in Section 6 we develop a metric-measure criterion relating $d$ and $η$ under which all $L^p$ norms are equivalent. △ Less

Submitted 13 January, 2020; v1 submitted 8 January, 2020; originally announced January 2020.

MSC Class: 60B12

Discretized Gradient Flow for Manifold Learning in the Space of Embeddings

Authors: Dara Gold, Steven Rosenberg

Abstract: Gradient descent, or negative gradient flow, is a standard technique in optimization to find minima of functions. Many implementations of gradient descent rely on discretized versions, i.e., moving in the gradient direction for a set step size, recomputing the gradient, and continuing. In this paper, we present an approach to manifold learning where gradient descent takes place in the infinite dim… ▽ More Gradient descent, or negative gradient flow, is a standard technique in optimization to find minima of functions. Many implementations of gradient descent rely on discretized versions, i.e., moving in the gradient direction for a set step size, recomputing the gradient, and continuing. In this paper, we present an approach to manifold learning where gradient descent takes place in the infinite dimensional space $\mathcal{E} = {\rm Emb}(M,\mathbb{R}^N)$ of smooth embeddings $φ$ of a manifold $M$ into $\mathbb{R}^N$. Implementing a discretized version of gradient descent for $P:\mathcal{E}\to {\mathbb R}$, a penalty function that scores an embedding $φ\in \mathcal{E}$, requires estimating how far we can move in a fixed direction -- the direction of one gradient step -- before leaving the space of smooth embeddings. Our main result is to give an explicit lower bound for this step length in terms of the Riemannian geometry of $φ(M)$. In particular, we consider the case when the gradient of $P$ is pointwise normal to the embedded manifold $φ(M)$. We prove this case arises when $P$ is invariant under diffeomorphisms of $M$, a natural condition in manifold learning. △ Less

Submitted 2 May, 2024; v1 submitted 25 January, 2019; originally announced January 2019.

Averages of Unlabeled Networks: Geometric Characterization and Asymptotic Behavior

Authors: Eric Kolaczyk, Lizhen Lin, Steven Rosenberg, Jie Xu, Jackson Walters

Abstract: It is becoming increasingly common to see large collections of network data objects -- that is, data sets in which a network is viewed as a fundamental unit of observation. As a result, there is a pressing need to develop network-based analogues of even many of the most basic tools already standard for scalar and vector data. In this paper, our focus is on averages of unlabeled, undirected network… ▽ More It is becoming increasingly common to see large collections of network data objects -- that is, data sets in which a network is viewed as a fundamental unit of observation. As a result, there is a pressing need to develop network-based analogues of even many of the most basic tools already standard for scalar and vector data. In this paper, our focus is on averages of unlabeled, undirected networks with edge weights. Specifically, we (i) characterize a certain notion of the space of all such networks, (ii) describe key topological and geometric properties of this space relevant to doing probability and statistics thereupon, and (iii) use these properties to establish the asymptotic behavior of a generalized notion of an empirical mean under sampling from a distribution supported on this space. Our results rely on a combination of tools from geometry, probability theory, and statistical shape analysis. In particular, the lack of vertex labeling necessitates working with a quotient space modding out permutations of labels. This results in a nontrivial geometry for the space of unlabeled networks, which in turn is found to have important implications on the types of probabilistic and statistical results that may be obtained and the techniques needed to obtain them. △ Less

Submitted 7 February, 2019; v1 submitted 8 September, 2017; originally announced September 2017.

Comments: This version contains two extensions of the main result on the uniqueness of the Fréchet mean, and has added references to related work

MSC Class: 62E20 (Primary) 53C20 (Secondary)

Infinite closed monochromatic subsets of a metric space

Authors: Shai Rosenberg

Abstract: Given a coloring of the k-element subsets of an uncountable separable metric space, we show that there exists an infinite monochromatic subset which contains its limit point. Given a coloring of the k-element subsets of an uncountable separable metric space, we show that there exists an infinite monochromatic subset which contains its limit point. △ Less

Submitted 10 August, 2015; originally announced August 2015.

The LP Relaxation Orthogonal Array Polytope and its Permutation Symmetries

Authors: Andrew J. Geyer, Dursun A. Bulutoglu, Steven J. Rosenberg

Abstract: Symmetry plays a fundamental role in design of experiments. In particular, symmetries of factorial designs that preserve their statistical properties are exploited to find designs with the best statistical properties. By using a result proved by Rosenberg [6], the concept of the LP relaxation orthogonal array polytope is developed and studied. A complete characterization of the permutation symmetr… ▽ More Symmetry plays a fundamental role in design of experiments. In particular, symmetries of factorial designs that preserve their statistical properties are exploited to find designs with the best statistical properties. By using a result proved by Rosenberg [6], the concept of the LP relaxation orthogonal array polytope is developed and studied. A complete characterization of the permutation symmetry group of this polytope is made. Also, this characterization is verified computationally for many cases. Finally, a proof is provided. △ Less

Submitted 21 April, 2021; v1 submitted 12 March, 2015; originally announced March 2015.

Comments: 12 pages

MSC Class: 05B15; 52B15

Journal ref: Journal of Combinatorial Mathematics and Combinatorial Computing, Vol. 91, November 2014, pp. 165-176

Square-free values of multivariate polynomials over function fields in linear sparse sets

Authors: Shai Rosenberg

Abstract: Let f be a square-free polynomial in Fq[t][x] where Fq is a field of q elements. We view f as a polynomial in the variable x with coefficients in the ring Fq[t]. We study squarefree values of f in sparse subsets of Fq[t] which are given by a linear condition. The motivation for our study is an analogue problem of representing square-free integers by integer polynomials, where it is conjectured tha… ▽ More Let f be a square-free polynomial in Fq[t][x] where Fq is a field of q elements. We view f as a polynomial in the variable x with coefficients in the ring Fq[t]. We study squarefree values of f in sparse subsets of Fq[t] which are given by a linear condition. The motivation for our study is an analogue problem of representing square-free integers by integer polynomials, where it is conjectured that setting aside some simple exceptional cases, a square-free polynomial f in Z[x] takes infinitely many square-free values. Let c(t) be a polynomial in Fq[t] of degree less than m, and let k < m be coprime to q. A consequence of the main result we show, is that if q is sufficiently large with respect to m and the degrees of f in t and x, then there exist $β_1,β_2$ in Fq such that $f(t,c(t)+β_1t^k+β_2)$ is square-free. Moreover, as q tends to infinity, the last is true for almost all $β_1$ and $β_2$ in Fq. The main result shows that a similar result holds also for other cases. We then generalize the results to multivariate polynomials. △ Less

Submitted 3 March, 2015; v1 submitted 27 October, 2014; originally announced October 2014.

Comments: Moved one section to the appendix, and made minor edits

The Geometry of Loop Spaces II: Characteristic Classes

Authors: Yoshiaki Maeda, Steven Rosenberg, Fabián Torres-Ardila

Abstract: Using the Wodzicki residue, we build Wodzicki-Chern-Simons (WCS) classes in $H^{2k-1}(LM)$ associated to the residue Chern character on the loop space $LM$ of a Riemannian manifold $M^{2k-1}$. These WCS classes are associated to the $L^2$ connection and the Sobolev $s=1$ connections on $LM.$ The WCS classes detect several families of 5-manifolds whose diffeomorphism group has infinite fundamental… ▽ More Using the Wodzicki residue, we build Wodzicki-Chern-Simons (WCS) classes in $H^{2k-1}(LM)$ associated to the residue Chern character on the loop space $LM$ of a Riemannian manifold $M^{2k-1}$. These WCS classes are associated to the $L^2$ connection and the Sobolev $s=1$ connections on $LM.$ The WCS classes detect several families of 5-manifolds whose diffeomorphism group has infinite fundamental group. These manifolds are the total spaces of the circle bundles associated to a multiple $pω, |p|\gg 0$, of the Kähler form $ω$ over an integral Kähler surface. △ Less

Submitted 17 June, 2015; v1 submitted 9 July, 2014; originally announced July 2014.

Comments: Complete rewrite of arXiv:0705.1008 with new results and references; new version has an appendix on topologies on loop spaces

The Geometry of Loop Spaces I: $H^s$-Riemannian Metrics

Authors: Yoshiaki Maeda, Steven Rosenberg, Fabián Torres-Ardila

Abstract: A Riemannian metric on a manifold M induces a family of Riemannian metrics on the loop space LM depending on a Sobolev space parameter s. We compute the connection forms of these metrics and the higher symbols of their curvature forms, which take values in pseudodifferential operators. These calculations are used in a followup paper "The Geometry of Loop Spaces II: Characteristic Classes" to const… ▽ More A Riemannian metric on a manifold M induces a family of Riemannian metrics on the loop space LM depending on a Sobolev space parameter s. We compute the connection forms of these metrics and the higher symbols of their curvature forms, which take values in pseudodifferential operators. These calculations are used in a followup paper "The Geometry of Loop Spaces II: Characteristic Classes" to construct Chern-Simons classes on the tangent bundle TLM which detect nontrivial elements in the diffeomorphism group of certain Sasakian 5-manifolds associated to Kaehler surfaces. △ Less

Submitted 16 May, 2014; originally announced May 2014.

Comments: This supersedes the first part of arXiv:0705.1008

Traces and Characteristic Classes in Infinite Dimensions

Authors: Yoshiaki Maeda, Steven Rosenberg

Abstract: This paper surveys topological results obtained from characteristic classes built from the two types of traces on the algebra of pseudodifferential operators of nonpositive order. The main results are the construction of a universal $\hat A$-polynomial and Chern character that control the $S^1$-index theorem for all circle actions on a fixed vector bundle over a manifold, and… ▽ More This paper surveys topological results obtained from characteristic classes built from the two types of traces on the algebra of pseudodifferential operators of nonpositive order. The main results are the construction of a universal $\hat A$-polynomial and Chern character that control the $S^1$-index theorem for all circle actions on a fixed vector bundle over a manifold, and $|π_1({\rm Diff}(M^5))| = \infty$, for ${\rm Diff}(M^5)$ the diffeomorphism group of circle bundles $M^5$ with large first Chern class over projective algebraic Kaehler surfaces. △ Less

Submitted 31 July, 2015; v1 submitted 14 April, 2014; originally announced April 2014.

Comments: Parts of Section 2.3 are not correct. This is discussed in T. McCauley, "S^1-Equivariant Chern-Weil Constructions on Loop Spaces," arXiv:1507.08626

Equivariant, string and leading order characteristic classes associated to fibrations

Authors: Andres Larrain-Hubach, Yoshiaki Maeda, Steven Rosenberg, Fabian Torres-Ardila

Abstract: We construct equivariant, string and leading order characteristic classes and Chern-Simons classes for certain infinite rank bundles associated to fibrations occurring in loop spaces, Gromov-Witten theory and gauge theory. Results include a restatement of the S^1 index theorem using equivariant classes on the tangent bundle to loop space; the expression of some GW invariants in terms of string and… ▽ More We construct equivariant, string and leading order characteristic classes and Chern-Simons classes for certain infinite rank bundles associated to fibrations occurring in loop spaces, Gromov-Witten theory and gauge theory. Results include a restatement of the S^1 index theorem using equivariant classes on the tangent bundle to loop space; the expression of some GW invariants in terms of string and leading order classes for infinite rank bundles over moduli spaces of pseudoholomorphic curves for semipositive symplectic manifolds; the identification of the real cohomology of a loop group with certain string and leading order classes; the identification of Donaldson's nu-class for 4-manifolds with a leading order class for the fibration of irreducible connections A over the quotient A/G by the gauge group. △ Less

Submitted 31 July, 2015; v1 submitted 10 September, 2013; originally announced September 2013.

Comments: An error in Section 3 invalidates the main result in this section. The error is discussed in T. McCauley, "S^1-Equivariant Chern-Weil Constructions on Loop Spaces," arXiv:1507.08626

Chern-Weil theory for certain infinite-dimensional Lie groups

Authors: Steven Rosenberg

Abstract: Chern-Weil and Chern-Simons theory extend to certain infinite-rank bundles that appear in mathematical physics. We discuss what is known of the invariant theory of the corresponding infinite-dimensional Lie groups. We use these techniques to detect cohomology classes for spaces of maps between manifolds and for diffeomorphism groups of manifolds. Chern-Weil and Chern-Simons theory extend to certain infinite-rank bundles that appear in mathematical physics. We discuss what is known of the invariant theory of the corresponding infinite-dimensional Lie groups. We use these techniques to detect cohomology classes for spaces of maps between manifolds and for diffeomorphism groups of manifolds. △ Less

Submitted 18 June, 2013; originally announced June 2013.

Comments: To appear in the proceedings of the 2012 conference Lie Groups: Structure, Actions and Representations in honor of the 75th birthday of Joe Wolf

MSC Class: 22E65

On a Combinatorial Identity of Djakov and Mityagin

Authors: Steven J. Rosenberg

Abstract: Consider a pyramid made out of unit cubes arranged in square horizontal layers, with a ledge of one cube's length around the perimeter of each layer. For any natural number $k$, we can count the number of ways of choosing $k$ unit cubes from the pyramid such that no two cubes are in the same horizontal layer; we can also count the number of ways of choosing $k$ unit cubes from the pyramid such tha… ▽ More Consider a pyramid made out of unit cubes arranged in square horizontal layers, with a ledge of one cube's length around the perimeter of each layer. For any natural number $k$, we can count the number of ways of choosing $k$ unit cubes from the pyramid such that no two cubes are in the same horizontal layer; we can also count the number of ways of choosing $k$ unit cubes from the pyramid such that no two cubes come from the same vertical slice (taken parallel to a fixed edge of the pyramid) {\it or} from two adjacent slices. Djakov and Mityagin first established, using functional analysis, that these two quantities are always equal (the enumerative interpretation given here is due to Thomas Kalinowski). Don Zagier supplied the first combinatorial proof of this result. We provide a new, more natural combinatorial proof. △ Less

Submitted 28 May, 2012; originally announced May 2012.

Characteristic Classes and Zeroth Order Pseudodifferential Operators

Authors: Andrés Larrain-Hubach, Steven Rosenberg, Simon Scott, Fabián Torres-Ardila

Abstract: We provide evidence for the conjecture that the Wodzicki-Chern classes vanish for all bundles with the group Z of invertible zeroth order pseudodifferential operators as structure group. In particular, we prove this vanishing if the structure group reduces to pseudodifferential operators with leading order symbol the identity. The leading order Chern classes are nonzero in general, and they detect… ▽ More We provide evidence for the conjecture that the Wodzicki-Chern classes vanish for all bundles with the group Z of invertible zeroth order pseudodifferential operators as structure group. In particular, we prove this vanishing if the structure group reduces to pseudodifferential operators with leading order symbol the identity. The leading order Chern classes are nonzero in general, and they detect elements of the de Rham cohomology groups of the classifying space BZ. △ Less

Submitted 26 May, 2010; v1 submitted 1 March, 2010; originally announced March 2010.

Comments: Second version contains improved exposition and results. To appear in Contemporary Mathematics

MSC Class: 58J40

Secondary Characteristic Classes on Loop Spaces

Authors: Yoshiaki Maeda, Steven Rosenberg, Fabián Torres-Ardila

Abstract: A Riemannian metric on a manifold M induces a family of Riemannian metrics on the loop space LM depending on a Sobolev space parameter s. The connection and curvature forms of these metrics take values in pseudodifferential operators. We develop a theory of Wodzicki-Chern-Simons classes using the s=0, 1 connections and the Wodzicki residue. These classes distinguish the smooth homotopy type of som… ▽ More A Riemannian metric on a manifold M induces a family of Riemannian metrics on the loop space LM depending on a Sobolev space parameter s. The connection and curvature forms of these metrics take values in pseudodifferential operators. We develop a theory of Wodzicki-Chern-Simons classes using the s=0, 1 connections and the Wodzicki residue. These classes distinguish the smooth homotopy type of some circle actions on M = S^2 x S^3, and imply that the fundamental group of Diff(M) is infinite. △ Less

Submitted 25 October, 2012; v1 submitted 7 May, 2007; originally announced May 2007.

Comments: Revised version of the paper "Riemannian Geometry on Loop Spaces." This version handles noninteger Sobolev parameters

Conformal Anomalies via Canonical Traces

Authors: S. Paycha, S. Rosenberg

Abstract: Using Laurent expansions of the Kontsevich-Vishik canonical trace of holomorphic families of classical pseudodifferential operators, we define functionals on the space of Riemannian metrics and investigate their conformal properties, thereby giving a unified description of several conformal invariants and anomalies. Using Laurent expansions of the Kontsevich-Vishik canonical trace of holomorphic families of classical pseudodifferential operators, we define functionals on the space of Riemannian metrics and investigate their conformal properties, thereby giving a unified description of several conformal invariants and anomalies. △ Less

Submitted 16 August, 2005; originally announced August 2005.

Infinite Dimensional Chern-Simons Theory

Authors: Steven Rosenberg, Fabian Torres-Ardila

Abstract: We extend finite dimensional Chern-Simons theory to certain infinite dimensional principal bundles with connections, in particular to the frame bundle $FLM\to LM$ over the loop space of a Riemannian manifold $M$. Chern-Simons forms are defined roughly as in finite dimensions with the invariant polynomials replaced by appropriate Wodzicki residues. This produces odd dimensional $\R/\Z$-valued coh… ▽ More We extend finite dimensional Chern-Simons theory to certain infinite dimensional principal bundles with connections, in particular to the frame bundle $FLM\to LM$ over the loop space of a Riemannian manifold $M$. Chern-Simons forms are defined roughly as in finite dimensions with the invariant polynomials replaced by appropriate Wodzicki residues. This produces odd dimensional $\R/\Z$-valued cohomology classes on $LM$ if $M$ is parallelizable. We compute an example of a metric on the loop space of $S^3\times S^1$ for which the three dimensional Chern-Simons class is nontrivial. △ Less

Submitted 8 November, 2004; originally announced November 2004.

MSC Class: 58B20

Chern-Weil Constructions on $Ψ$DO Bundles

Authors: Sylvie Paycha, Steven Rosenberg

Abstract: We construct Chern-Weil classes on infinite dimensional vector bundles with structure group contained in the algebra $\cl[\leq 0](M, E)$ of non-positive order classical pseudo-differential operators acting on a finite rank vector bundle $E$ over a closed manifold $M$. Mimicking the finite dimensional Chern-Weil construction, we replace the ordinary trace on matrices by linear functionals on… ▽ More We construct Chern-Weil classes on infinite dimensional vector bundles with structure group contained in the algebra $\cl[\leq 0](M, E)$ of non-positive order classical pseudo-differential operators acting on a finite rank vector bundle $E$ over a closed manifold $M$. Mimicking the finite dimensional Chern-Weil construction, we replace the ordinary trace on matrices by linear functionals on $\cl[\leq 0] (M, E)$ built from the leading symbols of the operators. The corresponding Chern classes vanish for loop groups, but a weighted trace construction yields a non-zero class perviously constructed by Freed. For loop spaces, the structure group reduces to a gauge group of bundle automorphisms, and we produce non-vanishing universal Chern classes in all degrees, using a universal connection theorem for these bundles. △ Less

Submitted 21 February, 2003; v1 submitted 17 January, 2003; originally announced January 2003.

Gauge Theory Techniques in Quantum Cohomology

Authors: S. Rosenberg, M. Vajiac

Abstract: Quantum cohomology gives a finite dimensional integrable system via the Dubrovin connection. Motivated by Givental's work on mirror symmetry, we use gauge theory techniques and the Frobenius Integrability Theorem to find flat sections for the Dubrovin connection. An explicit calculation is given for projective space. Quantum cohomology gives a finite dimensional integrable system via the Dubrovin connection. Motivated by Givental's work on mirror symmetry, we use gauge theory techniques and the Frobenius Integrability Theorem to find flat sections for the Dubrovin connection. An explicit calculation is given for projective space. △ Less

Submitted 11 October, 2000; v1 submitted 11 October, 2000; originally announced October 2000.

Curvature on determinant bundles and first Chern forms

Authors: Sylvie Paycha, Steven Rosenberg

Abstract: The Quillen-Bismut-Freed construction associates a determinant line bundle with connection to an infinite dimensional super vector bundle with a family of Dirac-type operators. We define the regularized first Chern form of the infinite dimensional bundle, and relate it to the curvature of the Bismut-Freed connection on the determinant bundle. In finite dimensions, these forms agree (up to sign),… ▽ More The Quillen-Bismut-Freed construction associates a determinant line bundle with connection to an infinite dimensional super vector bundle with a family of Dirac-type operators. We define the regularized first Chern form of the infinite dimensional bundle, and relate it to the curvature of the Bismut-Freed connection on the determinant bundle. In finite dimensions, these forms agree (up to sign), but in infinite dimensions there is a correction term, which we express in terms of Wodzicki residues. We illustrate these results with a string theory computation. There is a natural super vector bundle over the manifold of smooth almost complex structures on a Riemannian surface. The Bismut-Freed superconnection is identified with classical Teichmuller theory connections, and its curvature and regularized first Chern form are computed. △ Less

Submitted 18 September, 2000; originally announced September 2000.

Mathai-Quillen forms and Lefschetz theory

Authors: Mihail Frumosu, Steven Rosenberg

Abstract: Mathai-Quillen forms are used to give an integral formula for the Lefschetz number of a smooth map of a closed manifold. Applied to the identity map, this formula reduces to the Chern-Gauss-Bonnet theorem. The formula is computed explicitly for constant curvature metrics. There is in fact a one-parameter family of integral expressions. As the parameter goes to infinity, a topological version of… ▽ More Mathai-Quillen forms are used to give an integral formula for the Lefschetz number of a smooth map of a closed manifold. Applied to the identity map, this formula reduces to the Chern-Gauss-Bonnet theorem. The formula is computed explicitly for constant curvature metrics. There is in fact a one-parameter family of integral expressions. As the parameter goes to infinity, a topological version of the heat equation proof of the Lefschetz fixed submanifold formula is obtained. As the parameter goes to zero and under a transversality assumption, a lower bound for the number of points mapped into their cut locus is obtained. For diffeomorphisms with Lefschetz number unequal to the Euler characteristic, this number is infinite for most metrics, in particular for metrics of non-positive curvature. △ Less

Submitted 12 February, 1998; originally announced February 1998.

Comments: 44 pages, Latex

MSC Class: 57R35 (Primary) 53C20 (Secondary)

Nonlocal invariants in index theory

Authors: Steven Rosenberg

Abstract: This article surveys the relations among local and nonlocal invariants in Atiyah-Singer index theory. We discuss the local invariants that arise from the heat equation approach to the index theorem for geometric operators, as well as the nonlocal invariants (the eta invariant, the determinant of the Laplacian/analytic torsion) that occur in more refined index theorems, such as the determinant li… ▽ More This article surveys the relations among local and nonlocal invariants in Atiyah-Singer index theory. We discuss the local invariants that arise from the heat equation approach to the index theorem for geometric operators, as well as the nonlocal invariants (the eta invariant, the determinant of the Laplacian/analytic torsion) that occur in more refined index theorems, such as the determinant line bundle setting and the index theorem for families of manifolds with boundary. We also discuss the higher torsion forms of Bismut and Lott and their conjectured relation to the rational homotopy of the diffeomorphism group of aspherical manifolds. △ Less

Submitted 21 July, 1997; originally announced July 1997.

Comments: 12 pages, Latex, also available at http://math.bu.edu/people/sr

Bounded and $L^2$ Harmonic Forms on Universal Covers

Authors: K. D. Elworthy, Xue-Mei Li, Steven Rosenberg

Abstract: We relate the positivity of the curvature term in the Weitzenbock formula for the Laplacian on p-forms on a complete manifold to the existence of bounded and $L^2$ harmonic forms. In the case where the manifold is the universal cover of a compact manifold, we obtain topological and geometric information about the compact manifold. For example, we show that a compact manifold cannot admit one met… ▽ More We relate the positivity of the curvature term in the Weitzenbock formula for the Laplacian on p-forms on a complete manifold to the existence of bounded and $L^2$ harmonic forms. In the case where the manifold is the universal cover of a compact manifold, we obtain topological and geometric information about the compact manifold. For example, we show that a compact manifold cannot admit one metric with pinched negative curvature and another metric with positive Weitzenbock term on two-forms. Many of these results can be thought of as differential form analogues of Myers' theorem. We also give pinching conditions on certain sums of sectional curvatures which imply the positivity of the curvature term, and hence yield vanishing theorems. In particular, we construct a compact manifold with planes of negative sectional curvature at each point and which satisfies the hypothesis of our vanishing theorems. △ Less

Submitted 25 April, 1997; originally announced April 1997.

Comments: Latex, with stylefile sr-stylefile.sty included

Journal ref: Geom. And Funct. Anal. Vol. 8 , 283-303 (1998)

Homotopy and Homology Vanishing Theorems and the Stability of Stochastic Flows

Authors: K. D. Elworthy, Steven Rosenberg

Abstract: We relate stability properties (i.e. moment exponents) of a stochastic dynamical system on a compact manifold $M$ to the homotopy and integral homology groups of $M$. In the special case of gradient Brownian systems associated to isometric immersions of $M$ in Euclidean space, these moment exponents can be estimated in terms of the second fundamental form of the immersion. This yields topologica… ▽ More We relate stability properties (i.e. moment exponents) of a stochastic dynamical system on a compact manifold $M$ to the homotopy and integral homology groups of $M$. In the special case of gradient Brownian systems associated to isometric immersions of $M$ in Euclidean space, these moment exponents can be estimated in terms of the second fundamental form of the immersion. This yields topological obstructions to isometric immersions generalizing results of Lawson-Simons and others. Our work also places these authors' work into the general framework of Weitzenböck formulas. △ Less

Submitted 22 March, 1995; originally announced March 1995.

Comments: uuencoded postscript file