Showing 1–22 of 22 results for author: Berwick-Evans, D

Averaging Property of Wedge Product and Naturality in Discrete Exterior Calculus

Authors: Mark D. Schubel, Daniel Berwick-Evans, Anil N. Hirani

Abstract: In exterior calculus on smooth manifolds, the exterior derivative and wedge product are natural with respect to smooth maps between manifolds, that is, these operations commute with pullback. In discrete exterior calculus (DEC), simplicial cochains play the role of discrete forms, the coboundary operator serves as the discrete exterior derivative, and the antisymmetrized cup product provides a dis… ▽ More In exterior calculus on smooth manifolds, the exterior derivative and wedge product are natural with respect to smooth maps between manifolds, that is, these operations commute with pullback. In discrete exterior calculus (DEC), simplicial cochains play the role of discrete forms, the coboundary operator serves as the discrete exterior derivative, and the antisymmetrized cup product provides a discrete wedge product. We show that these discrete operations in DEC are natural with respect to abstract simplicial maps. A second contribution is a new averaging interpretation of the discrete wedge product in DEC. We also show that this wedge product is the same as Wilson's cochain product defined using Whitney and de Rham maps. △ Less

Submitted 13 November, 2023; v1 submitted 1 October, 2023; originally announced October 2023.

Comments: arXiv admin note: substantial text overlap with arXiv:2104.10277. Note from authors in response to arXiv admin note: The material in this submission was split off from arXiv:2104.10277 and version 2 of arXiv:2104.10277 does not contain the material in this submission. This revision includes material about cochain product using Whitney forms and connection to C-infinity algebras

MSC Class: 65N22; 57Z20; 53Z30

The families analytic index for $1|1$-dimensional Euclidean field theories

Authors: Daniel Berwick-Evans

Abstract: We construct a ${\rm KO}$-valued families index for a class of $1|1$-dimensional Euclidean field theories. This realizes a conjectured cocycle map in the Stolz--Teichner program. We further show that a bundle of spin manifolds leads to a family of partially-defined $1|1$-Euclidean field theories, yielding a cocycle refinement of the families analytic index. The methods are chosen with the goal of… ▽ More We construct a ${\rm KO}$-valued families index for a class of $1|1$-dimensional Euclidean field theories. This realizes a conjectured cocycle map in the Stolz--Teichner program. We further show that a bundle of spin manifolds leads to a family of partially-defined $1|1$-Euclidean field theories, yielding a cocycle refinement of the families analytic index. The methods are chosen with the goal of generalizing to $2|1$-dimensional field theories, where analogous structures are expected to provide an analytic index valued in topological modular forms. △ Less

Submitted 16 March, 2023; originally announced March 2023.

How do field theories detect the torsion in topological modular forms?

Authors: Daniel Berwick-Evans

Abstract: We construct deformation invariants of $2|1$-dimensional Euclidean field theories valued in a cohomology theory approximating topological modular forms. This implies several results anticipated by Stolz and Teichner and gives the first torsion invariants of field theories valued in $π_*{\rm TMF}$. The framework leads to a version of the elliptic Euler class described in terms of field-theoretic da… ▽ More We construct deformation invariants of $2|1$-dimensional Euclidean field theories valued in a cohomology theory approximating topological modular forms. This implies several results anticipated by Stolz and Teichner and gives the first torsion invariants of field theories valued in $π_*{\rm TMF}$. The framework leads to a version of the elliptic Euler class described in terms of field-theoretic data, as well as a partial construction of the supersymmetric sigma model with target a string manifold. △ Less

Submitted 16 March, 2023; originally announced March 2023.

Comments: 115 pages

The families Clifford index and differential KO-theory

Authors: Daniel Berwick-Evans

Abstract: Extending ideas of Atiyah--Bott--Shapiro and Quillen, we construct a model for differential $\rm KO$-theory whose cocycles are families of Clifford modules with superconnection. The model is built to accommodate an analytic pushforward for bundles of spin manifolds, affording a differential refinement of Atiyah and Singer's families index. Extending ideas of Atiyah--Bott--Shapiro and Quillen, we construct a model for differential $\rm KO$-theory whose cocycles are families of Clifford modules with superconnection. The model is built to accommodate an analytic pushforward for bundles of spin manifolds, affording a differential refinement of Atiyah and Singer's families index. △ Less

