要約:
We study the minimal model program on the geometric generic fiber of a fibration whose closed fibers are of $\varepsilon$-lc log Calabi--Yau type. We prove that for a fibration $f:X\to S$ of varieties, if the fibers are of $\varepsilon$-lc log Calabi--Yau type, then the geometric generic fiber $X_{\overline{\eta}}$ is pklt. In particular, for any big divisor $D$ on $X_{\overline{\eta}}$, we can run the anticanonical MMP and $D$-MMP with scaling of an ample divisor on $X_{\overline{\eta}}$.
要約:
We investigate minimal degree smooth algebraic space filling curves on the product of projective lines. We prove that there are plenty of examples in an explicit sense, extending the existence result of Homma and Kim.
要約:
Suppose $X$ is an irreducible complex variety. We show that when $X$ is ruled, the group of birational transformations $Bir(X)$, as a group, determines $X$ up to birational transformations and automorphisms of the base field. In contrast, we demonstrate that this same property never holds for non-uniruled varieties.
要約:
We study the logarithmic syntomic cohomology of fine and saturated log schemes and its realization in the logarithmic motivic stable homotopy category $\mathrm{logSH}(\mathrm{pt}_\mathbb{N})$ of a log point. We prove that logarithmic prismatic and syntomic cohomology satisfy saturated descent under the sole assumption that the log structure is free, and that the presheaves $\mathrm{logTHH}$, $\mathrm{logTC}$, $\widehat{\mathbf{\Delta}}$, and $\mathbb{Z}_p^\mathrm{syn}(i)$ are representable and $\square$-invariant in $\mathrm{logSH}_{\mathrm{k\acute{e}t}}^{\mathrm{eff}}(\mathrm{pt}_\mathrm{N})$. As an application, we compute $\mathbb{Z}_p^\mathrm{syn}(i)$ for the projective log coordinate axes $D$ in $\mathbb{P}^2$, obtaining \[ \mathbb{Z}_p^\mathrm{syn}(i)(D) \simeq \mathbb{Z}_p^\mathrm{syn}(i)(k,\mathbb{N})\oplus \mathbb{Z}_p^\mathrm{syn}(i-1)(k,\mathbb{N})[-2] \] Moreover, we determine logarithmic topological cyclic homology for truncated polynomial and semistable examples, directly from the syntomic calculations.
要約:
On compact K\"ahler manifolds, we relate ABC Massey products arising from complex analytic cycles to holomorphic linking numbers. This enables us to construct a family of simply connected projective 3-folds with trivial canonical bundle, equipped with a non-vanishing ABC Massey product.
要約:
This note is devoted to studying certain families of elliptic surfaces with infinitely many fibers with rank at least 3 or 4 revisiting and combining ideas from of Gary Walsh, Salgado and Loughran, and the author.
要約:
Symplectic slice theorems elucidate the local structure of symplectic manifolds carrying Hamiltonian actions of compact Lie groups. We generalize these theorems in two natural settings. The first is based on the idea that complex reductive algebraic groups are the natural complex-geometric counterparts of compact Lie groups. Using new definitions of Poisson and symplectic slices, we prove analogues of the classical symplectic slice theorems for Hamiltonian actions of complex reductive algebraic groups. These analogues have versions in the complex-algebraic and holomorphic categories, and make extensive use of Slodowy slices and decomposition classes in complex reductive Lie algebras. The starting point for our second setting is the fact that Hamiltonian Lie group actions are special cases of Hamiltonian symplectic groupoid actions. We generalize the classical symplectic slice theorems to the latter case.
要約:
Let $\mathbb{Q}$ be the field of rational numbers and let $X$ be a subset of $\mathbb{R}^n$. We say that $X$ is $\mathbb{Q}$-algebraic if it is the common zero set in $\mathbb{R}^n$ of a family of polynomials in $\mathbb{Q}[\mathtt{x}_1,\ldots,\mathtt{x}_n]$. If $X$ is $\mathbb{Q}$-algebraic and of dimension $d$, then we say that $X$ is $\mathbb{Q}$-nonsingular if, for all $a\in X$, there exist a neighborhood $U$ of $a$ in $\mathbb{R}^n$ and $f_1,\ldots,f_{n-d}\in\mathbb{Q}[\mathtt{x}_1,\ldots,\mathtt{x}_n]$ such that $\nabla f_1(a),\ldots,\nabla f_{n-d}(a)$ are linearly independent and $X\cap U=\{x\in U:f_1(x)=0,\cdots,f_{n-d}(x)=0\}$.
The celebrated Nash-Tognoli theorem asserts the following: if $M$ is a compact smooth manifold of dimension $d$ and $\psi:M\to\mathbb{R}^{2d+1}$ is a smooth embedding, then $\psi$ can be approximated by an arbitrarily close smooth embedding $\phi:M\to\mathbb{R}^{2d+1}$ whose image $\phi(M)$ is a nonsingular algebraic subset of $\mathbb{R}^{2d+1}$. In this article, we prove that $\phi$ can be chosen in such a way that $\phi(M)$ is a $\mathbb{Q}$-nonsingular $\mathbb{Q}$-algebraic subset of $\mathbb{R}^{2d+1}$. This guarantees for the first time that, up to smooth diffeomorphisms, every compact smooth manifold $M$ can be described both globally and locally by means of finitely many exact data, such as a finite system of generators of the ideal of polynomials in $\mathbb{Q}[\mathtt{x}_1,\ldots,\mathtt{x}_{2d+1}]$ vanishing on $\phi(M)$. We extend our result to the singular setting by proving that every real algebraic set with finitely many singularities is semialgebraically homeomorphic to a $\mathbb{Q}$-algebraic set with the same number of singularities.
要約:
We construct three simplicial presheaves on the site of ringed spaces, and in particular on that of complex manifolds. The descent objects for these simplicial presheaves yield Toledo--Tong's twisting cochains, simplicial twisting cochains, and complexes that appear in Green's thesis on Chern classes for coherent analytic sheaves, respectively. We thus extend the aforementioned constructions to the equivariant setting, and more generally to stacks. This is the first step in achieving push-forwards in K-theory and Riemann--Roch theorems for appropriate stacks, as was achieved by Toledo and Tong for arbitrary complex manifolds, and further pursued by O'Brian and Green.
要約:
Let $(A,(p))$ be a crystalline prism with $A_n = A/p^{n+1}A$ for all $n\geq 0$. Let $\frakX_0$ be a smooth scheme over $A_0$. Suppose that $\frakX_0$ admits a lifting $\frakX_n$ over $A_n$ and the absolute Frobenius $\rF_{\frakX_0}:\frakX_0\to \frakX_0$ admits a lifting over $A_1$. Then we show that there is an equivalence between the category of the prismatic crystals of truncation $n$ on $(\frakX_0/A)_{\Prism}$ and the category of $p$-connections over $\frakX_n$, which is compatible with cohomologies. This generalises a previous work of Ogus. We also give some remarks on trivializing the Hodge--Tate gerbe $\pi_{\frakX_0}^{\rm HT}:\frakX_0^{\rm HT}\to\frakX_0$ introduced by Bhatt--Lurie.
要約:
Polarized K3 surfaces of genus sixteen have a Mukai vector bundle of rank two. We study the geometry of the projectivization of this bundle. We prove that it has an embedding in $\mathbb{P}_9$ with an ideal generated by quadrics. We give an effective method to compute these quadrics from a general choice in Mukai's unirationalization of the moduli space. This linear system gives a double cover of $\mathbb{P}_9$ ramified on a degree $10$ hypersurface. It gives relative Weddle/Kummer surfaces over a Peskine variety associated to an explicit trivector. This work is also motivated by hyperk\"ahler geometry and Debarre-Voisin varieties. Oberdieck showed that the Hilbert square of a general K3-surface of genus $16$ is a Debarre-Voisin variety for some trivector. We start to investigate the relationship between these two trivectors.
要約:
We introduce the notion of a combinatorial K3 surface. Those form a certain class of type III semistable K3 surfaces and are completely determined by combinatorial data called curve structures. Emphasis is put on degree $2$ combinatorial K3 surfaces, but the approach can be used to study higher degree as well. We describe elementary modifications both in terms of the curve structures as well as on the Picard groups. Together with a description of the nef cone in terms of curve structures, this provides an approach to explicitly computing the Mori fan of the Dolgachev--Nikulin--Voisin family in degree $2$.
要約:
We propose modifications to the commonly used definitions of lattice-polarized and lattice-quasipolarized smooth K3 surfaces, collecting various versions of the definition, and determining the effects of these choices on the resulting moduli space. We fill a gap in the theory, by replacing Weyl chambers with the new notion of a ``small cone'': the true datum in the definition of lattice quasipolarized K3 surfaces. In addition, we describe the separated moduli stack and moduli space for lattice-polarized K3 surfaces with $ADE$ singularities, an important notion for applications.
要約:
We prove that, under mild restrictions, the space of codimension-one foliations of degree one on a smooth projective complete intersection has two irreducible components of logarithmic type. We also prove that the same conclusion holds for any smooth hypersurface of dimension at least three that is not a quadric threefold. The proof of these results follows essentially from a more general structure theorem for foliations on manifolds covered by lines.
要約:
This work establishes the geometric component of Deligne's longstanding program on refined Grothendieck-Riemann-Roch formulas expressed through determinants of cohomology. The approach relies on a newly developed universal category of Chern classes together with an associated relative intersection theory. As an example of the applications, we provide a structural description of the coefficients in the Knudsen-Mumford expansion and establish a fundamental Mumford-type isomorphism for the alternating product of Griffiths bundles.
要約:
The goal of this text is to present the computation by Salmon, in the second half of the XIXth century, of various numbers enumerating planes with a prescribed tangency pattern with a sufficiently general surface $S$ in $\mathbf{P}^3$ (or, equivalently, of hyperplane sections of $S$ with prescribed singularities). Emblematic among these are the number of tritangent planes, and the number of planes cutting out a curve with a tacnode.
要約:
We prove a Tannaka duality statement for geometric stacks in the setting of analytic stacks modelled on globally finitely presented Stein spaces. The key ingredient is the theory of liquid vector spaces and liquid quasicoherent sheaves of Clausen-Scholze. As an application, we reconstruct the topological fundamental group of any complex algebraic variety from its category of liquid local systems. We also reconstruct a series of "twisted fundamental groupoids" whose representations correspond to meromorphic flat connections on the complex affine line with logarithmic or irregular singularities at the origin.
要約:
In 2019, Kaveh and Manon introduced Khovanskii bases as a special 'Gr\"obner-like' generating system of an algebra. We extend their work by considering an arbitrary grading on the algebra and propose a definition for a 'homogeneous Khovanskii basis' that respects this grading. We generalize Khovanskii bases further by taking multiple valuations into account (MUVAK bases). We give algorithms in both cases.
MUVAK bases appear in the computation of the Cox ring of a minimal model of a quotient singularity. Our algorithm is an improvement of an algorithm by Yamagishi in this situation.
要約:
Many natural computational problems in computer science, mathematics, physics, and other sciences amount to deciding if two objects are equivalent. Often this equivalence is defined in terms of group actions. A natural question is to ask when two objects can be distinguished by polynomial functions that are invariant under the group action. For finite groups, this is the usual notion of equivalence, but for continuous groups like the general linear groups it gives rise to a new notion, called orbit closure intersection. It captures, among others, the graph isomorphism problem, noncommutative PIT, null cone problems in invariant theory, equivalence problems for tensor networks, and the classification of multiparty quantum states. Despite recent algorithmic progress in celebrated special cases, the computational complexity of general orbit closure intersection problems is currently quite unclear. In particular, tensors seem to give rise to the most difficult problems.
In this work we start a systematic study of orbit closure intersection from the complexity-theoretic viewpoint. To this end, we define a complexity class TOCI that captures the power of orbit closure intersection problems for general tensor actions, give an appropriate notion of algebraic reductions that imply polynomial-time reductions in the usual sense, but are amenable to invariant-theoretic techniques, identify natural tensor problems that are complete for TOCI, including the equivalence of 2D tensor networks with constant physical dimension, and show that the graph isomorphism problem can be reduced to these complete problems, hence GI$\subseteq$TOCI. As such, our work establishes the first lower bound on the computational complexity of orbit closure intersection problems, and it explains the difficulty of finding unconditional polynomial-time algorithms beyond special cases, as has been observed in the literature.
要約:
The purpose of this paper is to translate the expression of rank 2 cluster scattering diagrams via dilogarithm elements into via formal power series. As a corollary, we prove some conjectures introduced by Thomas Elgin, Nathan Reading, and Salvatore Stella.
要約:
In the 1950s and 1960s Tate proved some duality theorems in the Galois cohomology of finite modules and abelian varieties. As for most of Tate's work this has had a profound influence on mathematics with many applications and further developments. In this article, I discuss Tate's theorems and some of these developments.
要約:
Let $G$ be a connected linear algebraic group over a number field $K$. In this article, we study the almost strong approximation property (ASA) of $G$ raised by Rapinchuk and Tralle. Building on Demarche's results on strong approximation with Brauer-Manin obstruction, we introduce a necessary and sufficient condition for (ASA) to hold in terms of the Brauer group of $G$. Using the criteria, we conclude that (ASA) can be completely controlled by the Dirichlet density of the places and the splitting field of $G$, which generalizes a result of Rapinchuk and Tralle.
要約:
In this paper, we introduce numerical cohomology for arithmetic surfaces, which leads to an absolute version of arithmetic Riemann-Roch formula. As an application, we derive an upper bound for the self-intersection number of relative dualizing sheaf in terms of successive minima with respect to $L^2$-norm. The result has the geometric analogue that the slopes of the Harder-Narasimhan filtration of relative dualizing sheaf provide an upper bound for self-intersection number. Suppose that the arithmetic surface admits a section and has generic fiber of genus at least two, we obtain a refined upper bound for the self-intersection number, which is governed by the topological and arithmetic information of the section.