Showing 1–7 of 7 results for author: Bár, F

The algebraic Novikov spectral sequence for topological modular forms

Authors: J. Francis Baer

Abstract: We compute the $\mathbb{C}$-motivic Adams spectral sequence for $\mathit{mmf}/τ$. Up to reindexing, this spectral sequence is isomorphic to the algebraic Novikov spectral sequence for topological modular forms. We give a full analysis of the inclusion and projection maps which occur in the long exact sequence induced by multiplication by $τ$ on Adams $E_2$-pages. Our computation is totally algebra… ▽ More We compute the $\mathbb{C}$-motivic Adams spectral sequence for $\mathit{mmf}/τ$. Up to reindexing, this spectral sequence is isomorphic to the algebraic Novikov spectral sequence for topological modular forms. We give a full analysis of the inclusion and projection maps which occur in the long exact sequence induced by multiplication by $τ$ on Adams $E_2$-pages. Our computation is totally algebraic and can be used to obtain the $E_2$-page of the Adams-Novikov spectral sequence for topological modular forms in a way that is independent from previous computations using the elliptic curves Hopf algebroid. △ Less

Submitted 8 April, 2024; originally announced April 2024.

Comments: 27 pages, 5 figures. Comments welcome!

MSC Class: 55Q10; 55T15

Towards a geometric theory of integration

Authors: Filip Bár

Abstract: Integration is the final key step when turning an infinitesimal argument into a result applicable to quantities of finite size. Conceptually, it is about combining infinitesimal contributions to a finite whole. We make a first step towards a geometric theory of integration in the context of Synthetic Differential Geometry (SDG) by analysing the differential aspect of the integration process. Start… ▽ More Integration is the final key step when turning an infinitesimal argument into a result applicable to quantities of finite size. Conceptually, it is about combining infinitesimal contributions to a finite whole. We make a first step towards a geometric theory of integration in the context of Synthetic Differential Geometry (SDG) by analysing the differential aspect of the integration process. Starting from two heuristic principles that combine the idea of differential forms as infinitesimal measures while formalising the process of taking infinitesimal differences at the same time we derive a general notion of differential form as an equivariant map from infinitesimal $n$-cuboids to the base ring coordinatising a line. Besides the familiar differential forms introduced by Cartan we discover two new types. We also discover a new differential operator besides the exterior derivative. Analogous to the relationship between the exterior derivative and the Stokes-Cartan integral theorem, this new operator is linked to the generalised Fundamental Theorem of Calculus in higher dimensions, as discussed in prior research. This shows that the Fundamental Theorem is an integral theorem like Stokes-Cartan, but for one of the new types of differential forms. △ Less

Submitted 8 March, 2024; originally announced March 2024.

Comments: 13 pages, 5 figures. Submitted to "Theory and Applications of Categories"

MSC Class: 58A10; 58A03

The Fundamental Theorem of Calculus in higher dimensions

Authors: Filip Bár

Abstract: We generalise the Fundamental Theorem of Calculus to higher dimensions. Our generalisation is based on the observation that the antiderivative of a function of $n$-variables is a solution of a partial differential equation of order $n$ generalising the classical case. The generalised Fundamental Theorem of Calculus then states that the $n$-dimensional integrals over $n$-dimensional axis-parallel r… ▽ More We generalise the Fundamental Theorem of Calculus to higher dimensions. Our generalisation is based on the observation that the antiderivative of a function of $n$-variables is a solution of a partial differential equation of order $n$ generalising the classical case. The generalised Fundamental Theorem of Calculus then states that the $n$-dimensional integrals over $n$-dimensional axis-parallel rectangular hypercuboids is given by a combinatorial formula evaluating the antiderivative on the vertices of the hypercuboid. △ Less

Submitted 22 February, 2024; originally announced February 2024.

Comments: 8 pages, 2 figures

MSC Class: 26B20 (Primary) 58A10; 58A03; 05C15 (Secondary)

Stable Comodule Deformations and the Synthetic Adams-Novikov Spectral Sequence

Authors: J. Francis Baer, Maxwell Johnson, Peter Marek

Abstract: We study the Adams-Novikov spectral sequence in $\mathbb{F}_p$-synthetic spectra, computing the synthetic analogs of $\mathrm{BP}$ and its cooperations to identify the synthetic Adams-Novikov $\mathrm{E}_2$-page, computed in a range with a synthetic algebraic Novikov spectral sequence. We then identify deformations associated to the Cartan-Eilenberg and algebraic Novikov spectral sequences in term… ▽ More We study the Adams-Novikov spectral sequence in $\mathbb{F}_p$-synthetic spectra, computing the synthetic analogs of $\mathrm{BP}$ and its cooperations to identify the synthetic Adams-Novikov $\mathrm{E}_2$-page, computed in a range with a synthetic algebraic Novikov spectral sequence. We then identify deformations associated to the Cartan-Eilenberg and algebraic Novikov spectral sequences in terms of stable comodule categories, categorifying an algebraic Novikov spectral sequence result of Gheorghe-Wang-Xu. We then apply Isaksen-Wang-Xu methods in $\mathbb{F}_p$-synthetic spectra to deduce differentials in the synthetic Adams-Novikov for the sphere, producing almost entirely algebraic computations through the 45-stem. △ Less

