arXiv research

It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result to the abstract setting of an infinite EI category satisfying certain combinatorial conditions.

The abstract formulates and proves a categorification of Robertson's conjecture.

This note is mostly an exposition of an unpublished result of Deligne, which introduces an analogue of perverse $t$-structure on the derived category of coherent sheaves on a Noetherian scheme with a dualizing complex. Construction extends to the category of coherent sheaves equivariant under an action of an algebraic …

FI-modules were introduced by the first three authors in [CEF] to encode sequences of representations of symmetric groups. Over a field of characteristic 0, finite generation of an FI-module implies representation stability for the corresponding sequence of S_n-representations. In this paper we prove the Noetherian pro…

The paper proves conditions for self-covering manifolds to be fiber bundles over a circle.

Homological algebra used to study local equivalence of complex rings.

Introduces LRY skein algebras generalizing Kauffman bracket and Roger-Yang skein algebras.

We show that the Kauffman bracket skein algebra of any oriented surface F (possibly with marked points in its boundary) has no zero divisors and that its center is generated by knots parallel to the unmarked components of the boundary of F. Furthermore, we show that skein algebras are Noetherian and Ore. Our proofs rel…

We construct analogues of FI-modules where the role of the symmetric group is played by the general linear groups and the symplectic groups over finite rings and prove basic structural properties such as Noetherianity. Applications include a proof of the Lannes--Schwartz Artinian conjecture in the generic representatio…

For functions of a single complex variable, points of multiplicity greater than $k$ are characterized by the vanishing of the first $k$ derivatives. There are various quantitative generalizations of this statement, showing that for functions that are in some sense close to having multiplicity greater than $k$, the firs…

The paper introduces lattice homology for integrally closed submodules and applies it to geometric invariants.

Following Vinberg, we find the criterions for a subgroup generated by reflections $Γ\subset \SL^{\pm}(n+1,\mathbb{R})$ and its finite-index subgroups to be definable over $\mathbb{A}$ where $\mathbb{A}$ is an integrally closed Noetherian ring in the field $\mathbb{R}$. We apply the criterions for groups generated by re…

We study the Lie and Noether point symmetries of a class of systems of second-order differential equations with $n$ independent and $m$ dependent variables ($n\times m$ systems). We solve the symmetry conditions in a geometric way and determine the general form of the symmetry vector and of the Noetherian conservation …

Studies amenable category's monotonicity and its relation to topological complexity.

To each oriented surface S, we associate a differential graded category Ko(S). The homotopy category Ho(Ko(S)) is a triangulated category which satisfies properties akin to those of the contact categories studied by K. Honda. These categories are also related to the algebraic contact categories of Y. Tian and to the bo…

Formulates a new connection between topological and geometric categories.

We continue the program of structural differential geometry that begins with the notion of a tangent category, an axiomatization of structural aspects of the tangent functor on the category of smooth manifolds. In classical geometry, having an affine structure on a manifold is equivalent to having a flat torsion-free c…

We introduce semisimple 2-categories, fusion 2-categories, and spherical fusion 2-categories. For each spherical fusion 2-category, we construct a state-sum invariant of oriented singular piecewise-linear 4-manifolds.

The paper defines new TQFTs from non-semisimple categories and proves spherical categories are chromatic.

Spider category comparison proves equivalence to Sikora's quotient category.

We generalize the notion of monetary value measures developed with category theory in [Adachi, 2014] by extending their base category from the category \c{hi} to the category of probability spaces Prob introduced in [Adachi and Ryu, 2016].

ETQFTs created from non-semisimple modular categories.

Studies modules over a category of Jacobi diagrams in handlebodies.

We compare various different definitions of "the category of smooth objects". The definitions compared are due to Chen, Frölicher, Sikorski, Smith, and Souriau. The method of comparison is to construct functors between the categories that enable us to see how the categories relate to each other. This produces a diagram…

We define a symmetric monoidal (4,3)-category with duals whose objects are certain enriched multi-fusion categories. For every modular tensor category $\mathcal{C}$, there is a self enriched multi-fusion category $\mathfrak{C}$ giving rise to an object of this symmetric monoidal (4,3)-category. We conjecture that the e…

We show that once-extended anomalous 3-dimensional topological quantum field theories valued in the 2-category of k-linear categories are in canonical bijection with modular tensor categories equipped with a square root of the global dimension in each factor.

This is the second in a series of papers intended to set up a framework to study categories of modules in the context of non-commutative geometries. In \cite{mem} we introduced the basic DG category $\Pc_{\A^\bullet}$, the perfect category of $\A^\bullet$, which corresponded to the category of coherent sheaves on a com…

New 4-manifold invariant defined from trisection diagrams.

We study the transverse Lusternik-Schnirelmann category of a Riemannian foliation on a compact manifold. We obtain a necessary and sufficient condition when the transverse LS category is finite. We also introduce a variation on the concept of transverse LS category, the essential transverse category, and show that this…

It is well-known that reduced smooth orbifolds and proper effective foliation Lie groupoids form equivalent categories. However, for certain recent lines of research, equivalence of categories is not sufficient. We propose a notion of maps between reduced smooth orbifolds and a definition of a category in terms of mark…

TXtract extracts structured knowledge from thousands of product categories.

Paper proposes CNE-net to tackle incremental learning in (T)ACSA tasks.

We investigate the relationship between the algebra of tensor categories and the topology of framed 3-manifolds. On the one hand, tensor categories with certain algebraic properties determine topological invariants. We prove that fusion categories of nonzero global dimension are 3-dualizable, and therefore provide 3-di…

Generative model for morphisms in free categories learns from wiring diagrams.

3D HQFTs constructed using graded monoidal categories.

We consider colored operads and their actions on categories. As a special example we construct a cobordism category with a colored operad action arising from oriented planar arc diagrams. This is used to construct an invariant of oriented tangle diagrams with values in the homotopy category attached to the cobordism ca…

New categories help understand knot algebra.

This paper extends link invariants using functors on nanophrases.

Theory for algebraic data on categories via concentration structures.

New skein categories for non-semisimple settings, extending existing theory.

Completes reduction scheme in Lagrange-Poincaré category.

Using methods inspired from algebraic $K$-theory, we give a new proof of the Genauer fibration sequence, relating the cobordism categories of closed manifolds with cobordism categories of manifolds with boundaries, and of the Bökstedt-Madsen delooping of the cobordism category. Unlike the existing proofs, this approach…

We generalize Cohen & Jones & Segal's flow category whose objects are the critical points of a Morse function and whose morphisms are the Morse moduli spaces between the critical points to an n-category. The n-category construction involves repeatedly doing Morse theory on Morse moduli spaces for which we have to const…

We construct what we call a Kirby category, a monoidal category whose morphisms are smooth 4-manifolds, projecting down to another monoidal category whose morphisms are orientable 3-manifolds, the projection being induced by the boundary map on manifolds. We construct a higher categorical generalization of such concept…

This paper introduces a new distance metric for filtered A-infinity categories, focusing on Lagrangian submanifolds.

We propose a generalization of quantization as a categorical way. For a fixed Poisson algebra quantization categories are defined as subcategories of R-module category with the structure of classical limits. We construct the generalized quantization categories including matrix regularization, strict deformation quantiz…

We define two functors from Elias and Khovanov's diagrammatic Soergel category, one targeting Clark-Morrison-Walker's category of disoriented sl(2) cobordisms and the other the category of (universal) sl(3) foams.

We construct certain tensor categories that are dominated by finitely many simple objects. Objects in these categories are modules over rings of algebra integers. We show how to obtain TQFTs defined over algebra integers from these categories.