Related papers: Rectilinearization of sub analytic sets as a conse…

We discover a new Poincar\'e type phenomenon by establishing an optimal rigidity theorem for local CR mappings between circle bundles that are defined in a canonical way over (possibly reducible) bounded symmetric domains. We prove such a…

We study the regularity results of holomorphic correspondences. As an application, we combine it with certain recently developed methods to obtain the extension theorem for proper holomorphic mappings between domains with real analytic…

Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$, $M$ an arbitrary $R$-module and $N$ a finite $R$-module. We prove that \cite[Theorem 2.1]{Mel} and \cite[Proposition 3.3 (i)$\Leftrightarrow$(ii)]{B1} are true for any Serre…

We prove that every automorphism of the restricted root system of a real semisimple Lie algebra -- when defined properly -- can be lifted to an automorphism of that Lie algebra. In particular, this can be applied to automorphisms of the…

We prove a duality theorem for graded algebras over a field that implies several known duality results : graded local duality, versions of Serre duality for local cohomology and of Suzuki duality for generalized local cohomology, and…

We prove the analog of the Morel-Voevodsky localization theorem over complex analytic stacks, which is used in arXiv:2511.09371 to establish a 6-functor formalism of complex analytic motivic homotopy theory and produce an analytification…

We study rational homology groups of one-point compactifications of spaces of complex monic polynomials with multiple roots. These spaces are indexed by number partitions. A standard reformulation in terms of quotients of orbit arrangements…

We generalise a classic result of Rees to characterise analytically unramified local rings using Rees algebras of modules.

Building upon work of Villamayor and Bierstone-Milman we give a proof of the canonical Hironaka principalization and desingularization. The idea of "homogenized ideals" introduced in the paper gives {\it a priori} the canonicity of…

We prove that a $C^{\infty}$ semialgebraic local diffeomorphism of $\mathbb{R}^n$ with non-properness set having codimension greater than or equal to $2$ is a global diffeomorphism if $n-1$ suitable linear partial differential operators are…

Real linear operators emerge in a range of mathematical physics applications. In this paper spectral questions of compact real linear operators are addressed. A Lomonosov-type invariant subspace theorem for antilinear compact operators is…

We present a new notion of decomposition of semialgebraic sets by introducing a mode of irreducibility based on arc-analytic functions. The result is a refinement of the decomposition of such sets with respect to the Zariski topology as…

Let $R\subset F$ be an extension of real closed fields and ${\mathcal S}(M,R)$ the ring of (continuous) semialgebraic functions on a semialgebraic set $M\subset R^n$. We prove that every $R$-homomorphism $\varphi:{\mathcal S}(M,R)\to F$ is…

We prove the Myers-Steenrod theorem for local topological groups of isometries acting on pointed $\mathcal{C}^{k,\alpha}$-Riemannian manifolds, with $k+\alpha>0$. As an application, we infer a new regularity result for a certain class of…

We give a new algorithm computing local system cohomology groups for complexified real line arrangements. Using it, we obtain several conditions for the first local system cohomology to vanish and to be at most one-dimensional, which…

We use stratified Morse theory to construct a complex to compute the cohomology of the complement of a hyperplane arrangement with coefficients in a complex rank one local system. The linearization of this complex is shown to be the…

Following the work of Beilinson-Bernstein and Kashiwara-Rouquier, we give a geometric interpretation of certain categories of modules over the finite W-algebra. As an application we reprove the Skryabin equivalence.

An investigation of morphisms that coincide topologically is used to generalize to all characteristics and partly reprove Tamagawa's theorem on the Grothendieck conjecture in anabelian geometry for affine hyperbolic curves. The theorem now…

We develop the K-theory of sets with an action of a pointed monoid (or monoid scheme), analogous to the $K$-theory of modules over a ring (or scheme). In order to form localization sequences, we construct the quotient category of a nice…

We prove that the linearization of a germ of holomorphic map of the type $F_\lambda(z)=\lambda(z+O(z^2))$ has a $ C^1$--holomorphic dependence on the multiplier $\lambda$. $C^1$--holomorphic functions are $ C^1$--Whitney smooth functions,…