arXiv research

Fine shape of local compacta represented by ordinary maps.

Surveying connections between algebraic geometry and surface topology.

We show how the tangent functor extends from ordinary smooth maps to "microformal morphisms" (also called "thick morphisms") of supermanifolds. Microformal morphisms generalize ordinary maps and correspond to formal canonical relations between the cotangent bundles specified by generating functions depending on positio…

We study a second order ordinary differential equation corresponding to rotationally symmetric $p$-harmonic maps. We show unique continuation and Liouville's type theorems for positive solutions. We discuss the existence of bounded positive entire solutions. Asymptotic properties of the positive solutions are investiga…

In this paper we analyze the notion of morphisms of rings of superfunctions which is the basic concept underlying the definition of supermanifolds as ringed spaces (i.e. following Berezin, Leites, Manin, etc.). We establish a representation formula for all morphisms from the algebra of functions on an ordinary manifold…

A new Euclidean approach reveals the pentagram map's beauty.

New method for linear connections in ODEs with constraints.

Study shows mapping class groups differ for $h$-cobordant manifolds.

NODEs can approximate a wide range of diffeomorphisms with strong guarantees.

Paper classifies minimal graph transformations into new families of surfaces.

We discuss various lifting and reduction problems for bundles and gerbes in the context of a strict Lie 2-group. We obtain a geometrical formulation (and a new proof) for the exactness of Breen's long exact sequence in non-abelian cohomology. We use our geometrical formulation in order to define a transgression map in …

Using the existence of certain symplectic submanifolds in symplectic 4-manifolds, we prove an estimate from above for the number of singular fibers with separating vanishing cycles in minimal Lefschetz fibrations over surfaces of positive genus. This estimate is then used to deduce that mapping class groups are not uni…

New mapping classes of knotted surfaces are computed via surgery.

We prove that, in general, given a $p$-harmonic map $F:M\to N$ and a convex function $H:N\to\mathbb{R}$, the composition $H\circ F$ is not $p$-subharmonic. By assuming some rotational symmetry on manifolds and functions, we reduce the problem to an ordinary differential inequality. The key of the proof is an asymptotic…

Constructs a universal Cannon-Thurston map for a new curve complex.

J.Eells and L. Lemaire introduced k-harmonic maps, and T. Ichiyama, J. Inoguchi and H.Urakawa showed the first variation formula. In this paper, we give the second variation formula of k-harmonic maps, and show non-existence theorem of proper k-harmonic maps into a Riemannian manifold of non-positive curvature (k >= 2)…

We establish the Thom isomorphism in twisted K-theory for any real vector bundle and develop the push-forward map in twisted K-theory for any differentiable proper map $f: X\to Y$ (not necessarily K-oriented). The push-forward map generalizes the push-forward map in ordinary K-theory for any $K$-oriented differentiable…

The paper provides risk bounds for learning many response functions using linear regression.

Recently the author has introduced cobordism-like modules induced from generic maps whose codimensions are negative. They are generalizations of cobordism modules of manifolds. They have been introduced in generalizing the following theorem shown by Hiratuka and Saeki in 2013--14; for a generic map whose codimension is…

Geometric cohomology model uses co-oriented maps to define a product structure.

We give two generalizations of the Atiyah-Bott-Berline-Vergne localization theorem for the equivariant cohomology of a torus action: 1) replacing the torus action by a compact connected Lie group action, 2) replacing the manifold having a torus action by an equivariant map. This provides a systematic method for calcula…

The study proves rigidity for mixed Hodge structures and applies to curve families.

The goal of the present paper is to propose an enhanced ordinary differential equations solver by exploitation of the powerful equivalence method of Élie Cartan. This solver returns a target equation equivalent to the equation to be solved and the transformation realizing the equivalence. The target ODE is a member of …

We define the ideal simplicial volume for compact manifolds with boundary. Roughly speaking, the ideal simplicial volume of a manifold $M$ measures the minimal size of possibly ideal triangulations of $M$ "with real coefficients", thus providing a variation of the ordinary simplicial volume defined by Gromov in 1982, t…

We study biharmonic maps and f-biharmonic maps from a round sphere $(S^2, g_0)$, the latter maps are equivalent to biharmonic maps from Riemann spheres $(S^2, f^{-1}g_0)$. We proved that for rotationally symmetric maps between rotationally symmetric spaces, both biharmonicity and f-biharmonicity reduce to a 2nd order l…

Itô maps provide a method for any-step SDE integration.

We describe work on solutions of certain non-divergence type and therefore non-variational elliptic and parabolic systems on manifolds. These systems include Hermitian and affine harmonics which should become useful tools for studying Hermitian and affine manifolds, resp. A key point is that in addition to the standard…

