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

Alexandru Chirvasitu

Alexandru Chirvasitu contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.OAmath.FAmath.CTmath.QAmath.RTmath.RAmath.GRmath.MGmath.AGmath.COmath.CVmath.DGmath.PRmath.ATmath.SG

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
23works
0followers
15topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

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

23 published item(s)

preprint2024arXiv

Symplectic leaves in projective spaces of bundle extensions

Fix a stable degree-$n$ rank-$k$ bundle $\mathcal{F}$ on a complex elliptic curve for (coprime) $1\le k<n\ge 3$. We identify the symplectic leaves of the Poisson structure introduced independently by Polishchuk and Feigin-Odesskii on $\mathbb{P}^{n-1}\cong \mathbb{P}\mathrm{Ext}^1(\mathcal{F},\mathcal{O})$ as precisely the loci classifying extensions $0\to \mathcal{O}\to \mathcal{E}\to \mathcal{F}\to 0$ with $\mathcal{E}$ fitting into a fixed isomorphism class, verifying a claim of Feigin-Odesskii. We also classify the bundles $\mathcal{E}$ which do fit into such extensions in geometric / combinatorial terms, involving their Harder-Narasimhan polygons introduced by Shatz.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Full quantum crossed products, invariant measures, and type-I lifting

We show that for a closed embedding $\mathbb{H}\le \mathbb{G}$ of locally compact quantum groups (LCQGs) with $\mathbb{G}/\mathbb{H}$ admitting an invariant probability measure, a unitary $\mathbb{G}$-representation is type-I if its restriction to $\mathbb{H}$ is. On a related note, we also prove that if an action $\mathbb{G}\circlearrowright A$ of an LCQG on a unital $C^*$-algebra admits an invariant state then the full group algebra of $\mathbb{G}$ embeds into the resulting full crossed product (and into the multiplier algebra of that crossed product if the original algebra is not unital). We also prove a few other results on crossed products of LCQG actions, some of which seem to be folklore; among them are (a) the fact that two mutually dual quantum-group morphisms produce isomorphic full crossed products, and (b) the fact that full and reduced crossed products by dual-coamenable LCQGs are isomorphic.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Metric enrichment, finite generation, and the path comonad

We prove a number of results involving categories enriched over \textsc{CMet}, the category of complete metric spaces with possibly infinite distances. The category \textsc{CPMet} of intrinsic complete metric spaces is locally $\aleph_1$-presentable, closed monoidal, and comonadic over \textsc{CMet}. We also prove that the category \textsc{CCMet} of convex complete metric spaces is not closed monoidal and characterize the isometry-$\aleph_0$-generated objects in \textsc{CMet}, \textsc{CPMet} and \textsc{CCMet}, answering questions by Di Liberti and Rosický. Other results include the automatic completeness of a colimit of bi-Lipschitz morphisms of complete metric spaces and a characterization of those pairs (metric space, unital $C^*$-algebra) that have a tensor product in the \textsc{CMet}-enriched category of unital $C^*$-algebras.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Monadic forgetful functors and (non-)presentability for $C^*$- and $W^*$-algebras

We prove that the forgetful functors from the categories of $C^*$- and $W^*$-algebras to Banach $*$-algebras, Banach algebras or Banach spaces are all monadic, answering a question of J.Rosický, and that the categories of unital (commutative) $C^*$-algebras are not locally-isometry $\aleph_0$-generated either as plain or as metric-enriched categories, answering a question of I. Di Liberti and Rosický. We also prove a number of negative presentability results for the category of von Neumann algebras: not only is that category not locally presentable, but in fact its only presentable objects are the two algebras of dimension $\le 1$. For the same reason, for a locally compact abelian group $\mathbb{G}$ the category of $\mathbb{G}$-graded von Neumann algebras is not locally presentable.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Non-commutative ambits and equivariant compactifications

We prove that an action $ρ:A\to M(C_0(\mathbb{G})\otimes A)$ of a locally compact quantum group on a $C^*$-algebra has a universal equivariant compactification, and prove a number of other category-theoretic results on $\mathbb{G}$-equivariant compactifications: that the categories compactifications of $ρ$ and $A$ respectively are locally presentable (hence complete and cocomplete), that the forgetful functor between them is a colimit-creating left adjoint, and that epimorphisms therein are surjective and injections are regular monomorphisms. When $\mathbb{G}$ is regular coamenable we also show that the forgetful functor from unital $\mathbb{G}$-$C^*$-algebras to unital $C^*$-algebras creates finite limits and is comonadic, and that the monomorphisms in the former category are injective.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Prescribed graphon symmetries and flavors of rigidity

