Showing 1–16 of 16 results for author: Bakuradze, M

Isomorphism and stable isomorphism in "real" and "quaternionic" K-theory

Authors: Malkhaz Bakuradze, Ralf Meyer

Abstract: We find lower bounds on the rank of a "real" vector bundle over an involutive space, such that "real" vector bundles of higher rank have a trivial summand and such that a stable isomorphism for such bundles implies ordinary isomorphism. We prove similar lower bounds also for "quaternionic" bundles. These estimates have consequences for the classification of topological insulators with time-reversa… ▽ More We find lower bounds on the rank of a "real" vector bundle over an involutive space, such that "real" vector bundles of higher rank have a trivial summand and such that a stable isomorphism for such bundles implies ordinary isomorphism. We prove similar lower bounds also for "quaternionic" bundles. These estimates have consequences for the classification of topological insulators with time-reversal symmetry. △ Less

Submitted 5 April, 2025; v1 submitted 27 January, 2025; originally announced January 2025.

Comments: 8 pages final version to appear in NYJM, only a few typos were corrected

MSC Class: 19L99 (primary); 19L47; 55S35 (secondary)

Journal ref: New York J. Math. 31, 690-700, https://nyjm.albany.edu/j/2025/31-25.html

Complex cobordism modulo $c_1$-spherical cobordism and related genera

Authors: Malkhaz Bakuradze

Abstract: We prove that the ideal in complex cobordism ring $\MU^*$ generated by the polynomial generators $S=(x_1, x_k, k\geq 3)$ of $c_1$-spherical cobordism ring $W^*$, viewed as elements in $\MU^*$ by forgetful map is prime. Using the Baas-Sullivan theory of cobordism with singularities we define a commutative complex oriented cohomology theory $\MU^*_S(-)$, complex cobordism modulo $c_1$-spherical cobo… ▽ More We prove that the ideal in complex cobordism ring $\MU^*$ generated by the polynomial generators $S=(x_1, x_k, k\geq 3)$ of $c_1$-spherical cobordism ring $W^*$, viewed as elements in $\MU^*$ by forgetful map is prime. Using the Baas-Sullivan theory of cobordism with singularities we define a commutative complex oriented cohomology theory $\MU^*_S(-)$, complex cobordism modulo $c_1$-spherical cobordism, with the coefficient ring $\MU^*/S$. Then any $Σ\subseteq S$ is also regular in $\MU^*$ and therefore gives a multiplicative complex oriented cohomology theory $\MU^*_Σ(-)$. The generators of $W^*[1/2]$ can be specified in such a way that for $Σ=(x_k, k\geq 3)$ the corresponding cohomology is identical to the Abel cohomology, previously constructed in \cite{BUSATO}. Another example corresponding to $Σ=(x_k, k\geq 5)$ gives the coefficient ring of the universal Buchstaber formal group law after tensored by $\mathbb{Z}[1/2]$, i.e., is identical to the scalar ring of the Krichever-Hoehn complex elliptic genus \cite{KR}, \cite{H}. △ Less

Submitted 30 October, 2023; v1 submitted 3 June, 2023; originally announced June 2023.

Comments: 10 pages

MSC Class: 55N22; 55N35

Complex cobordism MU$^*[1/2]$ modulo MSU$^*[1/2]$ and related genera

Authors: Malkhaz Bakuradze

Abstract: This paper presents a commutative complex oriented cohomology theory with coefficients the quotient ring of complex cobordism MU$^*[1/2]$ modulo the ideal generated by any subsequence of any polynomial generators in special unitary cobordism MSU$^*[1/2]$ viewed as elements in MU$^*[1/2]$ by forgetful map. This paper presents a commutative complex oriented cohomology theory with coefficients the quotient ring of complex cobordism MU$^*[1/2]$ modulo the ideal generated by any subsequence of any polynomial generators in special unitary cobordism MSU$^*[1/2]$ viewed as elements in MU$^*[1/2]$ by forgetful map. △ Less

Submitted 27 December, 2022; originally announced December 2022.

Comments: 5 pages

MSC Class: 55N22; 55N35

Polynomial generators of msu*[1/2] related to classifying maps of certain formal group laws

Authors: Malkhaz Bakuradze

Abstract: This paper presents a commutative complex-oriented cohomology theory that realizes the Buchstaber formal group law localized away from 2. Also, the restriction of the classifying map of FB on special unitary cobordism ring localized away from 2 defines a four parameter genus, studied by Hoehn and Totaro. This paper presents a commutative complex-oriented cohomology theory that realizes the Buchstaber formal group law localized away from 2. Also, the restriction of the classifying map of FB on special unitary cobordism ring localized away from 2 defines a four parameter genus, studied by Hoehn and Totaro. △ Less

