要約:
We prove that there is no extension of the abelian groups appearing in the Bloch-Suslin complex to strongly $\mathbb{A}^{1}-$invariant sheaves on $Sm_{k}$ (char($k$)=0) that also extend the canonical symbol maps from the respective $\mathbb{G}_{m}^{\wedge n}$ (i.e., from $\mathbb{G}_{m}$ and $\mathbb{G}_{m}^{\wedge2}$).
要約:
A natural problem of algebraic dynamics is to classify the complex projective varieties that admit an endomorphism of degree greater than 1. Joshi solved the problem for all canonical del Pezzo surfaces with Picard number 1 except one, a surface with a du Val singularity of type $E_8$. The method of Bott vanishing does not resolve this case.
We show here that the $E_8$ surface has no endomorphism of degree greater than 1. For the proof, we extend the method of Amerik-Rovinsky-Van de Ven, involving Chern number inequalities, from varieties to Deligne-Mumford stacks. This approach should be useful for other hard cases in the classification of varieties with endomorphisms.
要約:
We introduce the notion of a \textit{good map} between topological spaces: a continuous map $f:X\to Y$ is good if for every non-empty irreducible locally closed subset $U\subseteq X$, there exists a non-empty open subset $W\subseteq Y$ such that $W\cap f(U)=W\cap\overline{f(U)}\neq\varnothing$. In Noetherian spaces, this condition is equivalent to preserving constructible subsets (Theorem 2.3), giving a topological characterization of Chevalley's theorem. Without the Noetherian assumption, the good property continues to make sense and serves as a reasonable generalization. We establish basic properties of good maps and introduce a weaker variant, \textit{weak good maps}. In algebraic geometry, affine space projections $\mathbb{A}_{S}^{n}\to S$ are good for any base scheme $S$ (Theorem 4.1). From this we obtain:
$\bullet$ A generalization of Chevalley's theorem for morphisms of finite type with Noetherian underlying topological spaces (Theorem 4.2);
$\bullet$ The fact that every morphism locally of finite type is weak good (Proposition 4.4), yielding an elementary proof of Jacobson ascent (Corollary 4.5).
The good property is stable under formal completion, suggesting extensions to other non-Hausdorff geometries.
要約:
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.
要約:
This article records multiple results coming from interplay between de-completed topological periodic cyclic homology, Segal conjecture, and F-smoothness.
We establish completeness of motivic filtration on de-completed topological periodic cyclic homology of commutative rings with weakly finitely generated absolute cotangent complex. When the ring in question is in addition F-smooth, we show that Segal conjecture holds for its topological Hochschild homology. We also identify our de-completed topological periodic cyclic homology with Manam's Frobenius untwisted topological periodic cyclic homology for quasiregular semiperfectoid rings.
We find a crystalline degeneration of Segal conjecture which corresponds to such a statement for F-smoothness. On the other hand, inspired by constructions for topological Hochschild homology, the theory of cyclotomic synthetic spectra allows us to produce a relative conjugate filtration on Hodge--Tate cohomology and its variants, and in the same time, a relative conjugate filtration on topological Hochschild homology and its variants. As a consequence, we deduce transitivity of weak and strong F-smoothness.
要約:
In this article, we study orientably-regular maps of Euler characteristic $-2p^2$ and classify those that admit a group of orientation-preserving automorphisms of order $10p^2$, where $p$ is a prime number. Along the way, we classify all compact Riemann surfaces (or complex algebraic curves) of genus $1+p^2$ endowed with a group of conformal automorphisms of order $5p^2$.
要約:
For any toric ideal $I$ in a polynomial ring $S$, we provide a combinatorial description of a free resolution of the integral closure of the $S$-module $S/I$. These new complexes arise from an extension of Bayer--Sturmfels' theory of cellular free resolutions. As applications, we unify several constructions for a resolution of the diagonal embedding of a toric variety, and compare the locally free resolutions for toric subvarieties introduced by Hanlon--Hicks--Lazarev and Brown--Erman.
要約:
Based on our recent adaptation of the adiabatic limit construction to the case of complex structures, we prove the fact that the deformation limiting manifold of any holomorphic family of Moishezon manifolds is Moishezon. Two new ingredients, hopefully of independent interest, are introduced. The first one associates with every compact complex manifold $X$, in every degree $k$, a holomorphic vector bundle over $\C$ of rank equal to the $k$-th Betti number of $X$. This vector bundle, previously given an algebraic construction in the literature, shows that the degenerating page of the Fr\"olicher spectral sequence of $X$ is the holomorphic limit, as $h\in\C^\star$ tends to $0$, of the $d_h$-cohomology of $X$, where $d_h=h\partial + \bar\partial$. A relative version of this vector bundle is then associated with every holomorphic family of compact complex manifolds. The second ingredient is a relaxation of the notion of strongly Gauduchon (sG) metric that we introduced in 2009. For a given positive integer $r$, a Gauduchon metric $\gamma$ on an $n$-dimensional compact complex manifold $X$ is said to be $E_r$-sG if $\partial\gamma^{n-1}$ represents the zero cohomology class on the $r$-th page of the Fr\"olicher spectral sequence of $X$. Strongly Gauduchon metrics coincide with $E_1$-sG metrics.
要約:
We prove that the projective complex algebraic varieties admitting a large complex local system satisfy a strong version of the Green-Griffiths-Lang conjecture.
要約:
In this note we study the relationship between ideals and congruences of the tropical polynomial and Laurent polynomial semirings. We show that the variety of a non-zero prime ideal of the tropical (Laurent) polynomial semiring consists of at most one point. We also prove a result relating the dimension of an affine tropical variety and the dimension of its coordinate semiring.
要約:
The Ciliberto-Di Gennaro conjecture addresses the factoriality of three-dimensional nodal hypersurfaces, and their geometric properties. We prove this conjecture for hypersurfaces of degree 6 by adapting a recent technique due to R. Kloosterman.
要約:
We illustrate the typical usage of Bayer and Macr\`{i}'s Positivity Lemma to compute the nef cones of the Hilbert schemes $X^{[n]}$ by combining the Bridgeland stability methods (for large $n$) and classical methods (for small $n$). We use Mori dream K3 surfaces $X$ of Picard rank $2$ as our working example. We also compute the nef cones of the nested Hilbert schemes $X^{[n,n+1]}$ for such $X$, for large $n$.
要約:
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.
要約:
Let $X$ be an algebraic variety over $\mathbb{C}$ and $G$ be an algebraic group acting on $X$ whose action is closed. J. Poineau defined a compactification $X^\urcorner$ of $X(\mathbb{C})$ by using hybrid Berkovich spaces. We will focus on the extension of the action of $G$ on this compactification by characterising the set $\mathcal{U} \subset X^\urcorner$ where the action is well defined. We will also show that the quotient of $\mathcal{U}$ by the action of $G$ is homeomorphic to $(X/G)^\urcorner$, the compactification of $(X/G)(\mathbb{C})$. We then apply these results to $X = \mathrm{Rat}_d$, the space of rational maps and $G = \mathrm{SL}_2$. It gives the results of C. Favre-C. Gong in a more general setting. Furthermore, we get a compactification of $\mathrm{M}_d = \mathrm{Rat}_d/\mathrm{SL}_2$ where the boundary is made of orbits of non-archimedean rational maps. The results still holds if $\mathbb{C}$ is replaced by $k$ a non-trivially valued field and complex analytic spaces by Berkovich spaces over $k$ or if $X$ is the set of stable points of a $k$-variety defined in the sense of GIT.
要約:
Given a vector bundle $E$, we give an explicit formula to compute Chern classes of Schur bundles $\operatorname{S}^\alpha E$ in terms of those of $E$.
要約:
We construct a relative version of the Crane-Yetter topological quantum field theory in four dimensions, from non-semisimple data. Our theory is defined relative to the classical $G$-gauge theory in five dimensions -- this latter theory assigns to each manifold $M$ the appropriate linearization of the moduli stack of $G$-local systems, called the character stack. Our main result is to establish a relative invertibility property for our construction. This invertibility generalizes the key invertibility property of the original Crane-Yetter theory which allowed it to capture the framing anomaly of the celebrated Witten-Reshetikhin-Turaev theory. In particular our invertibilty statement at the level of surfaces implies a categorical, stacky version of the unicity theorem for skein algebras; at the level of 3-manifolds it equips the character stack with a canonical line bundle. Regarded as a topological symmetry defect of classical gauge theory, our work establishes invertibility of this defect by a gauging procedure.
要約:
A major open question in the theory of Gorenstein liaison is whether or not every arithmetically Cohen--Macaulay subscheme of $\mathbb{P}^n$ can be G-linked to a complete intersection. Migliore and Nagel showed that, if such a scheme is generically Gorenstein (e.g., reduced), then, after re-embedding so that it is viewed as a subscheme of $\mathbb{P}^{n+1}$, indeed it can be G-linked to a complete intersection. Motivated by this result, we consider techniques for constructing G-links on a scheme from G-links on a closely related reduced scheme.
Polarization is a tool for producing a squarefree monomial ideal from an arbitrary monomial ideal. Basic double G-links on squarefree monomial ideals can be induced from vertex decompositions of their Stanley--Reisner complexes. Given a monomial ideal $I$ and a vertex decomposition of the Stanley--Reisner complex of its polarization $P(I)$, we give conditions that allow for the lifting of an associated basic double G-link of $P(I)$ to a basic double G-link of $I$ itself. We use the relationship we develop in the process to show that the Stanley--Reisner complexes of polarizations of stable Cohen--Macaulay monomial ideals are vertex decomposable.
We then introduce and study polarization of a Gr\"obner basis of an arbitrary homogeneous ideal and give a relationship between geometric vertex decomposition of a polarization and elementary G-biliaison that is analogous to our result on vertex decomposition and basic double G-linkage.
要約:
We classify the finite orbits of the mapping class group action on the character variety of Deroin--Tholozan representations of punctured spheres. In particular, we prove that the action has no finite orbits if the underlying sphere has 7 punctures or more. When the sphere has six punctures, we show that there is a unique 1-parameter family of finite orbits. Our methods also recover Tykhyy's classification of finite orbits for 5-punctured spheres. The proof is inductive and uses Lisovyy--Tykhyy's classification of finite mapping class group orbits for 4-punctured spheres as the base case for the induction.
Our results on Deroin--Tholozan representations cover the last missing cases to complete the proof of Tykhyy's Conjecture on finite mapping class group orbits for $\mathrm{SL}_2\mathbb{C}$ representations of punctured spheres, after the recent work by Lam--Landesman--Litt.