相关论文: Flattening and subanalytic sets in rigid analytic …

Stone locales together with continuous maps form a coreflective subcategory of spectral locales and perfect maps. A proof in the internal language of an elementary topos was previously given by the second-named author. This proof can be…

For any real-analytic hypersurface M in complex euclidean space of dimension >= 2 which does not contain any complex-analytic subvariety of positive dimension, we show that for every point p in M the local real-analytic CR automorphisms of…

We refine and advance the study of the local structure of idempotent finite algebras started in [A.Bulatov, The Graph of a Relational Structure and Constraint Satisfaction Problems, LICS, 2004]. We introduce a graph-like structure on an…

This article studies the symplectic cohomology of affine algebraic surfaces that admit a compactification by a normal crossings anticanonical divisor. Using a toroidal structure near the compactification divisor, we describe the complex…

We study the class of overconvergent subanalytic subsets of a $k$-affinoid space $X$ when $k$ is a non-archimedean field. These are the images along the projection $X \times B^n \to X$ of subsets defined with inequalities between functions…

The paper concerns uniform Yomdin-Gromov parametrizations together with an estimate of their number, which generalizes a theorem by Cluckers-Forey-Loeser to arbitrary equicharacteristic zero valued fields with analytic structure. To this…

Let R be an affine k-domain over the field k. The paper's main result is that, if R admits a non-trivial embedding in a polynomial ring K[s] for some field K containing k, then R can be embedded in a polynomial ring F[t] which extends R…

Given an essentially finite type morphism of schemes f: X --> Y and a positive integer d, let f^{d}: X^{d} --> Y denote the natural map from the d-fold fiber product, X^{d}, of X over Y and \pi_i: X^{d} --> X the i'th canonical projection.…

Consider the (formal/analytic/algebraic) map-germs Maps(X,(k^p,o)). Let G be the group of right/contact/left-right transformations. I extend the following (classical) results from the real/complex-analytic case to the case of arbitrary…

We study a Grothendieck topology on schemes which we call the $\mathrm{arc}$-topology. This topology is a refinement of the $v$-topology (the pro-version of Voevodsky's $h$-topology) where covers are tested via rank $\leq 1$ valuation…

Our goal is to convince the readers that the theory of complex normal surface singularities can be a powerful tool in the study of numerical semigroups, and, in the same time, a very rich source of interesting affine and numerical…

We study the geometry of equivariant, proper maps from homogeneous bundles $G\times_P V$ over flag varieties $G/P$ to representations of $G$, called collapsing maps. Kempf showed that, provided the bundle is completely reducible, the image…

We compute a number of invariants of singularities defined via the Frobenius morphism for seminormal affine toric varieties over fields of characteristic p > 0. Our main technical tool is a combinatorial description of the potential…

Let A be an associative algebra with identity over a field k. An atomistic subsemiring R of the lattice of subspaces of A, endowed with the natural product, is a subsemiring which is a closed atomistic sublattice. When R has no zero…

We present a constructive criterion for flatness of a morphism of analytic spaces X -> Y or, more generally, for flatness over Y of a coherent sheaf of modules on X. The criterion is a combination of a simple linear-algebra condition "in…

We prove a rigid analytic analogue of the Artin vanishing theorem. Precisely, we prove (under mild hypotheses) that the geometric etale cohomology of any Zariski-constructible sheaf on any affinoid rigid space $X$ vanishes in all degrees…

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 that, if F is a coherent sheaf of modules over the source of a morphism f:X->Y of complex-analytic spaces, where Y is smooth, then the stalk of F at a point x in X is flat over R, the local ring of the target at f(x) if and only if…

We extend the homological method of quantization of generalized Drinfeld--Sokolov reductions to affine superalgebras. This leads, in particular, to a unified representation theory of superconformal algebras.

Let $K$ be a real closed field with a nontrivial non-archimedean absolute value. We study a refined version of the tropicalization map, which we call real tropicalization map, that takes into account the signs on $K$. We study images of…