Semistable reduction for complex analytic spaces

Makoto Enokizono,Kenta Hashizume

2024-10-12

Abstract:Semistable reduction theorem for projective morphisms in the category of complex analytic spaces is established.

Algebraic Geometry

What problem does this paper attempt to address?

Cone and contraction theorem for projective morphisms between complex analytic spaces

Osamu Fujino

2023-08-12

Abstract:We discuss the cone and contraction theorem in a suitable complex analytic setting. More precisely, we establish the cone and contraction theorem of normal pairs for projective morphisms between complex analytic spaces. This result is a starting point of the minimal model program for complex analytic log canonical pairs. In this paper, we are mainly interested in normal pairs whose singularities are worse than kawamata log terminal singularities.

Algebraic Geometry,Complex Variables
On vanishing theorems for analytic spaces

Osamu Fujino

2023-10-15

Abstract:This is a short report on our new vanishing theorems for projective morphisms between complex analytic spaces. We established a complex analytic generalization of Kollár's torsion-freeness and vanishing theorem for analytic simple normal crossing pairs. Although our results may look artificial, they have already played a crucial role for the study of minimal models in the complex analytic setting.

Algebraic Geometry,Complex Variables
Complex analytic geometry and analytic-geometric categories

Ya'acov Peterzil,Sergei Starchenko

DOI: https://doi.org/10.1515/crelle.2009.002

2009-01-01

Journal für die reine und angewandte Mathematik (Crelles Journal)

Abstract:The notion of an analytic-geometric category was introduced by v. d. Dries and Miller in [Lou van den Dries and Chris Miller, Geometric categories and o-minimal structures, Duke Math. J. 84 (1996), no. 2, 497–540.]. It is a category of subsets of real analytic manifolds which extends the category of subanalytic sets. This paper discusses connections between the subanalytic category, or more generally analytic-geometric categories, and complex analytic geometry. The questions are of the following nature: We start with a subset A of a complex analytic manifold M and assume that A is an object of an analytic-geometric category (by viewing M as a real analytic manifold of double dimension). We then formulate conditions under which A, its closure or its image under a holomorphic map is a complex analytic set. In the second part of the paper we consider the notion of a complex -manifold, which generalizes that of a compact complex manifold. We discuss uniformity in parameters, in this context, within families of complex manifolds and their high-order holomorphic tangent bundles. We then prove a result on uniform embeddings of analytic subsets of -manifolds into a projective space, which extends theorems of Campana ([F. Campana, Algébricité et compacité dans l'espace des cycles d'un espace analytique complexe, Math. Ann. 251 (1980), no. 1, 7–18.]) and Fujiki ([Akira Fujiki, On the Douady space of a compact complex space in the category 𝒞, Nagoya Math. J. 85 (1982), 189–211.]) on compact complex manifolds.

mathematics
An analytic proof of the stable reduction theorem

Jian Song,Jacob Sturm,Xiaowei Wang

DOI: https://doi.org/10.1007/s00208-024-02848-2

2024-04-17

Mathematische Annalen

Abstract:The stable reduction theorem says that a family of curves of genus over a punctured curve can be uniquely completed (after possible base change) by inserting certain stable curves at the punctures. We give a new this result for curves defined over , using the Kähler–Einstein metrics on the fibers to obtain the limiting stable curves at the punctures.

mathematics
Semistable reduction over thick log points

Alexander E. Motzkin,Michael Temkin

2024-02-15

Abstract:We establish a version of a semistable reduction theorem over a log point with a non-trivial nilpotent structure. In order to do this we extend the classical desingularization theories to non-reduced schemes with generically principal nilradical.

Algebraic Geometry
The Moduli Space of Regular Stable Maps

Joel W. Robbin,Yongbin Ruan,Dietmar A. Salamon

DOI: https://doi.org/10.1007/s00209-007-0237-x

2007-01-01

Mathematische Zeitschrift

Abstract:We prove that the moduli space of regular stable maps in a complex manifold admits a natural complex orbifold structure. Our proof is based on Hardy decompositions and Fredholm intersection theory.
Decomposition of De Rham Complexes with Smooth Horizontal Coefficients for Semistable Reductions

Qihong Xie

DOI: https://doi.org/10.2140/pjm.2011.254.465

2011-01-01

Pacific Journal of Mathematics

Abstract:We generalize Illusie's result to prove the decomposition of the de Rham complex with smooth horizontal coefficients for a semistable S-morphism f : X -> Y which is liftable over Z/p(2)Z. As an application, we prove the Kollar vanishing theorem in positive characteristic for a semistable S - morphism f : X -> Y which is liftable over Z/p(2)Z, where all concerned horizontal divisors are smooth over Y.
The relative minimal model program for excellent algebraic spaces and analytic spaces in equal characteristic zero

Shiji Lyu,Takumi Murayama

2023-08-29

