arXiv subjects

Behrang Noohi

Publications and source records attributed to Behrang Noohi.

At least 19 recordsLinked to original sources

arXiv2025

Galois theory of differential schemes

Since 1883, Picard-Vessiot theory had been developed as the Galois theory of differential field extensions associated to linear differential equations. Inspired by categorical Galois theory of Janelidze, and by using novel methods of precategorical descent applied to algebraic-geometric situations, we develop a Galois theory that applies to morphisms of differential schemes, and vastly generalises the linear Picard-Vessiot theory, as well as the strongly normal theory of Kolchin.

math.AG↗

arXiv2019

Twisted loop transgression and higher Jandl gerbes over finite groupoids

Given a double cover $π: \mathcal{G} \rightarrow \hat{\mathcal{G}}$ of finite groupoids, we explicitly construct twisted loop transgression maps, $τ_π$ and $τ_π^{ref}$, thereby associating to a Jandl $n$-gerbe $\hatλ$ on $\hat{\mathcal{G}}$ a Jandl $(n-1)$-gerbe $τ_π(\hatλ)$ on the quotient loop groupoid of $\mathcal{G}$ and an ordinary $(n-1)$-gerbe $τ^{ref}_π(\hatλ)$ on the unoriented quotient loop groupoid of $\mathcal{G}$. For $n =1,2$, we interpret the character theory (resp. centre) of the category of Real $\hatλ$-twisted $n$-vector bundles over $\hat{\mathcal{G}}$ in terms of flat sections of the $(n-1)$-vector bundle associated to $τ_π^{ref}(\hatλ)$ (resp. the Real $(n-1)$-vector bundle associated to $τ_π(\hatλ)$). We relate our results to Real versions of twisted Drinfeld doubles and pointed fusion categories and to discrete torsion in orientifold string and M-theory.

math.QA↗

arXiv2016

Singular chains on topological stacks

We extend the functor Sing of singular chains to the category of topological stacks and establish its main properties. We prove that Sing respects weak equivalences and takes a morphism of topological stacks that is both a Serre and a Reedy fibration to a Kan fibration of simplicial sets. When restricted to the category of topological spaces Sing coincides with the usual singular functor.

math.AT↗

arXiv2016

Group actions on stacks and applications to equivariant string topology for stacks

This paper is a continuations of the project initiated in the book string topology for stacks. We construct string operations on the SO(2)-equivariant homology of the (free) loop space $L(X)$ of an oriented differentiable stack $X$ and show that $H^{SO(2)}_{*+dim(X) -2}(L(X))$ is a graded Lie algebra. In the particular case where $X$ is a 2-dimensional orbifold we give a Goldman-type description for the string bracket. To prove these results, we develop a machinery of (weak) group actions on topological stacks which should be of independent interest. We explicitly construct the quotient stack of a group acting on a stack and show that it is a topological stack. Then use its homotopy type to define equivariant (co)homology for stacks, transfer maps, and so on.

math.AT↗

arXiv2015

Moduli of non-commutative polarized schemes

We construct, using geometric invariant theory, a quasi-projective Deligne-Mumford stack of stable graded algebras. We also construct a derived enhancement, which classifies twisted bundles of stable graded A-infinity-algebras. The tangent complex of the derived scheme is given by graded Hochschild cohomology, which we relate to ordinary Hochschild cohomology. We obtain a version of Hilbert stability for non-commutative projective schemes.

math.AG↗

arXiv2013

Group actions on algebraic stacks via butterflies

We introduce an explicit method for studying actions of a group stack G on an algebraic stack X. As an example, we study in detail the case where X=P(n_0,...,n_r) is a weighted projective stack over an arbitrary base S. To this end, we give an explicit description of the group stack of automorphisms of, the weighted projective general linear 2-group PGL(n_0,...,n_r). As an application, we use a result of Colliot-Thelene to show that for every linear algebraic group G over an arbitrary base field k (assumed to be reductive if char(k)>0) such that Pic}(G)=0, every action of G on P(n_0,...,n_r) lifts to a linear action of G on A^{r+1}.

