Related papers: Extending meromorphic connections to coadmissible …
Let D be a strictly convex domain and X be a singular analytic subset of C^2 such that the intersection of X and D is non empty. We give conditions under which a function holomophic on the intersection of X and D can be extended…
Let $X$ be a projective variety admitting a polarized (or more generally, int-amplified) endomorphism. We show: there are only finitely many contractible extremal rays; and when $X$ is $\mathbb{Q}$-factorial normal, every minimal model…
n this article we consider functions meromorphic in the unit disk. We give an elementary proof for a condition that is sufficient for the univalence of such functions which also contains some known results. We include few open problems for…
In this note, introducing notions of CH module, CH morphism and CH connection, we define a meromorphic connection in the "$z$-direction" on periodic cyclic homology of an $A_\infty$ category as a connection on cohomology of a CH module.…
We study the preservation of semisimplicity for holonomic D-modules with respect to the direct and inverse image of mainly finite maps $\pi : X \to Y$ of smooth varieties. A natural filtration of the direct image $\pi_+({\mathcal O}_X)$ is…
We describe the modular operad structure on the moduli spaces of pointed stable curves equipped with an admissible $G$-cover. To do this we are forced to introduce the notion of an operad colored not by a set but by the objects of a…
Employing Morse theory for the global control of monodromy and the method of analytic discs for local extension, we establish a version of the global Hartogs extension theorem in a singular setting: for every domain D of an (n-1)-complete…
Let k be an algebraically closed field of characteristic 0, and let f be a morphism of smooth projective varieties from X to Y over the ring k((t)) of formal Laurent series. We prove that if a general geometric fiber of f is rationally…
Let $X$ be a smooth proper scheme over an algebraically closed field $k$ in characteristic $p$. In this short note, by interpreting $\mathcal{D}_{X}$-modules as $F$-divided sheaves and establishing a cohomological boundedness property for…
In this note we prove that a homeomorphism is countably-expansive if and only if it is measure-expansive. This result is applied for showing that the $C^1$-interior of the sets of expansive, measure-expansive and continuum-wise expansive…
We show that, over a local complete intersection, every possible variety is realized as the cohomological support variety of some module. Moreover, we show that the projective variety of a complete indecomposable maximal Cohen-Macaulay…
For a compact $(2n+1)$-dimensional smooth manifold, let $\mu_M : B Diff_\partial (D^{2n+1}) \to B Diff (M)$ be the map that is defined by extending diffeomorphisms on an embedded disc by the identity. By a classical result of Farrell and…
Let X be a smooth, complete, toric variety. We study those curves C in X that are contractible, in the sense that there exists an equivariant morphism with connected fibers, with source X, that contracts exactly the irreducible curves that…
Let $D$ be a reduced effective strict normal crossing divisor on a smooth complex variety $X$, and let $\mathfrak{X}_D$ be an associated root stack over $\mathbb C$. Suppose that $X$ admits an anti-holomorphic involution (real structure)…
Let $f:X\to Y$ be a smooth morphism of complex analytic manifolds and let $F$ be an $\mathbb{R}$-constructible complex on $Y$. Let $\cal{M}$ be a coherent $\shd_X$-module. We prove that the microsupport of the solution complex of $\shm$ in…
We prove a Decomposition Theorem for the direct image of an irreducible local system on a smooth complex projective variety under a morphism with values in another smooth complex projective variety. For this purpose, we construct a category…
Consider a definable complete d-minimal expansion $(F, <, +, \cdot, 0, 1, \dots,)$ of an oredered field $F$. Let $X$ be a definably compact definably normal definable $C^r$ manifold and $2 \le r <\infty$. We prove that the set of definable…
Classical finite association schemes lead to a finite-dimensional algebras which are generated by finitely many stochastic matrices. Moreover, there exist associated finite hypergroups. The notion of classical discrete association schemes…
Suppose that $F$ is a smooth and connected complex surface (not necessarily compact) containing a smooth rational curve $C$ with positive self-intersection. We prove that there exists a neighborhood $U\supset C$ such that any meromorphic…
In this paper we prove the preconstructibility of the complex of tempered holomorphic solutions of holonomic D-modules on complex analytic manifolds. This implies the finiteness of such complex on any relatively compact open subanalytic…