要約:
In this paper, we establish equivariant mirror symmetry for footballs $\mathcal{F}(m,r)$. This extends the results by B. Fang, C.C. Liu and Z. Zong, where the projective line was considered [{\it Geometry \& Topology} 24:2049-2092, 2017], and the results by D. Tang of weighted projective lines, on [arXiv:1712.04836]. More precisely, we prove the equivalence of the $R$-matrices for A-model and B-model at large radius limit, and establish isomorphism for $R$-matrices for general radius. We further demonstrate that the graph sum of higher genus cases are the same for both models, hence establish equivariant mirror symmetry for footballs. In last two sections the large radius limit and equivariant limit are considered, resulting a generealized Bouchard-Mari\~{n}o conjecture and Norbury-Scott conjecture respectively.
要約:
We study foliations $\mathscr{F}$ on projective complete intersection K3 surfaces $X \hookrightarrow \mathbb{P}^n$, where $\mathscr{F}$ has isolated singularities and it is the restriction of a foliation of degree $d$ on $\mathbb{P}^n$ that leaves $X$ invariant. We compute the values of the degrees $d$ for which $\mathscr{F}$ is uniquely determined by its singular scheme.
要約:
In this note, we present recent progress on rigidity problems in one-dimensional complex dynamics, including the proof of Dynamical Andr\'e-Oort conjecture for curves and generic injectivity of multiplier spectrum. The proofs combine ideas from algebraic geometry, Arakelov geometry and complex dynamics.
要約:
We give a new differential-geometric proof of Grauert's theorem on the coherence of the higher direct image of a coherent sheaf under a proper holomorphic morphism between complex analytic spaces. In the smooth case, our approach is based on the antiholomorphic superconnection introduced by Block and further developed by Bismut-Shen-Wei. The required finiteness results follow from elliptic theory. In the singular case, we reduce the problem to the smooth setting using Hironaka's desingularization.
要約:
We study projectively flat holomorphic vector bundles over Riemann surfaces. To each such bundle, we naturally assign a Wronskian line bundle. The main idea is a notion of the division of two meromorphic sections. Abel's identity is interpreted as the first Chern class of the Wronskian line bundle.
要約:
Over any field of characteristic $0$, we prove that the homotopy exact sequence of algebraic fundamental groups for the universal curve with unordered marked points does not split. The same nonsplitting holds for the universal hyperelliptic curve. Our approach extends Chen's topological result to the profinite setting and relies on the use of relative and continuous relative completions to detect the nonexistence of algebraic sections.
要約:
We define a version of stable maps into the classifying stack $B\mathrm{GL}_N$, and develop a corresponding notion of $K$-theoretic Gromov-Witten invariants. In this setting, the evaluation morphisms are not of finite type; the definition of the $K$-theoretic invariants proceeds by constructing a stability stratification of the moduli stack. In the absence of markings, the semistable locus of the stratification recovers moduli spaces of bundles on nodal curves considered by Gieseker, Nagaraj-Seshadri, Schmitt and Kausz.
We also define versions of stable maps into quotient stacks of the form $Z/\mathrm{GL}_N$, where $Z$ is a projective $\mathrm{GL}_N$-scheme. We construct corresponding stability stratifications, whose semistable loci provide new proper moduli spaces of gauged maps from a varying nodal curve into $Z/\mathrm{GL}_N$.
要約:
Let $n=\frac{r(r+1)}{2}$ or $n=r(r+1)$. We prove that the property of being extremal is preserved under residuality on the Hilbert scheme of $n$ points in the plane.
要約:
We classify the possible images of the action of the group of automorphisms of a smooth Fano threefold on its Picard group. We also study the first group cohomology of the Picard group for families of smooth Fano threefolds.
要約:
In this paper, we compute the nef cone and the pseudo-effective cone of $C\times J$ for a smooth projective curve $C$ and its Jacobian variety $J$ such that $C\times J$ has the minimal Picard number. As a consequence, we also compute the successive minima of a height function for the relative setting $C\times J\to J$, and our result shows that Zhang's theorem of successive minima does not hold in this case.
要約:
The derived geometry approach to Donaldson--Thomas theory (over $\mathbb{C}$) is built on Pantev--To\"en--Vezzosi--Vaqui\'e's existence theorem of $(-1)$-shifted symplectic forms \cite{pantev2013shifted} and Brav--Bussi--Joyce's shifted Darboux theorem \cite{brav2019darboux}.
In this paper, we prove a Darboux theorem in characteristic $p>2$ for the $(-1)$-shifted symplectic forms endowed with an \textit{infinitesimal structure}. A key ingredient is Antieau's derived infinitesimal cohomology \cite{antieau2025filtrations}, which enjoys a Poincar\'e-type lemma. Our argument is in fact characteristic-free and provides a conceptual understanding of the Brav--Bussi--Joyce theorem.
Moreover, we extend the existence theorem of Pantev--To\"en--Vaqui\'e--Vezzosi by constructing a de Rham $(-1)$-shifted symplectic form on $\operatorname{Map}_k(X,\underline{\operatorname{Perf}})$, where $X$ is a Calabi--Yau $3$-fold over a field $k$ in characteristic $p>2$. We conjecture that this $(-1)$-shifted symplectic form admits an infinitesimal structure.
要約:
We present stability conditions for the category of coherent systems on an integral curve. We define a three-parameter family of pre-stability conditions in its derived category using tilting, and we then investigate when these conditions qualify as true stability conditions. Additionally, we examine the semistability of specific objects under these conditions, namely: torsion, free, and complete tilted systems, without relying on the support property.
要約:
We describe a significant update to the Macaulay2 package A1BrouwerDegrees. We extend several methods in the previous version of the package to the setting of finite \'{e}tale algebras, allowing the computation of transfers along finite \'{e}tale extensions. Additionally, we implement a number of new features for the computation of unstable $\mathbb{A}^{1}$-Brouwer degrees and manipulation of classes in the unstable Grothendieck--Witt group.
要約:
We establish the equivalence of three notions of $\mathbb{F}_q$-rational points on weighted projective spaces $\mathbb{P}_{\mathbf{w}}^n$ and derive explicit combinatorial formulas for their enumeration, leveraging Burnside's lemma and gcd (greatest common divisor) computations. We further derive formulas for point counts under weight normalization, providing closed expressions for the singular and smooth loci. Our results confirm the rationality of the zeta function $Z(\mathbb{P}_{\mathbf{w}}^n, t)$ via a finite product formula and reveal a canonical multiplicative decomposition aligning with the stratification into smooth and singular loci. These contributions advance the arithmetic theory of weighted projective spaces over finite fields, with computational examples illustrating the formulas for specific weights and fields.
要約:
In this article we study conditions under which weight one Koszul cohomology vanishes on projective varieties. As corollary of more general results, we obtain statements on the so-called property (M_q) reflecting on the higher syzygies of minimal surfaces and higher dimensional projective varieties. By considering both properties (M_q) and (N_p), we gain a significantly deeper understanding of the minimal free resolution.
要約:
Let $X$ be a $\mathbb Q$-factorial canonical weak Fano variety of dimension $n\geq 2$. We show that if the $\mathbb Q$-Fano index $q_{\mathbb Q}(X)\geq 3$, then $X$ satisfies a Kawamata--Miyaoka type inequality: \[c_1(X)^n\leq 4\,\hat c_2(X)\cdot c_1(X)^{n-2}.\] As an application, we show that the $\mathbb Q$-Fano index of a Gorenstein canonical Fano $3$-fold lies in the set $\{m\in\mathbb Z_{>0}\mid m\leq 22\} \cup\{24,30,42\}$.
要約:
Radial germs of holomorphic foliations in dimension two have a characteristic property: they are the only singular foliations whose reduction of singularities has no singular points. We also know that they are desingularized by a single dicritical blowing-up. Let us say that a foliated space ((C3, 0),E,F) is almost radial when it has a reduction of singularities without singular points; it will be "radial" under a certain additional condition on the morphism of reduction of singularities. We show that the radial condition corresponds to the "open book" situation. We end the paper with a discussion on the general almost radial case.
要約:
We present a definition of stable family of foliations and show that the corresponding moduli functor for foliated surfaces is representable by a Deligne-Mumford stack.
要約:
We investigate the physics of the E-string theory and its compactifications as well as their applications to four-dimensional topology. In particular, we compute the partition function of the topologically twisted theory on $M_4\times T^2$, where $M_4$ is a four-manifold. In a range of examples, we verify that this partition function, as a $q$-series, 1) has integral coefficients, 2) is modular, and 3) can be lifted to a topological modular form. Remarkably, the E-string theory "knows" about various subtle aspects of the world of smooth 4-manifolds, as the (topological) modularity of the partition function is contingent on a collection of properties of 4-manifolds and their Seiberg-Witten invariants, including, notably, the simple-type conjecture. Furthermore, both theoretical and empirical evidences indicate that this partition function defines a genuine smooth invariant, even when $b_2^+\le 1$. Therefore, the E-string theory may offer powerful new tools for exploring regions in the geography of 4-manifolds that have been inaccessible to existing invariants obtained from gauge theory and quantum field theory.
要約:
Simplicial arrangements are a special class of hyperplane arrangements, having the property that every chamber is a simplicial cone. It is known that the simpliciality property is preserved under taking restrictions. In this article we focus on the class of reflection arrangements and investigate two different polynomial invariants associated to them and their restrictions, the $h$-polynomial with its $\gamma$-vector and the Chow polynomial. We prove that all restrictions of reflection arrangements are $\gamma$-positive and give an explicit combinatorial formula of the Chow polynomial in type $B$. Furthermore we prove that for a special class of restrictions of arrangements of type $D$, called intermediate arrangements, both the $h$-polynomial as well as the Chow polynomial behave arithmetically, that is they interpolate linearly between the respective invariants for type $B$ and $D$.
要約:
These notes are based on a five-part minicourse on stabilized symplectic embeddings given in Les Mar\'ecottes, Switzerland during a September 2025 workshop. Our main goal is to explain the recent resolution of the (restricted) stabilized ellipsoid embedding problem by D. McDuff and the author. Along the way we also introduce various other ideas which shed light on the context and hint at possible generalizations. Some of the concepts covered include sesquicuspidal curves, symplectic inflation, multidirectional tangency constraints, well-placed curves, cluster transformations, Looijenga pairs, toric models, scattering diagrams, and the tropical vertex theorem.
要約:
We prove several results on multiplier spectrum for polynomials. We provide a detailed proof of the theorem stating that the multiplier spectrum morphism is generically injective on the moduli space of polynomials. We obtain a description of the non-injective locus of the multiplier spectrum morphism for polynomials of all degrees $d\geq2$. Roughly speaking, non-injectivity implies intertwining, as it signifies the equivalence of polynomials or Ritt moves, except at isolated points and up to iteration. We investigate the relation between Ritt moves and the multiplier spectrum over arithmetic progressions.
要約:
Let $f:\mathbb{A}^N\to\mathbb{A}^N$ be a regular endomorphism of algebraic degree $d\geq2$ (i.e., $f$ extends to an endomorphism on $\mathbb{P}^N$ of algebraic degree $d$) defined over a number field. We prove that if the set of $f$-preperiodic cyclotomic points is Zariski-dense in $\mathbb{A}^N$, then some iterate $f^{\circ l}$ ($l\geq1$) is a quotient of a surjective algebraic group endomorphism $g:\mathbb{G}_m^N\to\mathbb{G}_m^N$, over $\overline{\mathbb{Q}}$. This is a higher-dimensional generalization of a theorem of Dvornicich and Zannier on cyclotomic preperiodic points of one-variable polynomials. In fact, we prove a much more general rigidity result for all dominant endomorphisms $f$ on an affine variety $X$ defined over a number field, regarding "almost $f$-invariant" Zariski-dense subsets of cyclotomic integral points. As applications, we also apply our results to backward orbits of regular endomorphisms on $\mathbb{A}^N$ of algebraic degree $d\geq2$, and to periodic points of automorphisms of H\'enon type on $\mathbb{A}^N$.
要約:
We study the rational homology of the Deligne-Mumford compactification $\overline{\mathcal M}_{g,n}$ of the moduli space of stable curves via a family of Morse functions, the $\text{sys}_T$ functions, which encode geometric information about short geodesics on hyperbolic surfaces. Exploiting the Morse-theoretic properties of $\text{sys}_T$, including the existence of an index gap and the behavior of critical points near boundary strata, we prove that in low degrees the homology of $\overline{\mathcal M}_{g,n}$ is supported entirely on the boundary $\partial \mathcal M_{g,n}$.
Furthermore, we establish finite generation and stability phenomena for the rational homology across all genera and numbers of marked points. Using stable graphs and explicit attaching maps, we show that for each fixed degree $k$, a finite set of critical points generates all $k$-th homology classes via attaching stable graphs of stratum dimension $0$. This result recovers previously known stability in the genus direction, such as Tosteson's theorem, and provides a concrete, geometric construction of homology generators. Our approach unifies combinatorial, geometric, and Morse-theoretic techniques to give a comprehensive picture of the low-degree and stable homology of $\overline{\mathcal M}_{g,n}$.
要約:
We continue the investigation of symmetries and anomalies of $T[M]$ theories obtained by compactifying 6d SCFTs on an internal manifold $M$. We extend the notion of "polarizations on a manifold $M$" to cases where $M$ may have boundaries or defects. Through examples with $M$ of dimension two, three, and four, we illustrate recurring themes in compactifications -- for instance, the important roles played by Kaluza-Klein modes, and how the generalized symmetries (including higher-group and non-invertible ones) of $T[M]$, together with their anomalies, arise from non-trivial combinations of the parent 6d symmetries and the geometric structures of the internal manifold. For each dimension, we also focus on several topics that are especially interesting in that setting. These include: for 2-manifolds, the geometry of the "full moduli space" of $T[M_2]$ and its interaction with polarizations and symmetries; for 3-manifolds, the effect of torsion in homology on the spectrum of line operators in $T[M_3]$, together with applications to the study of quantum invariants such as $\hat Z_a(M_3, q)$; and for 4-manifolds, predictions for VOA$[M_4]$ following from symmetries of $T[M_4]$, as well as the construction of a new invariant of 4-manifolds that depends on two "$q$-parameters." Along the way, we discuss a range of topics that are of independent interest, such as how non-invertible symmetries in higher dimensions can become invertible under compactification, how to classify defects in quantum field theory via their response to a change of framing, and the interplay between $\hat Z_a$ and volume conjectures.
要約:
We present two new families of Abelian varieties which contradict Zarhin's conjecture about micro weights in positive characteristics.
For each of these examples we determine the dimension and the Newton slopes of the ghost Abelian variety in the sense of Cadoret and Tamagawa.
要約:
We show that the hyper-K\"ahler varieties of OG10-type constructed by Laza-Sacc\`a-Voisin (LSV) verify the Lefschetz standard conjecture. This is an application of a more general result, stating that certain Lagrangian fibrations verify this conjecture. The main technical assumption of this general result is that the Lagrangian fibration satisfies the hypotheses of Ng\^o's support theorem. Verifying that the LSV tenfolds do satisfy those hypotheses is of independent interest. Another point of independent interest of the paper is the definition and the study of the Lefschetz standard conjecture in the relative setting, and its relation to the classical absolute case.
要約:
We investigate the question of the existence of a non-vanishing section of the tangent bundle on a smooth affine quadric hypersurface $Q^o$ over a given perfect field $k$. In case $Q^o$ admits a $k$-rational point, we give necessary and sufficient conditions for such existence. We apply these conditions in a number of examples, including the case of the algebraic $n$-sphere over $k$, $S^n_k\subset \mathbb{A}^{n+1}_k$, defined by the equation $\sum_{i=1}^{n+1}x_i^2=1$.
要約:
We construct moduli stacks of wild Riemann surfaces in the (pure) untwisted case, for any complex reductive structure group, and we define the corresponding (pure) wild mapping class groups.
要約:
In this article, we revisit Weibel's conjecture for twisted $K$-theory. We also examine the vanishing of twisted negative $K$-groups for Pr\"{u}fer domains. Furthermore, we observe that the homotopy invariance of twisted $K$-theory holds for (finite-dimensional) Pr\"{u}fer domains.
要約:
Let $ (X,0) $ denote an isolated singularity defined by a weighted homogeneous polynomial $ f $. Let $ \mathcal{O}$ be the local algebra of holomorphic function germs at the origin, with the maximal ideal $m $. We study the $k$-th Tjurina algebra, defined by $ A_k(f): = \mathcal{O} / \left( f , m^k J(f) \right) $, where $J(f)$ denotes the Jacobian ideal of $ f $. The zeroth Tjurina algebra is well known to represent the tangent space of the base space of the semi-universal deformation of $(X, 0)$. Motivated by this observation, we explore the deformation of $(X,0)$ with respect to a fixed $k$-residue point. We show that the tangent space of the corresponding deformation functor is a subspace of the $k$-th Tjurina algebra. Explicit calculation of the $k$-th Tjurina numbers, which correspond to the dimensions of the $k$-th Tjurina algebras, plays a crucial role in understanding these deformations. According to the results of Milnor and Orlik, the zeroth Tjurina number can be expressed explicitly in terms of the weights of the variables in $f$. However, we observe that for values of $k$ exceeding the multiplicity of $X$, the $k$-th Tjurina number becomes more intricate and is not solely determined by the weights of the variables. In this paper, we introduce a novel complex derived from the classical Koszul complex and obtain a computable formula for the $k$-th Tjurina numbers for all $ k \geqslant 0 $. As an application, we calculate the $k$-th Tjurina numbers for all weighted homogeneous singularities in three variables.
要約:
The Andreotti-Mayer locus is a subset of the moduli space of principally polarized abelian varieties, defined by a condition on the dimension of the singular locus of the theta divisor. It is known that the Jacobian locus in the moduli space is an irreducible component of the Andreotti-Mayer locus. In this paper, we generalize the Andreotti-Mayer locus to the case of the moduli space of abelian varieties with non-principal polarization and prove that the Prym locus of branched double coverings is an irreducible component of the generalized Andreotti-Mayer locus.
要約:
Given a Calabi-Yau smooth projective complete intersection variety $V$ over $\C$, a hybrid Landau-Ginzburg (LG) model may be associated using the Cayley trick. This hybrid LG model comprises a non-compact Calabi-Yau manifold $X_{CY}$, and a holomorphic function $W$, defined on $X_{CY}$, such that the critical locus of $W$ is isomorphic to $V$. We construct a complete K\"ahler metric $\mathfrak{g}$ and a bounded Calabi-Yau volume form ${\Omega}$ on $X_{CY}$ such that $(X_{CY},\mathfrak{g}, {\Omega})$ is a bounded Calabi-Yau geometry(in fact, $(X_{CY},\mathfrak{g})$ is an asymptotically conical manifold) and the function $W$ is strongly elliptic; this enables us to apply the $L^2$-Hodge theory of Li-Wen \cite{LW} to $(X_{CY},\mathfrak{g}, {\Omega})$ and $W$, which leads to a Frobenius manifold structure on the twisted de Rham cohomology associated to $(X_{CY},W)$. Furthermore, we prove that this twisted de Rham cohomology is isomorphic to the de Rham cohomology $H(V;\C)$, which results in a new $L^2$-Hodge theoretic construction of a Frobenius manifold structure on $H(V;\C)$.
要約:
We consider the classification problem of prime $\mathbb{Q}$-Fano 3-folds with at most $1/2(1,1,1)$-singularities, which was initiated in [Taka2]. We construct two distinct classes of such 3-folds with genus one and six $1/2(1,1,1)$-singularities, each equipped with a prescribed Sarkisov link. Our method involves constructing certain higher-dimensional $\mathbb{Q}$-Fano varieties $\Sigma$, referred to as key varieties, by extending the Sarkisov links to higher dimensions. We prove that each such 3-fold $X$ arises as a linear section of the corresponding key variety $\Sigma$, and conversely, any general linear section of $\Sigma$ yields such an $X$. Various geometric properties of the key varieties $\Sigma$ are also investigated and clarified.
要約:
We give a simple proof of the splitting lemma in singularity theory, also known as generalized Morse lemma, for formal power series over arbitrary fields. Our proof for the uniqueness of the residual part in any characteristic is new and was previously unknown in characteristic two. Beyond the formal case, we give proofs for algebraic power series and for convergent real and complex analytic power series, which are new for non-isolated singularities.
要約:
Hessenberg varieties are a family of subvarieties of full flag varieties. This family contains well-known varieties such as Springer fibers, Peterson varieties, and permutohedral varieties. It was introduced by De Mari-Procesi-Shayman in 1992 and has been actively studied in this decade. In particular, unexpected relations to hyperplane arrangements and the Stanley-Stembridge conjecture in graph theory have been discovered. Hessenberg varieties can be defined in partial flag varieties. In this paper, we study their cohomology by relating them to the cohomology of Hessenberg varieties in the full flag varieties.
要約:
We study double-sided actions of $(\mathbb{C}^*)^2$ on $SL(3,\mathbb{C})/U$ and the associated quotients, where $U$ is a maximal unipotent subgroup of $SL(3,\mathbb{C})$. The main results of this paper are a sufficient condition for the double-sided quotient to agree with the quotient in terms of the geometric invariant theory (GIT), and an explicit necessary and sufficient condition for $SL(3,\mathbb{C})/U$ to agree with the $\chi$-stable locus in its affine closure. We apply this result to characterize certain complex structures on $SU(3)$ which are not left invariant by means of the GIT quotient.
要約:
We construct a degree $12$ homogeneous invariant of the complex reflection group $G_{29}$ (in Shephard-Todd's notation) whose associated surface has 320 singularities of type $A_2$, improving previous records for dodecic surfaces.
要約:
For a connected, reductive group $G$ over a finite field endowed with a cocharacter $\mu$, we define the zip cone of $(G,\mu)$ as the cone of all possible weights of mod $p$ automorphic forms on the stack of $G$-zips. This cone is conjectured to coincide with the cone of weights of characteristic $p$ automorphic forms for Hodge-type Shimura varieties of good reduction. We prove in full generality that the cone of weights of characteristic $0$ automorphic forms is contained in the zip cone, which gives further evidence to this conjecture. Furthermore, we determine exactly when the zip cone is generated by the weights of partial Hasse invariants, which is a group-theoretical generalization of a result of Diamond--Kassaei and Goldring--Koskivirta.
要約:
We investigate complex surfaces that fiber over Teichm\"uller curves where the generic fiber is a Veech surface. When the fiber has genus one, these surfaces are elliptic fibrations; for higher genus fibers, they are typically minimal surfaces of general type. We compute the topological and complex-geometric invariants of these surfaces via the monodromy action on the mod-$m$ homology of the fiber. We get exact values of the invariants for all known algebraically primitive Teichm\"uller curves.
要約:
We introduce a new combinatorial structure of linked tableaux, which generalize the semi-standard tableaux that index a SAGBI basis of the Pl\"ucker coordinate ring of a flag variety. We show that linked tableaux index Domokos-Zubkov semi-invariants, which span the semi-invariant ring of a quiver. The semi-invariant ring of a quiver coincides in many cases with the Cox ring of an associated quiver moduli space. We show that these semi-invariants satisfy straightening laws. In the case of the generalized Kronecker quiver, we prove that the semi-invariants associated to semi-standard linked tableaux are a (possibly infinite) SAGBI basis. For the generalized Kronecker quiver with dimension vector (2,2), we show that the SAGBI basis is finite and describe it explicitly.
要約:
Let T be the one-dimensional complex torus. We consider the action of an automorphism of a Riemann surface X on the cohomology of the T-equivariant determinant line bundle over the moduli space of rank two Higgs bundles on X with fixed determinant of odd degree. We define and study the automorphism equivariant Hitchin index. We prove a formula for it in terms of cohomological pairings of canonical T-equivariant classes of certain moduli spaces of parabolic Higgs bundles over the quotient Riemann surface.
要約:
We call an order $O$ in a quadratic field $K$ odd (resp. even) if its discriminant is an odd (resp. even) integer. We call an elliptic curve $E$ over the field $C$ of complex numbers with CM odd (resp. even) if its endomorphism ring $End(E)$ is an odd (resp. even) order in the corresponding imaginary quadratic field.
Suppose that $j(E)$ is a real number and let us consider the set $J(R,E)$ of all $j(E')$ where $E'$ is any elliptic curve that enjoys the following properties.
1) $E'$ is isogenous to $E$;
2) $j(E')$ is a real number;
3) $E'$ has the same parity as $E$.
We prove that the closure of $J(R,E)$ in the set $R$ of real numbers is the closed semi-infinite interval $(-\infty,1728]$ (resp. the whole $R$) if $E$ is odd (resp. even).
This paper was inspired by a question of Jean-Louis Colliot-Th\'el\`ene and Alena Pirutka about the distribution of $j$-invariants of certain elliptic curves of CM type.
要約:
Computational problems concerning the orbit of a point under the action of a matrix group occur throughout computer science, including in program analysis, complexity theory, quantum computation, and automata theory. In many cases the focus extends beyond orbits proper to orbit closures under a suitable topology. Typically one starts from a group and a set of points and asks questions about the orbit closure of the set under the action of the group, e.g., whether two given orbit closures intersect.
In this paper we consider a collection of what we call determination problems concerning matrix groups and orbit closures. These problems begin with a given variety and seek to understand whether and how it arises either as an algebraic matrix group or as an orbit closure. The how question asks whether the underlying group is $s$-generated, meaning it is topologically generated by $s$ matrices for a given number $s$. Among other applications, problems of this type have recently been studied in the context of synthesising loops subject to certain specified invariants on program variables.
Our main result is a polynomial-space procedure that inputs a variety and a number $s$ and determines whether the given variety arises as an orbit closure of a point under an $s$-generated commutative algebraic matrix group. The main tools in our approach are structural properties of commutative algebraic matrix groups and module theory. We leave open the question of determining whether a variety is an orbit closure of a point under an $s$-generated algebraic matrix group (without the requirement of commutativity).
要約:
This article investigates under which conditions the symbolic powers of the extension of an ideal is the same as the extension of the symbolic powers. Our result generalizes the known scenarios. As an application, we prove formulas for the resurgence of sum of two homogeneous ideals in finitely generated k-algebra domains, where k is algebraically closed. Initially, these were known for ideals in polynomial rings.
要約:
We introduce the classes of holomorphic $p$-contact manifolds and holomorphic $s$-symplectic manifolds that generalise the classical holomorphic contact and holomorphic symplectic structures. After observing their basic properties and exhibiting a wide range of examples, we give two types of general conceptual results involving the former class of manifolds: structure theorems and unobstructedness theorems. The latter type generalises to our context the classical Bogomolov-Tian-Todorov theorem for a type of small deformations of complex structures that generalise the small essential deformations previously introduced for the Iwasawa manifold and for Calabi-Yau page-$1$-$\partial\bar\partial$-manifolds.
要約:
Recently, Chan and Nyman constructed noncommutative projective lines via a noncommutative symmetric algebra for a bimodule $V$ over a pair of fields. These noncommutative projective lines of contain a canonical closed subscheme (the point scheme) determined by a normal family of elements in the noncommutative symmetric algebra. We study the complement of this subscheme when $V$ is simple, the coordinate ring of which is obtained by inverting said normal family. We show that this localised ring is a noncommutative Dedekind domain of Gelfand-Kirillov dimension 1. Furthermore, the question of simplicity of these Dedekind domains is answered by a similar dichotomy to an analogous open subscheme of the noncommutative quadrics of Artin, Tate and Van den Bergh.
要約:
We show that there is a constant $c>0$ such that a genus $g$ closed hyperbolic surface, sampled at random from the moduli space $\mathcal{M}_{g}$ with respect to the Weil-Petersson probability measure, has Laplacian spectral gap at least $\frac{1}{4}-O\left(\frac{1}{g^{c}}\right)$ with probability tending to $1$ as $g\to\infty$. This extends and gives a new proof of a recent result of Anantharaman and Monk proved in the series of works [2,3,5,4,6].
Our approach adapts the polynomial method for the strong convergence of random matrices, introduced by Chen, Garza-Vargas, Tropp and van Handel [19], and its generalization to the strong convergence of surface groups by Magee, Puder and van Handel [41], to the Laplacian on Weil-Petersson random hyperbolic surfaces.