math.AG↗

arXiv2011

String topology for stacks

We establish the general machinery of string topology for differentiable stacks. This machinery allows us to treat on an equal footing free loops in stacks and hidden loops. In particular, we give a good notion of a free loop stack, and of a mapping stack $\map(Y,\XX)$, where $Y$ is a compact space and $\XX$ a topological stack, which is functorial both in $\XX$ and $Y$ and behaves well enough with respect to pushouts. We also construct a bivariant (in the sense of Fulton and MacPherson) theory for topological stacks: it gives us a flexible theory of Gysin maps which are automatically compatible with pullback, pushforward and products. Further we prove an excess formula in this context. We introduce oriented stacks, generalizing oriented manifolds, which are stacks on which we can do string topology. We prove that the homology of the free loop stack of an oriented stack and the homology of hidden loops (sometimes called ghost loops) are a Frobenius algebra which are related by a natural morphism of Frobenius algebras. We also prove that the homology of free loop stack has a natural structure of a BV-algebra, which together with the Frobenius structure fits into an homological conformal field theories with closed positive boundaries. Using our general machinery, we construct an intersection pairing for (non necessarily compact) almost complex orbifolds which is in the same relation to the intersection pairing for manifolds as Chen-Ruan orbifold cup-product is to ordinary cup-product of manifolds. We show that the hidden loop product of almost complex is isomorphic to the orbifold intersection pairing twisted by a canonical class. Finally we gave some examples including the case of the classifying stacks $[*/G]$ of a compact Lie group.

math.AT↗

arXiv2010

Fibrations of topological stacks

In this note we define fibrations of topological stacks and establish their main properties. We prove various standard results about fibrations (fiber homotopy exact sequence, Leray-Serre and Eilenberg-Moore spectral sequences, etc.). We prove various criteria for a morphism of topological stacks to be a fibration, and use these to produce examples of fibrations. We prove that every morphism of topological stacks factors through a fibration and construct the homotopy fiber of a morphism of topological stacks. When restricted to topological spaces our notion of fibration coincides with the classical one.

math.AT↗

arXiv2010

Homotopy types of topological stacks

We define the notion of {\em classifying space} of a topological stack and show that every topological stack \X has a classifying space X which is a topological space well-defined up to weak homotopy equivalence. Under a certain paracompactness condition on \X, we show that X is actually well-defined up to homotopy equivalence. These results are formulated in terms of functors from the category of topological stacks to the (weak) homotopy category of topological spaces. We prove similar results for (small) diagrams of topological stacks.

math.AT↗

arXiv2010

Integrating morphisms of Lie 2-algebras

We show how to integrate a weak morphism of Lie algebra crossed-modules to a weak morphism of Lie 2-groups. To do so we develop a theory of butterflies for 2-term L_infty algebras. In particular, we obtain a new description of the bicategory of 2-term L_infty algebras. We use butterflies to give a functorial construction of connected covers of Lie 2-groups. We also discuss the notion of homotopy fiber of a morphism of 2-term L_infty algebras.

math.QA↗

arXiv2010

Butterflies II: Torsors for 2-group stacks

We study torsors over 2-groups and their morphisms. In particular, we study the first non-abelian cohomology group with values in a 2-group. Butterfly diagrams encode morphisms of 2-groups and we employ them to examine the functorial behavior of non-abelian cohomology under change of coefficients. We re-interpret the first non-abelian cohomology with coefficients in a 2-group in terms of gerbes bound by a crossed module. Our main result is to provide a geometric version of the change of coefficients map by lifting a gerbe along the "fraction" (weak morphism) determined by a butterfly. As a practical byproduct, we show how butterflies can be used to obtain explicit maps at the cocycle level. In addition, we discuss various commutativity conditions on cohomology induced by various degrees of commutativity on the coefficient 2-groups, as well as specific features pertaining to group extensions.

math.AT↗

arXiv2010

Group cohomology with coefficients in a crossed-module

