Related papers: Reciprocity laws and $K$-theory

In this paper we prove a generalized version of Hall's theorem for hypergraphs. More precisely, let H be a k-uniform k- partite hypergraph with some ordering on parts as V1, V2,..., Vk. such that the subhypergraph generated on union of V1,…

A fractional matching of a graph $G$ is a function $h: E(G) \to [0,1]$ such that $\sum_{e \in E_G(v)} h(e) \leq 1$ for every vertex $v \in V(G)$, where $E_G(v)$ is the set of edges incident to $v$. If $\sum_{e \in E_G(v)} h(e) = 1$ for all…

Given a specific collection of curves on an oriented surface with punctures, we associate a power series by counting its intersections with multicurves. This paper presents a reciprocity formula on the power series when multicurves with no…

Using Serre's adelic interpretation of cohomology, we develop a `differential and integral calculus' on an algebraic curve X over an algebraically closed filed k of constants of characteristic zero, define algebraic analogs of additive…

A graph K is multiplicative if a homomorphism from any product G x H to K implies a homomorphism from G or from H. Hedetniemi's conjecture states that all cliques are multiplicative. In an attempt to explore the boundaries of current…

It is a well known fact that in $\mathbb{R}^n$ a subset of minimal perimeter $L$ among all sets of a given volume is also a set of maximal volume among all sets of the same perimeter $L$. This is called the reciprocity principle for…

Let $(X,D)$ be a pair where $X$ is a projective variety. We study in detail how the behavior of rational curves on $X$ as well as the positivity of $-(K_X+D)$ and $D$ influence the behavior of rational curves on $D$. In particular we give…

As a generalization of our previous paper [GK], we formulate a residue formula and some simple behaviors of equivariant quantum cohomology applying to compute the quantum cohomology of partial flag manifolds $F_{k_1,\cdots , k_l} $with a…

We give a purely geometric explanation of the coincidence between the Coulomb Branch equations for the 3D GLSM describing the quantum $K$-theory of a flag variety, and the Bethe Ansatz equations of the 5-vertex lattice model. In doing so,…

Let $K=k(C)$ be the function field of a curve over a field $k$ and let $X$ be a smooth, projective, separably rationally connected $K$-variety with $X(K)\neq\emptyset$. Under the assumption that $X$ admits a smooth projective model $\pi:…

The parametric geometry of numbers of Schmidt and Summerer deals with rational approximation to points in $\mathbb{R}^n$. We extend this theory to a number field $K$ and its completion $K_w$ at a place $w$ in order to treat approximation…

There exists a function f: N -> N such that for every positive integer d, every quasi-finite field K and every projective hypersurface X of degree d and dimension at least f(d), the set X(K) is non-empty. This is a special case of a more…

We prove an identity for (torus-equivariant) 3-point, genus 0, $K$-theoretic Gromov-Witten invariants of flag manifolds $G/P$, which can be thought of as a replacement for the ``divisor axiom'' in their (torus-equivariant) quantum…

Let $\Pi$ be the fundamental group of a smooth variety X over $F_p$. Given a non-Archimedean place $\lambda$ of the field of algebraic numbers which is prime to p, consider the $\lambda$-adic pro-semisimple completion of $\Pi$ as an object…

We consider Schubert problems with respect to flags osculating the rational normal curve. These problems are of special interest when the osculation points are all real -- in this case, for zero-dimensional Schubert problems, the solutions…

For a projective morphism of an smooth algebraic surface $X$ onto a smooth algebraic curve $S$, both given over a perfect field $k$, we construct the direct image morphism in two cases: from $H^i(X,\Omega^2_X)$ to $H^{i-1}(S,\Omega^1_S)$…

We will formulate and prove a certain reciprocity law relating certain residues of the differential symbol dlog^2 from the K_2 of a Mumford curve to the rigid analytic regulator constructed by the author in a previous paper. We will use…

Given a 0-dimensional affine K-algebra R=K[x_1,...,x_n]/I, where I is an ideal in a polynomial ring K[x_1,...,x_n] over a field K, or, equivalently, given a 0-dimensional affine scheme, we construct effective algorithms for checking whether…

Let K(X) be the collection of all non-zero finite dimensional subspaces of rational functions on an n-dimensional irreducible variety X. For any n-tuple L_1,..., L_n in K(X), we define an intersection index [L_1,..., L_n] as the number of…

We apply the degree formula for connective $K$-theory to study rational contractions of algebraic varieties. Examples include rationally connected varieties and complete intersections.