BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Atabey Kaygun

Atabey Kaygun contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.KTmath.RAmath.QAmath.ATmath.COMachine Learningmath.AGmath.CTmath.OA

Trust snapshot

Quick read

Trust 21 - Emerging
12works
0followers
9topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

12 published item(s)

preprint2026arXiv

Geometric Rigidity in Moduli Stacks of Algebras

We study quadratic moduli schemes $X$ of algebra laws on a fixed vector space $W$ under the transport-of-structure action of $GL(W)$ on $Hom(W^{\otimes 2},W)$. We construct an intrinsic three-term deformation complex on $X$ whose fibers encode transverse first-order classes and primary obstructions, and whose cohomology agrees on the operadic loci with the standard low-degree deformation cohomology (à la Gerstenhaber and Nijenhuis--Richardson). We then define a canonical quadratic map $κ^{inc}_{2,μ}\colon H^2_{inc}(μ)\to H^3_{inc}(μ)$ that controls second-order lifts modulo isotriviality. If $μ$ is smooth point in a reduced component and $(κ^{inc}_{2,μ})^{-1}(0)=\{0\}$, then the $G$-orbit of $μ$ is Zariski open in that component. This provides a coordinate-free explanation of Richardson-type geometric rigidity even when the second deformation cohomology does not vanish.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Persistent Homology, Matroids and Cobordisms

The homological information about a filtered simplicial complex over the poset of positive real numbers is often presented by a barcode which depicts the evolution of the associated Betti numbers. However, there is a wonderfully complex combinatorics associated with the homology classes of a filtered complex, and one can do more than just counting them over the index poset. Here, we show that this combinatorial information can be encoded by filtered matroids, or even better, by rooted forests. We also show that these rooted forests can be realized as cobordisms.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

A New Non-archimedean Metric on Persistent Homology

In this article, we define a new non-archimedean metric structure, called cophenetic metric, on persistent homology classes of all degrees. We then show that zeroth persistent homology together with the cophenetic metric and hierarchical clustering algorithms with a number of different metrics do deliver statistically verifiable commensurate topological information based on experimental results we obtained on different datasets. We also observe that the resulting clusters coming from cophenetic distance do shine in terms of different evaluation measures such as silhouette score and the Rand index. Moreover, since the cophenetic metric is defined for all homology degrees, one can now display the inter-relations of persistent homology classes in all degrees via rooted trees.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Enumerating Labeled Graphs that Realize a Fixed Degree Sequence

A finite non-increasing sequence of positive integers $d = (d_1\geq \cdots\geq d_n)$ is called a degree sequence if there is a graph $G = (V,E)$ with $V = \{v_1,\ldots,v_n\}$ and $deg(v_i)=d_i$ for $i=1,\ldots,n$. In that case we say that the graph $G$ realizes the degree sequence $d$. We show that the exact number of labeled graphs that realize a fixed degree sequence satisfies a simple recurrence relation. Using this relation, we then obtain a recursive algorithm for the exact count. We also show that in the case of regular graphs the complexity of our algorithm is better than the complexity of the same enumeration that uses generating functions.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Noncommutative Fibrations

We show that faithfully flat smooth extensions are reduced flat, and therefore, fit into the Jacobi-Zariski exact sequence in Hochschild homology and cyclic (co)homology even when the algebras are noncommutative or infinite dimensional. We observe that such extensions correspond to étale maps of affine schemes, and we propose a definition for generic noncommutative fibrations using distributive laws and homological properties of the induction and restriction functors. Then we show that Galois fibrations do produce the right exact sequence in homology. We then demonstrate the versatility of our model on a geometro-combinatorial example. For a connected unramified covering of a connected graph $G'\to G$, we construct a smooth Galois fibration $\mathcal{A}_{G}\subseteq\mathcal{A}_{G'}$ and calculate the homology of the corresponding local coefficient system.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Jacobi-Zariski Exact Sequence for Hochschild Homology and Cyclic (Co)Homology

We prove that for an inclusion of unital associative but not necessarily commutative algebras $B\subseteq A$ we have long exact sequences in Hochschild homology and cyclic (co)homology akin to the Jacobi-Zariski sequence in André-Quillen homology, provided that the quotient $B$-bimodule $A/B$ is flat. We also prove that for an arbitrary r-flat morphism $f:B\to A$ with an H-unital kernel, one can express the Wodzicki excision sequence and the corresponding Jacobi-Zariski sequence in Hochschild homology and cyclic (co)homology as a single long exact sequence.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Hochschild Cohomology of Reduced Incidence Algebras

We compute the Hochschild cohomology of the reduced incidence algebras such as the algebra of formal power series, the algebra of exponential power series, the algebra of Eulerian power series, and the algebra of formal Dirichlet series. We achieve the result by carrying out the computation on the coalgebra ${\rm Cotor}$-groups of their pre-dual coalgebras. Using the same coalgebraic machinery, we further identify the Hochschild cohomology groups of an incidence algebra associated to a quiver with the ${\rm Ext}$-groups of the incidence algebra associated to a suspension of the quiver.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Hopf-cyclic Cohomology of Quantum Enveloping Algebras

In this paper we calculate both the periodic and non-periodic Hopf-cyclic cohomology of Drinfeld-Jimbo quantum enveloping algebra $U_q(\mathfrak{g})$ for an arbitrary semi-simple Lie algebra $\mathfrak{g}$ with coefficients in a modular pair in involution. We show that its Hochschild cohomology is concentrated in a single degree determined by the rank of the Lie algebra $\mathfrak{g}$.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The Weak Finitistic Dimension of a Path Algebra is Finite

We prove a version of Bass' finitistic dimension conjecture for path algebras over arbitrary directed graphs. It is known that the path algebra of a finite directed graph is hereditary, hence it has finite finitistic dimension, when the graph is acyclic. The case for arbitrary directed graphs is still open. We use flat dimension instead of projective dimension (hence the designation "weak") and show that the weak finitistic dimension of an arbitrary path algebra is finite.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Finite closed coverings of compact quantum spaces

We show that a projective space P^\infty(Z/2) endowed with the Alexandrov topology is a classifying space for finite closed coverings of compact quantum spaces in the sense that any such a covering is functorially equivalent to a sheaf over this projective space. In technical terms, we prove that the category of finitely supported flabby sheaves of algebras is equivalent to the category of algebras with a finite set of ideals that intersect to zero and generate a distributive lattice. In particular, the Gelfand transform allows us to view finite closed coverings of compact Hausdorff spaces as flabby sheaves of commutative C*-algebras over P^\infty(Z/2).

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Global Dimensions of Some Artinian Algebras

In this article we obtain lower and upper bounds for global dimensions of a class of artinian algebras in terms of global dimensions of a finite subset of their artinian subalgebras. Finding these bounds for the global dimension of an artinian algebra $A$ is realized via an explicit algorithm we develop. This algorithm is based on a directed graph (not the Auslander-Reiten quiver) we construct, and it allows us to decide whether an artinian algebra has finite global dimension in good number of cases.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Quantum projective space from Toeplitz cubes

From N-tensor powers of the Toeplitz algebra, we construct a multipullback C*-algebra that is a noncommutative deformation of the complex projective space CP(N). Using Birkhoff's Representation Theorem, we prove that the lattice of kernels of the canonical projections on components of the multipullback C*-algebra is free. This shows that our deformation preserves the freeness of the lattice of subsets generated by the affine covering of the complex projective space.

0 citations0 reviewsNo code linkedOpen access