We compare three different ways of defining group cohomology with coefficients in a crossed-module: 1) explicit approach via cocycles; 2) geometric approach via gerbes; 3) group theoretic approach via butterflies. We discuss the case where the crossed-module is braided and the case where the braiding is symmetric. We prove the functoriality of the cohomologies with respect to weak morphisms of crossed-modules and also prove the "long" exact cohomology sequence associated to a short exact sequence of crossed-modules and weak morphisms.

math.KT↗

arXiv2009

Mapping stacks of topological stacks

We prove that the mapping stack Map(Y,X) of topological stacks X and Y is again a topological stack if Y admits a compact groupoid presentation. If Y admits a locally compact groupoid presentation, we show that Map(Y,X) is a paratopological stack. In particular, it has a classifying space (hence, a natural weak homotopy type). We prove an invariance theorem which shows that the weak homotopy type of the mapping stack Map(Y,X) does not change if we replace X by its classifying space, provided that Y is paracompact topological space. As an example, we describe the loop stack of the classifying stack BG of a topological group G in terms of twisted loop groups of G.

math.AT↗

arXiv2008

Butterflies I: morphisms of 2-group stacks

Weak morphisms of non-abelian complexes of length 2, or crossed modules, are morphisms of the associated 2-group stacks, or gr-stacks. We present a full description of the weak morphisms in terms of diagrams we call butterflies. We give a complete description of the resulting bicategory of crossed modules, which we show is fibered and biequivalent to the 2-stack of 2-group stacks. As a consequence we obtain a complete characterization of the non-abelian derived category of complexes of length 2. Deligne's analogous theorem in the case of Picard stacks and abelian sheaves becomes an immediate corollary. Commutativity laws on 2-group stacks are also analyzed in terms of butterflies, yielding new characterizations of braided, symmetric, and Picard 2-group stacks. Furthermore, the description of a weak morphism in terms of the corresponding butterfly diagram allows us to obtain a long exact sequence in non-abelian cohomology, removing a preexisting fibration condition on the coefficients short exact sequence.

math.CT↗

arXiv2008

Explicit HRS-Tilting

For an abelian category $A$ equipped with a torsion pair, we give an explicit description for the abelian category $B$ introduced by Happel-Reiten-Smalo, and also for the category of chain complexes $Ch(B)$ and the derived category $D(B)$ of $B$. We also describe the DG structure on $Ch(B)$. As a consequence, we find new proofs of certain results of Happel-Reiten-Smalo. The main ingredient is the category of {\em decorated} complexes.

math.RT↗

arXiv2008

On weak maps between 2-groups

We give an explicit handy (and cocycle-free) description of the groupoid of weak maps between two crossed-modules in terms of certain digrams of groups which we we call a {\em butterflies}. We define composition of butterflies and this way find a bicategory that is naturally biequivalent to the 2-category of pointed homotopy 2-types. We indicate how certain standard notions of 2-group theory (e.g., kernels, cokernels, extension of 2-groups, and so on) find a simple description in terms of butterflies. We also discuss braided and abelian butterflies.

math.CT↗

arXiv2008

Notes on 2-groupoids, 2-groups and crossed-modules

This paper contains some basic results on 2-groupoids, with special emphasis on computing derived mapping 2-groupoids between 2-groupoids and proving their invariance under strictification. Some of the results proven here are presumably folklore (but do not appear in the literature to the author's knowledge) and some of the results seem to be new. The main technical tool used throughout the paper is the Quillen model structure on the category of 2-groupoids introduced by Moerdijk and Svensson.

math.CT↗

arXiv2007

Fundamental groups of topological stacks with slice property

The main result of the paper is a formula for the fundamental group of the coarse moduli space of a topological stack. As an application, we find simple general formulas for the fundamental group of the coarse quotient of a group action on a topological space in terms of the fixed point data. The formulas seem, surprisingly, to be new. In particular, we recover, and vastly generalize, results of Armstrong, Bass, Higgins, Rhodes.

math.AT↗