Submitted 16 March, 2023; originally announced March 2023.

Comments: 37 pages

String structures, 2-group bundles, and a categorification of the Freed-Quinn line bundle

Authors: Daniel Berwick-Evans, Emily Cliff, Laura Murray, Apurva Nakade, Emma Phillips

Abstract: For a 2-group constructed from a finite group and 3-cocycle, we provide an explicit description of the bicategory of flat 2-group bundles on an oriented surface in terms of weak representations of the fundamental group. We show that this bicategory encodes (flat) string structures. Furthermore, we identify the space of isomorphism classes of objects with Freed and Quinn's line bundle appearing in… ▽ More For a 2-group constructed from a finite group and 3-cocycle, we provide an explicit description of the bicategory of flat 2-group bundles on an oriented surface in terms of weak representations of the fundamental group. We show that this bicategory encodes (flat) string structures. Furthermore, we identify the space of isomorphism classes of objects with Freed and Quinn's line bundle appearing in Chern-Simons theory of a finite group. △ Less

Submitted 14 October, 2021; originally announced October 2021.

Comments: 28 pages

Discrete Vector Bundles with Connection and the Bianchi Identity

Authors: Daniel Berwick-Evans, Anil N. Hirani, Mark D. Schubel

Abstract: We develop a combinatorial theory of vector bundles with connection that is natural with respect to appropriate map**s of the base space. The base space is a simplicial complex, the main objects defined are discrete vector bundle valued cochains and the main operators we develop are a discrete exterior covariant derivative and a combinatorial wedge product. Key properties of these operators are… ▽ More We develop a combinatorial theory of vector bundles with connection that is natural with respect to appropriate map**s of the base space. The base space is a simplicial complex, the main objects defined are discrete vector bundle valued cochains and the main operators we develop are a discrete exterior covariant derivative and a combinatorial wedge product. Key properties of these operators are demonstrated and it is shown that they are natural with respect to the map**s referred to above. We also formulate a well-behaved definition of metric compatible discrete connections. A characterization is given for when a discrete vector bundle with connection is trivializable or has a trivial lower rank subbundle. This machinery is used to define discrete curvature as linear maps and we show that our formulation satisfies a discrete Bianchi identity. Recently an alternative framework for discrete vector bundles with connection has been given by Christiansen and Hu. We show that our framework reproduces and extends theirs when we apply our constructions on a subdivision of the base simplicial complex. △ Less

Submitted 28 July, 2023; v1 submitted 20 April, 2021; originally announced April 2021.

Comments: Several new sections added since previous version

MSC Class: 53Z05; 53B05; 53-08

Chern characters for supersymmetric field theories

Authors: Daniel Berwick-Evans

Abstract: We construct a map from $d|1$-dimensional Euclidean field theories to complexified K-theory when $d=1$ and complex analytic elliptic cohomology when $d=2$. This provides further evidence for the Stolz--Teichner program, while also identifying candidate geometric models for Chern characters within their framework. The construction arises as a higher-dimensional and parameterized generalization of F… ▽ More We construct a map from $d|1$-dimensional Euclidean field theories to complexified K-theory when $d=1$ and complex analytic elliptic cohomology when $d=2$. This provides further evidence for the Stolz--Teichner program, while also identifying candidate geometric models for Chern characters within their framework. The construction arises as a higher-dimensional and parameterized generalization of Fei Han's realization of the Chern character in K-theory as dimensional reduction for $1|1$-dimensional Euclidean field theories. In the elliptic case, the main new feature is a subtle interplay between the geometry of the super moduli space of $2|1$-dimensional tori and the derived geometry of complex analytic elliptic cohomology. As a corollary, we obtain an entirely geometric proof that partition functions of $\mathcal{N}=(0,1)$ supersymmetric quantum field theories are weak modular forms, following a suggestion of Stolz and Teichner. △ Less

Submitted 9 December, 2021; v1 submitted 7 October, 2020; originally announced October 2020.

Comments: 24 pages, to appear in Geometry and Topology

