No Arabic abstract
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.
We study super parallel transport around super loops in a quotient stack, and show that this geometry constructs a global version of the equivariant Chern character.
Every known artificial deep neural network (DNN) corresponds to an object in a canonical Grothendiecks topos; its learning dynamic corresponds to a flow of morphisms in this topos. Invariance structures in the layers (like CNNs or LSTMs) correspond to Girauds stacks. This invariance is supposed to be responsible of the generalization property, that is extrapolation from learning data under constraints. The fibers represent pre-semantic categories (Culioli, Thom), over which artificial languages are defined, with internal logics, intuitionist, classical or linear (Girard). Semantic functioning of a network is its ability to express theories in such a language for answering questions in output about input data. Quantities and spaces of semantic information are defined by analogy with the homological interpretation of Shannons entropy (P.Baudot and D.B. 2015). They generalize the measures found by Carnap and Bar-Hillel (1952). Amazingly, the above semantical structures are classified by geometric fibrant objects in a closed model category of Quillen, then they give rise to homotopical invariants of DNNs and of their semantic functioning. Intentional type theories (Martin-Loef) organize these objects and fibrations between them. Information contents and exchanges are analyzed by Grothendiecks derivators.
This survey paper describes two geometric representations of the permutation group using the tools of toric topology. These actions are extremely useful for computational problems in Schubert calculus. The (torus) equivariant cohomology of the flag variety is constructed using the combinatorial description of Goresky-Kottwitz-MacPherson, discussed in detail. Two permutation representations on equivariant and ordinary cohomology are identified in terms of irreducible representations of the permutation group. We show how to use the permutation actions to construct divided difference operators and to give formulas for some localizations of certain equivariant classes. This paper includes several new results, in particular a new proof of the Chevalley-Monk formula and a proof that one of the natural permutation representations on the equivariant cohomology of the flag variety is the regular representation. Many examples, exercises, and open questions are provided.
Metrics on Lie groupoids and differentiable stacks have been introduced recently, extending the Riemannian geometry of manifolds and orbifolds to more general singular spaces. Here we continue that theory, studying stacky curves on Riemannian stacks, measuring their length using stacky metrics, and introducing stacky geodesics. Our main results show that the length of stacky curves measure distances on the orbit space, characterize stacky geodesics as locally minimizing curves, and establish a stacky version of Hopf-Rinow Theorem. We include a concise overview that bypasses nonessential technicalities, and we lay stress on the examples of orbit spaces of isometric actions and leaf spaces of Riemannian foliations.
We use the mirror theorem for toric Deligne-Mumford stacks, proved recently by the authors and by Cheong-Ciocan-Fontanine-Kim, to compute genus-zero Gromov-Witten invariants of a number of toric orbifolds and gerbes. We prove a mirror theorem for a class of complete intersections in toric Deligne-Mumford stacks, and use this to compute genus-zero Gromov-Witten invariants of an orbifold hypersurface.