Showing 1–21 of 21 results for author: Mahanta, S

On The Generalisation of Henstock-Kurzweil Fourier Transform

Authors: S. Mahanta, S. Ray

Abstract: In this paper, a generalised integral called the Laplace integral is defined on unbounded intervals, and some of its properties, including necessary and sufficient condition for differentiating under the integral sign, are discussed. It is also shown that this integral is more general than the Henstock-Kurzweil integral. Finally, the Fourier transform is defined using the Laplace integral, and its… ▽ More In this paper, a generalised integral called the Laplace integral is defined on unbounded intervals, and some of its properties, including necessary and sufficient condition for differentiating under the integral sign, are discussed. It is also shown that this integral is more general than the Henstock-Kurzweil integral. Finally, the Fourier transform is defined using the Laplace integral, and its well-known properties are established. △ Less

Submitted 21 February, 2022; originally announced February 2022.

Comments: 14 pages

MSC Class: 42A38; 26A39

A Generalised Continuous Primitive Integral and Some of Its Applications

Authors: S. Mahanta, S. Ray

Abstract: Using the Laplace derivative a Perron type integral, the Laplace integral, is defined. Moreover, it is shown that this integral includes Perron integral and to show that the inclusion is proper, an example of a function is constructed, which is Laplace integrable but not Perron integrable. Properties of integrals such as fundamental theorem of calculus, Hake's theorem, integration by parts, conver… ▽ More Using the Laplace derivative a Perron type integral, the Laplace integral, is defined. Moreover, it is shown that this integral includes Perron integral and to show that the inclusion is proper, an example of a function is constructed, which is Laplace integrable but not Perron integrable. Properties of integrals such as fundamental theorem of calculus, Hake's theorem, integration by parts, convergence theorems, mean value theorems, the integral remainder form of Taylor's theorem with an estimation of the remainder, are established. It turns out that concerning the Alexiewicz's norm, the space of all Laplace integrable functions is incomplete and contains the set of all polynomials densely. Applications are shown to Poisson integral, a system of generalised ordinary differential equations and higher-order generalised ordinary differential equation. △ Less

Submitted 7 June, 2021; originally announced June 2021.

Comments: 23 pages

MSC Class: 26A39 (Primary) 26A27; 34A06 (Secondary)

Model structure on projective systems of $C^*$-algebras and bivariant homology theories

Authors: Ilan Barnea, Michael Joachim, Snigdhayan Mahanta

Abstract: Using the machinery of weak fibration categories due to Schlank and the first author, we construct a convenient model structure on the pro-category of separable $C^*$-algebras $\mathrm{Pro}(\mathtt{SC^*})$. The opposite of this model category models the $\infty$-category of pointed noncommutative spaces $\mathtt{N}\mathcal{S_*}$ defined by the third author. Our model structure on… ▽ More Using the machinery of weak fibration categories due to Schlank and the first author, we construct a convenient model structure on the pro-category of separable $C^*$-algebras $\mathrm{Pro}(\mathtt{SC^*})$. The opposite of this model category models the $\infty$-category of pointed noncommutative spaces $\mathtt{N}\mathcal{S_*}$ defined by the third author. Our model structure on $\mathrm{Pro}(\mathtt{SC^*})$ extends the well-known category of fibrant objects structure on $\mathtt{SC^*}$. We show that the pro-category $\mathrm{Pro}(\mathtt{SC^*})$ also contains, as a full coreflective subcategory, the category of pro-$C^*$-algebras that are cofiltered limits of separable $C^*$-algebras. By stabilizing our model category we produce a general model categorical formalism for triangulated and bivariant homology theories of $C^*$-algebras (or, more generally, that of pointed noncommutative spaces), whose stable $\infty$-categorical counterparts were constructed earlier by the third author. Finally, we use our model structure to develop a bivariant $\mathrm{K}$-theory for all projective systems of separable $C^*$-algebras generalizing the construction of Bonkat and show that our theory naturally agrees with that of Bonkat under some reasonable assumptions. △ Less

Submitted 30 January, 2017; v1 submitted 18 August, 2015; originally announced August 2015.

Comments: 47 pages; v2 revised according to referee's comments (to appear in New York J. Math.)

MSC Class: 46L85; 46L80; 18E30; 18G55; 55P42; 55N15