We prove that an arbitrary compact metrizable group can be realized as the automorphism group of a graphing; this is a continuous analogue to Frucht&#39;s theorem recovering arbitrary finite groups are automorphism groups of finite graphs. The paper also contains a number of results the persistence of transitivity of a compact-group action upon passing to a limit of graphons. Call a compact group $\mathbb{G}$ graphon-rigid if, whenever it acts transitively on each member $Γ_n$ of a convergent sequence of graphons, it also acts transitively on the limit $\lim_n Γ$. We show that for a compact Lie group $\mathbb{G}$ graphon rigidity is equivalent to the identity component $\mathbb{G}_0$ being semisimple; as a partial converse to a result of Lovász and Szegedy, this is also equivalent to weak randomness: the property that the group have only finitely many irreducible representations in each dimension. Similarly, call a compact group $\mathbb{G}$ image-rigid if for every compact Lie group $\mathbb{H}$ the images of morphisms $\mathbb{G}\to \mathbb{H}$ form a closed set (of closed subgroups, in the natural topology). We prove that graphon rigidity implies image rigidity for compact groups that are either connected or profinite, and the two conditions are equivalent (and also equivalent to being torsion) for profinite abelian groups.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Quantum Galois groups of subfactors

For a finite-index $\mathrm{II}_1$ subfactor $N \subset M$, we prove the existence of a universal Hopf $\ast$-algebra (or, a discrete quantum group in the analytic language) acting on $M$ in a trace-preserving fashion and fixing $N$ pointwise. We call this Hopf $\ast$-algebra the quantum Galois group for the subfactor and compute it in some examples of interest, notably for arbitrary irreducible finite-index depth-two subfactors. Along the way, we prove the existence of universal acting Hopf algebras for more general structures (tensors in enriched categories), in the spirit of recent work by Agore, Gordienko and Vercruysse.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Quantum relative modular functions

Let $\mathbb{H}\trianglelefteq\mathbb{G}$ be a closed normal subgroup of a locally compact quantum group. We introduce a strictly positive group-like element affiliated with $L^{\infty}(\mathbb{G})$ that, roughly, measures the failure of $\mathbb{G}$ to act measure-preservingly on $\mathbb{H}$ by conjugation. The triviality of that element is equivalent to the condition that $\mathbb{G}$ and $\mathbb{G}/\mathbb{H}$ have the same modular element, by analogy with the classical situation. This condition is automatic if $\mathbb{H}\le \mathbb{G}$ is central, and in general implies the unimodularity of $\mathbb{H}$. We also describe a bijection between strictly positive group-like elements $δ$ affiliated with $C_0(\mathbb{G})$ and quantum-group morphisms $\mathbb{G}\to (\mathbb{R},+)$, with the closed image of the morphism easily described in terms of the spectrum of $δ$. This then implies that property-(T) locally compact quantum groups admit no non-obvious strictly positive group-like elements.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Random quantum graphs

We prove a number of results to the effect that generic quantum graphs (defined via operator systems as in the work of Duan-Severini-Winter / Weaver) have few symmetries: for a Zariski-dense open set of tuples $(X_1,\cdots,X_d)$ of traceless self-adjoint operators in the $n\times n$ matrix algebra the corresponding operator system has trivial automorphism group, in the largest possible range for the parameters: $2\le d\le n^2-3$. Moreover, the automorphism group is generically abelian in the larger parameter range $1\le d\le n^2-2$. This then implies that for those respective parameters the corresponding random-quantum-graph model built on the GUE ensembles of $X_i$&#39;s (mimicking the Erdős-Rényi $G(n,p)$ model) has trivial/abelian automorphism group almost surely.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Type-I permanence

