Related papers: Infinite determinacy on a closed set for smooth ge…
We study the Weierstrass division theorem for function germs in strongly non-quasianalytic Denjoy-Carleman classes $\mathcal{C}_M$. For suitable divisors $P(x,t)=x^d+a_1(t)x^{d-1}+\cdots+a_d(t)$ with real-analytic coefficients $a_j$, we…
This a first step to develop a theory of smooth, etale and unramified morphisms between noetherian formal schemes. Our main tool is the complete module of differentials, that is a coherent sheaf whenever the map of formal schemes is of…
We show that finitely generated groups which are Liouville and without infinite finite-dimensional linear representations must have a global fixed point whenever they act by isometry on a finite-dimensional complete CAT(0)-space. This…
We consider the following conjecture: if X is a smooth projective variety over a field of characteristic zero, then there is a dense set of reductions X_s of X to positive characteristic such that the action of the Frobenius morphism on the…
Given a nondecreasing sequence $\Lambda=\{\lambda_n>0\}$ such that $\displaystyle\lim_{n\to\infty} \lambda_n=\infty,$ we consider the sequence $\mathcal N_\Lambda:=\left\{\lambda_ne^{i\theta_n},n\in\,\mathbb N\right\}$, where $\theta_n$ are…
Let $X$ be an algebraic surface with $\mathcal{L}$ an ample line bundle on $X$. Let $\Gamma(X, \mathcal{L})$ be the \emph{geometric monodromy} group associated to family of nonsingular curves in $X$ that are zero loci of sections of…
Given a singular modulus $j_0$ and a set of rational primes $S$, we study the problem of effectively determining the set of singular moduli $j$ such that $j-j_0$ is an $S$-unit. For every $j_0 \neq 0$, we provide an effective way of finding…
It is known by a result of Mendes and Sampaio that the Lipschitz normal embedding of a subanalytic germ is fully characterized by the Lipschitz normal embedding of its link. In this note, we show that the result still holds for definable…
A theorem of Weil and Atiyah says that a holomorphic vector bundle $E$ on a compact Riemann surface $X$ admits a holomorphic connection if and only if the degree of every direct summand of $E$ is zero. Fix a finite subset $S$ of $X$, and…
We prove that the finiteness of a finitely generated category of irreducible algebraic varieties over a field of characteristic zero is decidable. We also obtain a Burnside finiteness criterion for such a category, with applications to…
Hindman's celebrated Finite Sums Theorem, and its high-dimensional version due to Milliken and Taylor, are extended from covers of countable sets to covers of arbitrary topological spaces with Menger's classic covering property. The methods…
The Brasselet number of a function $f$ with nonisolated singularities describes numerically the topological information of its generalized Milnor fibre. In this work, using the Brasselet number, we present several formulas for germs $f:(X,…
In this paper, we discuss germs of smooth hypersurface in $\mathbb C^n$. We show that if a point on the boundary has infinite D'Angelo type, then there exists a formal complex curve in the hypersurface through that point.
We prove that if $X$ is a compact, oriented, connected $4$-dimensional smooth manifold, possibly with boundary, satisfying $\chi(X)\neq 0$, then there exists an integer $C\geq 1$ such that any finite group $G$ acting smoothly and…
Assume that there exists a hypersurface singularity which cannot be resolved by iterated monoidal transformations in positive characteristic. We show that in the set of defining functions of hypersurface singularities which cannot be…
Let $\mm_n, n=0,1,...$ be the supercritical branching random walk, in which the number of direct descendants of one individual may be infinite with positive probability. Assume that the standard martingale $W_n$ related to $\mm_n$ is…
For germs of subanalytic sets, we define two finite sequences of new numerical invariants. The first one is obtained by localizing the classical Lipschitz-Killing curvatures, the second one is the real analogue of the evanescent…
We prove bounds on the saturation degrees of homogeneous ideals (and their powers) defining smooth complex projective varieties. For example, we show that a classical statement due to Macualay for zero-dimensional complete intersection…
We define and study entanglement of continuous positive definite functions on products of compact groups. We formulate and prove an infinite-dimensional analog of Horodecki Theorem, giving a necessary and sufficient criterion for…
We study the S5-modal expansion of the logic based on the Lukasiewicz t-norm. We exhibit a finitary propositional calculus and show that it is finitely strongly complete with respect to this logic. This propositional calculus is then…