Journal ref: Geom. Topol. 27 (2023) 1947-1986

Power operations in the Stolz--Teichner program

Authors: Tobias Barthel, Daniel Berwick-Evans, Nathaniel Stapleton

Abstract: The Stolz--Teichner program proposes a deep connection between geometric field theories and certain cohomology theories. In this paper, we extend this connection by develo** a theory of geometric power operations for geometric field theories restricted to closed bordisms. These operations satisfy relations analogous to the ones exhibited by their homotopical counterparts. We also provide computa… ▽ More The Stolz--Teichner program proposes a deep connection between geometric field theories and certain cohomology theories. In this paper, we extend this connection by develo** a theory of geometric power operations for geometric field theories restricted to closed bordisms. These operations satisfy relations analogous to the ones exhibited by their homotopical counterparts. We also provide computational tools to identify the geometrically defined operations with the usual power operations on complexified equivariant $K$-theory. Further, we use the geometric approach to construct power operations for complexified equivariant elliptic cohomology. △ Less

Submitted 1 July, 2020; v1 submitted 17 June, 2020; originally announced June 2020.

Comments: 49 pages. Small fixes

MSC Class: 55N34; 81T60; 55S25

Journal ref: Geom. Topol. 26 (2022) 1773-1848

Classifying spaces of infinity-sheaves

Authors: Daniel Berwick-Evans, Pedro Boavida de Brito, Dmitri Pavlov

Abstract: We prove that the set of concordance classes of sections of an infinity-sheaf on a manifold is representable, extending a theorem of Madsen and Weiss. This is reminiscent of an h-principle in which the role of isotopy is played by concordance. As an application, we offer an answer to the question: what does the classifying space of a Segal space classify? We prove that the set of concordance classes of sections of an infinity-sheaf on a manifold is representable, extending a theorem of Madsen and Weiss. This is reminiscent of an h-principle in which the role of isotopy is played by concordance. As an application, we offer an answer to the question: what does the classifying space of a Segal space classify? △ Less

Submitted 17 April, 2022; v1 submitted 22 December, 2019; originally announced December 2019.

Comments: 33 pages. Comments are very welcome. v2: Many expository improvements

MSC Class: 55N30; 57R19; 55N20; 18G60; 22A22; 18F10; 18F20; 14D23; 14A20; 58D27; 58D29; 14D22; 55R35 (Primary); 55U35; 18G55; 14F42; 55R65 (Secondary)

Supersymmetric localization, modularity and the Witten genus

Authors: Daniel Berwick-Evans

Abstract: Equivariant localization techniques give a rigorous interpretation of the Witten genus as an integral over the double loop space. This provides a geometric explanation for its modularity properties. It also reveals an interplay between the geometry of double loop spaces and complex analytic elliptic cohomology. In particular, we identify a candidate target for the elliptic Bismut-Chern character. Equivariant localization techniques give a rigorous interpretation of the Witten genus as an integral over the double loop space. This provides a geometric explanation for its modularity properties. It also reveals an interplay between the geometry of double loop spaces and complex analytic elliptic cohomology. In particular, we identify a candidate target for the elliptic Bismut-Chern character. △ Less

Submitted 25 November, 2019; originally announced November 2019.

Comments: 20 pages

A de Rham model for complex analytic equivariant elliptic cohomology

Authors: Daniel Berwick-Evans, Arnav Tripathy

Abstract: We construct a cocycle model for complex analytic equivariant elliptic cohomology that refines Grojnowski's theory when the group is connected and Devoto's when the group is finite. We then construct Mathai--Quillen type cocycles for equivariant elliptic Euler and Thom classes, explaining how these are related to positive energy representations of loop groups. Finally, we show that these classes g… ▽ More We construct a cocycle model for complex analytic equivariant elliptic cohomology that refines Grojnowski's theory when the group is connected and Devoto's when the group is finite. We then construct Mathai--Quillen type cocycles for equivariant elliptic Euler and Thom classes, explaining how these are related to positive energy representations of loop groups. Finally, we show that these classes give a unique equivariant refinement of Hopkins' "theorem of the cube" construction of the ${\rm MString}$-orientation of elliptic cohomology. △ Less