Journal ref: New York J. Math., 23, 383-439, 2017

Higher nonunital Quillen K'-theory, KK-dualities and applications to topological $\mathbb{T}$-dualities

Authors: Snigdhayan Mahanta

Abstract: Quillen introduced a new $K'_0$-theory of nonunital rings and showed that, under some assumptions (weaker than the existence of unity), this new theory agrees with the usual algebraic $K^{alg}_0$-theory. For a field $k$ of characteristic $0$, we introduce higher nonunital $K$-theory of $k$-algebras, denoted $KQ$, which extends Quillen's original definition of the $K'_0$ functor. We show that the… ▽ More Quillen introduced a new $K'_0$-theory of nonunital rings and showed that, under some assumptions (weaker than the existence of unity), this new theory agrees with the usual algebraic $K^{alg}_0$-theory. For a field $k$ of characteristic $0$, we introduce higher nonunital $K$-theory of $k$-algebras, denoted $KQ$, which extends Quillen's original definition of the $K'_0$ functor. We show that the $KQ$-theory is Morita invariant and satisfies excision connectively, in a suitable sense, on the category of idempotent $k$-algebras. Using these two properties we show that the $KQ$-theory agrees with the topological $K$-theory of stable $C^*$-algebras. The machinery enables us to produce a DG categorical formalism of topological homological $\mathbb{T}$-duality using bivariant $K$-theory classes. A connection with strong deformations of $C^*$-algebras and some other potential applications to topological field theories are discussed towards the end. △ Less

Submitted 22 March, 2015; originally announced March 2015.

Comments: 24 pages, the manuscript of an article published in 2011. arXiv admin note: text overlap with arXiv:0906.5400

MSC Class: 19Dxx; 46L85; 58B34; 57R56

Journal ref: J. Geom. Phys., 61 (5), 875-889, 2011

$C^*$-algebraic drawings of dendroidal sets

Authors: Snigdhayan Mahanta

Abstract: In recent years the theory of dendroidal sets has emerged as an important framework for higher algebra. In this article we introduce the concept of a $C^*$-algebraic drawing of a dendroidal set. It depicts a dendroidal set as an object in the category of presheaves on $C^*$-algebras. We show that the construction is functorial and, in fact, it is the left adjoint of a Quillen adjunction between co… ▽ More In recent years the theory of dendroidal sets has emerged as an important framework for higher algebra. In this article we introduce the concept of a $C^*$-algebraic drawing of a dendroidal set. It depicts a dendroidal set as an object in the category of presheaves on $C^*$-algebras. We show that the construction is functorial and, in fact, it is the left adjoint of a Quillen adjunction between combinatorial model categories. We use this construction to produce a bridge between the two prominent paradigms of noncommutative geometry via adjunctions of presentable $\infty$-categories, which is the primary motivation behind this article. As a consequence we obtain a single mechanism to construct bivariant homology theories in both paradigms. We propose a (conjectural) roadmap to harmonize algebraic and analytic (or topological) bivariant K-theory. Finally, a method to analyse graph algebras in terms of trees is sketched. △ Less

Submitted 25 May, 2019; v1 submitted 23 January, 2015; originally announced January 2015.

Comments: 28 pages; v2 expanded version with some improvements; v3 revised and added references; v4 some changes according to the suggestions of the referees (to appear in Algebr. Geom. Topol.)

MSC Class: 46L85; 55P48; 55U10; 18D50; 46L87

Journal ref: Algebr. Geom. Topol. 19 (2019) 1171-1206

Colocalizations of noncommutative spectra and bootstrap categories

Authors: Snigdhayan Mahanta

