要約:
We focus on Borel measures that have a globally subanalytic density function. We prove, given such a measure $\mu$ on a set $A$ and a globally subanalytic mapping $\Phi:A\to \Omega$, with $\Omega$ bounded open subset of $\mathbb{R}^n$, a Sobolev embedding theorem for the Sobolev space $W^{k,p}_{\Phi_*\mu}(\Omega)$ of the push-forward measure $\Phi_*\mu$. We derive an embedding of $W^{k,p}_{\Phi_*\mu}(\Omega)$ into the space of inner Lipschitz functions and give an application to kernel theory.
要約:
We give an almost complete classification of Ulrich bundles $\mathcal E$ with $c_2(\mathcal E)^2=0$ on a variety $X$ of dimension $n \ge 4$. Moreover, we show that there are strong constraints on the geometry of $X$ and we study disconnected Ulrich subvarieties.
要約:
In this article, we find finitely many numerical invariants to classify the diffeomorphism types of three dimensional simply connected Mori fibre spaces with torsion free homology groups.
要約:
In this note, we study the resonance variety of rank-two vector bundles over an elliptic curve. Our approach is based on analyzing the flattening stratification of the resonance. We also investigate the linear section of the Grassmann variety $\operatorname{Gr}(2,n)$ from which the resonance is constructed through the lens of its corresponding flattening stratification.
要約:
We study exceptional loci of F-blowups of normal toric varieties. In the $\Q$-factorial case, this study amounts to studying the exceptional loci of $G$-Hilbert schemes. We give a formula for the dimension of the center of a prime divisor on the F-blowup in terms of combinatorial data, together with an algorithm for computing it. Moreover, we study the relation between F-blowups and essential divisors for three-dimensional terminal singularities and canonical singularities. Finally, we give a simple condition ensuring that a prime divisor over the given toric variety has a positive-dimensional center on the F-blowup.
要約:
We use tools from microlocal analysis to study the category of constructible sheaves on a finite-dimensional real vector space \(E\), endowed with the convolution product \(\star\). More precisely, we show that if a constructible sheaf \(F\) with compact support is invertible with respect to \(\star\), then its inverse is given by the dual of its antipodal transform. We also prove that, among compactly supported constant sheaves, invertibility in the monoidal category \((D^b(k_E),\star)\) is equivalent to the convexity of the support.
We then introduce a microlocal transform \(B(F)\), obtained by projecting the characteristic cycle of \(F\) to \(E^*\) and we define the product, $B(F)\bullet B(G)$, for two sheaves $F,G$. We prove that this transform is compatible with convolution and give a necessary condition in terms of $B(F)$ for \(F\) to be invertible.
要約:
Let $k$ be a field, $f \colon X \to Y$ a birational morphism of integral connected schemes proper over $k$ with $Y$ normal, $x \in X(k)$ lying over $y \in Y(k)$. For Tannakian categories $\cC_X \subset \Vect(X)$ and $\cC_Y \subset \Vect(Y)$, denote by $\pi(\cC_X,x)$ and $\pi(\cC_Y,y)$ the corresponding Tannaka group schemes. We establish general Tannakian criteria for the natural homomorphism $\pi(\cC_X,x)\to \pi(\cC_Y,y)$ to be an isomorphism. As applications, for a birational map $X \dashrightarrow Y$ between smooth projective varieties over a perfect field $k$, we prove that there exists a natural isomorphism $\pi^{*}(X,x)\cong \pi^{*}(Y,y)$ for any $* \in \{S,N,EN,F,EF,Loc,ELoc,\acute{e}t, E\acute{e}t,uni\}$. In particular, we prove that the induced homomorphism $\pi^{str}(X,x)\to \pi^{str}(Y,y)$ is an isomorphism for any birational morphism $ X \rightarrow Y$.
要約:
We prove that normal projective stable families of maximal variation, of fixed dimension, and with bounded adjoint volume are birationally bounded. This is a consequence of a substantially stronger statement, formulated a priori independently of stable families: algebraically integrable foliations of fixed dimension and bounded adjoint volume are log birationally bounded. In this way, the birational geometry of foliations provides a systematic framework for approaching classical boundedness problems for fibrations.
A key input is our proof of M\textsuperscript{c}Kernan's ACC conjecture for interpolated log canonical thresholds of algebraically integrable foliations. This may be viewed as the foliated analogue of Shokurov's ACC conjecture for log canonical thresholds, proved in the classical setting by Hacon--M\textsuperscript{c}Kernan--Xu.
As applications, we establish two boundedness criteria for Fano algebraically integrable adjoint foliated structures: Birkar's criterion for exceptional Fanos, and Jiang's criterion for Fanos for which both Tian's $\alpha$-invariant and the anti-canonical volume are bounded away from zero.
We also obtain several results on the birational geometry of algebraically integrable adjoint foliated structures, including lower bounds for adjoint volumes, boundedness of automorphism groups, and ACC theorems for pseudo-effective thresholds, $\mathbb{R}$-complementary thresholds, and the Fano spectrum.
要約:
We compute the dimension of the motivic Galois group of a 1-motive M defined over the field of complex numbers, expressing it explicitly in terms of the rank of the multiplicative group generated by the points defining M. As an application, we obtain a new formulation of the Grothendieck--Andr\'e periods Conjecture in the setting of 1-motives.
要約:
Proving representability of derived moduli stacks of solutions to non-linear elliptic partial differential equations generally requires significant analytic machinery. In this paper, we instead show that representability naturally follows from an Artin-Lurie style representability theorem. This necessitates the development of a new model for derived differential geometry using an extension of $C^\infty$-rings that we call $C^\infty$-bornological rings. This new theory embeds into the theory of derived bornological geometry recently proposed by Ben-Bassat, Kelly, and Kremnizer.
要約:
Explicit formulas determining the dimension and the degree of the singular subscheme of hypersurfaces in ${\mathbb P}^n$ are given in terms of the graded Betti numbers of the minimal free resolution of the corresponding Jacobian algebra. This gives in particular new restrictions which must be satisfied by such graded Betti numbers.
要約:
For a smooth irreducible curve $C$, its second gonality $d_2$ is defined to be the minimum integer $d$ such that $C$ admits a linear series $g_d^2$. In this paper, we compute the second gonality of a smooth aCM curve $C$ lying on a smooth quartic surface in $\mathbb{P}^3$, whose Clifford index is computed by a net on $C$.
要約:
In this paper, we study complete simplicial toric varieties admitting faithful actions of large symmetric groups. First, we correct a recent classification result by Esser, Ji, and Moraga concerning $4$-dimensional toric varieties with $S_6$-actions over the complex numbers $\mathbb{C}$, providing the complete list of such varieties. Second, we extend the study of maximal symmetric group actions to non-closed fields $k$ of characteristic zero satisfying a certain arithmetic condition (such as $\mathbb{Q}$ or $\mathbb{R}$). Over such fields, we reveal a striking rigidity in dimensions $n \neq 2$, where the maximal symmetric action uniquely restricts the variety to the projective space $\mathbb{P}^n_k$. In sharp contrast, for dimension $n=2$, we discover and classify an infinite family of split and non-split toric surfaces admitting faithful $S_4$-actions by utilizing the equivariant Minimal Model Program and Galois descent.
要約:
The long-standing Nakai Conjecture concerns a very natural question: can differential operators detect singularities on algebraic varieties? On a smooth complex variety, it is well known that the ring of differential operators is generated by derivations. Nakai asked whether the converse holds: if the ring of differential operators is generated by derivations, is the variety smooth? In this paper, we verify the Nakai Conjecture for isolated homogeneous hypersurface singularities.
要約:
The holomorphy conjecture for suspensions of plane curve singularities and the holomorphy and monodromy conjectures for L\^e-Yomdin singularities of surfaces are proved.
The first part of this paper provides formul{\ae} for the motivic and topological zeta functions for a family of hypersurfaces, including the suspensions by an arbitrary number of points and which are more general than Thom-Sebastiani type. These formulae generalize and are inspired by the description of the topological and the 2-twisted topological zeta functions of suspensions by 2 points of hypersurfaces, due to the first named author, Cassou-Nogu\`es, Luengo and Melle. The new general formul{\ae} deal with arbitrary values of the twisting parameter. An interesting feature of these general formul{\ae} is the appearance of values of the Jordan's totient function as coefficients of the topological and the twisted topological zeta functions of some auxiliary hypersurfaces of smaller dimension.
要約:
The additive structure of $\mathbb{F}_1$-modules (in the sense of Segal's $\Gamma$-sets) differs fundamentally from that of abelian groups: addition is encoded through a family of $n$-ary hyper-operations that are multivalued and do not satisfy classical associativity. We establish a \emph{law of generalized associativity} showing that, despite this failure of strict associativity, all $n$-ary sums are controlled by successive binary operations. This enables us to construct an extension of scalars functor $-\otimes_{\mathbb{F}_1} \mathbb{Z}: \mathbb{F}_1\mathbf{Mod} \to \mathbf{Ab}$ that universally strictifies the hyper-additive structure of $\mathbb{F}_1$-modules into classical abelian group addition. We prove this functor is left adjoint to the Eilenberg-MacLane functor $H: \mathbf{Ab} \to \mathbb{F}_1\mathbf{Mod}$. Extending to the multiplicative setting, we obtain an adjunction $-\otimes_{\mathbb{F}_1} \mathbb{Z}: \mathbb{F}_1\mathbf{Alg} \leftrightarrows \mathbf{CRing} : H$ between commutative $\mathbb{F}_1$-algebras and commutative rings. This recovers Deitmar's monoid ring construction for spherical monoid algebras and provides a base change mechanism needed for absolute algebraic geometry.
要約:
We develop a theory of principal determinants and hypergeometric systems for realizable matroids. Our framework parallels the toric theory of Gel'fand, Kapranov, and Zelevinsky (GKZ), but with the combinatorics of matroids and their flats replacing the usual role of polytopes and their faces. In this analogy, the toric variety is replaced by a reciprocal linear space. The {principal $A$-determinant} is replaced by the {principal matroid determinant}, defined as a specialization of a resultant. The GKZ hypergeometric system is replaced by the {matroid hypergeometric system}, a holonomic $D$-module of combinatorial nature whose singular locus is conjectured to be the principal matroid~determinant.
要約:
Combinatorial curve neighborhoods are somewhat foundational when setting up the quantum Schubert calculus for affine flag manifolds. In the specific case of type $A_1^{(1)}$, you can encode these neighborhoods entirely within the moment graph of the infinite dihedral group $D_\infty$. Building on the framework developed by Mihalcea and Norton, this paper presents a complete, axiom-free formalization of these combinatorial curve neighborhoods in Lean 4. Rather than just wrapping mathematical statements, we formalized $D_\infty$ directly as a Coxeter system to explicitly compute length functions and degree maps. Reachable sets are defined through edge chains bounded by specific degrees, and we ultimately characterize the curve neighborhood by the maximal vertices inside these sets. The core effort here lies in formally verifying the explicit combinatorial formulas for curve neighborhoods of arbitrary elements. Interestingly, by restricting our search space to finite sets, we also managed to extract a fully computable version of these neighborhoods.
要約:
The authors previously formulated the hybrid conjecture, unifying Andr\'e-Pink-Zannier and Andr\'e-Oort conjectures, and proved it in Shimura varieties of abelian type. We study its analogue for mixed Shimura varieties, and consider the prime example, the universal abelian scheme $\mathcal{A}_g\to \mathbb{A}_g$.
In a radical departure from the Pila-Zannier strategy, typically applied to such questions, we employ instead a combination of equidistribution and o-minimality
Our main result strictly includes the following: the Hybrid Conjecture, in particular the Andr\'e-Pink-Zannier and Andr\'e-Oort conjectures, for $\mathbb{A}_g$; the mixed Andr\'e-Oort conjecture for $\mathcal{A}_g$; and Manin-Mumford conjecture for arbitrary abelian varieties. It also yields an analogue of the ``Manin-Mumford in arithmetic pencil", a result of Baldi-Richard-Ullmo, for abelian schemes over a variety.
The mixed hybrid conjecture in $\mathcal{A}_g$ also encompasses the Mordell-Lang conjecture. We actually reduce the mixed hybrid conjecture for $\mathbb{A}_g$ to its "mordellic" part.
We also prove, Galois-theoretic results: uniform variants on the Ribet's Kummer theory of Abelian varieties, and Serre's theorem on Lang's conjecture.
要約:
The objective of this paper is to further study the anabelian object referred to as \emph{pointed virtual curves}. Building upon previous work that investigated these fundamental-group-theoretic pullbacks of Galois sections in the genus-zero situation, we extend the central anabelian results to curves of arbitrary genus. To facilitate this generalization, we introduce the group-theoretic notion of an inclusion of CAVC-type and the categorical-theoretic notion of a virtual decuspidaloid. Furthermore, we establish a criterion regarding the "geometricity" of certain virtual curves, providing group-theoretic conditions under which a section of an arithmetic fundamental group arises from a rational point.
要約:
This paper presents two enhancements to cylindrical algebraic decomposition (CAD) based quantifier elimination (QE) for cases in which multiple equational constraints are present in the given input formula $\phi^*$. The first enhancement provides more detail in the output when there is a conceptual partition of the set of variables of $\phi^*$ into parameters and unknowns. In such cases, we describe how to partition the parameter space so that: (1) in each open set of the partition the number $\nu$ of associated unknowns is a finite constant or is infinite; and (2) for each such open set for which $\nu$ is finite, an expression for the unknowns in terms of the parameters is provided. The second enhancement is an efficiency gain achievable in certain situations. Indeed, when certain conditions are met, the second CAD equational projection step can be reduced more significantly than is supported by the prior existing theory. Relevant theorems and worked examples for both enhancements are provided. Application areas include approximation theory, cuspidal manipulator classification, and biological/chemical systems.
要約:
We show that for quasi-compact smooth rigid analytic spaces, the extension functor sends holonomic D-modules to coadmissible D-cap-modules which are of finite length as weakly holonomic D-cap-modules. Using this, we show that the meromorphic connections considered by Bode--Bitoun and the local cohomology groups considered by Ardakov--Bode--Wadsley are of finite length as weakly holonomic D-cap-modules for quasi-compact smooth rigid analytic spaces. As a central tool, we introduce and study Hilbert polynomials for finitely generated modules over completed Weyl algebras.
要約:
We study the flat CR twistor model $Q^{2,2}\subset \mathbb{CP}^3$ by explicit projective methods. Using the anti-holomorphic involution $j$ associated with the twistor fibration, we classify the projective lines contained in $Q^{2,2}$ into twistor fibres and transverse lines, and relate the latter to round $2$-spheres in $S^3$ through an explicit incidence--tangency correspondence. We classify hyperplane sections under the twistor-compatible symmetry group $PSp(1,1)$ and describe the induced CR geometries on $S^3$. For smooth $j$-invariant quadric sections, we obtain a complete relative classification in terms of Coxeter's inversive distance and show that, in the disjoint case, the construction yields an explicit one-parameter family of globally defined real-analytic non-spherical Levi-nondegenerate CR structures on $S^3$.
要約:
Let $X$ be a Fano threefold with index $i_X$ and fundamental line bundle $\mathcal O_X(h)$. We classify $\mu$-semistable rank two bundles $\mathcal E$ on $X$ with $c_1(\mathcal E)=0$, $h^0(\mathcal E) \ne 0$ and $h^1(\mathcal E(-\lceil\frac{i_X}{2}\rceil h))=0$.
要約:
The present paper is aimed to discussing three kinds of problems:
(1) producing some ``mirror theorem'' for the recent mirror symmetric construction, called \emph{framed} duality ($f$-duality), described in \cite{R-fTV} and \cite{R-fpCI}: this is performed from the point of view proposed by Homological Mirror Symmetry (HMS), by studying \emph{derived equivalence} ($D$-equivalence) of multiple mirror models produced by means of a, so-called, \emph{uncalibrated $f$-process}; (2) proposing a general construction giving a big number of multiple mirror models to, in principle, any projective complete intersection of non-negative Kodaira dimension: these multiple mirrors turn out to be each other connected by means of uncalibrated $f$-processes and then, after (1), $D$-equivalent or $K$-equivalent, in the sense of Kawamata \cite{Kawamata}; (3) presenting a number of evidences for the Bondal-Orlov-Kawamata conjecture that $D$-equivalence is $K$-equivalence, and viceversa.
要約:
We continue our study of fixed loci of antisymplectic involutions on projective hyper-K\"ahler manifolds of $\mathrm{K3}^{[n]}$-type induced by an ample class of square 2 in the Beauville-Bogomolov-Fujiki lattice. We prove that if the divisibility of the ample class is 2, then one connected component of the fixed locus is a Fano manifold of index 3, thus generalizing to higher dimensions the case of the LLSvS 8-fold associated to a cubic fourfold. We also show that, in the case of the LLSvS 8-fold associated to a cubic fourfold, the second component of the fixed locus is of general type, thus answering a question by Manfred Lehn.
要約:
A monomial algebra B is defined as a quotient of a polynomial ring by a monomial ideal, which is an ideal generated by a finite set of monomials. In this paper, we determine the automorphism group of a monomial algebra B, under the assumption that B is a finite-dimensional vector space over a field of characteristic zero. We achieve this by providing an explicit classification of the homogeneous locally nilpotent derivations of B. The main body of the paper addresses the more general case of semigroup algebras, with the polynomial ring being a particular case.
要約:
We classify smooth projective varieties of Picard rank 2 which has two structures of blow-up of projective space along smooth subvarieties of different dimensions. This gives a characterization of the so called quadro-cubic Cremona transformation.
要約:
We obtain results that relate Donaldson-Futaki type invariants (that is, the numerical invariants used to define K-stability for general polarised manifolds) for a toric polarised manifold and for a compactification of its mirror Landau-Ginzburg model, nearby the large volume limit. In general, these have the form of expansions containing terms which involve the base loci of certain linear systems determined by the Landau-Ginzburg potential (as expected from known constructions of compactified mirrors), and we give a condition under which these terms are subleading. As an application we show that recently proposed notions of K-stability involving elements of the extended K\"ahler moduli space, i.e. Z-stability for polarised varieties, appear naturally from considerations of mirror symmetry (as a mirror to classical K-stability).
要約:
The article revisits birational and biregular automorphisms of the Hilbert scheme of points on a K3 surface from the perspective of derived categories. Under the assumption that the K3 surface is generic, the birational and biregular involutions induced by autoequivalences on the derived category of the underlying K3 surface are characterized.
要約:
Joyce vertex algebras are vertex algebra structures defined on the homology of certain $\mathbb{C}$-linear moduli stacks, and are used to express wall-crossing formulae for Joyce's homological enumerative invariants. This paper studies the generalization of this construction to settings that come from non-linear enumerative problems. In the special case of orthosymplectic enumerative geometry, we obtain twisted modules for Joyce vertex algebras.
We expect that our construction will be useful for formulating wall-crossing formulae for enumerative invariants for non-linear moduli stacks. We include several variants of our construction that apply to different flavours of enumerative invariants, including Joyce's homological invariants, DT4 invariants, and a version of $K$-theoretic enumerative invariants.
要約:
We study periodic measures on $\mathbb{R}^n$ whose Fourier transform is confined to a proper double cone, in the sense of Meyer's notion of lighthouse measures. Lee--Yang polynomials provide a natural family of examples: it follows from the work of Kurasov and Sarnak that the torus zero sets of such polynomials are hypersurfaces supporting directional lighthouse measures. We prove a rigidity theorem showing that, under mild assumptions, this is essentially the only possibility. Any periodic $C^{1+\epsilon}$ hypersurface supporting a directional lighthouse measure must arise as the torus zero set of an essentially Lee--Yang polynomial. The proof is based on the recent classification of one-dimensional Fourier quasicrystals and provides a geometric interpretation of this theory.
要約:
The present work focuses on studying the logarithmic tangent sheaf associated with sequences of two homogeneous polynomials in four variables. We introduce two positive discrete invariants: the invariant m and the Bourbaki degree of a sequence, inspired by the framework of the Bourbaki degree recently developed for projective plane curves by Jardim-Nejad-Simis. The invariant m plays the role of the Tjurina number of plane projective curves and is bounded by a quadratic relation of the degrees. We establish results concerning the interplay of minimal degree for syzygies of the Jacobian matrix and the introduced discrete invariants. Our approach uses tools from foliation theory, taking advantage of the fact that the logarithmic sheaf is, up to a twist, the tangent sheaf of a codimension-one foliation in projective three-space. We provide examples and classification results for pencils of cubics and for pairs of a quadric and a cubic. In particular, one of the nearly-free examples induces an unstable, non-split tangent sheaf for a codimension-one foliation of degree 3, answering, in the negative, a conjecture of Calvo-Andrade, Correa and Jardim from 2018.
要約:
The subject of the present paper is phase tropicalization, which was used crucially in the context of Mikhalkin's correspondence theorem for curve counting in the complex coefficient case. The subject can be traced back to Viro's patchworking for constructing topological types of real algebraic curves. These two instances correspond to complex and real phases. Both fall into the category of what can be called "abelian" or classical tropicalization, referring to degenerations of varieties within an algebraic torus (or its compactification). In contrast, in "non-abelian" tropicalizations the ambient torus is replaced by a non-commutative group such as the special linear group. This is the beginning of a general theory valid for a wide array of coefficient systems and dimensions. As an application, the paper settles the question of phase tropicalization for the special linear group $\mathrm{SL}_2$. It also gives an algebraic explanation and phase extension of the case of curves, previously studied in the purely geometric framework. To accomplish these tasks we introduce valuative tools that allow us to prove an affine version of Kapranov's theorem on tropical hypersurfaces and its generalization to arbitrary tropical varieties. Most notably, we show the functorial properties of the graded ring of a valuation and exhibit the polynomial structure of the graded ring of monomial valuations.
要約:
We compute an explicit closed formula for the Hilbert polynomial of the Jacobian algebra $M(f)$ of a reduced surface $X:f=0$ in $\mathbb P^3$ in terms of the graded Betti numbers of the algebra $M(f)$. When $X$ has only isolated singularities, a result by A. du Plessis and C. T. C. Wall yields new necessary condition for a set of positive integers to be the graded Betti numbers of the Jacobian algebra of such a surface. The comparison with the plane curve case is discussed in detail and additional information is given in the case of nodal surfaces. In the final section we construct four natural Jacobian syzygies for surfaces $X$ coming from pencils of surfaces.
要約:
We prove that equivariantly simple invariant singularities can only exist for very few representations of a group of prime order: for real representations and some ``almost, but not quite real'' representations.
要約:
Hecke operators on moduli of bundles over a global function field become substantially more complicated in the presence of ramification. We show that far enough in the Harder-Narasimhan cone of $\mathrm{Bun}_G$, this extra complexity has a simple structure, which allows to reduce most of the study to the unramified case. Using the theory of graphs of Hecke operators, we transform this statement into a combinatorial condition. Utilizing the combinatorial language, we obtain tight bounds, and for generic eigenvalues exact formulas for the dimensions of Hecke eigenspaces with arbitrary ramification for $\mathrm{Bun}_{\mathrm{PGL}_2}$. Moreover, our methods allow to construct eigenforms explicitly.
要約:
We study the Euler characteristic of a hypersurface in $(\mathbb{C}^*)^2 \times (\mathbb{C}^*)^n$ defined by a polynomial whose monomial support corresponds to lattice points in $\Delta_1 \times \Delta_1 \times \Delta_n$ as the coefficients of the defining polynomial vary. Each member of this hypersurface family corresponds to a three-way independence model from algebraic statistics, and the (signed) Euler characteristic is equal to the maximum likelihood degree (ML degree) of the model. We show in the case of $\Delta_1 \times \Delta_1 \times \Delta_1$ this Euler characteristic depends only on the vanishing patterns of the factors of the principal $A$-determinant, but this fails for $\Delta_1 \times \Delta_1 \times \Delta_n$ with $n \geq 2$. We prove that, for all $n\geq 1$, all positive integers up to the maximum possible ML degree can be realized as the Euler characteristic. Furthermore, we completely determine the Euler stratification for $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$ and provide partial information for $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^2$.
要約:
This is now an expository note about the following classical problem. Let $(X, \bf 0)$ be the germ of a hypersurface in $(\mathbb C^n,\bf 0)$ with an ordinary singularity of multiplicity $m$ at the origin $\bf 0$. A natural question to ask is whether $X$ and its tangent cone at the origin are analytically isomorphic. The answer is negative in general, in view of a theorem of Kioji Saito.
However
there is an integer $D(n,m)>m$ such that, given a \emph{regular} homogeneous polynomial $f(x_1,\ldots, x_n)$ of degree $m$
(this means that $\{ f=0\}$ is a smooth hypersurface in $\PP^{n-1}$) then, for all $d\geq D(n,m)$, any convergent power series of the form $g=f+ o(d)$ (here, as usual, $o(d)$ stays for a power series of order at least $d$),
defines a germ $\{ g=0\}$ which is analytically equivalent to the germ $\{ f=0\}$. In this note we compute $D(n,m)$
explicitly as $n(m-2)+1$. We also give an extension to the case in which $f$ is a quasihomogeneous polynomial.
It was pointed out that the value of $D(n,m)$ was already known by \cite[Exercise 7.31]{D}.
要約:
Let $k$ be a field, $X$ a connected scheme proper over $k$, $D\subsetneq X$ an ample effective connected divisor, $x\in D(k)$. For Tannakian categories $\mathcal{C}_X$ and $\mathcal{C}_D$ whose objects consist of vector bundles on $X$ and $D$ respectively, we establish general Tannakian criteria for the natural homomorphism \(\pi(\mathcal{C}_D,x)\longrightarrow \pi(\mathcal{C}_X,x)\) to be faithfully flat, a closed immersion, or an isomorphism. As applications, under Langer type positivity assumptions, we prove that \(\pi^{\ast}(D,x)\longrightarrow \pi^{\ast}(X,x)\) is an isomorphism for $\ast\in\{S,N,EN,F, EF,Loc,ELoc,\acute{e}t,E\acute{e}t,uni\}$ over perfect fields.
要約:
We formulate two-dimensional $N=(2,2)$ supersymmetric conformal field theories in terms of unitary full vertex operator superalgebras and develop their cohomology theory. Cohomology rings, Hodge numbers, and the Witten index of a unitary $N=(2,2)$ full VOA are introduced. Using generalized full vertex operator superalgebras, spectral flow is constructed algebraically. Its periodicities are proved to be equivalent to the existence of top-degree cohomology classes, namely volume forms and holomorphic volume forms, and these characterizations yield Poincar\'e duality, T-duality, and Frobenius algebra structures on the cohomology rings, and thus two-dimensional topological field theories. A mirror construction for full VOAs and its relation to Hodge-theoretic mirror symmetry are also discussed. Finally, examples arising from abelian varieties, a special K3 surface, and a Landau-Ginzburg model are examined.
要約:
The moduli space of graphs $M_{g,n}^{\mathrm{trop}}$ is a polyhedral object that mimics the behavior of the moduli spaces $M_{g,n}$, $\overline{M}_{g,n}$ of (stable) Riemann surfaces; this relationship has been made precise in several different ways, which collectively identify $M_{g,n}^{\mathrm{trop}}$ as the "tropicalization" of $M_{g,n}$. We describe how this relationship lifts to some objects that live over $M_{g,n}$ (like Teichm\"uller space) and that live over $M_{g,n}^{\mathrm{trop}}$ (like the Culler-Vogtmann space $CV_{g,n}^*$). We introduce the notion of a stable complex handlebody, and show that $CV_{g,n}^*$ can be viewed as the tropicalization of a certain complex manifold $hT(V_{g,n})$ that parametrizes complex handlebodies. An important ingredient is our construction of a partial compactification $\overline{hT}(V_{g,n})\supset hT(V_{g,n})$, which we prove is a simply connected complex manifold with simple normal crossings boundary. When $n=0$, $hT(V_{g,n})$ coincides with the moduli space of Schottky groups, $\overline{hT}(V_{g,n})$ coincides with Gerritzen-Herrlich's extended Schottky space, and $CV_{g,0}^*$ is the simplicial completion of the original Outer space. The resulting picture fits together many familiar objects from geometric group theory and surface topology, including Harvey's curve complex, mapping class groups of surfaces and handlebodies, and augmented Teichm\"uller space. Many of the relationships between the objects that we see in this picture already exist in the literature, but we add some new ones, and generalize several existing relationships to include a number $n>0$ of punctures/leaves.
要約:
The notion of constructible functions in the setting of tame real geometry has been introduced by Cluckers and Dan Miller in their work on parametric integration of globally subanalytic functions. A function on a globally subanalytic set is called constructible if it is a finite sum of finite products of globally subanalytic functions and the logarithm of positive globally subanalytic functions. We show that the class of constructible functions is stable under taking derivatives.
要約:
We introduce the notion of a locally standard $T$-pseudomanifold, a class that generalizes both complete toric varieties and locally standard $T$-manifolds. The main goal of this paper is to show that locally standard $T$-pseudomanifolds over topological stratified pseudomanifolds satisfying certain conditions are completely classified, up to (weakly) equivariant homeomorphism, by their characteristic data. This result extends the classification of quasitoric manifolds by Davis-Januszkiewicz.
要約:
We prove the rigidity of isotropic harmonic maps from a 2-torus to a complex projective space, when they are constructed from holomorphic embeddings associated to complete linear systems. We also prove that this rigidity holds for any holomorphic embeddings without special hyperosculation points, with an extra assumption on the pullbacks of Fubini--Study symplectic forms. These results ensure the rigidity of towers of harmonic bands in condensed matter physics.
要約:
We prove a cancellation-free version of the quantum $K$-theoretic divisor axiom for the flag manifold in the quasi-minuscule case. Namely, we remove the cancellations from the quantum $K$-theoretic divisor axiom due to Lenart-Naito-Sagaki-Xu in the case where the fundametal weight corresponding to the divisor class is quasi-minuscule.