Showing 1–6 of 6 results for author: Parsa, A F

Algebraic Semantics for the Logic of Proofs

Authors: Amir Farahmand Parsa, Meghdad Ghari

Abstract: We present algebraic semantics for the classical logic of proofs based on Boolean algebras. We also extend the language of the logic of proofs in order to have a Boolean structure on justification terms and equality predicate on terms. In the end, the completeness theorem and certain generalizations of Stone's representation theorem are obtained for all proposed algebras. We present algebraic semantics for the classical logic of proofs based on Boolean algebras. We also extend the language of the logic of proofs in order to have a Boolean structure on justification terms and equality predicate on terms. In the end, the completeness theorem and certain generalizations of Stone's representation theorem are obtained for all proposed algebras. △ Less

Submitted 26 September, 2021; v1 submitted 21 June, 2021; originally announced June 2021.

Comments: 28 pages

MSC Class: 03B45

Integral structures in extended affine Lie algebras

Authors: Saeid Azam, Amir Farahmand Parsa, Mehdi Izadi Farhadi

Abstract: We construct certain integral structures for the cores of reduced tame extended affine Lie algebras of rank at least 2. One of the main tools to achieve this is a generalization of Chevalley automorphisms in the context of extended affine Lie algebras. As an application, groups of extended affine Lie type associated to the adjoint representation are defined over arbitrary fields. We construct certain integral structures for the cores of reduced tame extended affine Lie algebras of rank at least 2. One of the main tools to achieve this is a generalization of Chevalley automorphisms in the context of extended affine Lie algebras. As an application, groups of extended affine Lie type associated to the adjoint representation are defined over arbitrary fields. △ Less

Submitted 21 June, 2021; v1 submitted 17 June, 2021; originally announced June 2021.

Comments: 45 pages

MSC Class: 17B67; 17B65; 19C99; 20G44; 22E65

On Rigidity of $S$-Arithmetic Kac-Moody Groups

Authors: Amir Farahmand Parsa, Ralf Köhl

Abstract: In this article we investigate rigidity properties of $S$-arithmetic Kac-Moody groups in characteristic $0$. In this article we investigate rigidity properties of $S$-arithmetic Kac-Moody groups in characteristic $0$. △ Less

Submitted 5 March, 2020; originally announced March 2020.

MSC Class: 20G44; 20G25; 51E24

Journal ref: Journal of Lie Theory 30 (2020), No. 1, 009-023

Groups of extended affine Lie type

Authors: Saeid Azam, Amir Farahmand Parsa

Abstract: We construct certain Steinberg groups associated to extended affine Lie algebras and their root systems. Then by the integration methods of Kac and Peterson for integrable Lie algebras, we associate a group to every tame extended affine Lie algebra. Afterwards, we show that the extended affine Weyl group of the ground Lie algebra can be recovered as a quotient group of two subgroups of the group a… ▽ More We construct certain Steinberg groups associated to extended affine Lie algebras and their root systems. Then by the integration methods of Kac and Peterson for integrable Lie algebras, we associate a group to every tame extended affine Lie algebra. Afterwards, we show that the extended affine Weyl group of the ground Lie algebra can be recovered as a quotient group of two subgroups of the group associated to the underlying algebra similar to Kac-Moody groups. △ Less

Submitted 30 March, 2024; v1 submitted 21 August, 2019; originally announced August 2019.

Comments: A few typos are fixed

MSC Class: 17B67; 17B65; 19C99; 20G44; 22E65

Journal ref: Publ. RIMS Kyoto Univ. 55 (2019)

On Rigidity of 3d Asymptotic Symmetry Algebras

Authors: A. Farahmand Parsa, H. R. Safari, M. M. Sheikh-Jabbari

Abstract: We study rigidity and stability of infinite dimensional algebras which are not subject to the Hochschild-Serre factorization theorem. In particular, we consider algebras appearing as asymptotic symmetries of three dimensional spacetimes, the BMS3, u(1) Kac-Moody and Virasoro algebras. We construct and classify the family of algebras which appear as deformations of BMS3, u(1) Kac-Moody and their ce… ▽ More We study rigidity and stability of infinite dimensional algebras which are not subject to the Hochschild-Serre factorization theorem. In particular, we consider algebras appearing as asymptotic symmetries of three dimensional spacetimes, the BMS3, u(1) Kac-Moody and Virasoro algebras. We construct and classify the family of algebras which appear as deformations of BMS3, u(1) Kac-Moody and their central extensions by direct computations and also by cohomological analysis. The Virasoro algebra appears as a specific member in this family of rigid algebras; for this case stabilization procedure is inverse of the Inönü-Wigner contraction relating Virasoro to BMS3 algebra. We comment on the physical meaning of deformation and stabilization of these algebras and relevance of the family of rigid algebras we obtain △ Less

Submitted 3 April, 2019; v1 submitted 21 September, 2018; originally announced September 2018.

Comments: 50 pages, one figure and two tables; v2: minor improvements, references added

Report number: IPM/P-2018/071

Spin Structures of Kac-Moody Type

Authors: Amir Farahmand Parsa

Abstract: We study spin structures on affine Kac-Moody symmetric spaces and obtain sufficient conditions for their existence.\ As a by product of this, we obtain a spin-c representation of certain Kac-Moody quadratic subgroups of type E. We study spin structures on affine Kac-Moody symmetric spaces and obtain sufficient conditions for their existence.\ As a by product of this, we obtain a spin-c representation of certain Kac-Moody quadratic subgroups of type E. △ Less

Submitted 16 September, 2020; v1 submitted 30 October, 2017; originally announced October 2017.

MSC Class: 81R10; 53C35; 20G44; 22E65; 22E67; 58B25; 55R65; 46T05; 46T10