Abstract: We construct a compactly generated and closed symmetric monoidal stable $\infty$-category $\mathtt{NSp'}$ and show that $\mathtt{hNSp'}^{op}$ contains the suspension stable homotopy category of separable $C^*$-algebras $\mathtt{ΣHo^{C^*}}$ constructed by Cuntz-Meyer-Rosenberg as a fully faithful triangulated subcategory. Then we construct two colocalizations of $\mathtt{NSp'}$, namely,… ▽ More We construct a compactly generated and closed symmetric monoidal stable $\infty$-category $\mathtt{NSp'}$ and show that $\mathtt{hNSp'}^{op}$ contains the suspension stable homotopy category of separable $C^*$-algebras $\mathtt{ΣHo^{C^*}}$ constructed by Cuntz-Meyer-Rosenberg as a fully faithful triangulated subcategory. Then we construct two colocalizations of $\mathtt{NSp'}$, namely, $\mathtt{NSp'}[\mathbb{K}^{-1}]$ and $\mathtt{NSp'}[\mathcal{Z}^{-1}]$, both of which are shown to be compactly generated and closed symmetric monoidal. We prove that Kasparov $KK$-category of separable $C^*$-algebras sits inside the homotopy category of $\mathtt{KK_\infty} := \mathtt{NSp'}[\mathbb{K}^{-1}]^{op}$ as a fully faithful triangulated subcategory. Hence $\mathtt{KK_\infty}$ should be viewed as the stable $\infty$-categorical incarnation of Kasparov $KK$-category for arbitrary pointed noncommutative spaces (including nonseparable $C^*$-algebras). As an application we find that the bootstrap category in $\mathtt{hNSp'}[\mathbb{K}^{-1}]$ admits a completely algebraic description. We also construct a $K$-theoretic bootstrap category in $\mathtt{hKK_\infty}$ that extends the construction of the UCT class by Rosenberg-Schochet. Motivated by the algebraization problem we finally analyse a couple of equivalence relations on separable $C^*$-algebras that are introduced via the bootstrap categories in various colocalizations of $\mathtt{NSp'}$. △ Less

Submitted 4 August, 2015; v1 submitted 29 December, 2014; originally announced December 2014.

Comments: 23 pages; v2 introduction rewritten and some other revisions, v3 revised according to referee's comments (to appear in Advances in Mathematics)

MSC Class: 19Dxx; 46L85; 55Nxx; 55P42; 46L35

Journal ref: Adv. Math., 285, 72-100, 2015

Symmetric monoidal noncommutative spectra, strongly self-absorbing $C^*$-algebras, and bivariant homology

Authors: Snigdhayan Mahanta

Abstract: Continuing our project on noncommutative (stable) homotopy we construct symmetric monoidal $\infty$-categorical models for separable $C^*$-algebras $\mathtt{SC^*_\infty}$ and noncommutative spectra $\mathtt{NSp}$ using the framework of Higher Algebra due to Lurie. We study smashing (co)localizations of $\mathtt{SC^*_\infty}$ and $\mathtt{NSp}$ with respect to strongly self-absorbing $C^*$-algebras… ▽ More Continuing our project on noncommutative (stable) homotopy we construct symmetric monoidal $\infty$-categorical models for separable $C^*$-algebras $\mathtt{SC^*_\infty}$ and noncommutative spectra $\mathtt{NSp}$ using the framework of Higher Algebra due to Lurie. We study smashing (co)localizations of $\mathtt{SC^*_\infty}$ and $\mathtt{NSp}$ with respect to strongly self-absorbing $C^*$-algebras. We analyse the homotopy categories of the localizations of $\mathtt{SC^*_\infty}$ and give universal characterizations thereof. We construct a stable $\infty$-categorical model for bivariant connective E-theory and compute the connective E-theory groups of $\mathcal{O}_\infty$-stable $C^*$-algebras. We also introduce and study the nonconnective version of Quillen's nonunital K'-theory in the framework of stable $\infty$-categories. This is done in order to promote our earlier result relating topological $\mathbb{T}$-duality to noncommutative motives to the $\infty$-categorical setup. Finally, we carry out some computations in the case of stable and $\mathcal{O}_\infty$-stable $C^*$-algebras. △ Less

Submitted 28 January, 2016; v1 submitted 17 March, 2014; originally announced March 2014.

Comments: 26 pages; v2 revised in accordance with arXiv:1412.8370, corrections in Sections 3 and 4; v3 minor changes, to appear in J. Noncommut. Geom

MSC Class: 19Dxx; 46L85; 46L80; 55Nxx; 55P42

Journal ref: J. Noncommut. Geom., 10 (4), 1269-1301, 2016

Algebraic K-theory, K-regularity, and T-duality of $\mathcal{O}_\infty$-stable $C^*$-algebras

Authors: Snigdhayan Mahanta

Abstract: We develop an algebraic formalism for topological $\mathbb{T}$-duality. More precisely, we show that topological $\mathbb{T}$-duality actually induces an isomorphism between noncommutative motives that in turn implements the well-known isomorphism between twisted K-theories (up to a shift). In order to establish this result we model topological K-theory by algebraic K-theory. We also construct an… ▽ More We develop an algebraic formalism for topological $\mathbb{T}$-duality. More precisely, we show that topological $\mathbb{T}$-duality actually induces an isomorphism between noncommutative motives that in turn implements the well-known isomorphism between twisted K-theories (up to a shift). In order to establish this result we model topological K-theory by algebraic K-theory. We also construct an $E_\infty$-operad starting from any strongly self-absorbing $C^*$-algebra $\mathcal{D}$. Then we show that there is a functorial topological K-theory symmetric spectrum construction ${\bf K}_Σ^{top}(-)$ on the category of separable $C^*$-algebras, such that ${\bf K}_Σ^{top}(\mathcal{D})$ is an algebra over this operad; moreover, ${\bf K}_Σ^{top}(A\hat{\otimes}\mathcal{D})$ is a module over this algebra. Along the way we obtain a new symmetric spectra valued functorial model for the (connective) topological K-theory of $C^*$-algebras. We also show that $\mathcal{O}_\infty$-stable $C^*$-algebras are K-regular providing evidence for a conjecture of Rosenberg. We conclude with an explicit description of the algebraic K-theory of $ax+b$-semigroup $C^*$-algebras coming from number theory and that of $\mathcal{O}_\infty$-stabilized noncommutative tori. △ Less

Submitted 14 May, 2015; v1 submitted 19 November, 2013; originally announced November 2013.

Comments: 18 pages, Dedicated to Professor Marc A. Rieffel on his 75th birthday; v2 added a section on T-duality; v3 added a new section on strongly self-absorbing operads and reorganised the original material; v4 section 1 expanded and a few corrections in section 3; v5 journal reference, DOI, and a bibitem added

MSC Class: 46L85; 19Dxx; 46L80; 57R56

Journal ref: Math. Phys. Anal. Geom. 18 (2015), no. 1, 18:12

On the Generating Hypothesis in Noncommutative Stable Homotopy

Authors: Snigdhayan Mahanta

Abstract: Freyd's Generating Hypothesis is an important problem in topology with deep structural consequences for finite stable homotopy. Due to its complexity some recent work has examined analogous questions in various other triangulated categories. In this short note we analyze the question in noncommutative stable homotopy, which is a canonical generalization of finite stable homotopy. Along the way we… ▽ More Freyd's Generating Hypothesis is an important problem in topology with deep structural consequences for finite stable homotopy. Due to its complexity some recent work has examined analogous questions in various other triangulated categories. In this short note we analyze the question in noncommutative stable homotopy, which is a canonical generalization of finite stable homotopy. Along the way we also discuss Spanier--Whitehead duality in this extended setup. △ Less

Submitted 5 April, 2017; v1 submitted 8 February, 2013; originally announced February 2013.

Comments: 6 pages; v2 added a Section on Matrix Generating Hypothesis; v3 included Spanier--Whitehead duality discussion and removed some unnecessary material, to appear in Math. Scand; v4 updated references and metadata

MSC Class: 46L85; 55P42

Journal ref: Math. Scand., 116 (2), 301-308, 2015

Noncommutative stable homotopy and stable infinity categories

Authors: Snigdhayan Mahanta

Abstract: The noncommutative stable homotopy category $\mathtt{NSH}$ is a triangulated category that is the universal receptacle for triangulated homology theories on separable $C^*$-algebras. We show that the triangulated category $\mathtt{NSH}$ is topological as defined by Schwede using the formalism of (stable) infinity categories. More precisely, we construct a stable presentable infinity category of no… ▽ More The noncommutative stable homotopy category $\mathtt{NSH}$ is a triangulated category that is the universal receptacle for triangulated homology theories on separable $C^*$-algebras. We show that the triangulated category $\mathtt{NSH}$ is topological as defined by Schwede using the formalism of (stable) infinity categories. More precisely, we construct a stable presentable infinity category of noncommutative spectra and show that $\mathtt{NSH}^{op}$ sits inside its homotopy category as a full triangulated subcategory, from which the above result can be deduced. We also introduce a presentable infinity category of noncommutative pointed spaces that subsumes $C^*$-algebras and define the noncommutative stable (co)homotopy groups of such noncommutative spaces generalizing earlier definitions for separable $C^*$-algebras. The triangulated homotopy category of noncommutative spectra admits (co)products and satisfies Brown representability. These properties enable us to analyse neatly the behaviour of the noncommutative stable (co)homotopy groups with respect to certain (co)limits. Along the way we obtain infinity categorical models for some well-known bivariant homology theories like $\mathrm{KK}$-theory, $\mathrm{E}$-theory, and connective $\mathrm{E}$-theory via suitable (co)localizations. The stable infinity category of noncommutative spectra can also be used to produce new examples of generalized (co)homology theories for noncommutative spaces. △ Less

Submitted 4 June, 2017; v1 submitted 28 November, 2012; originally announced November 2012.

Comments: 26 pages; v2 major revision with some improved results, a mistake in matrix homotopy computation removed, title slightly changed (extended); v3 discussion of semigroup C*-algebras removed and made a part of arXiv:1403.4130, Section 3 rewritten accordingly and the title shortened to reflect the changes; v4 final revision incorporating the referee's corrections; v5 added/updated appendix/references

Report number: ESI preprint 2394 MSC Class: 46Lxx; 18E30; 18G30

Journal ref: J. Topol. Anal., 7 (1), 135-165, 2015

Continuous homotopy invariance of bivariant local cyclic homology for σ-C^*-algebras

Authors: Snigdhayan Mahanta

Abstract: We establish the continuous homotopy invariance of bivariant local cyclic homology on the category of all σ-C^*-algebras. The argument relies vitally on an isomorphism between the smooth and continuous cylinder constructions using a technical criterion due to Meyer. As a consequence we compute the local cyclic homology of the infinite sphere. We establish the continuous homotopy invariance of bivariant local cyclic homology on the category of all σ-C^*-algebras. The argument relies vitally on an isomorphism between the smooth and continuous cylinder constructions using a technical criterion due to Meyer. As a consequence we compute the local cyclic homology of the infinite sphere. △ Less

Submitted 11 September, 2012; v1 submitted 6 February, 2012; originally announced February 2012.

Comments: 6 pages; some material added following the referee's suggestions

MSC Class: 46L80; 46L85

$\mathrm{G}$-theory of $\mathbb{F}_1$-algebras I: the equivariant Nishida problem

Authors: Snigdhayan Mahanta

Abstract: We develop a version of $\mathrm{G}$-theory for an $\mathbb{F}_1$-algebra (i.e., the $\mathrm{K}$-theory of pointed $G$-sets for a pointed monoid $G$) and establish its first properties. We construct a Cartan assembly map to compare the Chu--Morava $\mathrm{K}$-theory for finite pointed groups with our $\mathrm{G}$-theory. We compute the $\mathrm{G}$-theory groups for finite pointed groups in term… ▽ More We develop a version of $\mathrm{G}$-theory for an $\mathbb{F}_1$-algebra (i.e., the $\mathrm{K}$-theory of pointed $G$-sets for a pointed monoid $G$) and establish its first properties. We construct a Cartan assembly map to compare the Chu--Morava $\mathrm{K}$-theory for finite pointed groups with our $\mathrm{G}$-theory. We compute the $\mathrm{G}$-theory groups for finite pointed groups in terms of stable homotopy of some classifying spaces. We introduce certain Loday--Whitehead groups over $\mathbb{F}_1$ that admit functorial maps into classical Whitehead groups under some reasonable hypotheses. We initiate a conjectural formalism using combinatorial Grayson operations to address the Equivariant Nishida Problem - it asks whether $\mathbb{S}^G$ admits operations that endow $\oplus_nπ_{2n}(\mathbb{S}^G)$ with a pre-$λ$-ring structure, where $G$ is a finite group and $\mathbb{S}^G$ is the $G$-fixed point spectrum of the equivariant sphere spectrum. △ Less

Submitted 11 February, 2017; v1 submitted 27 October, 2011; originally announced October 2011.

Comments: 27 pages; v2 introduction rewritten, references added; v3 revised according to the referee's comments (to appear in J. Homotopy Relat. Struct.); v4 section numbers and the title changed according to the published (online) version

MSC Class: 20Mxx; 19Dxx; 55Pxx

Journal ref: J. Homotopy Relat. Struct. 12 (4), 901-930, 2017

Assembly maps with coefficients in topological algebras and the integral K-theoretic Novikov conjecture

Authors: Snigdhayan Mahanta

Abstract: We prove that any countable discrete and torsion free subgroup of a general linear group over an arbitrary field or a similar subgroup of an almost connected Lie group satisfies the integral algebraic K-theoretic (split) Novikov conjecture over \cpt and §, where \cpt denotes the C^*-algebra of compact operators and §denotes the algebra of Schatten class operators. We introduce assembly maps with f… ▽ More We prove that any countable discrete and torsion free subgroup of a general linear group over an arbitrary field or a similar subgroup of an almost connected Lie group satisfies the integral algebraic K-theoretic (split) Novikov conjecture over \cpt and §, where \cpt denotes the C^*-algebra of compact operators and §denotes the algebra of Schatten class operators. We introduce assembly maps with finite coefficients and under an additional hypothesis, we prove that such a group also satisfies the algebraic K-theoretic Novikov conjecture over \bar{\mathbb{Q}} and \mathbb{C} with finite coefficients. For all torsion free Gromov hyperbolic groups G, we demonstrate that the canonical algebra homomorphism \cpt[G]\map C^*_r(G)\hat{\otimes}\cpt induces an isomorphism between their algebraic K-theory groups. △ Less

Submitted 20 June, 2013; v1 submitted 12 July, 2011; originally announced July 2011.

Comments: v2 Exposition improved; one lemma and grant acknowledgement added; v3 some terminology changed and details added, Theorems 4.5 and 4.7 in v3 need an extra hypothesis; v4 abridged version accepted for publication in JHRS

MSC Class: 19D50; 19K35; 46L80

Journal ref: J. Homotopy Relat. Struct., 9 (2), 299-315, 2014

Twisted K-theory, K-homology and bivariant Chern-Connes type character of some infinite dimensional spaces

Authors: Snigdhayan Mahanta

Abstract: We study the twisted K-theory and K-homology of some infinite dimensional spaces, like SU(\infty), in the bivariant setting. Using a general procedure due to Cuntz we construct a bivariant K-theory on the category of separable σ-C^*-algebras that generalizes both twisted K-theory and K-homology of (locally) compact spaces. We construct a bivariant Chern--Connes type character taking values in biva… ▽ More We study the twisted K-theory and K-homology of some infinite dimensional spaces, like SU(\infty), in the bivariant setting. Using a general procedure due to Cuntz we construct a bivariant K-theory on the category of separable σ-C^*-algebras that generalizes both twisted K-theory and K-homology of (locally) compact spaces. We construct a bivariant Chern--Connes type character taking values in bivariant local cyclic homology. We analyse the structure of the dual Chern--Connes character from (analytic) K-homology to local cyclic cohomology under some reasonable hypotheses. We also investigate the twisted periodic cyclic homology via locally convex algebras and the local cyclic homology via C^*-algebras (in the compact case). △ Less

Submitted 14 July, 2013; v1 submitted 25 April, 2011; originally announced April 2011.

Comments: v2. 32 pages, acknowledgements added and some minor changes made (including the title); v3. 34 pages, some changes following the referee's suggestions; v4. references updated, exposition improved, to appear in Kyoto J. Math

MSC Class: 19D55; 19K35; 46L85; 46L87

Journal ref: Kyoto J. Math. 54, no. 3 (2014), 597-640

Operator algebra quantum homogeneous spaces of universal gauge groups

Authors: Snigdhayan Mahanta, Varghese Mathai

Abstract: In this paper, we quantize universal gauge groups such as SU(\infty), as well as their homogeneous spaces, in the sigma-C*-algebra setting. More precisely, we propose concise definitions of sigma-C*-quantum groups and sigma-C*-quantum homogeneous spaces and explain these concepts here. At the same time, we put these definitions in the mathematical context of countably compactly generated spaces as… ▽ More In this paper, we quantize universal gauge groups such as SU(\infty), as well as their homogeneous spaces, in the sigma-C*-algebra setting. More precisely, we propose concise definitions of sigma-C*-quantum groups and sigma-C*-quantum homogeneous spaces and explain these concepts here. At the same time, we put these definitions in the mathematical context of countably compactly generated spaces as well as C*-compact quantum groups and homogeneous spaces. We also study the representable K-theory of these spaces and compute it for the quantum homogeneous spaces associated to the universal gauge group SU(\infty). △ Less

Submitted 26 January, 2011; v1 submitted 29 December, 2010; originally announced December 2010.

Comments: 14 pages. Merged with [arXiv:1011.1073]

MSC Class: 46L80; 58B32; 58B34; 46L65

Journal ref: Lett.Math.Phys.97:263-277,2011

Operator algebra quantum groups of universal gauge groups

Authors: Snigdhayan Mahanta, Varghese Mathai

Abstract: In this paper, we quantize universal gauge groups such as SU(\infty), in the sigma-C*-algebra setting. More precisely, we propose a concise definition of sigma-C*-quantum groups and explain the concept here. At the same time, we put this definition in the mathematical context of countably compactly generated groups as well as C*-compact quantum groups. In this paper, we quantize universal gauge groups such as SU(\infty), in the sigma-C*-algebra setting. More precisely, we propose a concise definition of sigma-C*-quantum groups and explain the concept here. At the same time, we put this definition in the mathematical context of countably compactly generated groups as well as C*-compact quantum groups. △ Less

Submitted 26 January, 2011; v1 submitted 4 November, 2010; originally announced November 2010.

Comments: 5 pages, latex2e. Merged with [arXiv:1012.5893]

MSC Class: 58B32; 58B34; 46L65

Noncommutative correspondence categories, simplicial sets and pro $C^*$-algebras

Authors: Snigdhayan Mahanta

Abstract: We show that a $KK$-equivalence between two unital $C^*$-algebras produces a correspondence between their DG categories of finitely generated projective modules which is a $\mathbf{K}_*$-equivalence, where $\mathbf{K}_*$ is Waldhausen's $K$-theory. We discuss some connections with strong deformations of $C^*$-algebras and homological dualities. Motivated by a construction of Cuntz we associate a… ▽ More We show that a $KK$-equivalence between two unital $C^*$-algebras produces a correspondence between their DG categories of finitely generated projective modules which is a $\mathbf{K}_*$-equivalence, where $\mathbf{K}_*$ is Waldhausen's $K$-theory. We discuss some connections with strong deformations of $C^*$-algebras and homological dualities. Motivated by a construction of Cuntz we associate a pro $C^*$-algebra to any simplicial set. We show that this construction is functorial with respect to proper maps of simplicial sets, that we define, and also respects proper homotopy equivalences. We propose to develop a noncommutative proper homotopy theory in the context of topological algebras. △ Less

Submitted 4 July, 2009; v1 submitted 30 June, 2009; originally announced June 2009.

Comments: A brief discussion on homological $\mathbb{T}$-dualities added. Original material revised and made more concise. Still 24 pages

MSC Class: 18E30;19K35;55P57

Noncommutative Geometry in the Framework of Differential Graded Categories

Authors: Snigdhayan Mahanta

Abstract: In this survey article we discuss a framework of noncommutative geometry with differential graded categories as models for spaces. We outline a construction of the category of noncommutative spaces and also include a discussion on noncommutative motives. We propose a motivic measure with values in a motivic ring. This enables us to introduce certain zeta functions of noncommutative spaces. In this survey article we discuss a framework of noncommutative geometry with differential graded categories as models for spaces. We outline a construction of the category of noncommutative spaces and also include a discussion on noncommutative motives. We propose a motivic measure with values in a motivic ring. This enables us to introduce certain zeta functions of noncommutative spaces. △ Less

Submitted 26 May, 2008; v1 submitted 12 May, 2008; originally announced May 2008.

Comments: 19 pages. Minor corrections and one reference added; to appear in the proceedings volume of AGAQ Istanbul, 2006

Journal ref: Arithmetic and Geometry Around Quantization, Progr. Math., 279, 253-275, 2010

Noncommutative tori and the Riemann-Hilbert correspondence

Authors: Snigdhayan Mahanta, Walter D. van Suijlekom

Abstract: We study the interplay between noncommutative tori and noncommutative elliptic curves through a category of equivariant differential modules on $\mathbb{C}^*$. We functorially relate this category to the category of holomorphic vector bundles on noncommutative tori as introduced by Polishchuk and Schwarz and study the induced map between the corresponding K-theories. In addition, there is a forg… ▽ More We study the interplay between noncommutative tori and noncommutative elliptic curves through a category of equivariant differential modules on $\mathbb{C}^*$. We functorially relate this category to the category of holomorphic vector bundles on noncommutative tori as introduced by Polishchuk and Schwarz and study the induced map between the corresponding K-theories. In addition, there is a forgetful functor to the category of noncommutative elliptic curves of Soibelman and Vologodsky, as well as a forgetful functor to the category of vector bundles on $\mathbb{C}^*$ with regular singular connections. The category that we consider has the nice property of being a Tannakian category, hence it is equivalent to the category of representations of an affine group scheme. Via an equivariant version of the Riemann-Hilbert correspondence we determine this group scheme to be (the algebraic hull of) $\mathbb{Z}^2$. We also obtain a full subcategory of the category of holomorphic bundles of the noncommutative torus, which is equivalent to the category of representations of $\mathbb{Z}$. This group is the proposed topological fundamental group of the noncommutative torus (understood as a degenerate elliptic curve) and we study Nori's notion of étale fundamental group in this context. △ Less

Submitted 29 October, 2008; v1 submitted 8 May, 2007; originally announced May 2007.

Comments: 22 pages with major revisions. Some preliminary material removed. Section 4 on the étale fundamental group of noncommutative tori is entirely new. References changed accordingly, to appear in JNCG

MSC Class: 58B34; 34M50 (Primary) 14A22; 32L05 (Secondary)

Journal ref: J. Noncommut. Geom., 3, 261-287, 2009

Lecture Notes on Noncommutative Algebraic Geometry and Noncommutative Tori

Authors: Snigdhayan Mahanta

Abstract: The first part of these notes gives an introduction to noncommutative projective geometry after Artin--Zhang. The second part provides an overview of the work of Polishchuk that reconciles noncommutative two-tori having real multiplication with the Artin--Zhang setting. The first part of these notes gives an introduction to noncommutative projective geometry after Artin--Zhang. The second part provides an overview of the work of Polishchuk that reconciles noncommutative two-tori having real multiplication with the Artin--Zhang setting. △ Less

Submitted 2 April, 2017; v1 submitted 1 October, 2006; originally announced October 2006.

Comments: Final version - exposition improved; a proof of the derived equivalence added (Prop. 3.8). To appear in the proceedings volume of the "International Workshop on Noncommutative Geometry", IPM, Tehran 2005

MSC Class: 14A22; 18E15; 18E25

Journal ref: An Invitation to Noncommutative Geometry, World Sci. Publ., 355-382, 2008

On some approaches towards non-commutative algebraic geometry

Authors: Snigdhayan Mahanta

Abstract: The works of R. Descartes, I. M. Gelfand and A. Grothendieck have convinced us that commutative rings should be thought of as rings of functions on some appropriate (commutative) spaces. If we try to push this notion forward we reach the realm of Non-commutative Geometry. The confluence of ideas comes here mainly from three seemingly disparate sources, namely, quantum physics, operator algebras… ▽ More The works of R. Descartes, I. M. Gelfand and A. Grothendieck have convinced us that commutative rings should be thought of as rings of functions on some appropriate (commutative) spaces. If we try to push this notion forward we reach the realm of Non-commutative Geometry. The confluence of ideas comes here mainly from three seemingly disparate sources, namely, quantum physics, operator algebras (Connes-style) and algebraic geometry. Following the title of the article, an effort has been made to provide an overview of the third point of view. Since na\" ive efforts to generalize commutative algebraic geometry fail, one goes to the root of the problem and tries to work things out "categorically". This makes the approach a little bit abstract but not abstruse. However, an honest confession must be made at the outset - this write-up is very far from being definitive; hopefully it will provide glimpses of some interesting developments at least. △ Less

Submitted 1 November, 2006; v1 submitted 11 January, 2005; originally announced January 2005.

Comments: 55 pages, some revisions made, misprints removed and references added