Submitted 21 February, 2024; originally announced February 2024.

Comments: 54 pages, 6 figures. Comments welcome!

MSC Class: 55Q10; 55T15

Second-order infinitesimal groups and affine connections

Authors: Filip Bár

Abstract: This paper presents new research in infinitesimal algebra by introducing the concept of an infinitesimal group and exploring its properties and ramifications. The author investigates first- and second-order subgroups of Lie groups and demonstrates the use of the second-order infinitesimal group structure to define a Lie bracket of points intrinsic to the Lie group. This construction allows for the… ▽ More This paper presents new research in infinitesimal algebra by introducing the concept of an infinitesimal group and exploring its properties and ramifications. The author investigates first- and second-order subgroups of Lie groups and demonstrates the use of the second-order infinitesimal group structure to define a Lie bracket of points intrinsic to the Lie group. This construction allows for the derivation of a second-order Baker-Campbell-Hausdorff formula for the infinitesimal group operation and provides a means to reconstruct the Lie bracket of the Lie algebra of a Lie group. The author also characterises all second-order infinitesimal group structures on KL vector spaces as deformations of vector addition by bilinear maps. The main contribution of the paper is the generalisation of the previously established correspondence between symmetric affine connections and second-order infinitesimally affine structures to manifolds with non-symmetric affine connections via second-order infinitesimal groups. △ Less

Submitted 8 May, 2023; originally announced May 2023.

Comments: 26 pages

MSC Class: 51K10; 18F40 (Primary) 18F99; 53B05; 22E20; 22E60 (Secondary)

Gluing of infinitesimal models of algebraic theories

Authors: Filip Bár

Abstract: Categories of models of algebraic theories have good categorical properties except for gluing. Building upon insights and examples from Synthetic Differential Geometry, we introduce a generalisation of models of algebraic theories to infinitesimal models. We demonstrate that the category of infinitesimal models retains most of the good categorical properties, but with a stark improvement in the be… ▽ More Categories of models of algebraic theories have good categorical properties except for gluing. Building upon insights and examples from Synthetic Differential Geometry, we introduce a generalisation of models of algebraic theories to infinitesimal models. We demonstrate that the category of infinitesimal models retains most of the good categorical properties, but with a stark improvement in the behaviour of gluing. This makes infinitesimal models an interesting natural construction with the ability to interpolate between algebra and geometry. △ Less

Submitted 9 May, 2023; v1 submitted 2 May, 2023; originally announced May 2023.

Comments: 18 pages, submitted to the Journal of Pure and Applied Algebra

MSC Class: 18C10 (Primary) 18B99; 18C35; 51K10; 18F40; 18F10 (Secondary)

Affine connections and second-order affine structures

Authors: Filip Bár

Abstract: Smooth manifolds have been always understood intuitively as spaces with an affine geometry on the infinitesimal scale. In Synthetic Differential Geometry this can be made precise by showing that a smooth manifold carries a natural structure of an infinitesimally affine space. This structure is comprised of two pieces of data: a sequence of symmetric and reflexive relations defining the tuples of m… ▽ More Smooth manifolds have been always understood intuitively as spaces with an affine geometry on the infinitesimal scale. In Synthetic Differential Geometry this can be made precise by showing that a smooth manifold carries a natural structure of an infinitesimally affine space. This structure is comprised of two pieces of data: a sequence of symmetric and reflexive relations defining the tuples of mutual infinitesimally close points, called an infinitesimal structure, and an action of affine combinations on these tuples. For smooth manifolds the only natural infinitesimal structure that has been considered so far is the one generated by the first neighbourhood of the diagonal. In this paper we construct natural infinitesimal structures for higher-order neighbourhoods of the diagonal and show that on any manifold any symmetric affine connection extends to a second-order infinitesimally affine structure. △ Less

Submitted 29 August, 2020; v1 submitted 16 September, 2018; originally announced September 2018.

MSC Class: 51K10 (Primary) 03C30; 53B05 (Secondary)

Journal ref: Cahiers de Topologie et Géométrie Différentielle Catégoriques, vol. LXIII, issue 1 (2022) 35-58