要約:
For a germ $(X,0)$ of a normal complex analytic surface, let $E:=H^0({}^p_+IC_X\mathbb Z)_0$, where ${}^pIC_X\mathbb Z$ and ${}^p_+IC_X\mathbb Z$ denote the ordinary and dual middle-perversity intersection complexes with integral coefficients. This finite abelian group measures the integral discrepancy between the two middle extensions. Motivated by work of Jung--Saito, we study $E$ as a local invariant of the singularity. We prove that $E$ admits a topological realization as $H^2(L,\mathbb Z)_{\tors}$, where $L$ is the link of the singularity, and a geometric realization as the discriminant group of the exceptional lattice of the minimal resolution. In particular, if $M$ is the intersection matrix of the irreducible exceptional curves, then $|E|=|\det(M)|$. If $(X,0)$ is an isolated hypersurface surface singularity, we further prove that $E\cong \coker(T-\id)_{\tors}$, where $T$ is the Milnor monodromy on integral vanishing cohomology. Under the additional hypothesis that $(T-\id)\otimes_{\mathbb Z}\mathbb Q$ is an isomorphism, this yields $|E|=|\det(T-\id)|$. Thus the same local integral obstruction admits compatible perverse, topological, resolution-theoretic, and monodromy-theoretic realizations.
要約:
We explain how algebraic geometry comes into play in the study of non-linear mean field (singular Liouville) equations $$ \triangle u + e^u = 4\pi \sum_{i = 1}^N \ell_i \delta_{p_i} $$ on a flat torus $E = \Bbb C/\Lambda$, where $N, \ell_1, \ldots, \ell_N \in \Bbb N$, $p_i \in E$ are distinct points, and $\delta_{p_i}$ is the Dirac measure at $p_i$.
The case with one singular source ($N = 1$) had been studied extensively in recent years. We start with a survey of this case with emphasizes on the constructions of Lam\'e curves $\overline X_n$ and pre-modular forms $Z_n(\sigma, \tau)$ which encodes the structure of solutions of the PDE.
We then discuss extensions to the case of general $N$. The basic tool is the monodromy theory for generalized Lam\'e equations. Two aspects are discussed: (1) For $\ell := \sum_{i = 1}^N \ell_i$ being odd, an exact counting formula of \emph{algebraic degree} is proved. (2) For $\ell$ being even, the existence of generalized Lam\'e curves parametrizing logarithmic-free solutions is proposed.
要約:
In this short note, we show that, assuming a conjecture of Arcara and Miles, a line bundle on a smooth complex projective surface admits a deformed Hermitian-Yang-Mills metric if and only if it is stable in the ``large scaling limit" with respect to a generic K\"ahler form. The same statement for toric surfaces was recently proved by Stoppa. The purpose of this note is to remark that this equivalence holds for arbitrary smooth projective surfaces.
要約:
We compute the Harder-Narasimhan filtration of vector bundles $f_*\mathcal O_Y$ for certain finite morphisms $f\,:\,Y\,\longrightarrow\, X$ and in some other cases.
要約:
For a vector bundle $V$ over a curve $X$, the Segre invariant $s_n (V)$ encodes the maximal degree attained by rank $n$ subbundles of $V$. The functions $s_n$ define stratifications on moduli of $V$ which are well studied. Let $G$ be a connected reductive algebraic group, and $E \to X$ a principal $G$-bundle. For each parabolic subgroup $P \subset G$ there is a Segre number $s_P (E)$, generalising $s_n (V)$. We show that $s_P$ is semicontinuous in families of $G$-bundles, and thus defines stratifications on moduli spaces of $G$-bundles over $X$. We study the invariance properties of $s_P$, relating the behaviour of $s_P$ and $s_{\phi(P)}$ for a surjective homomorphism $\phi \colon G \to H$ and allowing us to compare the Segre stratifications for $G$ and $H$. Finally, we analyse the stratification for the Borel subgroup $B$ of ${\rm GL}_3$, identifying patterns in the geometry and proving, in particular, a sharp Hirschowitz-type bound on $s_B (E)$ for certain topological types.
要約:
The set of matrix tuples with invariant subspaces whose dimensions sum up to the dimension of the space, but which do not span the whole space form an algebraic hypersurface. We found the equation of this hypersurface. This generalizes previous joint work.
要約:
We conjecture, and show in a plethora of examples, that the sphere partition function of 3d $\mathcal{N}=4$ Chern-Simons-matter theories equals a sum of twisted traces on tensor products of Verma modules over the quantization of the moduli spaces of vacua. This extends a conjecture of Gaiotto-Okazaki to Chern-Simons-matter theories. We also show that the partition function of every Abelian gauge theory with higher charges has such twisted trace decomposition, and uncover new Abelian dualities between theories with and without Chern-Simons couplings.
要約:
Brzezi\'nski's trusses are ``ring-like'' algebraic structures in which the addition is replaced with an abelian heap operation and the binary product satisfies a natural distributivity rule of the ternary product. The question of how to define ($\mathbb{Z}_2$-graded) super-versions of trusses is addressed in this note. Taking our cue from the theory of algebraic supergroups, we define an affine supertruss as a representable functor from the category of unital associative supercommutative superalgebras to the category of trusses. The representing superalgebras are equipped with a `cotruss' structure--a new concept in itself. We show that from an affine supertruss one can construct an affine superbrace, and so generalise Rump's braces to supermathematics. As an application of these constructions, we propose a generalisation of the set-theoretic Yang--Baxter equation to the setting of affine superschemes.
要約:
The degeneration order of simultaneous similarity classes of $3\times 3$ nilpotent matrix tuples is determined, and is shown to be given by rank conditions.
要約:
An action of a group $G$ on a set $X$ is called ``decent'' if every subgroup of $G$ with a finite orbit in $X$ fixes a point in $X$ and every finitely generated subgroup of $G$ such that every element of the subgroup fixes a point of $X$ must itself have a global fixed point. In this article, we study conditions on when actions of groups on restricted products are ``decent''. We prove that the action of the automorphism group of a restricted product with base space the projective plane $\mathbb{P}^2(k)$ over a field $k$ is decent, generalizing a result of Lonjou--Przytycki--Urech.
要約:
We generalize complex manifolds to manifolds with corners $X$, and to manifolds with generalized corners (g-corners) in the sense of the second author arXiv:1501.00401, using complex structures on the b-tangent bundle (log tangent bundle) ${}^bTX$. We prove a formal Newlander-Nirenberg type theorem showing that along each corner stratum of $X$, the b-complex structure agrees with a standard model to infinite order.
In the sequel we show that if $S$ is a log smooth log $\mathbb C$-scheme, or log smooth log complex analytic space, then the Kato-Nakayama space $S^{\rm KN}$ has the structure of a b-complex manifold with g-corners. Using our Newlander-Nirenberg theorem we give necessary and sufficient conditions for a b-complex manifold with g-corners to be a Kato-Nakayama space.
要約:
Since their rediscovery in the 1990s, multiple zeta values have become ubiquitous in many areas of mathematics and physics. Their standard integral and sum representations can usually be traced back to a single source, namely the iterated integrals on the Riemann sphere with three punctures. We refer to such representations as the \emph{linear} geometry of multiple zeta values, since the denominators of the corresponding integrands factor completely into linear terms.
However, there also exist equally important and entirely distinct integral representations for multiple zeta values arising in mathematics and physics, in which matrix determinants appear in the denominator of the integrand. We call this the \emph{non-linear} geometry of multiple zeta values. These lectures trace the origins of this non-linear geometry and provide an introductory journey through a range of topics including tropical geometry, the moduli spaces of tropical curves, Feynman integrals in quantum field theory, the general linear group of integer matrices, and the reduction theory of quadratic forms. In doing so, we propose a geometric framework for multiple zeta values based on such non-linear, determinantal representations and set out a number of open questions for future research.
要約:
We construct abelian categories of integral Nori motivic sheaves over a scheme of characteristic zero. The first step is to study the presentable derived category of Nori motives over a field. Next we construct an algebra in \'etale motives such that modules over it afford a t-structure that restricts to constructible objects. This category of integral Nori motives has the six operations and arc-descent. We finish by providing analogous constructions and results for mixed Hodge modules on schemes over the reals.
要約:
Splitting invariants describe how a plane curve "splits" by the pull-back under a Galois cover over the projective plane whose branch locus contains no component of the plane curve. They enable us to distinguish the embedded topology of several plane curves with the same fundamental group of the complements. In this note, we introduce a generalization of splitting invariants, called the G-combinatorial type, for plane curves by using the modified plumbing graph defined by Hironaka. We prove the invariance of the G-combinatorial type under certain homeomorphisms based on the arguments of graph manifolds by Waldhausen and plumbing graphs by Neumann. Furthermore, we distinguish the embedded topology of quasi-triangular curves by the G-combinatorial type, which are generalization of triangular curves studied by Artal, Cogolludo and Mart\'in.
要約:
We show the analogue of the Serre-Swan theorem in a context of supergeometry. This theorem gives an equivalence of the category of locally free supersheaves of bounded rank over locally ringed superspace with the category of finitely generated super projective modules over its coordinate superring, under the assumptions that every locally free supersheaf is generated by global sections and it is acyclic.
要約:
In this work we present a formula for the Euler characteristic of the Milnor fiber of non-degenerate functions $f: X \to \mathbb{C}$ with isolated critical set relative to a stratification, where $X$ is a $2$-generic symmetric determinantal variety. The formula is obtained in two steps. Firstly, we explicitly describe the toric structure of those varieties. Secondly, we compute volumes of Newton polyhedra arising from the toric structure. The result then follows from Matsui-Takeuchi's formula for Milnor fibers over toric varieties. As an application, we compute the local Euler obstruction of $X$ at the origin and the local Euler obstruction of $f$. We also relate the Euler obstruction of $f$ to the Milnor number of a certain polynomial associated to $f$.
要約:
In this work, we investigate the bi-Lipschitz invariance of two fundamental local invariants in singularity theory: the {\L}ojasiewicz exponent and the local Euler obstruction. We draw inspiration from Bivi\`a-Ausina and Fukui, whose framework we extend to ideals in rings of analytic functions defined on affine toric varieties. We establish conditions under which these invariants remain unchanged under bi-Lipschitz equivalence. We also provide an answer, to a particular case, to the open question of whether the local Euler obstruction is a bi-Lipschitz invariant. For hypersurfaces with isolated singularities, we show that the Euler obstruction is preserved under non-degeneracy conditions. These results contribute to the understanding of metric invariants in complex analytic geometry.
要約:
We introduce a framework for pulling back Cartier modules and their associated invariants along regular $F$-finite morphisms. To achieve this, we construct a relative Cartier isomorphism and operator for an arbitrary regular $F$-finite map of locally noetherian schemes. As an application, we obtain new results on the constancy regions of mixed test ideals, based on the work of Felipe P\'erez.
要約:
We define an action of the double coinvariant algebra
$DR_n$ on the equivariant Borel-Moore homology of the affine flag variety
$\widetilde{Fl}_n$ in type $A$, which has an explicit form in terms of
the left and right action of the (extended) affine Weyl group and multiplication by Chern classes.
Up to first order in the augmentation ideal, we show that it coincides with the
action of the Cherednik algebra on the equivariant homology of
the homogeneous affine Springer fiber $\widetilde{S}_{n,n+1} \subset \widetilde{Fl}_n$
due to Yun and the second author, and therefore
preserves the non-equivariant Borel-Moore homology groups $H_*(\widetilde{S}_{n,n+1})\hookrightarrow H_*(\widetilde{Fl}_n)$.
We then define a geometric filtration
$F_{a} H_*(\widetilde{S}_{n,n+1})=H_*(\widetilde{S}(a))$
by closed subspaces $\widetilde{S}(a)\subset \widetilde{S}_{n,n+1}$,
which we prove recovers the Garsia-Stanton descent order on $DR_n$. We use this to deduce an explicit monomial basis of $DR_n$, as well as an independent proof of the (non-compositional) Shuffle Theorem.
要約:
The refined Humbert invariant is a positive definite quadratic form intrinsically attached to a curve $C$ of genus 2. This invariant is an algebraic generalization of the (usual) Humbert invariant. This invariant is useful because many geometric properties of $C$ are reflected in the arithmetic properties of this invariant. The purpose of this paper is to complete the classification of this invariant when the Jacobian $J_C$ of $C$ is isogenous to a product of an elliptic curve with complex multiplication.
要約:
We prove a conjecture of Pappas and Rapoport about the existence of ''canonical'' integral models of Shimura varieties of Hodge type with quasi-parahoric level structure at a prime $p$. For these integral models, we moreover show uniformization of isogeny classes by integral local Shimura varieties, and prove a conjecture of Kisin and Pappas on local model diagrams.
要約:
Let $K$ be a perfectoid field. We describe all quotient fields of the perfectoid Tate algebra\begin{equation*}T_{n,K}^{\text{perfd}}=K\langle X_{1}^{1/p^{\infty}},\dots, X_{n}^{1/p^{\infty}}\rangle\end{equation*}in any number $n\geq1$ of variables in terms of (completed perfections of) the nonarchimedean fields $K_{r_1,\dots,r_l}$ occuring in Berkovich geometry. We prove that every quotient field\begin{equation*}L=T_{n,K}^{\text{perfd}}/\mathfrak{m}\end{equation*}is a so-called \textit{semi-immediate} extension of $K_{r_1,\dots,r_l}^{\text{perfd}}$ for some\begin{equation*}l\leq\min(n-\text{ht}(\mathfrak{m}^{\flat}\cap (T_{n,K^{\flat}})^{\text{coperf}}),n-1), \end{equation*}which pins down the value groups and the residue fields of the possible quotient fields $L$. Moreover, we show that if\begin{equation*}\mathfrak{m}^{\flat}\cap(T_{n,K^{\flat}})^{\text{coperf}}\neq 0,\end{equation*} at least one of the radii $r_{i}$ has to be irrational, i.e.,\begin{equation*}r_{i}\not\in\sqrt{|K^{\times}|}.\end{equation*} The main ingredient in our proof is the notion of \textit{topologically simple} valuations, which generalize type (IV) points in the classification of points on $\text{Spa}(K\langle T\rangle)$ to the case of higher-dimensional polydisks. We also consider \textit{rational Abhyankar} valuations and \textit{irrational Abhyankar} valuations, which generalize type (II) and (III) points, respectively. We deduce our main result from a description of topologically simple absolute values and of Abhyankar absolute values on usual Tate algebra. Along the way, we also show that our topologically simple valuations are the same as Pr\"ufer-Manis valuations in the sense of Knebusch-Zhang.
Finally, we also show that all allowed possibilities for the quotient fields $L$ do indeed occur (i.e., the above bound $l\leq n-1$ is optimal) by generalizing an example of Gleason.
要約:
We prove that every locally inner (class-preserving) endomorphism of adjoint Chevalley groups and their elementary subgroups over commutative rings is inner for the root systems A1, A2, B2 (assuming 2 is invertible in the ring), and for G2 (assuming 2 and 3 are invertible). As a consequence, these groups are Sha-rigid. The proofs are direct and do not rely on classification of automorphisms or structural results about injective endomorphisms.
要約:
T. Saito introduced FW-derivations and the modules of FW-differentials. He gave a regularity criterion in terms of the modules of FW-differentials. In this paper, we introduce logarithmic analogues of FW-derivations and the modules of FW-differentials. We study basic properties of them and give a logarithmic regularity criterion in terms of the modules of logarithmic FW-differentials.