要約:
An efficient way to get implicit equations of conics on five points and quadrics on nine, using pencils of conics and quadrics, is revealed. Parallel axis right cones intersect on a conic. An example, to show how to place five coplanar points on a cone, using kinematic mapping with dual quaternions is presented. A second congruent cone is found as a translation of the first. Cone symmetry helps to explain how mapping produces eight real solutions, apparently all different, belong to a unique cone pair intersection. Future extension of this, pertaining to a nine point quadric, can be contrived if a way to map planar points to parallel axis cones is formulated.
要約:
In this paper we continue the program to develop the algebraic foundations of tropical (algebraic) geometry. We give strong characterizations of prime congruences containing a given congruence on a toric semiring. We give four applications of this result. (1) We prove an analogue of the strong Nullstellensatz for congruences with finite tropical basis. This extends the existing result of Jo\'o-Mincheva to cases, such as the bend congruence of a tropical(ized) ideal, where the congruence is not finitely generated. (2) We show that, if $I$ is the ideal of an affine variety not contained in the coordinate hyperplanes, then $\mathbb{T}[x_1, \dots, x_n]/\sqrt{\operatorname{Bend}(\operatorname{trop} I)}$ is cancellative. This result has applications to the integral closure (as per Tolliver) of $\mathbb{T}[x_1, \dots, x_n]/\operatorname{Bend}(\operatorname{trop} I)$ which we explore in a forthcoming paper. (3) We show that $\mathbb{T}[x_1, \dots, x_n]/\sqrt{\operatorname{Bend}(\operatorname{trop} I)}$ is the tropical function semiring on $\operatorname{trop} V(I)$, which creates a bridge between the algebraic approach to non-embedded tropicalization in the work of J. Song and the bend congruence approach of Giansiracusa-Giansiracusa and Maclagan-Rinc\'on. (4) As a consequence of one of our lemmas, we describe the closure of a polyhedron in a tropical toric variety even when the polyhedron is not compatible with the fan defining the tropical toric variety.
要約:
We introduce tropical singular intersection homologies (non-GM and GM) with the tropical coefficients on rational polyhedral spaces using their filtrations. We investigate their fundamental properties. In the non-GM case, we give a Poincar\'e duality and two bilinear pairings analogous to the cup and cap products under some assumptions. We compute the homologies in some cases.
要約:
Given a pair $(V,C)$ that admits a stable minimal model with fixed dimension, fixed coefficient set, and bounded relative volume, we study when the linear system $|m(K_V+C)|$ induces an Iitaka fibration, assuming the Iitaka volume of $K_V+C$ is sufficiently large.
要約:
We consider smooth plane curves $\mathcal{X}$ of degree $d\geq4$, defined over an algebraically closed field of characteristic $0$, that possess a unique outer Galois point. This geometric condition forces the curve to be a cyclic covering of the projective line, and ensures that its automorphism group fits into a specific theoretical framework. For each possible non-cyclic reduced automorphism group $\operatorname{Aut}_{\operatorname{red}}(\mathcal{X})$, we fully characterize the defining equation of $\mathcal{X}$ and the precise structure of its full automorphism group $\operatorname{Aut}(\mathcal{X})$.
This comprehensive analysis not only identifies the exact form of the equation for each automorphism type but also establishes the detailed criteria under which these scenarios can occur, thereby offering a complete classification of defining equations for smooth plane curves with a unique outer Galois point and a non-cyclic reduced automorphism group.
要約:
The general construction of lattice (co)homology assigns to a lattice $\mathbb{Z}^r$ and a weight function $w:\mathbb{Z}^r \to \mathbb{Z}$ a bigraded $\mathbb{Z}[U]$-module $\mathbb{H}_*$. The weight function $w$ is often obtained from some geometric data as the difference of two `height functions'. In this paper we consider the case when these height functions are Hilbert functions of valuative multifiltrations on a Noetherian $k$-algebra $\mathcal{O}$ and a finitely generated $\mathcal{O}$-module $M$. We introduce the notion of `realizable submodules' in $M$, the prime example of which are finite codimensional integrally closed submodules in the sense of Rees (or integrally closed ideals when $M=\mathcal{O}$). We prove, that whenever two sets of `extended' discrete valuations `realize' the same submodule $N \leq M$, then, although the corresponding lattices and weight functions might be different, the resulting lattice homology modules are isomorphic and have Euler characteristic $\dim_k(M/N)$. In this way, we associate a well-defined lattice homology to any quotient of type $M/N$, where $N$ is a realizable submodule of $M$. We also present some structural and computational results: e.g., we geometrically characterize the (lattice) homological dimension of integrally closed monomial ideals of $k[x,y]$.
The main upshot of the paper, however, is the possibility of categorifying numerical invariants defined as codimensions of realizable submodules or integrally closed ideals. The geometric applications include: the delta invariant $\delta(C, o)$ of a reduced curve singularity; the geometric genus $p_g(X, o)$, the irregularity $q(X, o)$ and the various plurigenera of higher dimensional isolated normal singularities. The corresponding categorifications generalize the analytic lattice homologies of \'Agoston and the first author.
要約:
In this work, we want to show several properties of an unnodal, complex Coble surface $X$ with irreducible boundary curve $C \in |-2 K_X|$. Namely, we show that every isotropic sequence ${\cal E}_1, \ldots, {\cal E}_r$ with $r \le 8$ and ${\cal E}_i {\cal E}_j = 1 - \delta_{i, j}$ can be extended to a sequence of length $10$. Moreover, such a surface admits a birational quintic model $\overline X \subset \mathbb{P}^3$, with equation $\alpha X_0 X_1^2 X_2^2 + \beta X_0 X_1^2 X_3^2 + \gamma X_0 X_2^2 X_3^2 + X_1 X_2 X_3 q = 0$, where $q$ is a quadric form. Finally, we use this birational model to show that every biregular involution $i : X \to X$ on such a Coble surface is the lift of a Bertini involution.
要約:
The goal of this paper is to compute the motivic local density of an isolated algebraic surface singularity, in order to explain its link with algebraic multiplicity. In this context, we can use an additional data: the inner rate related to the bilipschitz geoemtry of the singularity, as studied by A. Belotto da Silva, L. Fantini and A. Pichon.
要約:
We study the automorphism groups of Mori Del Pezzo fibrations over a smooth projective curve $C$ of positive genus. From that, we obtain a classification of maximal connected algebraic subgroups of $\mathrm{Bir}(C\times \mathbb{P}^2)$. Our results hold over any algebraically closed field of characteristic zero.
要約:
We study the tensor-triangular geometry of the category of Voevodsky motives generated by real quadrics. At the prime 2, we determine its Balmer spectrum, and find that it is a countably infinite, non-Noetherian space of Krull dimension 2. We detail the relationship between this space, the real Artin-Tate spectrum computed by Balmer-Gallauer, and Vishik's isotropic points. We conclude by combining our computation with Balmer-Gallauer's results on Artin-Tate motives to obtain a full description of the spectrum of integral motives of quadrics over real algebraic numbers.
要約:
In this text, we outline a theory of schemes associated with a site, which generalizes a variety of geometries, such as manifolds, schemes, analytic spaces, simplicial complexes, and more. We present an abstract process of gluing model spaces via sheaf theory and recover a posteriori the underlying topological spaces that are often present in the construction of such geometric objects. We apply this formalism to semiring schemes and reason why the usual definition of semiring schemes has to be considered as the good approach to the geometry of semirings.
要約:
We solve categorical Torelli problem for quartic del Pezzo surfaces. That is, we prove that a del Pezzo surface of degree $4$ can be canonically reconstructed from its Kuznetsov component, which is the orthogonal subcategory to the structure sheaf in the derived category of the surface. Our methods work in equivariant setting and over arbitrary perfect fields. Using recent theory of atomic semi-orthogonal decompositions arXiv:2512.05064, we conclude that two minimal quartic del Pezzo surfaces are birational if and only if they are isomorphic. We also verify that the Kuznetsov component of a minimal quartic del Pezzo surface is semi-orthogonally indecomposable, confirming a conjecture by Auel and Bernardara.
要約:
Let $K$ be a $p$-adic field and $T$ a lattice in a semistable representation of $\mathrm{Gal}(\overline{K}/K)$ with Hodge-Tate weights in $[0, r]$. Assuming $0\leq r<p-1$, we prove that for a semistable extension of $\mathbb{Z}_p$ by $T$, the corresponding sequence of strongly divisible modules is exact. The same statement is proved for Breuil-Kisin modules for all $r\geq 0$. In the crystalline case, we deduce that the integral Bloch-Kato Selmer group $H^1_f(K, T)$ is computed by $\mathrm{Ext}^1$ in the category of crystalline strongly divisible modules. Using further exactness results, we define a tensor product of strongly divisible modules, which commutes with the functors to Galois representations. As an application, we show that for abelian varieties $A_1, A_2$ over $K$ with good reduction, the cup product map $\delta_1\cup\delta_2:A_1(K)\otimes A_2(K)\rightarrow H^2(K, T_p(A_1)\otimes T_p(A_2))$ induced by the Kummer sequences of $A_1, A_2$ factors through an $\mathrm{Ext}^2$ group of strongly divisible modules.
要約:
We discuss local-global principles for the existence of Levi factors (i.e., complements to the unipotent radical) for linear algebraic groups over one-variable function fields. We give examples of disconnected groups that fail the local-global principle, and prove a strong local-global principle in the presence of Levi descent.
要約:
A Laurent polynomial in two variables is tempered if its edge polynomials are cyclotomic. Variation of coefficients leads to a family of smooth complete genus $g$ curves carrying a canonical algebraic $K_2$-class over a $g$-dimensional base $S$, hence to an extension of admissible variations of MHS (or normal function) on $S$. We prove that the $\mathbb{R}$-split locus of this extension is finite. Consequently, the torsion locus of the normal function and the $A$-polynomial locus for the family of curves are also finite.
要約:
A conjecture of Denef-Jacobs-Veys relates motivic principal value integrals of multivalued rational top-forms with cohomology support loci of rank one local systems. We give a stronger positive answer to this conjecture for hyperplane arrangements.
要約:
We study projective surfaces in $\mathbb{P}^3$ which can be written as Hadamard product of two curves. We show that quadratic surfaces which are Hadamard product of two lines are smooth and tangent to all coordinate planes, and such tangency points uniquely identify the quadric. The variety of such quadratic surfaces corresponds to the Zariski closure of the space of symmetric matrices whose inverse has null diagonal. For higher-degree surfaces which are Hadamard product of a line and a curve we show that the intersection with the coordinate planes is always non-transversal.
要約:
We survey the Mumford construction of degenerating abelian varieties, with a focus on the analytic version of the construction, and its relation to toric geometry. Moreover, we study the geometry and Hodge theory of multivariable degenerations of abelian varieties associated to regular matroids, and extend some fundamental results of Clemens on 1-parameter semistable degenerations to the multivariable setting.
要約:
We introduce FA-matrices for computing ranks of vector bundles of coinvariants and conformal blocks associated with modules over vertex operator algebras on the moduli space of stable pointed curves, unifying the notions of fusion and averaging matrices and generalizing Ueno's work. To illustrate, we compute ranks of vector bundles determined by pointed VOAs and the tensor product of certain VOAs, as well as other examples. As an application, positivity properties of their first Chern classes are analyzed.
要約:
We construct a theory of motivic cohomology for quasi-compact, quasi-separated schemes of equal characteristic, which is related to non-connective algebraic $K$-theory via an Atiyah--Hirzebruch spectral sequence, and to \'etale cohomology in the range predicted by Beilinson and Lichtenbaum. On smooth varieties over a field our theory recovers classical motivic cohomology, defined for example via Bloch's cycle complex. Our construction uses trace methods and (topological) cyclic homology.
As predicted by the behaviour of algebraic $K$-theory, the motivic cohomology is in general sensitive to singularities, including non-reduced structure, and is not $\mathbb{A}^1$-invariant. It nevertheless has good geometric properties, satisfying for example the projective bundle formula and pro cdh descent.
Further properties of the theory include a Nesterenko--Suslin comparison isomorphism to Milnor $K$-theory, and a vanishing range which simultaneously refines Weibel's conjecture about negative $K$-theory and a vanishing result of Soul\'e for the Adams eigenspaces of higher algebraic $K$-groups. We also explore the relation of the theory to algebraic cycles, showing in particular that the Levine--Weibel Chow group of zero cycles on a surface arises as a motivic cohomology group.
要約:
We continue the study of thick triangulated subcategories, started by Valery Lunts and the author in arXiv:2007.02134, and consider thick subcategories in the derived category of coherent sheaves on a weighted projective curve and the corresponding abelian thick subcategories. Our main result is that any thick subcategory on a weighted projective curve either is equivalent to the derived category of nilpotent representations of some quiver (we call such categories quiver-like) or is the orthogonal to an exceptional collection of torsion sheaves (we call such subcategories big). We examine the structure of thick subcategories: in particular, for weighted projective lines we prove that any admissible subcategory is generated by an exceptional collection and any exceptional collection is a part of a full one. We show that the derived categories of weighted projective curves satisfy Jordan-Holder property and do not contain phantoms. Finally, we extend and simplify results from arXiv:2007.02134, providing sufficient criteria for a triangulated or abelian category to be quiver-like.