arXiv research

The paper explores generic properties of minimal surfaces in high dimensions.

New criteria for Cantor set tameness and wildness via projections.

We prove that each coarsely homogenous separable metric space $X$ is coarsely equivalent to one of the spaces: the sigleton, the Cantor macro-cube or the Baire macro-space. This classification is derived from coarse characterizations of the Cantor macro-cube and of the Baire macro-space given in this paper. Namely, we …

Generic metrics make geodesic nets dense.

In this paper we show that certain generalizations of the $C^r$-Whitney topology, which include the Hölder-Whitney and Sobolev-Whitney topologies on smooth manifolds, satisfy the Baire property, to wit, the countable intersection of open and dense sets is dense.

Can the Minkowski sum of two compact convex bodies be made smoother by rotating one of them? We construct two infinitely differentiable strictly convex plane bodies such that after any generic rotation (in the Baire category sense) of one of the summands the Minkowski sum is not five times differentiable. On the other …

New manifold construction yields Baire-1 functions as cohomotopy groups.

The Baire metric induces an ultrametric on a dataset and is of linear computational complexity, contrasted with the standard quadratic time agglomerative hierarchical clustering algorithm. We apply the Baire distance to spectrometric and photometric redshifts from the Sloan Digital Sky Survey using, in this work, about…

The Baire metric induces an ultrametric on a dataset and is of linear computational complexity, contrasted with the standard quadratic time agglomerative hierarchical clustering algorithm. In this work we evaluate empirically this new approach to hierarchical clustering. We compare hierarchical clustering based on the …

New proof for weak mixing in polygonal billiards.

Theorem shows generic metrics yield non-degenerate geodesic nets.

In this paper, we study Lipschitz-Fredholm vector fields on Bounded-Fréchet-Finsler manifolds. In this context we generalize the Morse-Sard-Brown theorem, asserting that if $M$ is a connected smooth bounded-Fréchet-Finsler manifold endowed with a strengthened connection $\mathcal{K}$ and if $ξ$ is a smooth Lipschitz-Fr…

We show that the topological groups $Diff_{+}^{1}(I)$ and $Diff_{+}^{1}(\mathbb{S}^1)$ of orientation-preserving $C^1$-diffeomorphisms of the interval and the circle, respectively, admit finitely generated dense subgroups. We also investigate the question of genericity (in the sense of Baire category) of such finite to…

Suppose that $N$ is a smooth manifold with a smooth Riemannian metric $g_0$, and that $Γ$ is a smooth submanifold of $N$. This paper proves that for a generic (in the sense of Baire category) smooth metric $g$ conformal to $g_0$, if $F$ is any simple $g$-minimal immersion of a closed manifold into N, then $F$ is transv…

We describe many vantage points on the Baire metric and its use in clustering data, or its use in preprocessing and structuring data in order to support search and retrieval operations. In some cases, we proceed directly to clusters and do not directly determine the distances. We show how a hierarchical clustering can …

The premier exhibition of the following phenomenon: The fundamental group of any Peano continuum constructed in similar fashion to the Hawaiian earring admits two natural distinct topological group structures. However despite being uncountable and regular, neither group is a Baire space and hence neither group admits a…

For almost all Riemannian metrics (in the $C^\infty$ Baire sense) on a compact manifold with boundary $(M^{n+1},\partial M)$, $3\leq (n + 1)\leq 7$, we prove that, for any open subset $V$ of $\partial M$, there exists a compact, properly embedded free boundary minimal hypersurface intersecting $V$.

For almost all Riemannian metrics (in the $C^\infty$ Baire sense) on a closed manifold $M^{n+1}$, $3\leq (n+1)\leq 7$, we prove that the union of all closed, smooth, embedded minimal hypersurfaces is dense. This implies there are infinitely many minimal hypersurfaces thus proving a conjecture of Yau (1982) for generic …

Generic geodesic nets are dense in high-dimensional manifolds.

We introduce the natural and fairly general notion of a subanalytic bundle (with a finite dimensional vector space $P$ of sections) on a subanalytic subset $X$ of a real analytic manifold $M$, and prove that when $M$ is compact, there is a Baire subset $U$ of sections in $P$ whose zero-loci in $X$ have tubular neighbou…

Improved Kuznecov remainder estimates for generic metrics.

In this paper, we show that a closed manifold $M^{n+1} (n \geq 7)$ endowed with a $C^\infty$-generic (Baire sense) metric contains infinitely many singular minimal hypersurfaces with optimal regularity. Moreover, for $2 \leq n \leq 6$, our argument also implies the denseness of the minimal hypersurfaces realizing min-m…

All projections of typical Cantor sets in high dimensions are Cantor sets.

The study shows that certain metrics on spheres prevent stable tangent cones for area-minimizing boundaries.

For almost all Riemannian metrics (in the $C^\infty$ Baire sense) on a closed manifold $M^{n+1}$, $3\leq (n+1)\leq 7$, we prove that there is a sequence of closed, smooth, embedded, connected minimal hypersurfaces that is equidistributed in $M$. This gives a quantitative version of the main result of \cite{irie-marques…

Classifies geodesic planes outside convex core of geometrically finite 3-manifolds.

The paper connects Diophantine approximation to black hole behavior, proving blow-up conditions.

For any smooth Riemannian metric on an $(n+1)$-dimensional compact manifold with boundary $(M,\partial M)$ where $3\leq (n+1)\leq 7$, we establish general upper bounds for the Morse index of free boundary minimal hypersurfaces produced by min-max theory in the Almgren-Pitts setting. We apply our Morse index estimates t…

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…

A map $f:X\to Y$ between topological spaces is defined to be {\em scatteredly continuous} if for each subspace $A\subset X$ the restriction $f|A$ has a point of continuity. We show that for a function $f:X\to Y$ from a perfectly paracompact hereditarily Baire Preiss-Simon space $X$ into a regular space $Y$ the scattere…

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.