Related papers: A Generalisation of Goursat's Algorithm for Integr…

We refine and advance the study of the local structure of idempotent finite algebras started in [A.Bulatov, The Graph of a Relational Structure and Constraint Satisfaction Problems, LICS, 2004]. We introduce a graph-like structure on an…

In the proofs of most cases of the Andr\'e-Oort conjecture, there are two different steps whose effectivity is unclear: the use of generalizations of Brauer-Siegel and the use of Pila-Wilkie. Only the case of curves in ${\bf C}^2$ is…

In this paper, a new method is proposed to produce guaranteed lower bounds for eigenvalues of general second order elliptic operators in any dimension. Unlike most methods in the literature, the proposed method only needs to solve one…

In these short notes, we will show the following. Let F_q be a finite field and let E/\F_q be an elliptic curve. Let S_r be the rth summation/Semaev polynomial for E. Under an assumption, we show that it is NP-complete to check if S_r…

The results obtained in this paper grew from an attempt to generalize the main theorem of [1]. There it was shown that any circuit injection (a 1-1 onto edge map f such that if C is a circuit then f(C) is a circuit) from a 3-connected, not…

Given a log Calabi--Yau surface $(Y,D)$, Bousseau has constructed a quantization of the mirror algebra of this pair. We give a formula for structure constants of this quantization in terms of higher genus descendant logarithmic…

Urata showed that a pointed compact hyperbolic variety admits only finitely many maps from a pointed curve. We extend Urata's theorem to the setting of (not necessarily compact) hyperbolically embeddable varieties. As an application, we…

We study the \'{e}tale fundamental groups of singular reduced connected curves defined over an algebraically closed field of arbitrary prime characteristic. It is shown that when the curve is projective, the \'{e}tale fundamental group is a…

We provide an inductive algorithm computing Gromov-Witten invariants in all genera with arbitrary insertions of all smooth complete intersections in projective space. We also prove that all Gromov-Witten classes of all smooth complete…

We show that the mod p Galois representations attached to a Q-curve E of degree d over an imaginary quadratic number field K are surjective for all p larger than some constant M_{K,d}, if E has potentially multiplicative reduction at any…

Tate's algorithm tells us that for an elliptic curve $E$ over a local field $K$ of residue characteristic $\geq 5$, $E/K$ has potentially good reduction if and only if $\text{ord}(j_E)\geq 0$. It also tells us that when $E/K$ is semistable…

The Graded Classification Conjecture states that for finite directed graphs $E$ and $F$, the associated Leavitt path algebras $L_\K(E)$ and $L_\K(F)$ are graded Morita equivalent, i.e., $\Gr L_\K(E) \approx_{\gr} \Gr L_\K(F)$, if and only…

Exponential Puiseux semirings are additive submonoids of $\qq_{\geq 0}$ generated by almost all of the nonnegative powers of a positive rational number, and they are natural generalizations of rational cyclic semirings. In this paper, we…

In a series of papers, Aluffi and Faber computed the degree of the $GL_3$ orbit closure of an arbitrary plane curve. We attempt to generalize this to the equivariant setting by studying how orbits degenerate under some natural…

Let $E$ be a semistable elliptic curve over $\mathbb{Q}$. We prove that if $E$ has non-split multiplicative reduction at at least one odd prime or split multiplicative reduction at at least two odd primes and if the rank of $E(\mathbb{Q})$…

The classical continuous finite element method with Lagrangian $Q^k$ basis reduces to a finite difference scheme when all the integrals are replaced by the $(k+1)\times (k+1)$ Gauss-Lobatto quadrature. We prove that this finite difference…

For smooth complete intersections in the projective spaces, we use the deformation invariance of Gromov-Witten invariants and results in classical invariant theory to study the symmetric reduction of the WDVV equation by the monodromy…

We propose a conjecture that a general member of a bracket-generating family of rational curves in a complex manifold satisfies the formal principle with convergence, namely, any formal equivalence between such curves is convergent. If the…

Let $(M,g)$ be a compact, 2-dimensional Riemannian manifold with nonpositive sectional curvature. Let $\Delta_g$ be the Laplace-Beltrami operator corresponding to the metric $g$ on $M$, and let $e_\lambda$ be $L^2$-normalized eigenfunctions…

Building on work of Elliott and coworkers, we present three applications of the Cuntz semigroup: (i) for many simple C$^*$-algebras, the Thomsen semigroup is recovered functorially from the Elliott invariant, and this yields a new proof of…