Related papers: Notes on rational chain connectedness
Machine reading comprehension (MRC) poses new challenges over logical reasoning, which aims to understand the implicit logical relations entailed in the given contexts and perform inference over them. Due to the complexity of logic, logical…
We generalize the result of Kawamata concerning the strong version of Fujita's freeness conjecture for smooth 3-folds to some singular cases, namely, Gorenstein terminal singularities and quotient singularities of type 1/r(1,1,1) and of…
The general correlation function for the eigenvalues of $p$ complex hermitian matrices coupled in a chain is given as a single determinant. For this we use a slight generalization of a theorem of Dyson.
To a word $w$, we associate the rational function $\Psi_w = \prod (x_{w_i} - x_{w_{i+1}})^{-1}$. The main object, introduced by C. Greene to generalize identities linked to Murnaghan-Nakayama rule, is a sum of its images by certain…
We consider how a vertex operator algebra can be extended to an abelian intertwining algebra by a family of weak twisted modules which are {\em simple currents} associated with semisimple weight one primary vectors. In the case that the…
Motivated by the works of Krasner [arXiv:0801.4018] and Lobb [arXiv:1103.1412], we simplify the Khovanov-Rozansky chain complexes of open 2-braids. As an application, we show that, for a knot containing a "long" 2-braid, the sl(N) Rasmussen…
Nakano's "later" modality, inspired by G\"{o}del-L\"{o}b provability logic, has been applied in type systems and program logics to capture guarded recursion. Birkedal et al modelled this modality via the internal logic of the topos of…
We prove that given two cut free nets of linear logic, by means of their relational interpretations one can: 1) first determine whether or not the net obtained by cutting the two nets is strongly normalizable 2) then (in case it is strongly…
We show that rationality does not specialize in flat projective families of complex fourfolds with terminal singularities. This answers a question of Totaro, who established the analogous result in all dimensions greater than 4.
The first-order theory of MALL (multiplicative, additive linear logic) over only equalities is an interesting but weak logic since it cannot capture unbounded (infinite) behavior. Instead of accounting for unbounded behavior via the…
We establish a kind of subadjunction formula for quasi-log canonical pairs. As an application, we prove that a connected projective quasi-log canonical pair whose quasi-log canonical class is anti-ample is simply connected and rationally…
A general strategy is given for the classification of graphs of rational surface singularities. For each maximal rational double point configuration we investigate the possible multiplicities in the fundamental cycle. We classify completely…
We study the connectedness of the real locus of smooth geometrically rational Fano threefolds and prove a sufficient criterion of $\mathbb{R}$-rationality.
This paper gives new and elementary combinatorial topological proofs of the classification of unoriented and oriented rational knots and links. These proofs are based on the known classification of alternating knots through flyping, and the…
A recurring difficulty in the Minimal Model Program is that while log terminal singularities are quite well behaved (for instance, they are rational), log canonical singularities are much more complicated; they need not even be…
When we represent logical, connective implications by directed edges, the resulting set of directed edges can be regarded as a complex network. In this article, we compose a network model that represents a deductive-logic-like structure…
In this paper, we show that for a simply connected CW complex $Y$ with $H^{*}(Y;\mathbb{Q})$ of finite dimension, if $H^{*}(Y;\mathbb{Q})$ is concentrated in degrees $\leq 3$, then the rationalization $Y_\mathbb{Q}$ is formal. As an…
A simplicial complex is $r$-conic if every subcomplex of at most $r$ vertices is contained in the star of a vertex. A $4$-conic complex is simply connected. We prove that an $8$-conic complex is $2$-connected. In general a $(2n+1)$-conic…
Given a closed subscheme $Z$ in a smooth variety $X$, defined by the maximal minors of an $s\times r$ matrix of regular functions, with $s\geq r$, we consider the corresponding incidence correspondence $W$ in $Y=X\times {\mathbf P}^{r-1}$,…
Let k be a field of characteristic zero. We show that the norm variety associated to a prime $\ell$ and an ordered sequence of invertible elements of k is geometrically retract rational. This generalizes a recent result of…