We prove a number of results on the survival of the type-I property under extensions of locally compact groups: (a) that given a closed normal embedding $\mathbb{N}\trianglelefteq\mathbb{E}$ of locally compact groups and a twisted action $(α,τ)$ thereof on a (post)liminal $C^*$-algebra $A$ the twisted crossed product $A\rtimes_{α,τ}\mathbb{E}$ is again (post)liminal and (b) a number of converses to the effect that under various conditions a normal, closed, cocompact subgroup $\mathbb{N}\trianglelefteq \mathbb{E}$ is type-I as soon as $\mathbb{E}$ is. This happens for instance if $\mathbb{N}$ is discrete and $\mathbb{E}$ is Lie, or if $\mathbb{N}$ is finitely-generated discrete (with no further restrictions except cocompactness). Examples show that there is not much scope for dropping these conditions. In the same spirit, call a locally compact group $\mathbb{G}$ type-I-preserving if all semidirect products $\mathbb{N}\rtimes \mathbb{G}$ are type-I as soon as $\mathbb{N}$ is, and {\it linearly} type-I-preserving if the same conclusion holds for semidirect products $V\rtimes\mathbb{G}$ arising from finite-dimensional $\mathbb{G}$-representations. We characterize the (linearly) type-I-preserving groups that are (1) discrete-by-compact-Lie, (2) nilpotent, or (3) solvable Lie.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

(In)equality distance patterns and embeddability into Hilbert spaces

We show that compact Riemannian manifolds, regarded as metric spaces with their global geodesic distance, cannot contain a number of rigid structures such as (a) arbitrarily large regular simplices or (b) arbitrarily long sequences of points equidistant from pairs of points preceding them in the sequence. All of this provides evidence that Riemannian metric spaces admit what we term loose embeddings into finite-dimensional Euclidean spaces: continuous maps that preserve both equality as well as inequality. We also prove a local-to-global principle for Riemannian-metric-space loose embeddability: if every finite subspace thereof is loosely embeddable into a common $\mathbb{R}^N$, then the metric space as a whole is loosely embeddable into $\mathbb{R}^N$ in a weakened sense.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Higher dualizability and singly-generated Grothendieck categories

Let $k$ be a field. We show that locally presentable, $k$-linear categories $\mathcal{C}$ dualizable in the sense that the identity functor can be recovered as $\coprod_i x_i\otimes f_i$ for objects $x_i\in \mathcal{C}$ and left adjoints $f_i$ from $\mathcal{C}$ to $\mathrm{Vect}_k$ are products of copies of $\mathrm{Vect}_k$. This partially confirms a conjecture by Brandenburg, the author and T. Johnson-Freyd. Motivated by this, we also characterize the Grothendieck categories containing an object $x$ with the property that every object is a copower of $x$: they are precisely the categories of non-singular injective right modules over simple, regular, right self-injective rings of type I or III.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Compact quantum group structures on type-I $\mathrm{C}^*$-algebras

We prove a number of results having to do with equipping type-I $\mathrm{C}^*$-algebras with compact quantum group structures, the two main ones being that such a compact quantum group is necessarily co-amenable, and that if the $\mathrm{C}^*$-algebra in question is an extension of a non-zero finite direct sum of elementary $\mathrm{C}^*$-algebras by a commutative unital $\mathrm{C}^*$-algebra then it must be finite-dimensional.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Non-commutative groups as prescribed polytopal symmetries

We study properties of the realizations of groups as the combinatorial automorphism group of a convex polytope. We show that for any non-abelian group $G$ with a central involution there is a centrally symmetric polytope with $G$ as its combinatorial automorphisms. We show that for each integer $n$, there are groups that cannot be realized as the combinatorial automorphisms of convex polytopes of dimension at most $n$. We also give an optimal lower bound for the dimension of the realization of a group as the group of isometries that preserves a convex polytope.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Property (T), property (F) and residual finiteness for discrete quantum groups

We investigate connections between various rigidity and softness properties for discrete quantum groups. After introducing a notion of residual finiteness, we show that it implies the Kirchberg factorization property for the discrete quantum group in question. We also prove the analogue of Kirchberg&#39;s theorem, to the effect that conversely, the factorization property and property (T) jointly imply residual finiteness. We also apply these results to certain classes of discrete quantum groups obtained by means of bicrossed product constructions and study the preservation of the properties (factorization, residual finiteness, property (T)) under extensions of discrete quantum groups.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Quantum isometries and loose embeddings

We show that countable metric spaces always have quantum isometry groups, thus extending the class of metric spaces known to possess such universal quantum-group actions. Motivated by this existence problem we define and study the notion of loose embeddability of a metric space $(X,d_X)$ into another, $(Y,d_Y)$: the existence of an injective continuous map that preserves both equalities and inequalities of distances. We show that $0$-dimensional compact metric spaces are &#34;generically&#34; loosely embeddable into the real line, even though not even all countable metric spaces are.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Rigidity results for automorphisms of Hardy-Toeplitz $C^*$-algebras