Abstract:We establish the relative minimal model program with scaling for projective morphisms of quasi-excellent algebraic spaces admitting dualizing complexes, quasi-excellent formal schemes admitting dualizing complexes, semianalytic germs of complex analytic spaces, rigid analytic spaces, Berkovich spaces, and adic spaces locally of weakly finite type over a field, all in equal characteristic zero. To do so, we prove finite generation of relative adjoint rings associated to projective morphisms of such spaces using the strategy of Cascini and Lazić and the generalization of the Kawamata-Viehweg vanishing theorem to the scheme setting recently established by the second author. To prove these results uniformly, we prove GAGA theorems for Grothendieck duality and dualizing complexes to reduce to the algebraic case. In addition, we apply our methods to establish the relative minimal model program with scaling for spaces of the form above in dimensions $\le 3$ in positive and mixed characteristic, and to show that one can run the relative minimal model program with scaling for complex analytic spaces without shrinking the base at each step.

Algebraic Geometry
Existence of moduli spaces for algebraic stacks

Jarod Alper,Daniel Halpern-Leistner,Jochen Heinloth

DOI: https://doi.org/10.1007/s00222-023-01214-4

2024-02-23

Abstract:We provide necessary and sufficient conditions for when an algebraic stack admits a good moduli space and prove a semistable reduction theorem for points of algebraic stacks equipped with a $\Theta$-stratification. These results provide a generalization of the Keel--Mori theorem to moduli problems whose objects have positive dimensional automorphism groups and give criteria on the moduli problem to have a separated or proper good moduli space. To illustrate our method, we apply these results to construct proper moduli spaces parameterizing semistable $\mathcal{G}$-bundles on curves and moduli spaces for objects in abelian categories.

Algebraic Geometry
Minimal model program for log canonical pairs on complex analytic spaces

Makoto Enokizono,Kenta Hashizume

2024-04-08

Abstract:We study the minimal model program for lc pairs on projective morphism between complex analytic spaces. More precisely, we generalize the results by Birkar and the second author to the setup by Fujino.

Algebraic Geometry
Reductive Shafarevich Conjecture

Ya Deng,Katsutoshi Yamanoi,Ludmil Katzarkov

2024-05-29

Abstract:In this paper, we prove the holomorphic convexity of the covering of a complex projective {normal} variety $X$, which corresponds to the intersection of kernels of reductive representations $\rho:\pi_1(X)\to {\rm GL}_{N}(\mathbb{C})$, therefore answering a question by Eyssidieux, Katzarkov, Pantev, and Ramachandran in 2012. It is worth noting that Eyssidieux had previously proven this result in 2004 when $X$ is smooth. While our approach follows the general strategy employed in Eyssidieux's proof, it introduces several improvements and simplifications. Notably, it avoids the necessity of using the reduction mod $p$ method in Eyssidieux's original proof. Additionally, we construct the Shafarevich morphism for complex reductive representations of fundamental groups of complex quasi-projective varieties unconditionally, and proving its algebraic nature at the function field level.

Algebraic Geometry,Complex Variables
Complexity reduction for path categories

J.F. Jardine

DOI: https://doi.org/10.48550/arXiv.1909.08433

2019-09-18

Abstract:This paper displays complexity reduction techniques for calculations of path categories (or fundamental categories) P(K) for finite simplicial and cubical complexes K. The central technique involves identifying inclusions of complexes for which the induced functor of path categories is fully faithful. Refinements of cubical complex structures are discussed. A first method for parallelizing the calculation of path categories for cubical complexes is introduced.

Algebraic Topology
Semisimplicity and Reduction of p-adic Representations of Topological Monoids

Tomoki Mihara

DOI: https://doi.org/10.48550/arXiv.1312.6711

2013-12-23

Number Theory

Abstract:We give a criterion of the semisimplicity of a p-adic unitary representation of a topological monoid by the reduction of the associated operator algebra.
Complexes of stable $\infty$-categories

Merlin Christ,Tobias Dyckerhoff,Tashi Walde

2024-02-16

Abstract:We study complexes of stable $\infty$-categories, referred to as categorical complexes. As we demonstrate, examples of such complexes arise in a variety of subjects including representation theory, algebraic geometry, symplectic geometry, and differential topology. One of the key techniques we introduce is a totalization construction for categorical cubes which is particularly well-behaved in the presence of Beck-Chevalley conditions. As a direct application we establish a categorical Koszul duality result which generalizes previously known derived Morita equivalences among higher Auslander algebras and puts them into a conceptual context. We explain how spherical categorical complexes can be interpreted as higher-dimensional perverse schobers, and introduce Calabi-Yau structures on categorical complexes to capture noncommutative orientation data. A variant of homological mirror symmetry for categorical complexes is proposed and verified for $\mathbb{C}\mathrm{P}^2$.

Algebraic Geometry,Category Theory,K-Theory and Homology
Semistability and CAT(0) Geometry

Ross Geoghegan

DOI: https://doi.org/10.48550/arXiv.1703.07003

2017-03-20

Group Theory