Submitted 27 December, 2022; v1 submitted 3 July, 2021; originally announced July 2021.

Comments: 14 pages, to be published in Homology Homotopy and Applications

MSC Class: 55N22; 55N35

On vanishing of all fourfold products of the Ray classes in symplectic cobordism

Authors: Malkhaz Bakuradze

Abstract: This note provides certain computations with transfer associated with projective bundles of Spin vector bundles. One aspect is to revise the proof of the main result of \cite{B} which says that all fourfold products of the Ray classes are zero in symplectic cobordism. This note provides certain computations with transfer associated with projective bundles of Spin vector bundles. One aspect is to revise the proof of the main result of \cite{B} which says that all fourfold products of the Ray classes are zero in symplectic cobordism. △ Less

Submitted 16 September, 2019; originally announced September 2019.

Comments: 7 pages

MSC Class: 55N22

On addition theorems related to elliptic integrals

Authors: Malkhaz Bakuradze, Vladimir Vershinin

Abstract: This paper provides some explicit formulas related to addition theorems for elliptic integrals $\int_0^x dt/R(t)$, where $R(t)$ is the square root from a polynomial of degree 4. These integrals are related to complex elliptic genera and are motivated by Euler's addition theorem for elliptic integrals of the first kind. This paper provides some explicit formulas related to addition theorems for elliptic integrals $\int_0^x dt/R(t)$, where $R(t)$ is the square root from a polynomial of degree 4. These integrals are related to complex elliptic genera and are motivated by Euler's addition theorem for elliptic integrals of the first kind. △ Less

Submitted 15 July, 2019; v1 submitted 8 December, 2017; originally announced December 2017.

Comments: 12 pages

MSC Class: 55N22

Journal ref: May 2019 | PROCEEDINGS OF THE STEKLOV INSTITUTE OF MATHEMATICS 305 (1) , pp.22-32

All extensions of $C_2$ by $C_{2^{n+1}}\times C_{2^{n+1}}$ are good

Authors: Malkhaz Bakuradze

Abstract: Let $C_{m} $ be a cyclic group of order $m$. We prove that if the group $G$ fits into an extension $1\to C_{2^{n+1}}^2\to G\to C_2\to 1$ then $G$ is good in the sense of Hopkins-Kuhn-Ravenel, i.e., $K(s)^*(BG)$ is evenly generated by transfers of Euler classes of complex representations of subgroups of $G$. Previously this fact was known for $n=1$. Let $C_{m} $ be a cyclic group of order $m$. We prove that if the group $G$ fits into an extension $1\to C_{2^{n+1}}^2\to G\to C_2\to 1$ then $G$ is good in the sense of Hopkins-Kuhn-Ravenel, i.e., $K(s)^*(BG)$ is evenly generated by transfers of Euler classes of complex representations of subgroups of $G$. Previously this fact was known for $n=1$. △ Less

Submitted 6 September, 2016; v1 submitted 13 March, 2016; originally announced March 2016.

Comments: 12 pages

MSC Class: 55N20; 55R12; 55R40

Journal ref: Mar 2020 | HIROSHIMA MATHEMATICAL JOURNAL 50 (1) , pp.1-15

Polynomial behavior of the Honda formal group law

Authors: Malkhaz Bakuradze

Abstract: This note provides the calculation of the formal group law $F(x,y)$ in modulo $p$ Morava $K$-theory at prime $p$ and $s>1$ as an element in $K(s)^*[x][[y]]$ and one application to relevant examples. This note provides the calculation of the formal group law $F(x,y)$ in modulo $p$ Morava $K$-theory at prime $p$ and $s>1$ as an element in $K(s)^*[x][[y]]$ and one application to relevant examples. △ Less

Submitted 20 February, 2016; v1 submitted 13 February, 2015; originally announced February 2015.

Comments: 4 pages, submitted in Journal of Homotopy and Related Structures

MSC Class: 55N22

Journal ref: Jun 2017 | JOURNAL OF HOMOTOPY AND RELATED STRUCTURES 12 (2) , pp.299-304

Morava K-theory rings of the extensions of C_2 by the products of cyclic 2-groups

Authors: Malkhaz Bakuradze, Natia Gachechiladze