Submitted 30 December, 2020; v1 submitted 7 August, 2019; originally announced August 2019.

Comments: Revised based on referee suggestions. To appear in Advances in Mathematics

A model for complex analytic equivariant elliptic cohomology from quantum field theory

Authors: Daniel Berwick-Evans, Arnav Tripathy

Abstract: We construct a global geometric model for complex analytic equivariant elliptic cohomology for all compact Lie groups. Cocycles are specified by functions on the space of fields of the two-dimensional sigma model with background gauge fields and $\mathcal{N} = (0, 1)$ supersymmetry. We also consider a theory of free fermions valued in a representation whose partition function is a section of a det… ▽ More We construct a global geometric model for complex analytic equivariant elliptic cohomology for all compact Lie groups. Cocycles are specified by functions on the space of fields of the two-dimensional sigma model with background gauge fields and $\mathcal{N} = (0, 1)$ supersymmetry. We also consider a theory of free fermions valued in a representation whose partition function is a section of a determinant line bundle. We identify this section with a cocycle representative of the (twisted) equivariant elliptic Euler class of the representation. Finally, we show that the moduli stack of $U(1)$-gauge fields carries a multiplication compatible with the complex analytic group structure on the universal (dual) elliptic curve, with the Euler class providing a choice of coordinate. This provides a physical manifestation of the elliptic group law central to the homotopy-theoretic construction of elliptic cohomology. △ Less

Submitted 24 August, 2020; v1 submitted 10 May, 2018; originally announced May 2018.

Comments: Significant updates informed by the de Rham model in 1908.02868

The equivariant Chern character as super holonomy on loop stacks

Authors: Daniel Berwick-Evans, Fei Han

Abstract: We study super parallel transport around super loops in a quotient stack, and show that this geometry constructs a global version of the equivariant Chern character. We study super parallel transport around super loops in a quotient stack, and show that this geometry constructs a global version of the equivariant Chern character. △ Less

Submitted 7 October, 2016; originally announced October 2016.

Comments: 11 pages

Supersymmetric field theories and the elliptic index theorem with complex coefficients

Authors: Daniel Berwick-Evans

Abstract: We present a cocycle model for elliptic cohomology with complex coefficients in which methods from 2-dimensional quantum field theory can be used to rigorously construct cocycles. For example, quantizing a theory of vector bundle-valued fermions yields a cocycle representative of the elliptic Thom class. This constructs the complexified string orientation of elliptic cohomology, which determines a… ▽ More We present a cocycle model for elliptic cohomology with complex coefficients in which methods from 2-dimensional quantum field theory can be used to rigorously construct cocycles. For example, quantizing a theory of vector bundle-valued fermions yields a cocycle representative of the elliptic Thom class. This constructs the complexified string orientation of elliptic cohomology, which determines a pushfoward for families of rational string manifolds. A second pushforward is constructed from quantizing a supersymmetric $σ$-model. These two pushforwards agree, giving a precise physical interpretation for the elliptic index theorem with complex coefficients. This both refines and supplies further evidence for the long-conjectured relationship between elliptic cohomology and 2-dimensional quantum field theory. Analogous methods in supersymmetric mechanics recover path integral constructions of the Mathai--Quillen Thom form in complexified ${\rm KO}$-theory and a cocycle representative of the $\hat{A}$-class for a family of oriented manifolds. △ Less

Submitted 6 October, 2020; v1 submitted 3 October, 2016; originally announced October 2016.

Comments: Revised and expanded. To appear in Geometry and Topology

Journal ref: Geom. Topol. 25 (2021) 2287-2384

Lie 2-algebras of vector fields

Authors: Daniel Berwick-Evans, Eugene Lerman