J.Eells and L. Lemaire introduced k-harmonic maps, and T. Ichiyama, J. Inoguchi and H.Urakawa showed the first variation formula. In this paper, we describe the ordinary differential equations of $3$-harmonic curves into a Riemannian manifold with constant sectional curvature, and show biharmonic curve is k-harmonic cu…

Paper studies rigidity phenomena for elliptic systems on Riemannian manifolds.

OLS predictions are shown to be similar to attention mechanisms in models.

We investigated the feature map inside deep neural networks (DNNs) by tracking the transport map. We are interested in the role of depth (why do DNNs perform better than shallow models?) and the interpretation of DNNs (what do intermediate layers do?) Despite the rapid development in their application, DNNs remain anal…

The groups of differential characters of Cheeger and Simons admit a natural multiplicative structure. The map given by the squares of degree 2k differential characters reduces to a homomorphism of ordinary cohomology groups. We prove that the homomorphism factors through the Steenrod squaring operation of degree 2k. A …

For the reduction ordinary differential equation due to Baird and Kamissoko \cite{BK} for biharmonic maps from a Riemannian manifold $(M^m,g)$ into another one $(N^n,h)$, we show that this ODE has no global positive solution for every $m\geq 5$. On the contrary, we show that there exist global positive solutions in the…

Classical and quantum Chern-Simons with gauge group $\text{U}(1)^N$ were classified by Belov and Moore in \cite{belov_moore}. They studied both ordinary topological quantum field theories as well as spin theories. On the other hand a correspondence is well known between ordinary $(2+1)$-dimensional TQFTs and modular te…

We construct examples of cohomogeneity one special Lagrangian submanifolds in the cotangent bundle over the complex projective space, whose Calabi-Yau structure was given by Stenzel. For each example, we describe the condition of special Lagrangian as an ordinary differential equation. Our method is based on a moment m…

"Thick" or "microformal" morphisms of supermanifolds generalize ordinary maps. They were discovered as a tool for homotopy algebras. Namely, the corresponding pullbacks provide $L_{\infty}$-morphisms for $S_{\infty}$ or Batalin--Vilkovisky algebras. It was clear from the start that constructions used for thick morphism…

Develops scalar curvature in generalized Kahler geometry and shows constant scalar curvature on compact Lie groups.

For a finite-dimensional (but possibly noncompact) symplectic manifold with a compact group acting with a proper moment map, we show that the square of the moment map is an equivariantly perfect Morse function in the sense of Kirwan, and that the set of critical points of the square of the moment map is a countable dis…

Consider the holomorphic Hamiltonian action of a compact Lie group $K$ on a compact Kähler manifold $M$ with a moment map $Φ: M\rightarrow \mathfrak{k}^*$. Assume that $0$ is a regular value of the moment map. Weitsman raised the question of what we can say about the cohomology of the Kähler quotient $M_0:=Φ^{-1}(0)/K$…

NOs can learn any finite collection of classes in functional data.

We provide some properties and characterizations of homologically $UV^n$-maps and $lc^n_G$-spaces. We show that there is a parallel between recently introduced by Cauty algebraic $ANR$'s and homologically $lc^n_G$-metric spaces, and this parallel is similar to the parallel between ordinary $ANR$'s and $LC^n$-metric spa…

Computes extendable mapping classes for knotted surfaces in $S^4$.

We compare the risk of ridge regression to a simple variant of ordinary least squares, in which one simply projects the data onto a finite dimensional subspace (as specified by a Principal Component Analysis) and then performs an ordinary (un-regularized) least squares regression in this subspace. This note shows that …

This paper studies fixed sets in ribbon complexes using descriptive proximity spaces.

We analyze families of non-autonomous systems of first-order ordinary differential equations admitting a common time-dependent superposition rule, i.e., a time-dependent map expressing any solution of each of these systems in terms of a generic set of particular solutions of the system and some constants. We next study…

We study algebraic structures of certain submonoids of the monoid of homology cylinders over a surface and the homology cobordism groups, using Reidemeister torsion with non-commutative coefficients. The submonoids consist of ones whose natural inclusion maps from the boundary surfaces induce isomorphisms on higher sol…

The Cauchy problem for harmonic maps from Minkowski space with its standard flat metric to a certain non-constant curvature Lorentzian 2-metric is studied. The target manifold is distinguished by the fact that the Euler-Lagrange equation for the energy functional is Darboux integrable. The time evolution of the Cauchy …

The coamoeba of any complex algebraic plane curve $V$ is its image in the real torus under the argument map. The area counted with multiplicity of the coamoeba of any algebraic curve in $(\mathbb{C}^*)^2$ is bounded in terms of the degree of the curve. We show in this Note that up to multiplication by a constant in $(\…