Related papers: Cyclic structures and broken cycles

Operads often arise from geometry. The standard $A_\infty$ operad can be derived from the cellular chains on the Stasheff associahedra, and an $A_\infty$ algebra is an algebra over this operad. The notion of an $\mathbf{fc}$-multicategory,…

We construct a Lagrangian in the cotangent bundle of a 3-torus whose projection to the fiber is a neighborhood of a tropical curve with a single 4-valent vertex. This Lagrangian has an isolated conical singular point, and its smooth locus…

Using the fact that Hopf-Galois structures on separable extensions and skew bracoids are both intrinsically connected to transitive subgroups of the holomorph of a finite group, we present algorithms to classify and enumerate these objects…

We study wrapped Floer theory on product Liouville manifolds and prove that the wrapped Fukaya categories defined with respect to two different kinds of natural Hamiltonians and almost complex structures are equivalent. The implication is…

We prove that the algebra of chains on the based loop space recovers the derived (wrapped) Fukaya category of the cotangent bundle of a closed smooth orientable manifold. The main new idea is the proof that a cotangent fibre generates the…

This paper constructs and studies the Rabinowitz (wrapped) Fukaya category, a categorical invariant of exact cylindrical Lagrangians in a Liouville manifold whose cohomological morphisms, ``Rabinowitz wrapped Floer homology groups" measure…

We study Lagrangian correspondences between Liouville manifolds and construct functors between wrapped Fukaya categories. The study naturally brings up the question on comparing two versions of wrapped Fukaya categories of the product…

In this paper we develop cyclic proof systems for the problem of inclusion between the least sets of models of mutually recursive predicates, when the ground constraints in the inductive definitions belong to the quantifier-free fragments…

For a symplectic manifold satisfying some topological condition,we define a special class of modules over the deformation quantization algebra. For any two such modules we construct an infinity local system of morphisms. We construct such…

Slicing a module into semisimple ones is useful to study modules. Loewy structures provide a means of doing so. To establish the Loewy structures of projective modules over a finite dimensional symmetric algebra over a field $F$, the…

Using Quillen-Lurie deformation theory formalism we develop an obstruction theory for studying the stable $\infty$-category of modules over a given geometric $\infty$-stack. The obstruction theory studies the problem of lifting compact…

This paper discusses the cobordism of Lagrangian submanifolds (in the monotone setting) and structures it as a category that is related in a functorial way to an appropriate (derived) Fukaya category. Are also discussed obstructions to…

We prove a microlocal counterpart of categorical localization for Fukaya categories in the setting of the coherent-constructible correspondence.

We introduce structured decompositions, category-theoretic structures which simultaneously generalize notions from graph theory (including treewidth, layered treewidth, co-treewidth, graph decomposition width, tree independence number,…

We write out explicit proper Calabi-Yau structures, i. e. non-degenerate cyclic cocycles on the differential graded categories of matrix factorizations of regular functions with isolated critical points. The formulas involve the Kapustin-Li…

We upgrade the natural weakly-filtered structure of Fukaya categories discussed in arXiv:1806.06630 to a genuinely filtered one. The main tools are a Morse-Bott, or 'cluster', model for Fukaya categories and a particular choice of class of…

We (re)consider how the Fukaya category of a Lefschetz fibration is related to that of the fibre. The distinguishing feature of the approach here is a more direct identification of the bimodule homomorphism involved.

Motivated by the problem of determining the structure of integral points on subvarieties of semiabelian varieties defined over finite fields, we prove a quantifier elimination result for certain modules over finite simple extensions of the…

Given a diagram of schemes, we can ask if a geometric object over one of them can be built from descent data (usually objects of the same type over the various other schemes in the diagram, together with compatibility isomorphisms). Using…

We offer a systematic account of decomposition of quantum systems into parts. Different decompositions (structures) are mutually linked via the proper linear canonical transformations. Different kinds of structures, as well as their…