Abstract: We show that the category of vector fields on a geometric stack has the structure of a Lie 2-algebra. This proves a conjecture of R.~Hepworth. The construction uses a Lie groupoid that presents the geometric stack. We show that the category of vector fields on the Lie groupoid is equivalent to the category of vector fields on the stack. The category of vector fields on the Lie groupoid has a Lie 2… ▽ More We show that the category of vector fields on a geometric stack has the structure of a Lie 2-algebra. This proves a conjecture of R.~Hepworth. The construction uses a Lie groupoid that presents the geometric stack. We show that the category of vector fields on the Lie groupoid is equivalent to the category of vector fields on the stack. The category of vector fields on the Lie groupoid has a Lie 2-algebra structure built from known (ordinary) Lie brackets on multiplicative vector fields of Mackenzie and Xu and the global sections of the Lie algebroid of the Lie groupoid. After giving a precise formulation of Morita invariance of the construction, we verify that the Lie 2-algebra structure defined in this way is well-defined on the underlying stack. △ Less

Submitted 2 June, 2020; v1 submitted 13 September, 2016; originally announced September 2016.

Comments: 32 pages. (v2) Changes in exposition. In particular we exercise more care in handling maps of Lie 2-algebras. (v3) major reorganization and additional content (v4) more new content

Journal ref: Pacific J. Math. 309 (2020) 1-34

Twisted equivariant differential K-theory from gauged supersymmetric mechanics

Authors: Daniel Berwick-Evans

Abstract: We use the geometry of the space of fields for gauged supersymmetric mechanics to construct the twisted differential equivariant K-theory of a manifold with an action by a finite group. We use the geometry of the space of fields for gauged supersymmetric mechanics to construct the twisted differential equivariant K-theory of a manifold with an action by a finite group. △ Less

Submitted 27 October, 2015; originally announced October 2015.

Comments: 10 pages

Topological $q$-expansion and the supersymmetric sigma model

Authors: Daniel Berwick-Evans

Abstract: The Hamiltonian and Lagrangian formalisms offer two perspectives on quantum field theory. This paper sets up a framework to compare these approaches for the supersymmetric sigma model. The goal is to use techniques from physics to construct topological invariants. In brief, the Hamiltonian formalism studies positive energy representations of super annuli. This leads to a model for elliptic cohomol… ▽ More The Hamiltonian and Lagrangian formalisms offer two perspectives on quantum field theory. This paper sets up a framework to compare these approaches for the supersymmetric sigma model. The goal is to use techniques from physics to construct topological invariants. In brief, the Hamiltonian formalism studies positive energy representations of super annuli. This leads to a model for elliptic cohomology at the Tate curve over $\mathbb{Z}$. The Lagrangian approach studies sections of line bundles over a moduli stack of super tori. This leads to a model for ordinary cohomology valued in weak modular forms over $\mathbb{C}$. Compatibility between the two formalisms is a field theory version of the topological $q$-expansion principle. Combining these ingredients constructs a cohomology theory admitting an orientation for string manifolds that is closely related to Witten's Dirac operator on loop space. △ Less

Submitted 21 February, 2017; v1 submitted 21 October, 2015; originally announced October 2015.

Comments: The previous version has been completely rewritten. The core technical ideas are the same, but the presentation is new and the basic objects of study are explained in greater detail. Various errors have been corrected and new material has been added. 70 pages

Perturbative N=2 supersymmetric quantum mechanics and L-theory with complex coefficients

Authors: Daniel Berwick-Evans

Abstract: We construct L-theory with complex coefficients from the geometry of 1|2-dimensional perturbative mechanics. Methods of perturbative quantization lead to wrong-way maps that we identify with those coming from the MSO-orientation of L-theory tensored with the complex numbers. We construct L-theory with complex coefficients from the geometry of 1|2-dimensional perturbative mechanics. Methods of perturbative quantization lead to wrong-way maps that we identify with those coming from the MSO-orientation of L-theory tensored with the complex numbers. △ Less

Submitted 13 January, 2015; originally announced January 2015.

Comments: 12 pages

Smooth one-dimensional topological field theories are vector bundles with connection

Authors: Daniel Berwick-Evans, Dmitri Pavlov

Abstract: We prove that smooth 1-dimensional topological field theories over a manifold are equivalent to vector bundles with connection. The main novelty is our definition of the smooth 1-dimensional bordism category, which encodes cutting laws rather than gluing laws. We make this idea precise through a smooth version of Rezk's complete Segal spaces. With such a definition in hand, we analyze the category… ▽ More We prove that smooth 1-dimensional topological field theories over a manifold are equivalent to vector bundles with connection. The main novelty is our definition of the smooth 1-dimensional bordism category, which encodes cutting laws rather than gluing laws. We make this idea precise through a smooth version of Rezk's complete Segal spaces. With such a definition in hand, we analyze the category of field theories using a combination of descent, a smooth version of the 1-dimensional cobordism hypothesis, and standard differential-geometric arguments. △ Less

