Related papers: A splitting theorem for higher order parallel imme…

In this note we provide a direct proof of the complete classification of conformally flat isoparametric submanifolds of Euclidean space.

We classify Lagrangian submanifolds of complex space forms, whose second fundamental form can be written in a certain way, depending on a real parameter. For some special values of this parameter, the resulting submanifolds are ideal in the…

We initiate the computability-theoretic study of ringed spaces and schemes. In particular, we show that any Turing degree may occur as the least degree of an isomorphic copy of a structure of these kinds. We also show that these structures…

In this paper some results on the topology of the space of $k$-flats in $\mathbb R^n$ are proved, similar to the Borsuk-Ulam theorem on coverings of sphere. Some corollaries on common transversals for families of compact sets in $\mathbb…

We study the rate of convergence of an explicit and an implicit-explicit finite difference scheme for linear stochastic integro-differential equations of parabolic type arising in non-linear filtering of jump-diffusion processes. We show…

We give an explicit simple construction for classifying spaces of maps obtained as hyperplane projections of immersions. We prove structure theorems for these classifying spaces.

We study metrics on shape space of immersions that have a particularly simple horizontal bundle. More specifically, we consider reparametrization invariant Sobolev metrics $G$ on the space $\operatorname{Imm}(M,N)$ of immersions of a…

We provide a treatment of isomorphism within a set-theoretic formulation of dependent type theory. Type expressions are assigned their natural set-theoretic compositional meaning. Types are divided into small and large types --- sets and…

As is known, the Blaschke tensor $A$ (a symmetric covariant $2$-tensor) is one of the fundamental M\"obius invariants in the M\"obius differential geometry of submanifolds in the unit sphere $\mathbb S^n$, and the eigenvalues of $A$ are…

Some basic geometric properties of doubly twisted product immersions are established.

In the absence of a de Rham decomposition theorem for geometries with torsion, we develop and unify ways to view a geometry with parallel skew torsion as the total space of a locally defined, not necessarily unique Riemannian submersion…

In this paper, we prove a theorem about embedding of some partially ordered topological spaces in topological hyperspaces equipped with Fell topology. Then we give some examples to show that the map defining the embedding may not be…

An isometric immersion $f:M^n\to \tilde M^n$ from a Riemannian $n$-manifold $M^n$ into a K\"ahler $n$-manifold $\tilde M^n$ is called {\it Lagrangian} if the complex structure $J$ of the ambient manifold $\tilde M^n$ interchanges each…

We say that a finite metric space $X$ can be embedded almost isometrically into a class of metric spaces $C$, if for every $\epsilon > 0$ there exists an embedding of $X$ into one of the elements of $C$ with the bi-Lipschitz distortion less…

We continue our study on infinitesimal lifting properties of maps between locally noetherian formal schemes started in math.AG/0604241. In this paper, we focus on some properties which arise specifically in the formal context. In this vein,…

We present new results for the ordering process of a two-dimensional Ising model with anisotropic frustrating next-nearest-neighbor interactions. We concentrate on a specific wide temperature and parameter region to confirm the existence of…

The classical K\"{u}nneth formula in algebraic topology describes the homology of a product space in terms of that of its factors. In this paper, we prove K\"{u}nneth-type theorems for the persistent homology of the categorical and tensor…

We introduce a notion of elliptic differential graded Lie algebra. The class of elliptic algebras contains such examples as the algebra of differential forms with values in endomorphisms of a flat vector bundle over a compact manifold, etc.…

We define a moduli space of translation structures on the open topological disk with a basepoint and endow it with a locally-compact metrizable topology. We call this the immersive topology, because it is defined using the concept of…

Let $k$ be a field. In this paper, we define the notion of semi-fiber products of commutative $k$-algebras and show that the class of such rings contains several classes of commutative rings, including that of the fiber products of local…