相关论文: Adjointness of Suspension and Shape Path Functors

Let $G$ be a complex connected reductive algebraic group that acts on a smooth complex algebraic variety $X$, and let $E$ be a $G$-equivariant algebraic vector bundle over $X$. A section of $E$ is regular if it is transversal to the zero…

We introduce type C parking functions, encoded as vertically labelled lattice paths and endowed with a statistic dinv'. We define a bijection from type C parking functions to regions of the Shi arrangement of type C, encoded as diagonally…

Let $X\subseteq G\slash B$ be a Schubert variety in a flag manifold and let $\pi: \tilde X \rightarrow X$ be a Bott-Samelson resolution of $X$. In this paper we prove an effective version of the decomposition theorem for the derived…

Categories of partial functions have become increasingly important principally because of their applications in theoretical computer science. In this note we prove that the category of partial bijections between sets as an…

For a connected based space $X$, let $[X,X]$ be the set of all based homotopy classes of base point preserving self map of $X$ and let $\E(X)$ be the group of self-homotopy equivalences of $X$. We denote by $\A_{\sharp}^k(X)$ the set of…

This paper introduces the notion of complete connectedness of a Grothendieck topos, defined as the existence of a left adjoint to a left adjoint to a left adjoint to the global sections functor, and provides many examples. Typical examples…

In this paper, we present a new Rogers--Ramanujan type identity for overpartitions by extending the asymmetrical version of Schur's theorem due to Lovejoy to a broader class of infinite products. More precisely, we provide a combinatorial…

We show that Y. Cheung's general $Z$-continued fractions can be adapted to give approximation by saddle connection vectors for any compact translation surface. That is, we show the finiteness of his Minkowski constant for any compact…

We construct a many-object dual version of Chen's iterated integral map. For any topological space X, the construction takes the form of an A-infinity functor between two dg categories whose objects are the points of X: the domain has as…

In finite volume the partition function of QCD with a given $\theta$ is a sum of different topological sectors with a weight primarily determined by the topological susceptibility. If a physical observable is evaluated only in a fixed…

We prove that, for nice classes of infinite-dimensional smooth groups G, natural constructions in smooth topology and symplectic topology yield homotopically coherent group actions of G. This yields a bridge between infinite-dimensional…

We prove a bijection between the triangulations of the 3-dimensional cyclic polytope C(n+2, 3) and persistent graphs with n vertices. We show that under this bijection the Stasheff-Tamari orders on triangulations naturally translate to…

We determine when an exotic sphere $\Sigma$ of dimension $d\not \equiv 1 (4)$ can be detected through the homotopy type of its truncated Disc-presheaf. The latter records the diagram of framed configuration spaces of bounded cardinality in…

We find bijections on 2-distant noncrossing partitions, 12312-avoiding partitions, 3-Motzkin paths, UH-free Schr{\"o}der paths and Schr{\"o}der paths without peaks at even height. We also give a direct bijection between 2-distant…

For a set of sorts $S$ and an $S$-sorted signature $\Sigma$ we prove that a profinite $\Sigma$-algebra, i.e., a projective limit of a projective system of finite $\Sigma$-algebras, is a retract of an ultraproduct of finite $\Sigma$-algebras…

We construct an explicit algorithm of the static-preserving bijection between the rigged configurations and the highest weight paths of the form $(B^{2,1})^{\otimes L}$ in the $G_{2}^{(1)}$ adjoint crystals.

We study admissible subcategories of the bounded derived category of a smooth projective surface that are supported on the exceptional locus of a birational morphism. We prove that if $f:X\to Y$ is a birational morphism of smooth projective…

On the set of permutations of a finite set, we construct a bijection which maps the 3-vector of statistics $(maj-exc,des,exc)$ to a 3-vector $(maj\_2,\widetilde{des\_2},inv\_2)$ associated with the $q$-Eulerian polynomials introduced by…

The Foata bijection $\Phi : S_n \to S_n$ is extended to the bijections $\Psi : A_{n+1} \to A_{n+1}$ and $\Psi_q : S_{n+q-1} \to S_{n+q-1}$, where S_m, A_m are the symmetric and the alternating groups. These bijections imply bijective proofs…

We introduce here a natural functional associated to any $b \in QH_* (M, \omega)$: \emph{spectral length functional}, on the space of "generalized paths" in $ \text {Ham}(M, \omega)$, closely related to both the Hofer length functional and…