相关论文: On the signature of certain intersection forms

The theory of signature invariants of links in rational homology spheres is applied to covering links of homology boundary links. From patterns and Seifert matrices of homology boundary links, an explicit formula is derived to compute…

The purpose of this note is to give an affirmative answer to a conjecture appearing in [Integral Transforms Spec. Funct. 26 (2015) 90-95].

We prove the Zilber-Pink conjecture for curves in $Y(1)^3$ that intersect a modular curve in the boundary. We also give an unconditional result for unlikely intersection points having few places of supersingular reduction where they are…

The present paper deals with permutations induced by tame automorphisms over finite fields. The first main result is a formula for determining the sign of the permutation induced by a given elementary automorphism over a finite field. The…

We prove that the frieze sequences of cluster variables associated with the vertices of an affine quiver satisfy linear recurrence relations. In particular, we obtain a proof of a recent conjecture by Assem-Reutenauer-Smith.

Let ${\mathbf U}_q^-$ be the negative part of the quantum enveloping algebra, and $\sigma$ the algebra automorphism on ${\mathbf U}_q^-$ induced from a diagram automorphism. Let $\underline{\mathbf U}_q^-$ be the quantum algebra obtained…

Recently, R. Tauraso established finite $p$-analogues of famous Ap\'ery series for $\zeta(2)$ and $\zeta(3).$ In this paper, we present several congruences for finite central binomial sums arising from the truncation of Ap\'ery-type series…

Under the assumption that a defining graph of a Coxeter group admits only twists in $\mathbb{Z}_2$ and is of type FC, we prove M\"uhlherr's Twist Conjecture.

We illustrate the use of intersection types as a semantic tool for showing properties of the lattice of lambda theories. Relying on the notion of easy intersection type theory we successfully build a filter model in which the interpretation…

We prove that the $abc$-Conjecture implies upper bounds on Zsigmondy sets that are uniform over families of unicritical polynomials over number fields. As an application, we use the $abc$-Conjecture to prove that there exist uniform bounds…

This paper describes a paving by affines for regular nilpotent Hessenberg varieties in all Lie types, namely a kind of cell decomposition that can be used to compute homology despite its weak closure conditions. Precup recently proved a…

We prove a conjecture about the vertices and edges of the exchange graph of a cluster algebra $\A$ in two cases: when $\A$ is of geometric type and when $\A$ is arbitrary and its exchange matrix is nondegenerate. In the second case we also…

In this paper, we prove an intersection-theoretic result pertaining to curves in certain Hilbert modular surfaces in positive characteristic. Specifically, we show that given two appropriate curves C,D parameterizing abelian surfaces with…

We prove a conjecture of Kashiwara and Miemietz on canonical bases and branching rules of affine Hecke algebras of type D. The proof is similar to the proof of the type B case.

Let X be a cubic surface over a local number field k. Given an Azumaya algebra on X, we describe the local evaluation map X(k) -> Q/Z in two cases, showing a sharp dependence on the geometry of the reduction of X. We show that a suitably…

We prove Menger-type results in which the obtained paths are pairwise non-adjacent, both for graphs of bounded maximum degree and, more generally, for graphs excluding a topological minor. We further show better bounds in the subcubic case,…

We show that any multiplicative bijection between the algebras of differentiable functions, defined on differentiable manifolds of positive dimension, is an algebra isomorphism, given by composition with a unique diffeomorphism.

We derive a formula for the Milnor class of scheme-theoretic global complete intersections (with arbitrary singularities) in a smooth variety in terms of the Segre class of its singular scheme. In codimension one the formula recovers a…

For affine algebraic plane curves we reduce a calculation of its invariants to calculation of the intersection of kernels of some derivations.

We give a more detailed construction of the operation "intersection with a pseudo-divisor" in algebraic cobordism. Using arguments from Levine-Morel, Algebraic Cobordism, sections 6.2, 6.3, this gives a new proof of the contravariant…