Submitted 8 November, 2023; v1 submitted 5 January, 2015; originally announced January 2015.

Comments: 23 pages. Comments and questions are welcome. v2: Completely rewritten, replacing fibrations with presheaves. v3: Identical to the journal version except for formatting and style

MSC Class: 53C05; 53C29; 57R56 (Primary); 55R10; 58H05; 53C08; 22A22; 81T40 (Secondary)

Journal ref: Algebr. Geom. Topol. 23 (2023) 3707-3743

Equivariant elliptic cohomology, gauged sigma models, and discrete torsion

Authors: Daniel Berwick-Evans

Abstract: For $G$ a finite group, we show that functions on fields for the 2-dimensional supersymmetric sigma model with background $G$-symmetry determine cocycles for complex analytic $G$-equivariant elliptic cohomology. Similar structures in supersymmetric mechanics determine cocycles for equivariant K-theory with complex coefficients. The path integral for gauge theory with a finite group constructs wron… ▽ More For $G$ a finite group, we show that functions on fields for the 2-dimensional supersymmetric sigma model with background $G$-symmetry determine cocycles for complex analytic $G$-equivariant elliptic cohomology. Similar structures in supersymmetric mechanics determine cocycles for equivariant K-theory with complex coefficients. The path integral for gauge theory with a finite group constructs wrong-way maps associated to group homomorphisms. When applied to an inclusion of groups, we obtain the induced character formula of Hopkins, Kuhn, and Ravenel. For the homomorphism $G\to *$ we obtain Vafa's formula for gauging with discrete torsion. The image of equivariant Euler classes under gauging constructs modular form-valued invariants of representations that depend on a choice of string structure. We illustrate nontrivial dependence on the string structure for a 16-dimensional representation of the Klein 4-group. △ Less

Submitted 9 October, 2020; v1 submitted 20 October, 2014; originally announced October 2014.

Comments: Updated and expanded

Perturbative sigma models, elliptic cohomology and the Witten genus

Authors: Daniel Berwick-Evans

Abstract: We provide a differential cocycle model for elliptic cohomology with complex coefficients and use analytic methods to construct a cocycle representative for the Witten class in this language. Our motivation stems from the conjectural connection between 2-dimensional field theories and elliptic cohomology originally due to G. Segal and E. Witten. The specifics of our constructions are informed by t… ▽ More We provide a differential cocycle model for elliptic cohomology with complex coefficients and use analytic methods to construct a cocycle representative for the Witten class in this language. Our motivation stems from the conjectural connection between 2-dimensional field theories and elliptic cohomology originally due to G. Segal and E. Witten. The specifics of our constructions are informed by the work of S. Stolz and P. Teichner on super Euclidean field theories and K. Costello's construction of the Witten genus using perturbative quantization. As a warm-up, we prove analogous results for supersymmetric quantum mechanics and K-theory with complex coefficients. △ Less

Submitted 4 August, 2016; v1 submitted 26 November, 2013; originally announced November 2013.

Comments: Changes made from referees suggestions: statements of main theorems were sharpened, physical motivations were separated from the main mathematical discussion, and the relation to Witten's original construction was clarified

The Chern-Gauss-Bonnet Theorem via supersymmetric Euclidean field theories

Authors: Daniel Berwick-Evans

Abstract: We prove the Chern-Gauss-Bonnet Theorem using sigma models whose source supermanifolds have super dimension 0|2. Along the way we develop machinery for understanding manifold invariants encoded by families of 0|n-dimensional Euclidean field theories and their quantization. We prove the Chern-Gauss-Bonnet Theorem using sigma models whose source supermanifolds have super dimension 0|2. Along the way we develop machinery for understanding manifold invariants encoded by families of 0|n-dimensional Euclidean field theories and their quantization. △ Less

Submitted 20 October, 2013; originally announced October 2013.