English
Related papers

Related papers: Initiation to mould calculus through the example o…

200 papers

An explicit computation of the so-called string-theoretic E-function of a normal complex variety X with at most log-terminal singularities can be achieved by constructing one snc-desingularization of X, accompanied with the intersection…

Algebraic Geometry · Mathematics 2007-05-23 Dimitrios I. Dais

We study certain special tilting and cotilting modules for an algebra with positive dominant dimension, each of which is generated or cogenerated (and usually both) by projective-injectives. These modules have various interesting…

Representation Theory · Mathematics 2023-06-22 Matthew Pressland , Julia Sauter

The classical theory of elliptic curves with complex multiplication is a fundamental tool for studying the arithmetic of abelian extensions of imaginary quadratic fields. While no direct analogue is available for real quadratic fields, a…

Number Theory · Mathematics 2023-09-22 Paulina Fust , Judith Ludwig , Alice Pozzi , Mafalda Santos , Hanneke Wiersema

We give a global formulation of the coupling of four-dimensional scalar sigma models to Abelian gauge fields for the generalized situation when the "duality structure" of the Abelian gauge theory is described by a flat symplectic vector…

High Energy Physics - Theory · Physics 2019-12-19 C. I. Lazaroiu , C. S. Shahbazi

Calculi with control operators have been studied as extensions of simple type theory. Real programming languages contain datatypes, so to really understand control operators, one should also include these in the calculus. As a first step in…

Logic in Computer Science · Computer Science 2012-11-07 Herman Geuvers , Robbert Krebbers , James McKinna

Two of the pillars of combinatorics are the notion of choosing an arbitrary subset of a set with $n$ elements (which can be done in $2^n$ ways), and the notion of choosing a $k$-element subset of a set with $n$ elements (which can be done…

Combinatorics · Mathematics 2007-05-23 James Propp

We consider four examples of combinatorial triangles $\left(T(n,k)\right)_{0\le k\le n}$ (Pascal, Stirling of both types, Euler) : through saddle-point asymptotics, their \emph{Pascal's formulas} define four vector fields, together with…

Combinatorics · Mathematics 2023-09-18 Philippe Chassaing , Jules Flin , Alexis Zevio

In this note we study numerically the combinatorics of curves and geodesics on the torus with one boundary component. A potential computational difficulty is avoided by counting inside specific orbits of the mapping class group up to a…

Geometric Topology · Mathematics 2016-08-10 Moira Chas

The moduli space $M$ of semi-stable rank 2 bundles with trivial determinant over a complex curve carries involutions naturally associated to 2-torsion points on the Jacobian of the curve. For every lift of a 2-torsion point to a 4-torsion…

alg-geom · Mathematics 2007-05-23 Jorgen Ellegaard Andersen , Gregor Masbaum

Many codes have been developed to study highly relativistic, magnetized flows around and inside compact objects. Depending on the adopted formalism, some of these codes evolve the vector potential $\mathbf{A}$, and others evolve the…

Computational Physics · Physics 2019-01-30 Zachary J. Silberman , Thomas R. Adams , Joshua A. Faber , Zachariah B. Etienne , Ian Ruchlin

In this work we explore the connections between (linear) nested sequent calculi and ordinary sequent calculi for normal and non-normal modal logics. By proposing local versions to ordinary sequent rules we obtain linear nested sequent…

Logic in Computer Science · Computer Science 2017-11-17 Björn Lellmann , Elaine Pimentel

We study an extension of modal $\mu$-calculus to sets with atoms and we study its basic properties. Model checking is decidable on orbit-finite structures, and a correspondence to parity games holds. On the other hand, satisfiability…

Logic in Computer Science · Computer Science 2023-06-22 Bartek Klin , Mateusz Łełyk

A Teichm\"uller curve is an algebraic and isometric immersion of an algebraic curve into the moduli space of Riemann surfaces. We give the first explicit algebraic models of Teichm\"uller curves of positive genus. Our methods are based on…

Algebraic Geometry · Mathematics 2017-12-20 Abhinav Kumar , Ronen E. Mukamel

We review and extend a technique for recovering a smooth function from its averages over a wide class of curves in a general region of Euclidean space. The method is based on complexification of the underlying vector fields defining the…

Complex Variables · Mathematics 2011-02-10 Nicholas Hoell

We consider the untyped lambda calculus with constructors and recursively defined constants. We construct a domain-theoretic model such that any term not denoting bottom is strongly normalising provided all its `stratified approximations'…

Computer Science and Game Theory · Computer Science 2017-01-11 Ulrich Berger

We give an explicit formula of the normalized Mumford form which expresses the second tautological line bundle by the Hodge line bundle defined on the moduli space of algebraic curves of any genus. This formula is represented by an infinite…

Mathematical Physics · Physics 2018-12-21 Takashi Ichikawa

This thesis proposes a combinatorial generalization of a nilpotent operator on a vector space. The resulting object is highly natural, with basic connections to a variety of fields in pure mathematics, engineering, and the sciences. For the…

Category Theory · Mathematics 2020-04-21 Gregory Henselman-Petrusek

We study vector bundles on curves with rational tails and their smoothings and give a sufficient condition for the general fibre to be balanced.

Algebraic Geometry · Mathematics 2022-11-22 Ziv Ran

The modular variety of non singular and complete hyperelliptic curves with level-two structure of genus 3 is a 5-dimensional quasi projective variety which admits several standard compactifications. The first one, X, comes from the…

Algebraic Geometry · Mathematics 2007-11-01 E. Freitag , R. Salvati Manni

Vector-valued Siegel modular forms are the natural generalization of the classical elliptic modular forms as seen by studying the cohomology of the universal abelian variety. We show that for g>=4, a new class of vector-valued modular…

Algebraic Geometry · Mathematics 2013-06-12 Marco Matone , Roberto Volpato