Abstract: In \cite{SCH1} Schuster proved that $mod$ 2 Morava $K$-theory $K(s)^*(BG)$ is evenly generated for all groups $G$ of order 32. There exist 51 non-isomorphic groups of order 32. In \cite{H}, these groups are numbered by $1, \cdots ,51$. For the groups $G_{38},\cdots, G_{41}$, that fit in the title, the explicit ring structure is determined in \cite{BJ}. In particular, $K(s)^*(BG)$ is the quotient o… ▽ More In \cite{SCH1} Schuster proved that $mod$ 2 Morava $K$-theory $K(s)^*(BG)$ is evenly generated for all groups $G$ of order 32. There exist 51 non-isomorphic groups of order 32. In \cite{H}, these groups are numbered by $1, \cdots ,51$. For the groups $G_{38},\cdots, G_{41}$, that fit in the title, the explicit ring structure is determined in \cite{BJ}. In particular, $K(s)^*(BG)$ is the quotient of a polynomial ring in 6 variables over $K(s)^*(pt)$ by an ideal generated by explicit polynomials. In this article we present some calculations using the same arguments in combination with a theorem of \cite{B0} on good groups in the sense of Hopkins-Kuhn-Ravenel. In particular, we consider the groups $G_{36},G_{37}$, each isomorphic to a semidirect product $(C_4\times C_2\times C_2)\rtimes C_2$, the group $G_{34}\cong (C_4\times C_4)\rtimes C_2$ and its non-split version $G_{35}$. For these groups the action of $C_2$ is diagonal, i.e., simpler than for the groups $G_{38},\cdots, G_{41}$, however the rings $K(s)^*(BG)$ have the same complexity. △ Less

Submitted 16 April, 2016; v1 submitted 8 December, 2014; originally announced December 2014.

Comments: 16 pages. Accepted in Moscow Math. Journal. arXiv admin note: text overlap with arXiv:1102.3378, arXiv:1412.2274

MSC Class: 55N20; 55R12; 55R40

Journal ref: Oct-dec 2016 | MOSCOW MATHEMATICAL JOURNAL 16 (4) , pp.603-619

Morava k(s)^* -rings of the extensions of C_p by the products of good groups under diagonal action

Authors: Malkhaz Bakuradze

Abstract: This note provides a theorem on good groups in the sense of Hopkins-Kuhn-Ravenel and some relevant examples. This note provides a theorem on good groups in the sense of Hopkins-Kuhn-Ravenel and some relevant examples. △ Less

Submitted 6 December, 2014; originally announced December 2014.

Comments: 5 pages

MSC Class: 55N20; 55R12; 55R40

Affine hom-complexes

Authors: M. Bakuradze, A. Gamkrelidze, J. Gubeladze

Abstract: For two general polytopal complexes the set of face-wise affine maps between them is shown to be a polytopal complex in an algorithmic way. The resulting algorithm for the affine hom-complex is analyzed in detail. There is also a natural tensor product of polytopal complexes, which is the left adjoint functor for Hom. This extends the corresponding facts from single polytopes, systematic study of… ▽ More For two general polytopal complexes the set of face-wise affine maps between them is shown to be a polytopal complex in an algorithmic way. The resulting algorithm for the affine hom-complex is analyzed in detail. There is also a natural tensor product of polytopal complexes, which is the left adjoint functor for Hom. This extends the corresponding facts from single polytopes, systematic study of which was initiated in [6,12]. Explicit examples of computations of the resulting structures are included. In the special case of simplicial complexes, the affine hom-complex is a functorial subcomplex of Kozlov's combinatorial hom-complex [14], which generalizes Lovasz' well-known construction [15] for graphs. △ Less

Submitted 30 March, 2016; v1 submitted 25 July, 2014; originally announced July 2014.

Comments: final version, to appear in Portugaliae Mathematica

MSC Class: 51A10 (Primary); 52A25; 52B70 (Secondary); 55U10

Some explicit expressions concerning formal group laws

Authors: Malkhaz Bakuradze, Mamuka Jibladze

Abstract: This paper provides some explicit expressions concerning the formal group laws of the Brown-Peterson cohomology, the cohomology theory obtained from Brown-Peterson theory by killing all but one Witt symbol, the Morava $K$-theory and the Abel cohomology. This paper provides some explicit expressions concerning the formal group laws of the Brown-Peterson cohomology, the cohomology theory obtained from Brown-Peterson theory by killing all but one Witt symbol, the Morava $K$-theory and the Abel cohomology. △ Less

Submitted 22 February, 2014; v1 submitted 2 October, 2013; originally announced October 2013.

Comments: 11 pages

MSC Class: 55N20; 55N22; 55-04

Journal ref: Jun 2016 | GEORGIAN MATHEMATICAL JOURNAL 23 (2) , pp.157-167

