要約:
We introduce the concise secant varieties, which are, informally speaking, modular partial desingularisations of secant varieties to Segre embeddings. More precisely, they are projective and birational to the abstract secant varieties, yet each of their points corresponds to a concise tensor of appropriate border rank (that is, to a minimal border rank tensor).
We discuss implications throughout the theory of tensors, including a characterisation of border rank $\leq r$ tensors as unrestrictions of minimal border rank $r$ tensors (also in the Veronese and Segre-Veronese cases), a characterisation of tensors with cactus rank $\leq r$, concise versions of border apolarity including the fixed point theorem, concise Varieties of Sums of Powers, counting points on the second secant variety, connections to defectivity and identifiability in the Segre case, to the Salmon conjecture etc.
要約:
We develop a $\mathbf{P}^1$-unstable non-$\mathbf{A}^1$-invariant theory of motivic spaces and spectra, and construct the Gysin map therein for regular immersions. This in particular gives the Gysin map in the Annala--Hoyois--Iwasa $\mathbf{P}^1$-motivic spectra, and thus gives a uniform construction for the Gysin maps of various cohomology theories.
要約:
We construct a complex of toric varieties we call the quasisymmetric Grassmannian inside the Grassmannian of $r$-planes in $\mathbb{C}^n$. Each irreducible component is a positroid variety and an $S_n$ translate of a toric Richardson variety of ribbon shape. We describe it as the vanishing locus of equations $\Delta_A\Delta_{A'}=0$ in Pl\"ucker coordinates determined by a new noncrossing combinatorial object we call the quasisymmetric Johnson graph. We give an affine paving, and show that its cohomology ring is a quasisymmetric modification of the Borel presentation of the Grassmannian's cohomology, with fundamental quasisymmetric polynomials playing the role of Schur polynomials.
要約:
We prove the Mukai conjecture on the characterisation of products of projective spaces among Fano varieties for a class of locally factorial Fano varieties defined in terms of their Cox rings. The Fano varieties of this class are characterised in terms of the property that they admit an embedding into a smooth projective toric variety via the bunched ring theory of Mori dream spaces. Our approach inherits the Mukai conjecture for this class from a log version of the Mukai conjecture on the toric ambient embedding.
要約:
We describe the possible 3-divisible $A_2^n$ configurations of smooth rational curves on K3 surfaces in characteristic 3 and fully classify the resulting triple covers.
要約:
Let $\mathcal M_{r,c}$ denote the moduli space of stable bundles with rank $r$ and second Chern class $c>0$ on a Hopf surface. We prove that the subset of $\mathcal M_{r,c}$ formed by irregular bundles is meager.
要約:
We introduce (lim-)perfectoid splitting, which is a global variant of (lim-)perfectoid purity. Our main result establishes a correspondence between the lim-perfectoid splitting of projective schemes and the lim-perfectoid purity of their Gorenstein section rings. As an application, we construct a new supply of examples of lim-perfectoid pure rings that go beyond the previously known complete intersection or splinter-type cases.
要約:
We study families of plane algebraic curves sharing the same set of foci. We reformulate confocality via a focal map on equiclassical families and analyze its fibers using deformation theory.
要約:
We introduce excess logarithmic residues for one-dimensional holomorphic foliations tangent to a divisor. They arise from the comparison between the logarithmic normal sheaf and the ordinary normal sheaf of the foliation, and measure the local variation between the logarithmic and classical Baum--Bott contributions. We prove a global residue formula expressing the corresponding Chern numbers as sums of local residues. We then derive a Poincar\'e-type bound for invariant hypersurfaces from the non-negativity of the relevant logarithmic residues. Finally, for a normal \(\mathbb Q\)-Gorenstein surface $Y$, we show that the componentwise logarithmic residues of a lifted foliation along the exceptional divisor of a functorial resolution recover the log discrepancies of the singularities of $Y$, giving a dynamical and foliated test for log canonicity of these singularities.
要約:
Let $\mathcal{Q}$ be a class of objects in an abelian category $\mathcal{A}$ which need not have enough projective or injective objects. In this paper, we prove that if $\mathcal{Q}$ is the first class of a Hovey triple $(\mathcal{Q},\mathcal{W},\mathcal{R})$ in $\mathcal{A}$ satisfying certain assumptions-weaker than those required in the recent literature-then $\mathcal{Q}_n$, the class of objects with $\mathcal{Q}$-resolution dimension at most an integer $n\ge 0$, forms the first class of a hereditary Hovey triple $\mathcal{M}_n=(\mathcal{Q}_n,\mathcal{W}_{\mathcal{Q},n},\mathcal{R}_{\mathcal{Q},n})$, where $\mathcal{W}_{\mathcal{Q},n}$ and $\mathcal{R}_{\mathcal{Q},n}$ are described explicitly. Consequently, $\mathcal{Q}_n$ is the left-hand side of a complete hereditary cotorsion pair and hence a special precovering class. The dual statement is also established. As a main application, we construct an abelian model structure on $Qcoh(X)$, the category of quasi-coherent sheaves over a semi-separated Noetherian scheme $X$, in which the cofibrant (resp. fibrant) objects are precisely the sheaves with Gorenstein flat (resp. Gorenstein injective) dimension at most $n$.
要約:
We consider a Ziegler pair of plane arrangements, that is two plane arrangements $\mathcal{A}:f=0$ and $\mathcal{A}':f'=0$ in the projective space $\mathbb{P}^3$, such that the intersection lattices $L(\mathcal{A})$ and $L(\mathcal{A}')$ are isomorphic, but the Betti numbers of the minimal resolutions of their Jacobian algebras are not the same. We introduce several properties for such pairs and relate them to cones over Ziegler pairs of line arrangements in $\mathbb{P}^2$.
要約:
Let $G=PSL(n,\mathbb{C})$. Let $T$ be a maximal torus of $G$. Let $\omega_{r}$ denote the $r^{th}$ fundamental weight. Let $\mathcal{L}(n\omega_{r})$ denote the line bundle on the Grassmannian $G_{r,n}$ associated to the character $n\omega_{r}$ of $T$. In an earlier work of Kannan and Sardar, it is proved that there is a unique minimal dimensional Schubert variety $X(w_{r,n})$ in $G_{r,n}$ admitting semistable points for the $T$-linearized ample line bundle $\mathcal{L}(n\omega_{r})$. Assume that $n=rq+1$, where $r,q\in\mathbb{N}$ and $q\geq 2$. In this paper, we study the GIT quotient of $X(w_{r,n})$ modulo a subtorus $T_{J_{r}}$ of $T$ generated by the one parameter subgroups of $T$ corresponding to the peaks of $w_{r,n}$. We prove that the GIT quotient of $X(w_{r,n})$ modulo $T_{J_{r}}$ is isomorphic to the total space of the $r^{th}$ stage of an iterated projective space bundle over $\mathbb{P}^{q-1}$.
要約:
Let $K$ be an algebraically closed and complete non-archimedean and non-trivially valued field, and let $G$ be a reductive group scheme acting on a flat projective scheme $X$ defined over the base ring of $K$-integers. For every $K$-point $x$ in $X$, we introduce the minimal invariant locus $\operatorname{MinInvLoc}_x$ and the semistable reduction translation locus $\operatorname{SSRL}_x$ in the translation space $\operatorname{BT}_G(K)$ associated with $G_K$, which is a variant of Bruhat-Tits building, and establish not only the coincidence of those loci but, under a mild completeness assumption, also their non-emptiness. In the dynamical setting which has been studied by Szpiro--Tepper--Williams and Rumely, the coincidence result is already new in higher dimensions, and the non-emptiness result includes Rumely's $1$-dimensional result at least in the spherical complete case.
要約:
We give a criterion for certain generic nondegenerate surfaces in a fake weighted projective $3$-space to have Picard number $>1$. These algebraic surfaces are of general type. We do this by considering degenerations (along an edge), keeping track of the geometric genus, and using vanishing cohomology classes to construct a rational Picard class on the surface not proportional to the canonical divisor.
要約:
It is known that if a Gorenstein simplex of dimension \(d\) and degree \(s\) is not a lattice pyramid, then \(d \leq 2s-1\). In this paper, we study the extremal case \(d=2s-1\). More precisely, we characterize Gorenstein simplices of dimension \(2s-1\) and degree \(s\) which are not lattice pyramids in terms of even binary self-complementary codes. As an application, combining this characterization with existing classification results on reflexive simplices, we classify Gorenstein simplices of degree \(3\) and \(4\). Equivalently, we classify polarized \(d\)-dimensional Gorenstein fake weighted projective spaces \((X,L)\) satisfying $-K_X=(d-2)L$ or $-K_X=(d-3)L$, where \(-K_X\) is the anticanonical divisor of \(X\) and \(L\) is a Cartier divisor on \(X\).
要約:
We show that isomorphisms of fundamental groups of elementary anabelian varieties -- varieties obtained as iterated fibrations of hyperbolic curves -- over sub-$p$-adic fields correspond bijectively to isomorphisms of varieties. Moreover, dominant maps between proper elementary anabelian varieties are in bijection with ``stably cohomologically injective'' maps of fundamental groups: open maps whose pullbacks to all open subgroups induce injections on cohomology rings with $\ell$-adic coefficients, for any prime $\ell$. This verifies conjectures of Grothendieck from his letter to Faltings. Finally, we establish \'etale homotopical generalizations of these results.
要約:
We show that the faithful highest weight hearts in an algebraic triangulated category are the serially faithful glued hearts, equivalently the hearts containing a dual pair of full exceptional collections in the sense of Bodzenta--Bondal (arXiv:2601.22004). We then characterise faithful highest weight categories of perverse sheaves on topologically stratified spaces algebraically, in terms of the exactness of certain functors, and topologically, in terms of the vanishing of certain cohomology groups of pairwise links.
We prove that the global dimension of a faithful category of perverse sheaves on a topologically stratified space $X$ with finitely many strata is bounded by the dimension of $X$. Finally, we show that in this setting the hypercohomology of a perverse sheaf can be computed from a projective resolution of the constant sheaf, and conversely that the multiplicities of the terms in a minimal projective resolution of the constant sheaf can be computed as intersection cohomology groups.
要約:
We establish a direct connection between the analytic data of weakly isolated mixed singularities and the topology of their associated links. More precisely, we prove that the existence of essential tori, topological information, in the complements of links arising from weakly isolated mixed singularities can be detected directly from properties of the defining mixed polynomial, provided that it is convenient, non-degenerate and $\Gamma$-nice.
Our results provide explicit and computable criteria, expressed purely in terms of the polynomial data, that determine the presence of essential tori in the link exterior. In particular, these criteria yield effective conditions ensuring that such links are non-hyperbolic.
This approach provides a new method to extract topological information about link complements without requiring an explicit determination of the link type, thereby establishing a concrete bridge between the analytic structure of mixed polynomials and the geometric topology of their associated links.
要約:
One of the most important applications of topological recursion concerns spectral curves for which the functions $(x,y)$ defining the spectral curve are allowed to have logarithmic singularities. This occurs for instance for Seiberg-Witten curves and mirror curves computing Gromov--Witten invariants of toric Calabi--Yau threefolds. A recently introduced extension of topological recursion, the so-called logarithmic topological recursion, exhibits the correct behavior under certain limits of those spectral curves.
In this article, we derive the dilaton equations in the setting of logarithmic topological recursion, as well as variational formulas, and provide a definition of the free energies in situations where standard topological recursion was known to fail. We present examples in which the new definition of the free energies \textit{directly} (without any computation) reproduces the full perturbative part of the Nekrasov--Shatashvili partition function of 4d $\mathcal{N}=2$ pure supersymmetric gauge theory, as well as the all-genus free energies of mirror curves of strip geometries, including in particular the topological vertex and the resolved conifold.
要約:
We give a simple description of the coordinate ring of the universal centralizer associated to a simply connected semisimple group. To this end, we prove a general result on Weil restriction of affine schemes $X$ over the Cartan subalgebra $\mathfrak{t}$ equipped with a compatible action of the Weyl group $W$. Specifically, we show that the coordinate ring of the scheme $\mathrm{Res}^W(X)$ of $W$-fixed points of Weil restriction of $X$ to the GIT quotient $\mathfrak{t}//W$ can be obtained from the coordinate ring of $X$ by applying Demazure operators if and only if the scheme $\mathrm{Res}^W(X)$ is integral.
要約:
We prove that the moduli space of numerical Godeaux surfaces with torsion group $\mathbb{Z}/2$ is irreducible and unirational of dimension 8. Moreover, we show that the topological fundamental group of these surfaces is also $\mathbb{Z}/2$. Our approach is based on the explicit construction of equations for all universal covers of numerical Godeaux surfaces with torsion group $\mathbb{Z}/2$.
要約:
A conjecturally complete list of connected components of complements of discriminant varieties (aka wave fronts) of smooth function singularities of type $X_{10}^3$ and $X_{10}^1$ is presented; it are the first examples of not semi-quasihomogeneous plane function singularities. It is shown that the complements of discriminants of singularities of classes $X_9^{\pm}$ and $X_{10}^1$ have non-trivial 1-dimensional homology groups, in contrast to all simple singularity classes.
要約:
In this article, we carry out the flattening techniques developped in a former work in order to ``embellish" a map between compact analytic spaces, to describe the structure of its image, getting this way a substitute for Chevalley's theorem in the non-archimedean setting, and finally to show that flatness in the world of Berkovich spaces amounts to naive flatness provided one works with local rings for the G-topology
要約:
We study Arinkin's Poincar\'e sheaf $\mathcal{P}_C$ on the singular locus of $\overline{\mathsf{Jac}}_C$, the compactified Jacobian of rank one torsion-free sheaves on an integral nodal projective curve $C$. Each stratum of the singular locus $\mathsf{Sing}(\overline{\mathsf{Jac}}_C)$ is indexed by a partial normalisation $\Sigma \to C$. We prove that the Poincar\'e sheaf $\mathcal{P}_C$ restricted to each stratum can be expressed through the Poincar\'e sheaf $\mathcal{P}_{\Sigma}$, obtaining a relation between Fourier-Mukai transforms associated to $\mathcal{P}_C$ and $\mathcal{P}_{\Sigma}$. Our approach uses an intermediate geometry: the moduli space of parabolic modules of Bhosle and Cook, to intertwine sheaf data over the two curves. In a sequel, our formulae are used to study mirror symmetry in singular loci of Hitchin systems.
要約:
Consider real-analytic mapping-germs, (R^n,o)-> (R^m,o). They can be equivalent (by coordinate changes) complex-analytically, but not real-analytically. However, if the transformation of complex-equivalence is identity modulo higher order terms, then it implies the real-equivalence.
On the other hand, starting from complex-analytic map-germs (C^n,o)->(C^m,o), and taking any field extension, C to K, one has: if two maps are equivalent over K, then they are equivalent over C.
These (quite useful) properties seem to be not well known. We prove slightly stronger properties in a more general form:
* for Maps(X,Y) where X,Y are (formal/analytic/Nash) scheme-germs, with arbitrary singularities, over a base ring k;
* for the classical groups of (right/left-right/contact) equivalence of Singularity Theory;
* for faithfully-flat extensions of rings k -> K. In particular, for arbitrary extension of fields, in any characteristic.
The case ``k is a ring" is important for the study of deformations/unfoldings. E.g. it implies the statement for fields: if a family of maps {f_t} is trivial over K, then it is also trivial over k.
Similar statements for scheme-germs (``isomorphism over K vs isomorphism over k") follow by the standard reduction ``Two maps are contact equivalent iff their zero sets are ambient isomorphic".
This study involves the contact equivalence of maps with singular targets, which seems to be not well-established. We write down the relevant part of this theory.
要約:
We introduce a moduli space of ``complete quasimaps'' to $\mathsf{Bl}_{\mathbb{P}^s}(\mathbb{P}^r)$. The construction, following previous work for curves on projective spaces, essentially proceeds by blowing up Ciocan-Fontanine--Kim's space of quasimaps at loci where sections of line bundles are linearly dependent. We conjecture that tautological intersection numbers on these moduli spaces give enumerative counts of curves of fixed complex structure on $X$ subject to general incidence conditions, in contrast with traditional compactifications of the moduli spaces of maps. A result of Farkas guarantees that these spaces are pure of expected dimension. The conjecture is proven in dimension 2, where the main input is a Brill-Noether theorem for general curves on toric surfaces.
要約:
We compute the intersections between the automorphism strata and the pullback by the Torelli map of the Ekedahl-Oort strata inside the moduli space of genus two curves. We first describe explicitly which possible automorphism groups a genus two curve can have over a field of positive characteristic, and parametrise the families of curves with a prescribed automorphism group. Then, we describe an algorithm to compute the strata of genus two curves whose Jacobian variety has a fixed Ekedahl-Oort type. Finally, we compute the dimension and number of irreducible components of the intersections between the strata.
要約:
Let $K$ be a complete non-archimedean field over $\mathbb{Q}_p$, $G$ be a rigid group over $K$, and $X$ be a perfectoid space over $K$. We consider the natural morphism of sites $\nu: X_v \to X_{\mathrm{\acute{e}t}}$. It is known from work of Heuer that the direct image functor $\nu_*$ induces an equivalence of the categories of $G$-torsors. In this article, we show that there is an equivalence of 2-categories of $G$-gerbes on these two topologies.
要約:
We study the homology groups of the complement of a complexified real line arrangement with coefficients in complex rank-one local systems. Using Borel--Moore homology, we establish an algorithm computing their dimensions via the real figures of the arrangement. It enables us to give a new upper bound. We further consider the case where the arrangement contains a sharp pair and make partial progress on a conjecture proposed by Yoshinaga.
要約:
We address the question of normal-crossings-preserving resolution of singularities (NC-preserving resolution), and compare the cases of characteristic 0 and characteristic 2.
In characteristic 0, it is shown by Belotto da Silva and Bierstone arxiv:2602.09114 and W{\l}odarczyk arxiv:2602.14266 that, if one allows to introduce stack theoretic weighted blowups, any variety over a field of characteristic 0 admits a normal crossings resolution. We provide a principle that makes such results possible, Theorem 3.1.4. We further show that the coarse moduli space can be restricted to have higher pinch points (Definition 1.3.2), see Theorem 1.3.3.
In contrast, in characteristic 2 we classify pinch points, and show that weighted blowups cannot lead to NC-preserving resolution of pinch points, although a pinch point is always the coarse moduli space of a NC stack (Theorem 1.4.1).
要約:
Given $X$ a cominuscule Grassmannian (or irreducible Hermitian symmetric space) and an integer $p,$ we compute the minimum $l(p)$ such that $H^0 (\Omega^p_X (l(p)))$ is not 0. This allows us to conclude that any codimension-one foliation of degree zero on a cominuscule Grassmannian is a pencil of hyperplanes, improving a result of the first and third authors with D. Faenzi. We also deduce the structure of codimension-one foliations of degree one. Finally, we provide families of examples of high codimensional foliations of minimal degree on classical Grassmannians, Lagrangian Grassmannians, Spinor varieties, and the Cayley plane.
要約:
We prove an analogue of Givental-Teleman reconstruction for F-cohomological field theories on the moduli space of compact type. We apply it to reconstruct the restriction of the extended $r$-spin classes to the extended direction and deduce relations between $\kappa$-classes (both in compact type).
要約:
Superspecial curves are important objects in number theory and algebraic geometry, and the existence in genus $g \geq 4$ remains an open problem for all but finitely many characteristics $p > 0$. As a computational approach to this problem, Kudo-Harashita-Howe (2020) showed that a superspecial curve of genus 4 exists in each characteristic $p$ with $7 < p < 20000$. Their method restricted attention to a specific class of curves, known as Howe curves, for which superspeciality is reduced to those of curves of genus at most 2. In this paper, we focus on a more specific class of curves, namely Howe curves whose Jacobians decompose into a product of four elliptic curves. By restricting our attention to such curves, the superspeciality reduces to the supersingularity of elliptic curves, which enables us to construct a superspecial curve of genus 4 more efficiently than Kudo-Harashita-Howe's method. As our first main result, we confirmed by computer the existence of such superspecial curves of genus 4 in characteristics $p$ with $20000 < p < 10^6$. Using a similar approach, we also propose constructions of superspecial curves of genera 5 and 6 from only supersingular elliptic curves. Furthermore, computational experiments establish the existence of superspecial curves of genus 5 (resp. genus 6) in characteristics $p$ with $13 < p < 10^5$ (resp. $7 < p < 10^5$).
要約:
The goal of this note is to record the following curious fact: let $(S,\n)$ be an unramified regular local ring of mixed characteristic $p>0$ and dimension $d$. Let $L$ denote the quotient field of $S$ and $K=L(\omega)$ with $\omega^p\in L$. Let $R$ denote the integral closure of $S$ in $K$. Then $R$ is Cohen-Macaulay if and only if $\mathrm{H}^{d-1}_{\n}(R)=0$, i.e., the obstruction to the Cohen-Macaulayness of $R$ lies in a single local cohomology module. Furthermore, this is equivalent to the dual module $\Hom_S(R,S)$ satisfying Serre's condition $(S_3)$.
要約:
We study the plus-pure threshold (ppt) of hypersurfaces in mixed characteristic. We show that the ppt limits to the $F$-pure threshold (fpt) as we ramify the base DVR. Additionally, we show that analogs of some positive characteristic extremal singularities cannot attain the same `extremal' ppt values in the unramified setting. We also study equations which have controlled ramification when we adjoin their $p$-th roots as well as equations which admit $p$-th roots modulo $p^2$ (or modulo other values), bounding their ppts. In particular, given a complete unramified regular local ring of mixed characteristic $p>0$, $f^p + p^2 g$ does not define a perfectoid pure singularity for any $f$ and $g$. Finally, we compute bounds on the ppt of hypersurfaces related to elliptic curves. This gives examples where the ppt is neither the corresponding fpt in characteristic $p > 0$ nor the lct in characteristic zero. This also provides examples where $p$ times the ppt is not a jumping number, in stark contrast with the characteristic $p > 0$ picture.
要約:
Building on the work of \.{I}nan and of Almahariq--Peters--Vergili, we develop an axiomatic framework for approximate algebra based on an algebra-compatible closure operator $\Phi^{\!*}$ on a unital ring. The operator is assumed to be extensive, monotone, idempotent, compatible with addition, and balanced with respect to left and right multiplication, while absorption is imposed only in the definition of approximate ideals. The first structural result is that the closure of every approximate ideal is an ordinary two-sided ideal, so that the approximate quotient $R/\!I$ is canonically the ordinary quotient $R/\Phi^{\!*}(I)$. The decisive prime-theoretic result is that every approximate prime ideal in a unital ring is automatically $\Phi^{\!*}$-closed. Consequently, for a commutative ring with unity, $\mathrm{Spec}_{\!\Phi}(R)=\{P\in\mathrm{Spec}(R):\Phi^{\!*}(P)=P\},$ and the approximate Zariski topology is exactly the subspace topology induced from the classical spectrum on this fixed-prime locus. We also develop a compatible module theory, distinguish carefully between classical quotients and approximate quotients, and prove a first isomorphism theorem for the induced homomorphism modulo $\Phi^{\!*}_{M'}(0)$, together with an approximate quotient version under a closed-kernel hypothesis. For ideal-translation closures $\Phi^{\!*}(A)=A+J$, the spectrum is $V(J)\cong\mathrm{Spec}(R/J)$; in particular, the modular closure $A\mapsto A+m\mathbb Z$ yields the finite discrete space of prime divisors of $m$. Finally, over an algebraically closed field, we prove $\mathrm{rad}_{\!\Phi}(I)=\sqrt{\Phi^{\!*}(I)}$, show that the evaluation--separation implication is automatic from the classical Hilbert Nullstellensatz, and establish that point-ideal closedness is equivalent to the exact identity $\mathrm{rad}_{\!\Phi}(I)=\mathrm I(V(I))$ for all ideals.
要約:
We give a new definition -- and in some cases, a new construction -- of integral canonical models of Shimura varieties that uses the notion of an aperture appearing in work of Gardner--Madapusi on some conjectures of Drinfeld. This applies to Shimura varieties of pre-abelian type at odd primes of hyperspecial level, recovering and extending previous work of Kisin, Kim--Madapusi and Imai--Kato--Youcis, but also to exceptional Shimura varieties for large enough primes. The characterization in the exceptional case is \emph{a priori} different from the one recently shown by Bakker--Shankar--Tsimerman, and recovers many of their results, such as the existence of prime-to-$p$ Hecke operators, the non-emptiness of the $\mu$-ordinary stratum and the theory of the canonical lift. In fact, we give a uniform proof of the non-emptiness of \emph{all} possible Newton strata, and of the non-emptiness of Ekedahl--Oort strata and central leaves as well. An important ingredient in the proofs is a generalization of Tate's full faithfulness theorem for $p$-divisible groups to the context of apertures. This leads to a mapping property for the integral canonical model that characterizes maps into it from all normal, flat and excellent schemes over $\mathbb{Z}_{(p)}$.
要約:
We establish three rigidity results for mappings in complex geometry. First, we study the gradient maps of strictly plurisubharmonic functions. We prove that under a global $\operatorname{U}(1)$-symmetry and a phase condition, the gradient mapping in $\mathbb{C}^2$ possesses strictly finite fibers. By leveraging symplectic reduction, we show that the induced mapping on the moment map quotient is a proper mapping of topological degree $1$ between Riemann spheres. Second, we investigate the elevation of continuous mappings to holomorphic ones in the setting of proper fibrations. By utilizing relative morphism spaces and the Noetherian property of their local rings, we prove that a continuous, fiber-wise holomorphic map uniquely extends to a global holomorphic map, provided it is anchored by a sequence of holomorphic sections with mutually disjoint images. This is applied to establish the rigidity of homomorphisms between elliptic fibrations and Abelian schemes. Third, for a compact Kobayashi hyperbolic manifold fibered over $\mathbb{P}^1$, we prove that a continuous, fiber-wise holomorphic map of degree $1$ to a projective variety is a bi-holomorphic isomorphism, provided it is injective on a very ample hypersurface.