-
Global 2-rings and genuine refinements
Authors:
David Gepner,
Sil Linskens,
Luca Pol
Abstract:
We introduce the notion of a naive global 2-ring: a functor from the opposite of the $\infty$-category of global spaces to presentably symmetric monoidal stable $\infty$-categories. By passing to global sections, every naive global 2-ring decategorifies to a multiplicative cohomology theory on global spaces, i.e. a naive global ring. We suggest when a naive global 2-ring deserves to be called \emp…
▽ More
We introduce the notion of a naive global 2-ring: a functor from the opposite of the $\infty$-category of global spaces to presentably symmetric monoidal stable $\infty$-categories. By passing to global sections, every naive global 2-ring decategorifies to a multiplicative cohomology theory on global spaces, i.e. a naive global ring. We suggest when a naive global 2-ring deserves to be called \emph{genuine}. As evidence, we associate to such a global 2-ring a family of equivariant cohomology theories which satisfy a version of the change of group axioms introduced by Ginzburg, Kapranov and Vasserot. We further show that the decategorified multiplicative global cohomology theory associated to a genuine global $2$-ring canonically refines to an $\mathbb{E}_\infty$-ring object in global spectra. As we show, two interesting examples of genuine global 2-rings are given by quasi-coherent sheaves on the torsion points of an oriented spectral elliptic curve and Lurie's theory of tempered local systems. In particular, we obtain global spectra representing equivariant elliptic cohomology and tempered cohomology.
△ Less
Submitted 6 July, 2024;
originally announced July 2024.
-
Foams with flat connections and algebraic K-theory
Authors:
David Gepner,
Mee Seong Im,
Mikhail Khovanov,
Nitu Kitchloo
Abstract:
This paper proposes a connection between algebraic K-theory and foam cobordisms, where foams are stratified manifolds with singularities of a prescribed form. We consider $n$-dimensional foams equipped with a flat bundle of finitely-generated projective $R$-modules over each facet of the foam, together with gluing conditions along the subfoam of singular points. In a suitable sense which will beco…
▽ More
This paper proposes a connection between algebraic K-theory and foam cobordisms, where foams are stratified manifolds with singularities of a prescribed form. We consider $n$-dimensional foams equipped with a flat bundle of finitely-generated projective $R$-modules over each facet of the foam, together with gluing conditions along the subfoam of singular points. In a suitable sense which will become clear, a vertex (or the smallest stratum) of an $n$-dimensional foam replaces an $(n+1)$-simplex with a total ordering of vertices. We show that the first K-theory group of a ring $R$ can be identified with the cobordism group of decorated 1-foams embedded in the plane. A similar relation between the $n$-th algebraic K-theory group of a ring $R$ and the cobordism group of decorated $n$-foams embedded in $\mathbb{R}^{n+1}$ is expected for $n>1$. An analogous correspondence is proposed for arbitrary exact categories. Modifying the embedding and other conditions on the foams may lead to new flavors of K-theory groups.
△ Less
Submitted 23 May, 2024;
originally announced May 2024.
-
On different approaches to integrable lattice models
Authors:
Vladimir Belavin,
Doron Gepner,
J. Ramos Cabezas,
Boris Runov
Abstract:
Interaction-Round the Face (IRF) models are two-dimensional lattice models of statistical mechanics defined by an affine Lie algebra and admissibility conditions depending on a choice of representation of that affine Lie algebra. Integrable IRF models, i.e., the models the Boltzmann weights of which satisfy the quantum Yang-Baxter equation, are of particular interest. In this paper, we investigate…
▽ More
Interaction-Round the Face (IRF) models are two-dimensional lattice models of statistical mechanics defined by an affine Lie algebra and admissibility conditions depending on a choice of representation of that affine Lie algebra. Integrable IRF models, i.e., the models the Boltzmann weights of which satisfy the quantum Yang-Baxter equation, are of particular interest. In this paper, we investigate trigonometric Boltzmann weights of integrable IRF models. By using an ansatz proposed by one of the authors in some previous works, the Boltzmann weights of the restricted IRF models based on the affine Lie algebras $\mathfrak{su}(2)_k$ and $\mathfrak{su}(3)_k$ are computed for fundamental and adjoint representations for some fixed levels $k$. New solutions for the Boltzmann weights are obtained. We also study the vertex-IRF correspondence in the context of an unrestricted IRF model based on $\mathfrak {su}(3)_k$ (for general $k$) and discuss how it can be used to find Boltzmann weights in terms of the quantum $\hat{R}$ matrix when the adjoint representation defines the admissibility conditions.
△ Less
Submitted 20 August, 2023;
originally announced August 2023.
-
Relationship between two Calabi--Yau orbifolds arising as hyper--surfaces in a quotient of the same weighted projective space
Authors:
Alexander Belavin,
Doron Gepner
Abstract:
In this article we consider a question: what is the relation between two Calabi-Yau manifolds of two different Berglund--Hubsch types if they appear as hyper--surfaces in the quotient of the same weighted projective space. We show that that these manifolds are connected by a special change of coordinates, which we call the resonance transformation.
In this article we consider a question: what is the relation between two Calabi-Yau manifolds of two different Berglund--Hubsch types if they appear as hyper--surfaces in the quotient of the same weighted projective space. We show that that these manifolds are connected by a special change of coordinates, which we call the resonance transformation.
△ Less
Submitted 22 July, 2023; v1 submitted 11 June, 2023;
originally announced June 2023.
-
Human lumbar spine injury risk in dynamic combined compression and flexion loading
Authors:
Sophia K. Tushak,
Bronislaw D. Gepner,
Jason L. Forman,
Jason J. Hallman,
Bengt Pipkorn,
Jason R. Kerrigan
Abstract:
Anticipating changes to vehicle interiors with future automated driving systems, the automobile industry recently has focused attention on crash response in relaxed postures with increased seatback recline. Prior research found that this posture may result in greater risk of lumbar spine injury in the event of a frontal crash. This study developed a lumbar spine injury risk function that estimated…
▽ More
Anticipating changes to vehicle interiors with future automated driving systems, the automobile industry recently has focused attention on crash response in relaxed postures with increased seatback recline. Prior research found that this posture may result in greater risk of lumbar spine injury in the event of a frontal crash. This study developed a lumbar spine injury risk function that estimated injury risk as a function of simultaneously applied compression force and flexion moment. Force and moment failure data from 40 compression-flexion tests were utilized in a Weibull survival model, including appropriate data censoring. A mechanics-based injury metric was formulated, where lumbar spine compression force and flexion moment were normalized to specimen geometry. Subject age was incorporated as a covariate to further improve model fit. A weighting factor was included to adjust the influence of force and moment, and parameter optimization yielded a value of 0.11. Thus, the normalized compression force component had a greater effect on injury risk than the normalized flexion moment component. Additionally, as force was nominally increased, less moment was required to produce injury for a given age and specimen geometry. The resulting injury risk function can be utilized to improve occupant safety in the field.
△ Less
Submitted 21 June, 2022; v1 submitted 13 June, 2022;
originally announced June 2022.
-
Generalized Rogers Ramanujan Expressions for Some Non--Singlet Twisted Affine Algebras
Authors:
Doron Gepner
Abstract:
Hatayama et al. described generalized Rogers--Ramanujan (GRR) expressions for the string functions of the singlet representation of twisted affine algebras. We give here such GRR expressions for some non-singlet string functions. In the case of the algebra $A_2^{(2)}$ this gives all the string functions. We verify these expressions using Freudenthal--Kac formula.
Hatayama et al. described generalized Rogers--Ramanujan (GRR) expressions for the string functions of the singlet representation of twisted affine algebras. We give here such GRR expressions for some non-singlet string functions. In the case of the algebra $A_2^{(2)}$ this gives all the string functions. We verify these expressions using Freudenthal--Kac formula.
△ Less
Submitted 22 April, 2022;
originally announced April 2022.
-
The crossing multiplier for solvable lattice models
Authors:
Vladimir Belavin,
Doron Gepner,
J. Ramos Cabezas
Abstract:
We study the large class of solvable lattice models, based on the data of conformal field theory.
These models are constructed from any conformal field theory.
We consider the lattice models based on affine algebras described by Jimbo et al., for the algebras $ABCD$ and by Kuniba et al. for $G_2$. We find a general formula for the crossing multipliers of these models. It is shown that these cr…
▽ More
We study the large class of solvable lattice models, based on the data of conformal field theory.
These models are constructed from any conformal field theory.
We consider the lattice models based on affine algebras described by Jimbo et al., for the algebras $ABCD$ and by Kuniba et al. for $G_2$. We find a general formula for the crossing multipliers of these models. It is shown that these crossing multipliers are also given by the principally specialized characters of the model in question. Therefore we conjecture that the crossing multipliers in this large class of solvable interaction round the face lattice models are given by the characters of the conformal field theory on which they are based. We use this result to study the local state probabilities of these models and show that they are given by the branching rule, in regime III.
△ Less
Submitted 28 December, 2021; v1 submitted 19 October, 2021;
originally announced October 2021.
-
Failure Tolerance of the Human Lumbar Spine in Combined Compression and Flexion Loading
Authors:
S. K. Tushak,
J. P. Donlon,
B. D. Gepner,
A. Chebbi,
B. Pipkorn,
J. J. Hallman,
J. L. Forman,
J. R. Kerrigan
Abstract:
Vehicle safety systems have substantially decreased motor vehicle crash-related injuries and fatalities, but injuries to the lumbar spine still have been reported. Experimental and computational analyses of upright and, particularly, reclined occupants in frontal crashes have shown that the lumbar spine can be subjected to axial compression followed by combined compression-flexion loading. Lumbar…
▽ More
Vehicle safety systems have substantially decreased motor vehicle crash-related injuries and fatalities, but injuries to the lumbar spine still have been reported. Experimental and computational analyses of upright and, particularly, reclined occupants in frontal crashes have shown that the lumbar spine can be subjected to axial compression followed by combined compression-flexion loading. Lumbar spine failure tolerance in combined compression-flexion has not been widely explored in the literature. Therefore, the goal of this study was to measure the failure tolerance of the lumbar spine in combined compression and flexion. Forty 3-vertebra lumbar spine segments were pre-loaded with axial compression and then subjected to dynamic flexion bending until failure. Clinically relevant middle vertebra fractures were observed in twenty-one of the specimens, including compression and burst fractures. The remaining nineteen specimens experienced failure at the potting grip interface. Since specimen characteristics and pre-test axial load varied widely within the sample, failure forces (mean 3.4 kN, range 1.6-5.1 kN) and moments (mean 73 Nm, range 0-181 Nm) also varied widely. Tobit univariate regressions were performed to determine the relationship between censored failure tolerance and specimen sex, segment type (upper/lower), age, and cross-sectional area. Age, sex, and cross-sectional area significantly affected failure force and moment individually (p<0.0024). These data can be used to develop injury prediction tools for lumbar spine fractures and further research in future safety systems.
△ Less
Submitted 25 May, 2021;
originally announced May 2021.
-
On the $D_n$ Spin Vertex Models for Odd $n$
Authors:
Doron Gepner
Abstract:
Solvable vertex models in two dimensions are of importance in conformal field theory, phase
transitions and integrable models.
We consider here the $D_n$ spin vertex models, for $n$ which is odd.
The models involve also the anti--spinor representation. We describe here the Boltzmann weights
for these representations using crossing symmetry from the previously known spinor representations.…
▽ More
Solvable vertex models in two dimensions are of importance in conformal field theory, phase
transitions and integrable models.
We consider here the $D_n$ spin vertex models, for $n$ which is odd.
The models involve also the anti--spinor representation. We describe here the Boltzmann weights
for these representations using crossing symmetry from the previously known spinor representations.
For calculation reasons we limit ourself to the $n=3$ and $n=5$ cases, which are described
explicitly.
△ Less
Submitted 22 March, 2021;
originally announced March 2021.
-
On the Free Energy of Solvable lattice Models
Authors:
Doron Gepner
Abstract:
We conjecture the inversion relations for thermalized solvable interaction round the face (IRF) two dimensional lattice models. We base ourselves on an ansatz for the Baxterization described by the author in the 90's. We solve these inversion relations in the four main regimes of the models, to give the free energy of the models, in these regimes. We use the method of Baxter in the calculation of…
▽ More
We conjecture the inversion relations for thermalized solvable interaction round the face (IRF) two dimensional lattice models. We base ourselves on an ansatz for the Baxterization described by the author in the 90's. We solve these inversion relations in the four main regimes of the models, to give the free energy of the models, in these regimes. We use the method of Baxter in the calculation of the free energy of the hard hexagon model. We believe these results to be quite general, shared by most of the known IRF models. Our results apply equally well to solvable vertex models. Using the expression for the free energy we calculate the critical exponent $α$, and from it the dimension of the perturbing (thermal) operator in the fixed point conformal field theory (CFT). We show that it matches either the coset ${\cal O}/{\cal G}$ or ${\cal G}/{\cal O}$, where $\cal O$ is the original CFT used to define the model and $\cal G$ is some unknown CFT, depending on the regime. This agrees with known examples of such models by Huse and Jimbo et al.
△ Less
Submitted 28 November, 2020;
originally announced November 2020.
-
On SO$(N)$ spin vertex models
Authors:
Vladimir Belavin,
Doron Gepner,
Hans Wenzl
Abstract:
We describe the Boltzmann weights of the $D_k$ algebra spin vertex models. Thus, we find the $SO(N)$ spin vertex models, for any $N$, completing the $B_k$ case found earlier. We further check that the real (self-dual) SO$(N)$ models obey quantum algebras, which are the Birman-Murakami-Wenzl (BMW) algebra for three blocks, and certain generalizations, which include the BMW algebra as a sub-algebra,…
▽ More
We describe the Boltzmann weights of the $D_k$ algebra spin vertex models. Thus, we find the $SO(N)$ spin vertex models, for any $N$, completing the $B_k$ case found earlier. We further check that the real (self-dual) SO$(N)$ models obey quantum algebras, which are the Birman-Murakami-Wenzl (BMW) algebra for three blocks, and certain generalizations, which include the BMW algebra as a sub-algebra, for four and five blocks. In the case of five blocks, the $B_4$ model is shown to satisfy additional twenty new relations, which are given. The $D_6$ model is shown to obey two additional relations.
△ Less
Submitted 31 July, 2020;
originally announced July 2020.
-
Determination of strain rate in modelling belt-flesh-pelvis interaction during frontal crashes
Authors:
Zhaonan Sun,
Bronislaw D. Gepner,
Sang-Hyun Lee,
Joshua Rigby,
Neil Singh,
Jason R. Kerrigan
Abstract:
Obesity is associated with higher fatality risk and altered distribution of occupant injuries in motor vehicle crashes partially because of the increased depth of abdominal soft tissue, which results in limited and delayed engagement of the lap belt with the pelvis and increases the risk of pelvis submarining under the lap belt exposing occupant abdomen to belt loading.
Obesity is associated with higher fatality risk and altered distribution of occupant injuries in motor vehicle crashes partially because of the increased depth of abdominal soft tissue, which results in limited and delayed engagement of the lap belt with the pelvis and increases the risk of pelvis submarining under the lap belt exposing occupant abdomen to belt loading.
△ Less
Submitted 23 July, 2020;
originally announced July 2020.
-
$B_k$ Spin Vertex Models and Quantum Algebras
Authors:
Doron Gepner
Abstract:
We construct new solvable vertex models based on the spin representation of the Lie algebra $B_k$. We use these models to study the algebraic structure underlying such vertex theories. We show that all the $B_k$ spin vertex models obey a version of the BMW algebra along with extra relations that are called $n$--CB (conformal braiding) algebras. These algebras were discussed before for various IRF…
▽ More
We construct new solvable vertex models based on the spin representation of the Lie algebra $B_k$. We use these models to study the algebraic structure underlying such vertex theories. We show that all the $B_k$ spin vertex models obey a version of the BMW algebra along with extra relations that are called $n$--CB (conformal braiding) algebras. These algebras were discussed before for various IRF (interaction round the face) models. Here we establish that the same algebras hold for vertex models.
△ Less
Submitted 14 July, 2020; v1 submitted 6 May, 2020;
originally announced May 2020.
-
On equivariant topological modular forms
Authors:
David Gepner,
Lennart Meier
Abstract:
Following ideas of Lurie, we give in this article a general construction of equivariant elliptic cohomology without restriction to characteristic zero. Specializing to the universal elliptic curve we obtain in particular equivariant spectra of topological modular forms. We compute the fixed points of these spectra for the circle group and more generally for tori.
Following ideas of Lurie, we give in this article a general construction of equivariant elliptic cohomology without restriction to characteristic zero. Specializing to the universal elliptic curve we obtain in particular equivariant spectra of topological modular forms. We compute the fixed points of these spectra for the circle group and more generally for tori.
△ Less
Submitted 19 July, 2023; v1 submitted 21 April, 2020;
originally announced April 2020.
-
Integral representation theorems for DQ-modules
Authors:
David Gepner,
Francois Petit
Abstract:
We identify the type of $\mathbb{C}[[\hbar]]$-linear structure inherent in the $\infty$-categories which arise in the theory of Deformation Quantization modules. Using this structure, we show that the $\infty$-category of quasicoherent cohomologically complete DQ-modules is a deformation of the $\infty$-category of quasicoherent sheaves. We also obtain integral representation results for DQ-module…
▽ More
We identify the type of $\mathbb{C}[[\hbar]]$-linear structure inherent in the $\infty$-categories which arise in the theory of Deformation Quantization modules. Using this structure, we show that the $\infty$-category of quasicoherent cohomologically complete DQ-modules is a deformation of the $\infty$-category of quasicoherent sheaves. We also obtain integral representation results for DQ-modules similar to the ones of Toën and Ben-Zvi-Nadler-Francis, stating that suitably linear functors between $\infty$-categories of DQ-modules are integral transforms.
△ Less
Submitted 21 April, 2020;
originally announced April 2020.
-
The 5-CB Algebra and Fused $SU(2)$ Lattice Models
Authors:
Vladimir Belavin,
Doron Gepner
Abstract:
We study the fused $SU(2)$ models put forward by Date et al., that are a series of models with arbitrary number of blocks, which is the degree of the polynomial equation obeyed by the Boltzmann weights. We demonstrate by a direct calculation that a version of BMW (Birman--Murakami--Wenzl) algebra is obeyed by five, six and seven blocks models, conjecturing that it is part of the algebra valid for…
▽ More
We study the fused $SU(2)$ models put forward by Date et al., that are a series of models with arbitrary number of blocks, which is the degree of the polynomial equation obeyed by the Boltzmann weights. We demonstrate by a direct calculation that a version of BMW (Birman--Murakami--Wenzl) algebra is obeyed by five, six and seven blocks models, conjecturing that it is part of the algebra valid for any model with more than two blocks. To establish this conjecture, we assume that a certain ansatz holds for the baxterization of the models. We use the Yang--Baxter equation to describe explicitly the algebra for five blocks, obtaining $19$ additional non--trivial relations. We name this algebra 5--CB (Conformal Braiding) algebra. Our method can be utilized to describe the algebra for any solvable model of this type and for any number of blocks.
△ Less
Submitted 19 July, 2020; v1 submitted 25 January, 2020;
originally announced January 2020.
-
The tom Dieck splitting theorem in equivariant motivic homotopy theory
Authors:
David Gepner,
Jeremiah Heller
Abstract:
We establish, in the setting of equivariant motivic homotopy theory for a finite group, a version of tom Dieck's splitting theorem for the fixed points of a suspension spectrum. Along the way we establish structural results and constructions for equivariant motivic homotopy theory of independent interest. This includes geometric fixed point functors and the motivic Adams isomorphism.
We establish, in the setting of equivariant motivic homotopy theory for a finite group, a version of tom Dieck's splitting theorem for the fixed points of a suspension spectrum. Along the way we establish structural results and constructions for equivariant motivic homotopy theory of independent interest. This includes geometric fixed point functors and the motivic Adams isomorphism.
△ Less
Submitted 24 October, 2019;
originally announced October 2019.
-
The 4--CB Algebra and Solvable Lattice Models
Authors:
Vladimir Belavin,
Doron Gepner,
Jian--Rong Li,
Ran Tessler
Abstract:
We study the algebras underlying solvable lattice models of the type fusion interaction round the face (IRF). We propose that the algebras are universal, depending only on the number of blocks, which is the degree of polynomial equation obeyed by the Boltzmann weights. Using the Yang--Baxter equation and the ansatz for the Baxterization of the models, we show that the three blocks models obey a ve…
▽ More
We study the algebras underlying solvable lattice models of the type fusion interaction round the face (IRF). We propose that the algebras are universal, depending only on the number of blocks, which is the degree of polynomial equation obeyed by the Boltzmann weights. Using the Yang--Baxter equation and the ansatz for the Baxterization of the models, we show that the three blocks models obey a version of Birman--Murakami--Wenzl (BMW) algebra. For four blocks, we conjecture that the algebra is the BMW algebra with a different skein relation, along with one additional relation, and we provide evidence for this conjecture. We connect these algebras to knot theory by conjecturing new link invariants. The link invariants, in the case of four blocks, depend on three arbitrary parameters. We check our result for $G_2$ model with the seven dimensional representation and for $SU(2)$ with the isospin $3/2$ representation, which are both four blocks theories.
△ Less
Submitted 5 September, 2019;
originally announced September 2019.
-
An Introduction to Higher Categorical Algebra
Authors:
David Gepner
Abstract:
This article is a survey of algebra in the $\infty$-categorical context, as developed by Lurie in "Higher Algebra", and is a chapter in the "Handbook of Homotopy Theory". We begin by introducing symmetric monoidal stable $\infty$-categories, such as the derived $\infty$-category of a commutative ring, before turning to our main example, the $\infty$-category of spectra. We then go on to consider r…
▽ More
This article is a survey of algebra in the $\infty$-categorical context, as developed by Lurie in "Higher Algebra", and is a chapter in the "Handbook of Homotopy Theory". We begin by introducing symmetric monoidal stable $\infty$-categories, such as the derived $\infty$-category of a commutative ring, before turning to our main example, the $\infty$-category of spectra. We then go on to consider ring spectra and their $\infty$-categories of modules, as well as basic constructions such as localization, completion, and dualizability. We conclude with a brief account of the cotangent complex and deformation theory.
△ Less
Submitted 5 July, 2019;
originally announced July 2019.
-
On the Algebraic Approach to Solvable Lattice Models
Authors:
Vladimir Belavin,
Doron Gepner
Abstract:
We treat here interaction round the face (IRF) solvable lattice models. We study the algebraic structures underlining such models. For the three block case, we show that the Yang Baxter equation is obeyed, if and only if, the Birman--Murakami--Wenzl (BMW) algebra is obeyed. We prove this by an algebraic expansion of the Yang Baxter equation (YBE). For four blocks IRF models, we show that the BMW a…
▽ More
We treat here interaction round the face (IRF) solvable lattice models. We study the algebraic structures underlining such models. For the three block case, we show that the Yang Baxter equation is obeyed, if and only if, the Birman--Murakami--Wenzl (BMW) algebra is obeyed. We prove this by an algebraic expansion of the Yang Baxter equation (YBE). For four blocks IRF models, we show that the BMW algebra is also obeyed, apart from the skein relation, which is different. This indicates that the BMW algebra is a sub--algebra for all models with three or more blocks. We find additional relations for the four block algebra using the expansion of the YBE. The four blocks result, that is the BMW algebra and the four blocks skein relation, is enough to define new knot invariant, which depends on three arbitrary parameters, important in knot theory.
△ Less
Submitted 4 January, 2019; v1 submitted 18 October, 2018;
originally announced October 2018.
-
Three Blocks Solvable Lattice Models and Birman--Murakami--Wenzl Algebra
Authors:
Vladimir Belavin,
Doron Gepner
Abstract:
Birman--Murakami--Wenzl (BMW) algebra was introduced in connection with knot theory. We treat here interaction round the face solvable (IRF) lattice models. We assume that the face transfer matrix obeys a cubic polynomial equation, which is called the three block case. We prove that the three block theories all obey the BMW algebra. We exemplify this result by treating in detail the $SU(2)$…
▽ More
Birman--Murakami--Wenzl (BMW) algebra was introduced in connection with knot theory. We treat here interaction round the face solvable (IRF) lattice models. We assume that the face transfer matrix obeys a cubic polynomial equation, which is called the three block case. We prove that the three block theories all obey the BMW algebra. We exemplify this result by treating in detail the $SU(2)$ $2\times 2$ fused models, and showing explicitly the BMW structure. We use the connection between the construction of solvable lattice models and conformal field theory. This result is important to the solution of IRF lattice models and the development of new models, as well as to knot theory.
△ Less
Submitted 15 July, 2018;
originally announced July 2018.
-
$\infty$-Operads as Analytic Monads
Authors:
David Gepner,
Rune Haugseng,
Joachim Kock
Abstract:
We develop an $\infty$-categorical version of the classical theory of polynomial and analytic functors, initial algebras, and free monads. Using this machinery, we provide a new model for $\infty$-operads, namely $\infty$-operads as analytic monads. We justify this definition by proving that the $\infty$-category of analytic monads is equivalent to that of dendroidal Segal spaces, known to be equi…
▽ More
We develop an $\infty$-categorical version of the classical theory of polynomial and analytic functors, initial algebras, and free monads. Using this machinery, we provide a new model for $\infty$-operads, namely $\infty$-operads as analytic monads. We justify this definition by proving that the $\infty$-category of analytic monads is equivalent to that of dendroidal Segal spaces, known to be equivalent to the other existing models for $\infty$-operads.
△ Less
Submitted 29 October, 2020; v1 submitted 18 December, 2017;
originally announced December 2017.
-
Generalized Rogers Ramanujan Identities for Twisted Affine Algebras
Authors:
Arel Genish,
Doron Gepner
Abstract:
The characters of parafermionic conformal field theories are given by the string functions of affine algebras, which are either twisted or untwisted algebras. Expressions for these characters as generalized Rogers Ramanujan algebras have been established for the untwisted affine algebras. However, we study the identities for the string functions of twisted affine Lie algebras. Conjectures for the…
▽ More
The characters of parafermionic conformal field theories are given by the string functions of affine algebras, which are either twisted or untwisted algebras. Expressions for these characters as generalized Rogers Ramanujan algebras have been established for the untwisted affine algebras. However, we study the identities for the string functions of twisted affine Lie algebras. Conjectures for the string functions was proposed by Hatayama et al., for the unit fields, which expresses the string functions as Rogers Ramanujan type sums. Here we propose to check the Hatayama et al. conjecture, using Lie algebraic theoretic methods. We use Freudenthal's formula, which we computerized, to verify the identities for all the algebras at low rank and low level. We find complete agreement with the conjecture.
△ Less
Submitted 8 April, 2017;
originally announced April 2017.
-
K-theoretic obstructions to bounded t-structures
Authors:
Benjamin Antieau,
David Gepner,
Jeremiah Heller
Abstract:
Schlichting conjectured that the negative K-groups of small abelian categories vanish and proved this for noetherian abelian categories and for all abelian categories in degree $-1$. The main results of this paper are that $K_{-1}(E)$ vanishes when $E$ is a small stable $\infty$-category with a bounded t-structure and that $K_{-n}(E)$ vanishes for all $n\geq 1$ when additionally the heart of $E$ i…
▽ More
Schlichting conjectured that the negative K-groups of small abelian categories vanish and proved this for noetherian abelian categories and for all abelian categories in degree $-1$. The main results of this paper are that $K_{-1}(E)$ vanishes when $E$ is a small stable $\infty$-category with a bounded t-structure and that $K_{-n}(E)$ vanishes for all $n\geq 1$ when additionally the heart of $E$ is noetherian. It follows that Barwick's theorem of the heart holds for nonconnective K-theory spectra when the heart is noetherian. We give several applications, to non-existence results for bounded t-structures and stability conditions, to possible K-theoretic obstructions to the existence of the motivic t-structure, and to vanishing results for the negative K-groups of a large class of dg algebras and ring spectra.
△ Less
Submitted 7 December, 2018; v1 submitted 23 October, 2016;
originally announced October 2016.
-
Brauer groups and Galois cohomology of commutative ring spectra
Authors:
David Gepner,
Tyler Lawson
Abstract:
In this paper we develop methods for classifying Baker-Richter-Szymik's Azumaya algebras over a commutative ring spectrum, especially in the largely inaccessible case where the ring is nonconnective. We give obstruction-theoretic tools, constructing and classifying these algebras and their automorphisms with Goerss-Hopkins obstruction theory, and give descent-theoretic tools, applying Lurie's work…
▽ More
In this paper we develop methods for classifying Baker-Richter-Szymik's Azumaya algebras over a commutative ring spectrum, especially in the largely inaccessible case where the ring is nonconnective. We give obstruction-theoretic tools, constructing and classifying these algebras and their automorphisms with Goerss-Hopkins obstruction theory, and give descent-theoretic tools, applying Lurie's work on $\infty$-categories to show that a finite Galois extension of rings in the sense of Rognes becomes a homotopy fixed-point equivalence on Brauer spaces.
For even-periodic ring spectra $E$, we find that the "algebraic" Azumaya algebras whose coefficient ring is projective are governed by the Brauer-Wall group of $π_0(E)$, recovering a result of Baker-Richter-Szymik. This allows us to calculate many examples. For example, we find that the algebraic Azumaya algebras over Lubin-Tate spectra have either 4 or 2 Morita equivalence classes depending on whether the prime is odd or even, that all algebraic Azumaya algebras over the complex K-theory spectrum $KU$ are Morita trivial, and that the group of the Morita classes of algebraic Azumaya algebras over the localization $KU[1/2]$ is $\Bbb Z/8 \times \Bbb Z/2$.
Using our descent results and an obstruction theory spectral sequence, we also study Azumaya algebras over the real K-theory spectrum $KO$ which become Morita-trivial $KU$-algebras. We show that there exist exactly two Morita equivalence classes of these. The nontrivial Morita equivalence class is realized by an "exotic" $KO$-algebra with the same coefficient ring as $End_{KO}(KU)$. This requires a careful analysis of what happens in the homotopy fixed-point spectral sequence for the Picard space of $KU$, previously studied by Mathew and Stojanoska.
△ Less
Submitted 5 July, 2016;
originally announced July 2016.
-
The $SU(r)_2$ string functions as $q$-diagrams
Authors:
Arel Genish,
Doron Gepner
Abstract:
A GRR expression for the characters of $A$-type parafermions has been a long standing puzzle dating back to conjectures made regarding some of the characters in the 80's. Not long ago we have put forward such GRR type identities describing any of the level two $ADE$-type generalized parafermions characters at any rank. These characters are the string functions of simply laced Lie algebras at level…
▽ More
A GRR expression for the characters of $A$-type parafermions has been a long standing puzzle dating back to conjectures made regarding some of the characters in the 80's. Not long ago we have put forward such GRR type identities describing any of the level two $ADE$-type generalized parafermions characters at any rank. These characters are the string functions of simply laced Lie algebras at level two as such they are also of mathematical interest. In our last joint paper we presented the complete derivation for the $D$-type generalized parafermions characters identities. Here we generalize our previous discussion and prove the GRR type expressions for the characters of $A$-type generalized parafermions. To prove the $A$-type GRR conjecture we further our study of $q$-diagrams, introduced in our last joint paper, and examine the diagrammatic interpretations of known identities among them Slater identities for the characters of the first minimal model and the Bailey lemma.
△ Less
Submitted 25 November, 2015;
originally announced November 2015.
-
Flat coordinates for Saito Frobenius manifolds and String theory
Authors:
Alexander Belavin,
Doron Gepner,
Yakov Kononov
Abstract:
It was shown in \cite{DVV} for $2d$ topological Conformal field theory (TCFT) \cite{EY,W} and more recently in \cite{BSZ}-\cite{BB2} for the non-critical String theory \cite{P}-\cite{BAlZ} that a number of models of these two types can be exactly solved using their connection with the Frobenius manifold (FM) structure introduced by Dubrovin\cite{Dub}. More precisely these models are connected with…
▽ More
It was shown in \cite{DVV} for $2d$ topological Conformal field theory (TCFT) \cite{EY,W} and more recently in \cite{BSZ}-\cite{BB2} for the non-critical String theory \cite{P}-\cite{BAlZ} that a number of models of these two types can be exactly solved using their connection with the Frobenius manifold (FM) structure introduced by Dubrovin\cite{Dub}. More precisely these models are connected with a special case of FMs, so called Saito Frobenius manifolds (SFM)\cite{Saito} (originally called Flat structure together with the Flat coordinate system), which arise on the space of the versal deformations of the isolated Singularities after choosing of a suitabe so-called Primitive form, and which also arises on the quotient spaces by reflection groups. In this paper we explore the connection of the models of TCFT and non-critical String theory with SFM. The crucial point for obtaining an explicit expression for the correlators is finding the flat coordinates of SFMs as functions of the parameters of the deformed singularity. We suggest a direct way to find the flat coordinates, using the integral representation for the solutions of Gauss-Manin system connected with the corresponding SFM for a simple singularity. Also, we address the possible generalization of our approach for the models investigated in \cite{Gep} which are ${SU(N)_k}/({SU(N-1)_{k+1} \times U(1)})$ Kazama-Suzuki theories \cite{KS}.
△ Less
Submitted 24 February, 2016; v1 submitted 23 October, 2015;
originally announced October 2015.
-
The $\boldsymbol{SO(2r)_2}$ string functions as $\boldsymbol{q}$-diagrams
Authors:
Arel Genish,
Doron Gepner
Abstract:
We discuss our conjecture for simply laced Lie algebras level two string functions of mark one fundamental weights and prove it for the $SO(2r)$ algebra. To prove our conjecture we introduce $q$-diagrams and examine the diagrammatic interpretations of known identities by Euler, Cauchy, Heine, Jacobi and Ramanujan. Interestingly, the diagrammatic approach implies these identities are related in the…
▽ More
We discuss our conjecture for simply laced Lie algebras level two string functions of mark one fundamental weights and prove it for the $SO(2r)$ algebra. To prove our conjecture we introduce $q$-diagrams and examine the diagrammatic interpretations of known identities by Euler, Cauchy, Heine, Jacobi and Ramanujan. Interestingly, the diagrammatic approach implies these identities are related in the sense that they represent the first few terms in an infinite series of diagrammatic identities. Furthermore, these diagrammatic identities entail all the identities needed to prove our conjecture as well as generalise it to all $SO(2r)$ level two string functions. As such, our main objective is proving these series of diagrammatic identities thus extending the works mentioned and establishing our conjecture for the $SO(2r)$ level two string functions.
△ Less
Submitted 28 April, 2015;
originally announced April 2015.
-
Lax colimits and free fibrations in $\infty$-categories
Authors:
David Gepner,
Rune Haugseng,
Thomas Nikolaus
Abstract:
We define and discuss lax and weighted colimits of diagrams in $\infty$-categories and show that the coCartesian fibration associated to a functor is given by its lax colimit. A key ingredient, of independent interest, is a simple characterization of the free Cartesian fibration associated to a a functor of $\infty$-categories. As an application of these results, we prove that lax representable fu…
▽ More
We define and discuss lax and weighted colimits of diagrams in $\infty$-categories and show that the coCartesian fibration associated to a functor is given by its lax colimit. A key ingredient, of independent interest, is a simple characterization of the free Cartesian fibration associated to a a functor of $\infty$-categories. As an application of these results, we prove that lax representable functors are preserved under exponentiation, and also that the total space of a presentable Cartesian fibration between $\infty$-categories is presentable, generalizing a theorem of Makkai and Paré to the $\infty$-categorical setting. Lastly, in the appendix, we observe that pseudofunctors between (2,1)-categories give rise to functors between $\infty$-categories via the Duskin nerve.
△ Less
Submitted 31 October, 2020; v1 submitted 9 January, 2015;
originally announced January 2015.
-
On localization sequences in the algebraic K-theory of ring spectra
Authors:
Benjamin Antieau,
Tobias Barthel,
David Gepner
Abstract:
We identify the $K$-theoretic fiber of a localization of ring spectra in terms of the $K$-theory of the endomorphism algebra spectrum of a Koszul-type complex. Using this identification, we provide a negative answer to a question of Rognes for $n>1$ by comparing the traces of the fiber of the map $K(BP(n))\rightarrow K(E(n))$ and of $K(BP(n-1))$ in rational topological Hochschild homology.
We identify the $K$-theoretic fiber of a localization of ring spectra in terms of the $K$-theory of the endomorphism algebra spectrum of a Koszul-type complex. Using this identification, we provide a negative answer to a question of Rognes for $n>1$ by comparing the traces of the fiber of the map $K(BP(n))\rightarrow K(E(n))$ and of $K(BP(n-1))$ in rational topological Hochschild homology.
△ Less
Submitted 13 July, 2017; v1 submitted 12 December, 2014;
originally announced December 2014.
-
On The Characters of Parafermionic Field Theories
Authors:
Doron Gepner
Abstract:
We study cosets of the type $H_l/U(1)^r$, where $H$ is any Lie algebra at level $l$ and rank $r$. These theories are parafermionic and their characters are related to the string functions, which are generating functions for the multiplicities of weights in the affine representations. An identity for the characters is described, which apply to all the algebras and all the levels. The expression is…
▽ More
We study cosets of the type $H_l/U(1)^r$, where $H$ is any Lie algebra at level $l$ and rank $r$. These theories are parafermionic and their characters are related to the string functions, which are generating functions for the multiplicities of weights in the affine representations. An identity for the characters is described, which apply to all the algebras and all the levels. The expression is of the Rogers Ramanujan type. We verify this conjecture, for many algebras and levels, using Freudenthal Kac formula, which calculates the multiplicities in the affine representations, recursively, up to some grade. Our conjecture encapsulates all the known results about these string functions, along with giving a vast wealth of new ones.
△ Less
Submitted 7 October, 2014;
originally announced October 2014.
-
Level Two String Functions and Rogers Ramanujan Type Identities
Authors:
A. Genish,
D. Gepner
Abstract:
The level two string functions are calculated exactly for all simply laced Lie algebras, using a ladder coset construction. These are the characters of cosets of the type $G/U(1)^r$, where $G$ is the algebra at level two and $r$ is its rank. This coset is a theory of generalized parafermions. A conjectured Rogers Ramanujan type identity is described for these characters. Using the exact string fun…
▽ More
The level two string functions are calculated exactly for all simply laced Lie algebras, using a ladder coset construction. These are the characters of cosets of the type $G/U(1)^r$, where $G$ is the algebra at level two and $r$ is its rank. This coset is a theory of generalized parafermions. A conjectured Rogers Ramanujan type identity is described for these characters. Using the exact string functions, we verify the Rogers Ramanujan type expressions, that are the main focus of this work.
△ Less
Submitted 6 May, 2014;
originally announced May 2014.
-
New String Theories And Their Generation Number
Authors:
Arel Genish,
Doron Gepner
Abstract:
New heterotic string theories in four dimensions are constructed by tensoring a nonstandard SCFT along with some minimal SCFT's. All such theories are identified and their particle generation number is found. We prove that from the infinite number of new heterotic string theories only the {6} theory predicts three generations as seen in nature which makes it an interesting candidate for further st…
▽ More
New heterotic string theories in four dimensions are constructed by tensoring a nonstandard SCFT along with some minimal SCFT's. All such theories are identified and their particle generation number is found. We prove that from the infinite number of new heterotic string theories only the {6} theory predicts three generations as seen in nature which makes it an interesting candidate for further study.
△ Less
Submitted 30 April, 2014;
originally announced April 2014.
-
An $\infty$-categorical approach to $R$-line bundles, $R$-module Thom spectra, and twisted $R$-homology
Authors:
Matthew Ando,
Andrew J. Blumberg,
David Gepner,
Michael J. Hopkins,
Charles Rezk
Abstract:
We develop a generalization of the theory of Thom spectra using the language of infinity categories. This treatment exposes the conceptual underpinnings of the Thom spectrum functor: we use a new model of parametrized spectra, and our definition is motivated by the geometric definition of Thom spectra of May-Sigurdsson. For an associative ring spectrum $R$, we associate a Thom spectrum to a map of…
▽ More
We develop a generalization of the theory of Thom spectra using the language of infinity categories. This treatment exposes the conceptual underpinnings of the Thom spectrum functor: we use a new model of parametrized spectra, and our definition is motivated by the geometric definition of Thom spectra of May-Sigurdsson. For an associative ring spectrum $R$, we associate a Thom spectrum to a map of infinity categories from the infinity groupoid of a space $X$ to the infinity category of free rank one $R$-modules, which we show is a model for $BGL_1 R$; we show that $BGL_1 R$ classifies homotopy sheaves of rank one $R$-modules, which we call $R$-line bundles. We use our $R$-module Thom spectrum to define the twisted $R$-homology and cohomology of an $R$-line bundle over a space $X$, classified by a map from $X$ to $BGL_1 R$, and we recover the generalized theory of orientations in this context. In order to compare this approach to the classical theory, we characterize the Thom spectrum functor axiomatically, from the perspective of Morita theory. An earlier version of this paper was part of arXiv:0810.4535.
△ Less
Submitted 17 March, 2014;
originally announced March 2014.
-
Units of ring spectra, orientations, and Thom spectra via rigid infinite loop space theory
Authors:
Matthew Ando,
Andrew J. Blumberg,
David Gepner,
Michael J. Hopkins,
Charles Rezk
Abstract:
We extend the theory of Thom spectra and the associated obstruction theory for orientations in order to support the construction of the string orientation of tmf, the spectrum of topological modular forms. We also develop the analogous theory of Thom spectra and orientations for associative ring spectra. Our work is based on a new model of the Thom spectrum as a derived smash product. An earlier v…
▽ More
We extend the theory of Thom spectra and the associated obstruction theory for orientations in order to support the construction of the string orientation of tmf, the spectrum of topological modular forms. We also develop the analogous theory of Thom spectra and orientations for associative ring spectra. Our work is based on a new model of the Thom spectrum as a derived smash product. An earlier version of this paper was part of arXiv:0810.4535.
△ Less
Submitted 17 March, 2014;
originally announced March 2014.
-
Spectral flow as a map between N=(2,0)-models
Authors:
P. Athanasopoulos,
A. E. Faraggi,
D. Gepner
Abstract:
The space of $(2,0)$ models is of particular interest among all heterotic-string models because it includes the models with the minimal $SO(10)$ unification structure, which is well motivated by the Standard Model of particle physics data. The fermionic $\mathbb{Z}_2\times \mathbb{Z}_2$ heterotic-string models revealed the existence of a new symmetry in the space of string configurations under the…
▽ More
The space of $(2,0)$ models is of particular interest among all heterotic-string models because it includes the models with the minimal $SO(10)$ unification structure, which is well motivated by the Standard Model of particle physics data. The fermionic $\mathbb{Z}_2\times \mathbb{Z}_2$ heterotic-string models revealed the existence of a new symmetry in the space of string configurations under the exchange of spinors and vectors of the $SO(10)$ GUT group, dubbed spinor-vector duality. Such symmetries are important for the understanding of the landscape of string vacua and ultimately for the possible operation of a dynamical vacuum selection mechanism in string theory. In this paper we generalize this idea to arbitrary internal rational Conformal Field Theories (RCFTs). We explain how the spectral flow operator normally acting within a general $(2,2)$ theory can be used as a map between $(2,0)$ models. We describe the details, give an example and propose more simple currents that can be used in a similar way.
△ Less
Submitted 8 July, 2014; v1 submitted 13 March, 2014;
originally announced March 2014.
-
Enriched $\infty$-categories via non-symmetric $\infty$-operads
Authors:
David Gepner,
Rune Haugseng
Abstract:
We set up a general theory of weak or homotopy-coherent enrichment in an arbitrary monoidal $\infty$-category $\mathcal{V}$. Our theory of enriched $\infty$-categories has many desirable properties; for instance, if the enriching $\infty$-category $\mathcal{V}$ is presentably symmetric monoidal then $\mathrm{Cat}^\mathcal{V}_\infty$ is as well. These features render the theory useful even when an…
▽ More
We set up a general theory of weak or homotopy-coherent enrichment in an arbitrary monoidal $\infty$-category $\mathcal{V}$. Our theory of enriched $\infty$-categories has many desirable properties; for instance, if the enriching $\infty$-category $\mathcal{V}$ is presentably symmetric monoidal then $\mathrm{Cat}^\mathcal{V}_\infty$ is as well. These features render the theory useful even when an $\infty$-category of enriched $\infty$-categories comes from a model category (as is often the case in examples of interest, e.g. dg-categories, spectral categories, and $(\infty,n)$-categories). This is analogous to the advantages of $\infty$-categories over more rigid models such as simplicial categories - for example, the resulting $\infty$-categories of functors between enriched $\infty$-categories automatically have the correct homotopy type.
We construct the homotopy theory of $\mathcal{V}$-enriched $\infty$-categories as a certain full subcategory of the $\infty$-category of "many-object associative algebras" in $\mathcal{V}$. The latter are defined using a non-symmetric version of Lurie's $\infty$-operads, and we develop the basics of this theory, closely following Lurie's treatment of symmetric $\infty$-operads. While we may regard these "many-object" algebras as enriched $\infty$-categories, we show that it is precisely the full subcategory of "complete" objects (in the sense of Rezk, i.e. those whose space of objects is equivalent to its space of equivalences) which are local with respect to the class of fully faithful and essentially surjective functors. Lastly, we present some applications of our theory, most notably the identification of associative algebras in $\mathcal{V}$ as a coreflective subcategory of pointed $\mathcal{V}$-enriched $\infty$-categories as well as a proof of a strong version of the Baez-Dolan stabilization hypothesis.
△ Less
Submitted 14 November, 2019; v1 submitted 11 December, 2013;
originally announced December 2013.
-
On The Real Part of a Conformal Field Theory
Authors:
Doron Gepner,
Herve Partouche
Abstract:
Every conformal field theory has the symmetry of taking each field to its adjoint. We consider here the quotient (orbifold) conformal field theory obtained by twisting with respect to this symmetry. A general method for computing such quotients is developed using the coulomb gas representation. Examples of parafermions, $SU(2)$ current algebra and the $N=2$ minimal models are described explicitly.…
▽ More
Every conformal field theory has the symmetry of taking each field to its adjoint. We consider here the quotient (orbifold) conformal field theory obtained by twisting with respect to this symmetry. A general method for computing such quotients is developed using the coulomb gas representation. Examples of parafermions, $SU(2)$ current algebra and the $N=2$ minimal models are described explicitly. The partition functions and the dimensions of the disordered fields are given. This result is a tool for finding new theories.
△ Less
Submitted 31 October, 2013;
originally announced October 2013.
-
Differential function spectra, the differential Becker-Gottlieb transfer, and applications to differential algebraic K-theory
Authors:
Ulrich Bunke,
David Gepner
Abstract:
We develop differential algebraic K-theory for rings of integers in number fields and we construct a cycle map from geometrized bundles of modules over such a ring to the differential algebraic K-theory. We also treat some of the foundational aspects of differential cohomology, including differential function spectra and the differential Becker-Gottlieb transfer. We then state a transfer index con…
▽ More
We develop differential algebraic K-theory for rings of integers in number fields and we construct a cycle map from geometrized bundles of modules over such a ring to the differential algebraic K-theory. We also treat some of the foundational aspects of differential cohomology, including differential function spectra and the differential Becker-Gottlieb transfer. We then state a transfer index conjecture about the equality of the Becker-Gottlieb transfer and the analytic transfer defined by Lott. In support of this conjecture, we derive some non-trivial consequences which are provable by independent means.
△ Less
Submitted 8 February, 2016; v1 submitted 2 June, 2013;
originally announced June 2013.
-
Universality of multiplicative infinite loop space machines
Authors:
David Gepner,
Moritz Groth,
Thomas Nikolaus
Abstract:
We establish a canonical and unique tensor product for commutative monoids and groups in an infinity-category C which generalizes the ordinary tensor product of abelian groups. Using this tensor product we show that E_n-(semi)ring objects in C give rise to E_n-ring spectrum objects in C. In the case that C is the infinity-category of spaces this produces a multiplicative infinite loop space machin…
▽ More
We establish a canonical and unique tensor product for commutative monoids and groups in an infinity-category C which generalizes the ordinary tensor product of abelian groups. Using this tensor product we show that E_n-(semi)ring objects in C give rise to E_n-ring spectrum objects in C. In the case that C is the infinity-category of spaces this produces a multiplicative infinite loop space machine which can be applied to the algebraic K-theory of rings and ring spectra.
The main tool we use to establish these results is the theory of smashing localizations of presentable infinity-categories. In particular, we identify preadditive and additive infinity-categories as the local objects for certain smashing localizations. A central theme is the stability of algebraic structures under basechange; for example, we show Ring(D \otimes C) = Ring(D) \otimes C. Lastly, we also consider these algebraic structures from the perspective of Lawvere algebraic theories in infinity-categories.
△ Less
Submitted 20 May, 2013;
originally announced May 2013.
-
K-theory of endomorphisms via noncommutative motives
Authors:
Andrew J. Blumberg,
David Gepner,
Goncalo Tabuada
Abstract:
In this article we study the K-theory of endomorphisms using noncommutative motives. We start by extending the K-theory of endomorphisms functor from ordinary rings to (stable) infinity categories. We then prove that this extended functor KEnd(-) not only descends to the category of noncommutative motives but moreover becomes co-represented by the noncommutative motive associated to the tensor alg…
▽ More
In this article we study the K-theory of endomorphisms using noncommutative motives. We start by extending the K-theory of endomorphisms functor from ordinary rings to (stable) infinity categories. We then prove that this extended functor KEnd(-) not only descends to the category of noncommutative motives but moreover becomes co-represented by the noncommutative motive associated to the tensor algebra S[t] of the sphere spectrum S. Using this co-representability result, we then classify all the natural transformations of KEnd(-) in terms of an integer plus a fraction between polynomials with constant term 1; this solves a problem raised by Almkvist in the seventies. Finally, making use of the multiplicative co-algebra structure of S[t], we explain how the (rational) Witt vectors can also be recovered from the symmetric monoidal category of noncommutative motives. Along the way we show that the K_0-theory of endomorphisms of a connective ring spectrum R equals the K_0-theory of endomorphisms of the underlying ordinary ring π_0(R).
△ Less
Submitted 5 February, 2013;
originally announced February 2013.
-
Generalized Rogers Ramanujan Identities from AGT Correspondence
Authors:
Alexander Belavin,
Doron Gepner
Abstract:
AGT correspondence and its generalizations attracted a great deal of attention recently. In particular it was suggested that $U(r)$ instantons on $R^4/Z_p$ describe the conformal blocks of the coset ${\cal A}(r,p)=U(1)\times sl(p)_r\times {sl(r)_p\times sl(r)_n\over sl(r)_{n+p}}$, where $n$ is a parameter. Our purpose here is to describe Generalized Rogers Ramanujan (GRR) identities for these cose…
▽ More
AGT correspondence and its generalizations attracted a great deal of attention recently. In particular it was suggested that $U(r)$ instantons on $R^4/Z_p$ describe the conformal blocks of the coset ${\cal A}(r,p)=U(1)\times sl(p)_r\times {sl(r)_p\times sl(r)_n\over sl(r)_{n+p}}$, where $n$ is a parameter. Our purpose here is to describe Generalized Rogers Ramanujan (GRR) identities for these cosets, which expresses the characters as certain $q$ series. We propose that such identities exist for the coset ${\cal A}(r,p)$ for all positive integers $n$ and all $r$ and $p$. We treat here the case of $n=1$ and $r=2$, finding GRR identities for all the characters.
△ Less
Submitted 29 December, 2012;
originally announced December 2012.
-
Brauer groups and étale cohomology in derived algebraic geometry
Authors:
Benjamin Antieau,
David Gepner
Abstract:
In this paper, we study Azumaya algebras and Brauer groups in derived algebraic geometry. We establish various fundamental facts about Brauer groups in this setting, and we provide a computational tool, which we use to compute the Brauer group in several examples. In particular, we show that the Brauer group of the sphere spectrum vanishes, and we use this to prove two uniqueness theorems for the…
▽ More
In this paper, we study Azumaya algebras and Brauer groups in derived algebraic geometry. We establish various fundamental facts about Brauer groups in this setting, and we provide a computational tool, which we use to compute the Brauer group in several examples. In particular, we show that the Brauer group of the sphere spectrum vanishes, and we use this to prove two uniqueness theorems for the stable homotopy category. Our key technical results include the local geometricity, in the sense of Artin n-stacks, of the moduli space of perfect modules over a smooth and proper algebra, the étale local triviality of Azumaya algebras over connective derived schemes, and a local to global principle for the algebraicity of stacks of stable categories.
△ Less
Submitted 1 October, 2012;
originally announced October 2012.
-
Univalence in locally cartesian closed infinity-categories
Authors:
David Gepner,
Joachim Kock
Abstract:
After develo** the basic theory of locally cartesian localizations of presentable locally cartesian closed infinity-categories, we establish the representability of equivalences and show that univalent families, in the sense of Voevodsky, form a poset isomorphic to the poset of bounded local classes, in the sense of Lurie. It follows that every infinity-topos has a hierarchy of "universal" univa…
▽ More
After develo** the basic theory of locally cartesian localizations of presentable locally cartesian closed infinity-categories, we establish the representability of equivalences and show that univalent families, in the sense of Voevodsky, form a poset isomorphic to the poset of bounded local classes, in the sense of Lurie. It follows that every infinity-topos has a hierarchy of "universal" univalent families, indexed by regular cardinals, and that n-topoi have univalent families classifying (n-2)-truncated maps. We show that univalent families are preserved (and detected) by right adjoints to locally cartesian localizations, and use this to exhibit certain canonical univalent families in infinity-quasitopoi (certain infinity-categories of "separated presheaves", introduced here). We also exhibit some more exotic examples of univalent families, illustrating that a univalent family in an n-topos need not be (n-2)-truncated, as well as some univalent families in the Morel--Voevodsky infinity-category of motivic spaces, an instance of a locally cartesian closed infinity-category which is not an n-topos for any $0\leq n\leq\infty$. Lastly, we show that any presentable locally cartesian closed infinity-category is modeled by a combinatorial type-theoretic model category, and conversely that the infinity-category underlying a combinatorial type-theoretic model category is presentable and locally cartesian closed. Under this correspondence, univalent families in presentable locally cartesian closed infinity-categories correspond to univalent fibrations in combinatorial type-theoretic model categories.
△ Less
Submitted 26 May, 2017; v1 submitted 8 August, 2012;
originally announced August 2012.
-
Parametrized spectra, multiplicative Thom spectra, and the twisted Umkehr map
Authors:
Matthew Ando,
Andrew J. Blumberg,
David Gepner
Abstract:
We introduce a general theory of parametrized objects in the setting of infinity categories. Although spaces and spectra parametrized over spaces are the most familiar examples, we establish our theory in the generality of objects of a presentable infinity category parametrized over objects of an infinity topos. We obtain a coherent functor formalism describing the relationship of the various adjo…
▽ More
We introduce a general theory of parametrized objects in the setting of infinity categories. Although spaces and spectra parametrized over spaces are the most familiar examples, we establish our theory in the generality of objects of a presentable infinity category parametrized over objects of an infinity topos. We obtain a coherent functor formalism describing the relationship of the various adjoint functors associated to base-change and symmetric monoidal structures.
Our main applications are to the study of generalized Thom spectra. We obtain fiberwise constructions of twisted Umkehr maps for twisted generalized cohomology theories using a geometric fiberwise construction of Atiyah duality. In order to characterize the algebraic structures on generalized Thom spectra and twisted (co)homology, we characterize the generalized Thom spectrum as a categorification of the well-known adjunction between units and group rings.
△ Less
Submitted 13 July, 2015; v1 submitted 9 December, 2011;
originally announced December 2011.
-
Nonstandard Parafermions and String Compactification
Authors:
Andrei Babichenko,
Doron Gepner
Abstract:
Nonstandard parafermions are built and their central charges and dimensions are calculated. We then construct new N=2 superconformal field theories by tensoring the parafermions with a free boson. We study the spectrum and modular transformations of these theories. Superstring and heterotic strings in four dimensions are then obtained by tensoring the new superconformal field theories along with s…
▽ More
Nonstandard parafermions are built and their central charges and dimensions are calculated. We then construct new N=2 superconformal field theories by tensoring the parafermions with a free boson. We study the spectrum and modular transformations of these theories. Superstring and heterotic strings in four dimensions are then obtained by tensoring the new superconformal field theories along with some minimal models. The generations and antigenerations are studied. We give an example of the $1^2(5,7)$ theory which is shown to have three net generations.
△ Less
Submitted 20 September, 2011; v1 submitted 4 July, 2011;
originally announced July 2011.
-
Actions of Eilenberg-MacLane spaces on K-theory spectra and uniqueness of twisted K-theory
Authors:
Benjamin Antieau,
David Gepner,
José Manuel Gómez
Abstract:
We prove the uniqueness of twisted K-theory in both the real and complex cases using the computation of the K-theories of Eilenberg-MacLane spaces due to Anderson and Hodgkin. As an application of our method, we give some vanishing results for actions of Eilenberg-MacLane spaces on K-theory spectra.
We prove the uniqueness of twisted K-theory in both the real and complex cases using the computation of the K-theories of Eilenberg-MacLane spaces due to Anderson and Hodgkin. As an application of our method, we give some vanishing results for actions of Eilenberg-MacLane spaces on K-theory spectra.
△ Less
Submitted 13 October, 2011; v1 submitted 24 June, 2011;
originally announced June 2011.
-
Uniqueness of the multiplicative cyclotomic trace
Authors:
Andrew J. Blumberg,
David Gepner,
Goncalo Tabuada
Abstract:
Making use of the theory of noncommutative motives, we characterize the topological Dennis trace map as the unique multiplicative natural transformation from algebraic K-theory to topological Hochschild homology (THH) and the cyclotomic trace map as the unique multiplicative lift through topological cyclic homology (TC). Moreover, we prove that the space of all multiplicative structures on algebra…
▽ More
Making use of the theory of noncommutative motives, we characterize the topological Dennis trace map as the unique multiplicative natural transformation from algebraic K-theory to topological Hochschild homology (THH) and the cyclotomic trace map as the unique multiplicative lift through topological cyclic homology (TC). Moreover, we prove that the space of all multiplicative structures on algebraic K-theory is contractible.
We also show that the algebraic K-theory functor from small stable infinity categories to spectra is lax symmetric monoidal, which in particular implies that E_n ring spectra give rise to E_{n-1} ring algebraic K-theory spectra. Along the way, we develop a "multiplicative Morita theory", establishing a symmetric monoidal equivalence between the infinity category of small idempotent-complete stable infinity categories and the Morita localization of the infinity category of spectral categories.
△ Less
Submitted 1 July, 2015; v1 submitted 21 March, 2011;
originally announced March 2011.
-
Nonabelian parafermions and their dimensions
Authors:
Roman Dovgard,
Doron Gepner
Abstract:
We propose a generalization of the Zamolodchikov-Fateev parafermions which are abelian, to nonabelian groups. The fusion rules are given by the tensor product of representations of the group. Using Vafa equations we get the allowed dimensions of the parafermions. We find for simple groups that the dimensions are integers. For cover groups of simple groups, we find, for $n.G.m$, that the dimensions…
▽ More
We propose a generalization of the Zamolodchikov-Fateev parafermions which are abelian, to nonabelian groups. The fusion rules are given by the tensor product of representations of the group. Using Vafa equations we get the allowed dimensions of the parafermions. We find for simple groups that the dimensions are integers. For cover groups of simple groups, we find, for $n.G.m$, that the dimensions are the same as $Z_n$ parafermions. Examples of integral parafermionic systems are studied in detail.
△ Less
Submitted 11 March, 2010;
originally announced March 2010.
-
Twists of K-theory and TMF
Authors:
Matthew Ando,
Andrew J. Blumberg,
David Gepner
Abstract:
We explore an approach to twisted generalized cohomology from the point of view of stable homotopy theory and quasicategory theory provided by arXiv:0810.4535. We explain the relationship to the twisted K-theory provided by Fredholm bundles. We show how our approach allows us to twist elliptic cohomology by degree four classes, and more generally by maps to the four-stage Postnikov system BO<0..…
▽ More
We explore an approach to twisted generalized cohomology from the point of view of stable homotopy theory and quasicategory theory provided by arXiv:0810.4535. We explain the relationship to the twisted K-theory provided by Fredholm bundles. We show how our approach allows us to twist elliptic cohomology by degree four classes, and more generally by maps to the four-stage Postnikov system BO<0...4>. We also discuss Poincare duality and umkehr maps in this setting.
△ Less
Submitted 5 March, 2010; v1 submitted 16 February, 2010;
originally announced February 2010.