Related papers: ACC for log canonical thresholds for complex analy…
We give a canonical construction of a balanced big Cohen-Macaulay algebra for a domain of finite type over $\mathbb C$ by taking ultraproducts of absolute integral closures in positive characteristic. This yields a new tight closure…
We examine categoricity issues for computable algebraic fields. We give a structural criterion for relative computable categoricity of these fields, and use it to construct a field that is computably categorical, but not relatively…
We prove inversion of adjunction on log canonicity.
In this paper we prove complex bounds, also referred to as a priori bounds, for real analytic (and even C3) interval maps. This means that we associate to such a map a complex box mapping (which provides a kind of Markov structure),…
Concrete domains, especially those that allow to compare features with numeric values, have long been recognized as a very desirable extension of description logics (DLs), and significant efforts have been invested into adding them to usual…
We derive a straightening-free algorithm that computes the canonical bases of any higher-level q-deformed Fock space.
Given a three-dimensional projective log canonical pair over a perfect field of characteristic larger than five, there exists a minimal model program that terminates after finitely many steps.
If $X$ is an algebraic variety with at worst canonical singularities and $S$ is a $\Q$-Cartier hypersurface in $X$, the canonical threshold of the pair $(X,S)$ is the supremum of $c\in\R$ such that the pair $(X,cS)$ is canonical. We show…
We prove the normality of minimal log canonical centers on threefold pairs which residue fields are perfect of residue characteristics $p\neq 2,3 $ and $5$. We also show that the union of all log canonical centers on threefold pairs with…
We present an algebraic characterization of the complexity classes Logspace and Nlogspace, using an algebra with a composition law based on unification. This new bridge between unification and complexity classes is rooted in proof theory…
We propose definitions of hypercomplex analytic spaces and hypercomplex schemes. We show that such a hypercomplex space is canonically associated to the quotient of a hypercomplex manifold by a finite group action.
The article discusses criteria for univalence of analytic functions in the unit disc. Various families of analytic functions depending on real parameters are considered. A unified method for creating new sets of conditions ensuring…
Canonical Correlation Analysis (CCA) is a widely used statistical tool with both well established theory and favorable performance for a wide range of machine learning problems. However, computing CCA for huge datasets can be very slow…
We show that the transition matrices between the standard and the canonical bases of infinitely many weight subspaces of the higher-level q-deformed Fock spaces are equal.
Let $\varphi$ be a plurisubharmonic function defined in a neighborhood of the origin in $\mathbb C^n$. For each real number $t>-n$, we associate to $\varphi$ the weighted log canonical threshold \[ c_t(\varphi):=\sup\Bigl\{c\geq…
We obtain that the nonzero accumulation points of the set of 3-fold canonical thresholds $\ct(X,S)$ are precisely $1/k$ where $k\ge 2$ is an integer and $S$ is an effective integral divisor of a projective 3-fold $X$ with only terminal…
We develop the foundations of higher geometric stacks in complex analytic geometry and in non-archimedean analytic geometry. We study coherent sheaves and prove the analog of Grauert's theorem for derived direct images under proper…
Logics with team semantics provide alternative means for logical characterization of complexity classes. Both dependence and independence logic are known to capture non-deterministic polynomial time, and the frontiers of tractability in…
We study the higher (or sequential) topological complexity $\mathrm{TC}_s$ of manifolds with abelian fundamental group. We give sufficient conditions for $\mathrm{TC}_s$ to be non-maximal in both the orientable and non-orientable cases. In…
We compare and contrast various notions of the "critical locus" of a complex analytic function on a singular space. After choosing a topological variant as our primary notion of the critical locus, we justify our choice by generalizing L\^e…