Computing the Krichever genus

Authors: Malkhaz Bakuradze

Abstract: Let $ψ$ denote the genus that corresponds to the formal group law having invariant differential $ω(t)$ equal to $\sqrt{1+p_1t+p_2t^2+p_3t^3+p_4t^4}$ and let $κ$ classify the formal group law strictly isomorphic to the universal formal group law under strict isomorphism $x\CP(x)$. We prove that on the rational complex bordism ring the Krichever-Höhn genus $φ_{KH}$ is the composition… ▽ More Let $ψ$ denote the genus that corresponds to the formal group law having invariant differential $ω(t)$ equal to $\sqrt{1+p_1t+p_2t^2+p_3t^3+p_4t^4}$ and let $κ$ classify the formal group law strictly isomorphic to the universal formal group law under strict isomorphism $x\CP(x)$. We prove that on the rational complex bordism ring the Krichever-Höhn genus $φ_{KH}$ is the composition $ψ\circ κ^{-1}$. We construct certain elements $A_{ij}$ in the Lazard ring and give an alternative definition of the universal Krichever formal group law. We conclude that the coefficient ring of the universal Krichever formal group law is the quotient of the Lazard ring by the ideal generated by all $A_{ij}$, $i,j\geq 3$. △ Less

Submitted 11 September, 2013; v1 submitted 16 April, 2013; originally announced April 2013.

Comments: 6 pages, revised Journal of Homotopy and Related Structures, 2013

MSC Class: 55N22

K^*(BG) rings for groups $G=G_{38},...,G_{41}$ of order 32

Authors: Malkhaz Bakuradze, Mamuka Jibladze

Abstract: B. Schuster \cite{SCH1} proved that the $mod$ 2 Morava $K$-theory $K(s)^*(BG)$ is evenly generated for all groups $G$ of order 32. For the four groups $G$ with the numbers 38, 39, 40 and 41 in the Hall-Senior list \cite{H}, the ring $K(2)^*(BG)$ has been shown to be generated as a $K(2)^*$-module by transferred Euler classes. In this paper, we show this for arbitrary $s$ and compute the ring struc… ▽ More B. Schuster \cite{SCH1} proved that the $mod$ 2 Morava $K$-theory $K(s)^*(BG)$ is evenly generated for all groups $G$ of order 32. For the four groups $G$ with the numbers 38, 39, 40 and 41 in the Hall-Senior list \cite{H}, the ring $K(2)^*(BG)$ has been shown to be generated as a $K(2)^*$-module by transferred Euler classes. In this paper, we show this for arbitrary $s$ and compute the ring structure of $K(s)^*(BG)$. Namely, we show that $K(s)^*(BG)$ is the quotient of a polynomial ring in 6 variables over $K(s)^*(pt)$ by an ideal for which we list explicit generators. △ Less

Submitted 26 November, 2013; v1 submitted 16 February, 2011; originally announced February 2011.

Comments: 23 pages

MSC Class: 55R20; 55R12; 55R40

Mod 2 Morava K-theory for Frobenius complements of exponent dividing 2^n 9

Authors: Malkhaz Bakuradze

Abstract: We determine the cohomology rings K(s)*(BG) at 2 for all finite Frobenius complements G of exponent dividing 2n 9. We determine the cohomology rings K(s)*(BG) at 2 for all finite Frobenius complements G of exponent dividing 2n 9. △ Less

Submitted 13 January, 2011; originally announced January 2011.

MSC Class: 55N20

Transfer and complex oriented cohomology rings

Authors: Malkhaz Bakuradze, Stewart Priddy

Abstract: For finite coverings we elucidate the interaction between transferred Chern classes and Chern classes of transferred bundles. This involves computing the ring structure for the complex oriented cohomology of various homotopy orbit spaces. In turn these results provide universal examples for computing the stable Euler classes (i.e. Tr^*(1)) and transferred Chern classes for p-fold covers. Applica… ▽ More For finite coverings we elucidate the interaction between transferred Chern classes and Chern classes of transferred bundles. This involves computing the ring structure for the complex oriented cohomology of various homotopy orbit spaces. In turn these results provide universal examples for computing the stable Euler classes (i.e. Tr^*(1)) and transferred Chern classes for p-fold covers. Applications to the classifying spaces of p-groups are given. △ Less

Submitted 12 July, 2003; originally announced July 2003.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol3/agt-3-15.abs.html

MSC Class: 55N22; 55R12

Journal ref: Algebr. Geom. Topol. 3 (2003) 473-509