We prove a number of results on the automorphisms of and isomorphisms between Hardy-Toeplitz algebras $\mathcal{T}(D)$ associated to bounded symmetric domains $D$: that the stable isomorphism class of $\mathcal{T}(D)$ determines $D$ (even when it is reducible), that for reducible domains $D=D_1\times\cdots \times D_s$ the automorphisms of the Shilov boundary $\check{S}(D)$ induced by those of $\mathcal{T}(D)$ permute the Shilov boundaries $\check{S}(D_i)$, and that by contrast to arbitrary solvable algebras, automorphisms of $\mathcal{T}(D)$ that are trivial on their character spaces $\check{S}(D)$ are trivial on the entire spectrum $\widehat{\mathcal{T}(D)}$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Tree-optimized directed graphs

For an additive submonoid $\mathcal{M}$ of $\mathbb{R}_{\ge 0}$, the weight of an $\mathcal{M}$-labeled directed graph is the sum of all of its edge labels, while the content is the product of the labels. Having fixed $\mathcal{M}$ and a directed tree $E$, we prove a general result on the shape of directed $\mathcal{M}$-labeled graphs $Γ$ of weight $N\in \mathcal{M}$ maximizing the sum of the contents of all copies $E\subset Γ$. This specializes to recover a result of Hajac and Tobolski on the maximal number of length-$k$ paths in a directed acyclic graph. It also applies to prove a conjecture by the same authors on the maximal sum of entries of $A^k$ for a nilpotent $\mathbb{R}_{\ge 0}$-valued square matrix $A$ whose entries add up to $N$. Finally, we apply the same techniques to obtain the maximal number of stars with $a$ arms in a directed graph with $N$ edges.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Universal tensor categories generated by dual pairs

Let $V_*\otimes V\rightarrow\mathbb{C}$ be a non-degenerate pairing of countable-dimensional complex vector spaces $V$ and $V_*$. The Mackey Lie algebra $\mathfrak{g}=\mathfrak{gl}^M(V,V_*)$ corresponding to this paring consists of all endomorphisms $φ$ of $V$ for which the space $V_*$ is stable under the dual endomorphism $φ^*: V^*\rightarrow V^*$. We study the tensor Grothendieck category $\mathbb{T}$ generated by the $\mathfrak{g}$-modules $V$, $V_*$ and their algebraic duals $V^*$ and $V^*_*$. This is an analogue of categories considered in prior literature, the main difference being that the trivial module $\mathbb{C}$ is no longer injective in $\mathbb{T}$. We describe the injective hull $I$ of $\mathbb{C}$ in $\mathbb{T}$, and show that the category $\mathbb{T}$ is Koszul. In addition, we prove that $I$ is endowed with a natural structure of commutative algebra. We then define another category $_I\mathbb{T}$ of objects in $\mathbb{T}$ which are free as $I$-modules. Our main result is that the category ${}_I\mathbb{T}$ is also Koszul, and moreover that ${}_I\mathbb{T}$ is universal among abelian $\mathbb{C}$-linear tensor categories generated by two objects $X$, $Y$ with fixed subobjects $X&#39;\hookrightarrow X$, $Y&#39;\hookrightarrow Y$ and a pairing $X\otimes Y\rightarrow \text{\textbf{1}}$ where \textbf{1} is the monoidal unit. We conclude the paper by discussing the orthogonal and symplectic analogues of the categories $\mathbb{T}$ and ${}_I\mathbb{T}$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Reflexivity and dualizability in categorified linear algebra

The &#34;linear dual&#34; of a cocomplete linear category $\mathcal C$ is the category of all cocontinuous linear functors $\mathcal C \to \mathrm{Vect}$. We study the questions of when a cocomplete linear category is reflexive (equivalent to its double dual) or dualizable (the pairing with its dual comes with a corresponding copairing). Our main results are that the category of comodules for a countable-dimensional coassociative coalgebra is always reflexive, but (without any dimension hypothesis) dualizable if and only if it has enough projectives, which rarely happens. Along the way, we prove that the category $\mathrm{Qcoh}(X)$ of quasi-coherent sheaves on a stack $X$ is not dualizable if $X$ is the classifying stack of a semisimple algebraic group in positive characteristic or if $X$ is a scheme containing a closed projective subscheme of positive dimension, but is dualizable if $X$ is the quotient of an affine scheme by a virtually linearly reductive group. Finally we prove tensoriality (a type of Tannakian duality) for affine ind-schemes with countable indexing poset.

0 citations0 reviewsNo code linkedOpen access