Related papers: On the universal regular homomorphism in codimensi…

A proof of the uniformization theorem of Riemann surface is given with only elementary properties of holomorphic functions and not using the paracompacity of the surface. This proof leans on an holomorphic version of the topological…

Conjecture F from [VW12] states that the complements of closures of certain strata of the symmetric power of a smooth irreducible complex variety exhibit rational homological stability. We prove a generalization of this conjecture to the…

2-Theories are a canonical way of describing categories with extra structure. 2-theory-morphisms are used when discussing how one structure can be replaced with another structure. This is central to categorical coherence theory. We place a…

We are interested in the spectrum of the Hodge-de Rham operator on a cyclic covering $X$ over a compact manifold $M$ of dimension $n+1$. Let $\Sigma$ be a hypersurface in $M$ which does not disconnect $M$ and such that $M-\Sigma$ is a…

Let $f : X \rightarrow B$ be a proper flat dominant morphism between two smooth quasi-projective complex varieties $X$ and $B$. Assume that there exists an integer $l$ such that all closed fibres $X_b$ of $f$ satisfy $CH_j(X_b) = \Q$ for…

In the present paper, we prove the existence of universal polynomials which express multi-singularity loci classes of prescribed types for proper morphisms between smooth schemes over an algebraically closed field of characteristic zero --…

I make some remarks on Hodge symmetry, and prove for instance that if $k$ is a perfect field of characteristic $p>0$ and $X/k$ smooth, proper and Hodge-Witt scheme, and Hodge de Rham sequence of $X$ degenerates at $E_1$ and $X$ has…

We consider holomorphic mappings $H$ between a smooth real hypersurface $M\subset \bC^{n+1}$ and another $M'\subset \bC^{N+1}$ with $N\geq n$. We provide conditions guaranteeing that $H$ is transversal to $M'$ along all of $M$. In the…

Suppose that $\lambda=\lambda^{<\lambda} \ge\aleph_0$, and we are considering a theory $T$. We give a criterion on $T$ which is sufficient for the consistent existence of $\lambda^{++}$ universal models of $T$ of size $\lambda^+$ for models…

Through exploring the embedded transnormal systems of codimension 1, we show the existence of a transnormal function on a connected complete Riemannian manifold requires the underlying manifold to have a vector bundle structure or a linear…

A well known result of B. Mazur gives a lower bound for the Krull dimension of the universal deformation ring associated to an absolutely irreducible residual representation in terms of the group cohomology of the adjoint representation.…

Many recursive functions can be defined elegantly as the unique homomorphisms, between two algebras, two coalgebras, or one each, that are induced by some universal property of a distinguished structure. Besides the well-known applications…

We prove that a 2-stein submanifold in a space form whose normal connection is flat or whose codimension is at most 2, has constant curvature.

We initiate the study of holomorphically convex groups: groups that can be realized as fundamental groups of smooth complex projective varieties with holomorphically convex universal covers. If $G$ is a holomorphically convex group of…

We prove that every mod 2 integral cycle $T$ in a Riemannian manifold $\mathcal{M}$ can be approximated in flat norm by a cycle which is a smooth submanifold $\Sigma$ of nearly the same area, up to a singular set of codimension 3; in…

Given two nonsingular real algebraic varieties V and W, we consider the problem of deciding whether a smooth map f: V -> W can be approximated by regular maps in the space of smooth maps from V to W. Our main result is a complete solution…

Coherence theorems for covariant structures carried by a category have traditionally relied on the underlying term rewriting system of the structure being terminating and confluent. While this holds in a variety of cases, it is not a…

The uniform position principle states that, given an irreducible nondegenerate curve C in the projective r-space $P^r$, a general (r-2)-plane L is uniform, that is, projection from L induces a rational map from C to $P^1$ whose monodromy…

We prove a generalized mirror conjecture for non-negative complete intersections in symplectic toric manifolds. Namely, we express solutions of the PDE system describing quantum cohomology of such a manifold in terms of suitable…

We prove the absence of a universal diameter bound on lengths of curves in a sweep-out of a Riemannian 2-sphere. If such bound existed it would yield a simple proof of existence of short geodesic segments and closed geodesics on a sphere of…