Abstract:We explain why semistability of a one-ended proper CAT(0) space can be determined by the geodesic rays. This is applied to boundaries of CAT(0) groups.
Stable Reduction via the Log Canonical Model

Tai-Hsuan Chung

2024-11-27

Abstract:We formulate a stable reduction conjecture that extends Deligne-Mumford's stable reduction to higher dimensions and provide a simple proof that it holds in large characteristic, assuming two standard conjectures of the Minimal Model Program. As a result, we recover the Hacon-Kovács theorem on the properness of the moduli stack $\overline{\mathscr{M}}_{2,v,k}$ of stable surfaces of volume $v$ defined over $k=\overline{k}$, provided that $\operatorname{char}k>C(v)$, a constant depending only on $v$.

Algebraic Geometry
Geometric polarized log Hodge structures for semistable families

Taro Fujisawa,Chikara Nakayama

2023-07-08

Abstract:We prove that a projective semistable morphism of fs log analytic spaces yields polarized log Hodge structures in the canonical way.

Algebraic Geometry
Injectivity theorems and cubical descent for schemes, stacks, and analytic spaces

Takumi Murayama

2024-06-16

Abstract:We prove relative injectivity, torsion-freeness, and vanishing theorems for generalized normal crossing pairs on schemes, algebraic stacks, formal schemes, semianalytic germs of complex analytic spaces, rigid analytic spaces, Berkovich spaces, and adic spaces locally of weakly finite type over a field, all in equal characteristic zero. We give a uniform proof for all these theorems in all the categories of spaces mentioned above, which were previously only known for varieties and complex analytic spaces due to work of Ambro and Fujino. Ambro and Fujino's results are integral in the proofs of the fundamental theorems of the minimal model program for (semi-)log canonical pairs and the theory of quasi-log structures. Our results resolve a significant barrier to extending these results on (semi-)log canonical pairs and quasi-log structures beyond the setting of varieties and complex analytic spaces. In order to prove our most general injectivity theorems, we generalize to all these categories of spaces a criterion due to Guillén and Navarro Aznar characterizing when functors defined on smooth varieties extend to all varieties. This extension result uses cubical hyperresolutions, which we construct in all categories of spaces mentioned above. Our extension result is very general and is of independent interest. We use this extension result to prove our injectivity theorems for generalized normal crossing pairs. We also apply our extension result to develop the theoretical foundations for the Deligne-Du Bois complex in these categories of spaces and to construct a weight filtration on the (pro-)étale cohomology of schemes and rigid analytic spaces. These results establish some aspects of Deligne-Hodge theory in all categories of spaces mentioned above.

Algebraic Geometry,Complex Variables,Number Theory
A reduction theorem for good basic invariants of finite complex reflection groups

Yukiko Konishi,Satoshi Minabe

2024-08-31

Abstract:This is a sequel to our previous article <a class="link-https" data-arxiv-id="2307.07897" href="https://arxiv.org/abs/2307.07897">arXiv:2307.07897</a>. We describe a certain reduction process of Satake's good basic invariants. We show that if the largest degree $d_1$ of a finite complex reflection group $G$ is regular and if $\delta$ is a divisor of $d_1$, a set of good basic invariants of $G$ induces that of the reflection subquotient $G_{\delta}$. We also show that the potential vector field of a duality group $G$, which gives the multiplication constants of the natural Saito structure on the orbit space, induces that of $G_{\delta}$. Several examples of this reduction process are also presented.

Algebraic Geometry,Mathematical Physics
Global Complexification of Real Analytic Restricted Log-Exp-Analytic Functions

Andre Opris

2024-06-29

Abstract:We show that a real analytic restricted log-exp-analytic function has a holomorphic extension which is again restricted log-exp-analytic. We also establish a parametric version of this result.

Logic,Algebraic Geometry,Complex Variables

Semistable reduction for complex analytic spaces

Cone and contraction theorem for projective morphisms between complex analytic spaces

On vanishing theorems for analytic spaces

Complex analytic geometry and analytic-geometric categories

An analytic proof of the stable reduction theorem

Semistable reduction over thick log points

The Moduli Space of Regular Stable Maps

Decomposition of De Rham Complexes with Smooth Horizontal Coefficients for Semistable Reductions

The relative minimal model program for excellent algebraic spaces and analytic spaces in equal characteristic zero

Existence of moduli spaces for algebraic stacks

Minimal model program for log canonical pairs on complex analytic spaces

Reductive Shafarevich Conjecture

Complexity reduction for path categories

Semisimplicity and Reduction of p-adic Representations of Topological Monoids

Complexes of stable $\infty$-categories

Semistability and CAT(0) Geometry

Stable Reduction via the Log Canonical Model

Geometric polarized log Hodge structures for semistable families

Injectivity theorems and cubical descent for schemes, stacks, and analytic spaces

A reduction theorem for good basic invariants of finite complex reflection groups

Global Complexification of Real Analytic Restricted Log-Exp-Analytic Functions