-
Drinfel'd Doubles, Twists and All That... in Stringy Geometry and M Theory
Authors:
Aybike Çatal-Özer,
Keremcan Doğan,
Cem Yetişmişoğlu
Abstract:
Drinfel'd double of Lie bialgebroids plays an important role in T-duality of string theories. In the presence of $H$ and $R$ fluxes, Lie bialgebroids should be extended to proto Lie bialgebroids. For both cases, the pair is given by two dual vector bundles, and the Drinfel'd double yields a Courant algebroid. However for U-duality, more complicated direct sum decompositions that are not described…
▽ More
Drinfel'd double of Lie bialgebroids plays an important role in T-duality of string theories. In the presence of $H$ and $R$ fluxes, Lie bialgebroids should be extended to proto Lie bialgebroids. For both cases, the pair is given by two dual vector bundles, and the Drinfel'd double yields a Courant algebroid. However for U-duality, more complicated direct sum decompositions that are not described by dual vector bundles appear. In a previous work, we extended the notion of a Lie bialgebroid for vector bundles that are not necessarily dual. We achieved this by introducing a framework of calculus on algebroids and examining compatibility conditions for various algebroid properties in this framework. Here our aim is two-fold: extending our work on bialgebroids to include both $H$- and $R$-twists, and generalizing proto Lie bialgebroids to pairs of arbitrary vector bundles. To this end, we analyze various algebroid axioms and derive twisted compatibility conditions in the presence of twists. We introduce the notion of proto bialgebroids and their Drinfel'd doubles, where the former generalizes both bialgebroids and proto Lie bialgebroids. We also examine the most general form of vector bundle automorphisms of the double, related to twist matrices, that generate a new bracket from a given one. We analyze various examples from both physics and mathematics literatures in our framework.
△ Less
Submitted 18 September, 2024;
originally announced September 2024.
-
Drinfel'd Double of Bialgebroids for String and M Theories: Dual Calculus Framework
Authors:
Aybike Çatal-Özer,
Keremcan Doğan,
Cem Yetişmişoğlu
Abstract:
We extend the notion of Lie bialgebroids for more general bracket structures used in string and M theories. We formalize the notions of calculus and dual calculi on algebroids. We achieve this by reinterpreting the main results of the matched pairs of Leibniz algebroids. By examining a rather general set of fundamental algebroid axioms, we present the compatibility conditions between two calculi o…
▽ More
We extend the notion of Lie bialgebroids for more general bracket structures used in string and M theories. We formalize the notions of calculus and dual calculi on algebroids. We achieve this by reinterpreting the main results of the matched pairs of Leibniz algebroids. By examining a rather general set of fundamental algebroid axioms, we present the compatibility conditions between two calculi on vector bundles which are not dual in the usual sense. Given two algebroids equipped with calculi satisfying the compatibility conditions, we construct its double on their direct sum. This generalizes the Drinfel'd double of Lie bialgebroids. We discuss several examples from the literature including exceptional Courant brackets. Using Nambu-Poisson structures, we construct an explicit example, which is important both from physical and mathematical point of views. This example can be considered as the extension of triangular Lie bialgebroids in the realm of higher Courant algebroids, that automatically satisfy the compatibility conditions. We extend the Poisson generalized geometry by defining Nambu-Poisson exceptional generalized geometry and prove some preliminary results in this framework. We also comment on the global picture in the framework of formal rackoids and we slightly extend the notion for vector bundle valued metrics.
△ Less
Submitted 11 December, 2023;
originally announced December 2023.
-
Pre-Metric-Bourbaki Algebroids: Cartan Calculus for M-Theory
Authors:
Aybike Çatal-Özer,
Tekin Dereli,
Keremcan Doğan
Abstract:
String and M theories seem to require generalizations of usual notions of differential geometry. Such generalizations usually involve extending the tangent bundle to larger vector bundles equipped with various algebroid structures. The most general geometric scheme is not well understood yet, and a unifying framework for such algebroid structures is needed. Our aim in this paper is to propose such…
▽ More
String and M theories seem to require generalizations of usual notions of differential geometry. Such generalizations usually involve extending the tangent bundle to larger vector bundles equipped with various algebroid structures. The most general geometric scheme is not well understood yet, and a unifying framework for such algebroid structures is needed. Our aim in this paper is to propose such a general framework. Our strategy is to follow the hierarchy of defining axioms for a Courant algebroid: almost-Courant - metric - pre-Courant - Courant. In particular, we focus on the symmetric part of the bracket and the metric invariance property, and try to make sense of them in a manner as general as possible. These ideas lead us to define new algebroid structures which we dub Bourbaki and metric-Bourbaki algebroids. For a special case of exact pre-metric-Bourbaki algebroids, we construct maps which generalize the Cartan calculus of exterior derivative, Lie derivative and interior product. This is done by a reverse-mathematical analysis of Severa classification of exact Courant algebroids. Abstracting crucial properties of these maps, we define the notion of Bourbaki pre-calculus. Conversely, given a Bourbaki pre-calculus, we construct a pre-metric-Bourbaki algebroid with a standard bracket analogous to Dorfman bracket. We prove that any exact pre-metric-Bourbaki algebroid satisfying certain conditions has to have a bracket that is the twisted version of the standard bracket. We prove that many algebroids from the literature are examples of these new algebroids. One straightforward generalization of our constructions might be done by replacing the tangent bundle with a Lie algebroid A. This step allows us to define A-Bourbaki algebroids and Bourbaki A-pre-calculus, and extend our results, while proving many other algebroids from the literature fit into this framework.
△ Less
Submitted 2 October, 2022;
originally announced October 2022.
-
Statistical Geometry and Hessian Structures on Pre-Leibniz Algebroids
Authors:
Keremcan Doğan
Abstract:
We introduce statistical, conjugate connection and Hessian structures on anti-commutable pre-Leibniz algebroids. Anti-commutable pre-Leibniz algebroids are special cases of local pre-Leibniz algebroids, which are still general enough to include many physically motivated algebroids such as Lie, Courant, metric and higher-Courant algebroids. They create a natural framework for generalizations of dif…
▽ More
We introduce statistical, conjugate connection and Hessian structures on anti-commutable pre-Leibniz algebroids. Anti-commutable pre-Leibniz algebroids are special cases of local pre-Leibniz algebroids, which are still general enough to include many physically motivated algebroids such as Lie, Courant, metric and higher-Courant algebroids. They create a natural framework for generalizations of differential geometric structures on a smooth manifold. The symmetrization of the bracket on an anti-commutable pre-Leibniz algebroid satisfies a certain property depending on a choice of an equivalence class of connections which are called admissible. These admissible connections are shown to be necessary to generalize aforementioned structures on pre-Leibniz algebroids. Consequently, we prove that, provided certain conditions, statistical and conjugate connection structures are equivalent when defined for admissible connections. Moreover, we also show that for `projected-torsion-free' connections, one can generalize Hessian metrics and Hessian structures. We prove that any Hessian structure yields a statistical structure, where these results are completely parallel to the ones in the manifold setting. We also prove a mild generalization of the fundamental theorem of statistical geometry. Moreover, we generalize $α$-connections, strongly conjugate connections and relative torsion operator, and prove some analogous results.
△ Less
Submitted 8 September, 2021;
originally announced September 2021.
-
'Anti-Commutable' Pre-Leibniz Algebroids and Admissible Connections
Authors:
Tekin Dereli,
Keremcan Doğan
Abstract:
The concept of algebroid is convenient for constructions of geometrical frameworks. For example, metric-affine and generalized geometries can be written on Lie and Courant algebroids, respectively. Furthermore, string theories might make use of many other algebroids such as metric algebroids, higher-Courant algebroids, or conformal Courant algebroids. Working on the possibly most general algebroid…
▽ More
The concept of algebroid is convenient for constructions of geometrical frameworks. For example, metric-affine and generalized geometries can be written on Lie and Courant algebroids, respectively. Furthermore, string theories might make use of many other algebroids such as metric algebroids, higher-Courant algebroids, or conformal Courant algebroids. Working on the possibly most general algebroid structure is fruitful as it creates a chance to study all of them at once. Local pre-Leibniz algebroids are such general ones in which metric-connection geometries are possible to construct. Yet, the existence of the locality operator necessitates the modification of torsion and curvature operators to achieve tensorial quantities. In this paper, this modification is explained from the point of view that the modification is applied to the bracket instead. This leads one to consider `anti-commutable' pre-Leibniz algebroids whose bracket satisfies a property defined with respect to a choice of an equivalence class of connections. These `admissible' connections are claimed to be the necessary ones for a geometry on algebroids because one can prove many desirable properties for them. For instance, we prove the first and second Bianchi identities, Ricci identity, Cartan structure equations, the construction of Levi-Civita connections, the decomposition of connection in terms of torsion and non-metricity. These all are possible because the modified bracket becomes anti-symmetric for an admissible connection so that one can apply the machinery of almost- or pre-Lie algebroids. We investigate various algebroid structures from the literature and show that they admit admissible connections which are metric-compatible in some generalized sense. Moreover, we prove that local pre-Leibniz algebroids that are not anti-commutable cannot be equipped with a torsion-free, and in particular Levi-Civita, connection.
△ Less
Submitted 23 August, 2021;
originally announced August 2021.
-
Metric-Connection Geometries on Pre-Leibniz Algebroids: A Search for Geometrical Structure in String Models
Authors:
Tekin Dereli,
Keremcan Dogan
Abstract:
The metric-affine and generalized geometries, respectively, are arguably the appropriate mathematical frameworks for Einstein's theory of gravity and the low-energy effective massless oriented closed bosonic string field theory. In fact, mathematical structures in a metric-affine geometry are written on the tangent bundle, which is itself a Lie algebroid; whereas those in generalized geometries in…
▽ More
The metric-affine and generalized geometries, respectively, are arguably the appropriate mathematical frameworks for Einstein's theory of gravity and the low-energy effective massless oriented closed bosonic string field theory. In fact, mathematical structures in a metric-affine geometry are written on the tangent bundle, which is itself a Lie algebroid; whereas those in generalized geometries introduced as the basis of double field theories, are written on Courant algebroids. The Lie, Courant and the higher Courant algebroids used in exceptional field theories, are all special cases of pre-Leibniz algebroids. Provided with some additional ingredients, the construction of such geometries can all be carried over to regular pre-Leibniz algebroids. We define below the notions of locality structures and locality projectors, which are some such necessary ingredients. In terms of these structures, $E$-metric-connection geometries are constructed with (possibly) a minimum number of assumptions. Certain small gaps in the literature are also filled as we go along. $E$-Koszul connections, as a generalization of Levi-Civita connections, are going to be defined and shown to be helpful for some results including a simple generalization of the fundamental theorem of Riemannian geometry. We also show that metric-affine geometries can be constructed in a unique way as special cases of $E$-metric-connection geometries. Moreover, generalized geometries are shown to follow as special cases, and various properties of linear generalized-connections are proven in the present framework. Similarly, uniqueness of the locality projector in the case of exact Courant algebroids is proven; a result that explains why the curvature operator, defined with a projector in the double field theory literature is a necessity.
△ Less
Submitted 10 June, 2020;
originally announced June 2020.
-
Families of sequences with good family complexity and cross-correlation measure
Authors:
Kenan Doğan,
Murat Şahin,
Oğuz Yayla
Abstract:
In this paper we study pseudorandomness of a family of sequences in terms of two measures, the family complexity ($f$-complexity) and the cross-correlation measure of order $\ell$. We consider sequences not only on binary alphabet but also on $k$-symbols ($k$-ary) alphabet. We first generalize some known methods on construction of the family of binary pseudorandom sequences. We prove a bound on th…
▽ More
In this paper we study pseudorandomness of a family of sequences in terms of two measures, the family complexity ($f$-complexity) and the cross-correlation measure of order $\ell$. We consider sequences not only on binary alphabet but also on $k$-symbols ($k$-ary) alphabet. We first generalize some known methods on construction of the family of binary pseudorandom sequences. We prove a bound on the $f$-complexity of a large family of binary sequences of Legendre-symbols of certain irreducible polynomials. We show that this family as well as its dual family have both a large family complexity and a small cross-correlation measure up to a rather large order. Next, we present another family of binary sequences having high $f$-complexity and low cross-correlation measure. Then we extend the results to the family of sequences on $k$-symbols alphabet.
△ Less
Submitted 7 May, 2024; v1 submitted 28 April, 2020;
originally announced April 2020.
-
Convergence analysis for a new faster iteration method
Authors:
Vatan Karakaya,
Yunus Atalan,
Kadri Dogan,
Nour El Houda Bouzara
Abstract:
In this paper, we introduce a new iteration method and show that this iteration method can be used to approximate fixed point of almost contraction mappings. Furthermore, we prove that the new iteration method is equivalent to both Mann iteration method and Picard-Mann hybrid iteration method and also converges faster than Picard-Mann hybrid iteration method for the class of almost contraction map…
▽ More
In this paper, we introduce a new iteration method and show that this iteration method can be used to approximate fixed point of almost contraction mappings. Furthermore, we prove that the new iteration method is equivalent to both Mann iteration method and Picard-Mann hybrid iteration method and also converges faster than Picard-Mann hybrid iteration method for the class of almost contraction mappings. In addition to these we give a table and graphics for support this result. Finally, we prove a data dependence result for almost contraction mappings by using the new iteration method.
△ Less
Submitted 1 November, 2019; v1 submitted 1 July, 2015;
originally announced July 2015.
-
Existence of fixed points for condensing operators under an integral condition
Authors:
Vatan Karakaya,
Bouzara Nour El Houda,
Kadri Dogan,
Yunus Atalan
Abstract:
Our aim in this paper is to present results of existence of fixed points for continuous operators in Banach spaces using measure of noncompactness under an integral condition. This results are generalization of results given by A. Aghajania and M. Aliaskaria which are generalization of Darbo's fixed point theorem. As application we use these results to solve an integral equations in Banach spaces.
Our aim in this paper is to present results of existence of fixed points for continuous operators in Banach spaces using measure of noncompactness under an integral condition. This results are generalization of results given by A. Aghajania and M. Aliaskaria which are generalization of Darbo's fixed point theorem. As application we use these results to solve an integral equations in Banach spaces.
△ Less
Submitted 1 July, 2015;
originally announced July 2015.
-
On some strong convergence results of a new Halpern-type iterative process for quasi-nonexpansive mappings and accretive operators in Banach spaces
Authors:
K. Dogan,
V. Karakaya
Abstract:
In this study, we introduce a new iterative processes to approximate common fixed points of an infinite family of quasi-nonexpansive mappings and obtain a strongly convergent iterative sequence to the common fixed points of these mappings in a uniformly convex Banach space. Also we prove that this process to approximate zeros of an infinite family of accretive operators and we obtain a strong conv…
▽ More
In this study, we introduce a new iterative processes to approximate common fixed points of an infinite family of quasi-nonexpansive mappings and obtain a strongly convergent iterative sequence to the common fixed points of these mappings in a uniformly convex Banach space. Also we prove that this process to approximate zeros of an infinite family of accretive operators and we obtain a strong convergence result for these operators. Our results improve and generalize many known results in the current literature.
△ Less
Submitted 22 February, 2015;
originally announced February 2015.
