In this article, we study the commutativity between the pull-back and the
push-forward functors on constructible functions in Cluckers--Loeser motivic
integration.

more |
pdf
| html
None.

mathRTb:
Jorge Cely, Michel Raibaut : On the commutativity of pull-back and push-forward functors on motivic constructible functions https://t.co/8OiW27iP4e https://t.co/xBK7c5iBgs

MathPaper:
On the commutativity of pull-back and push-forward functors on motivic constructible functions. https://t.co/ElL8eL1TOn

None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 12282

Unqiue Words: 1906

We study the preservation of semisimplicity for holonomic D-modules with
respect to the direct and inverse image of mainly finite maps $\pi : X \to Y$
of smooth varieties. A natural filtration of the direct image $\pi_+({\mathcal
O}_X)$ is defined by the vanishing of local cohomology along a natural
stratification of $\pi$. The notions are exemplified with the invariant map
$X\to X^G$, where $G$ is a complex reflection group.
Simply connected varieties are treated algebraically by considering
connections instead of fundamental groups. For example, a
"Grothendieck-Lefschetz" theorem for connections is proven and also a
generalized version of the assertion that rationally connected varieties be
simply connected, entirely by algebraic means, using the idea of a
"differential covering".

more |
pdf
| html
None.

mathRTb:
Rolf Källström : D-modules and finite maps https://t.co/9PjwIl9YZn https://t.co/k38bdVDJiz

MathPaper:
D-modules and finite maps. https://t.co/ysWj3BQ5n9

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 73935

Unqiue Words: 7727

We collect in this note some observations about original Welschinger
invariants of real symplectic fourfolds. None of their proofs is difficult,
nevertheless these remarks do not seem to have been made before. Our main
result is that when $X$ is a real rational algebraic surface, Welschinger
invariants only depend on the number of real interpolated points, and some
homological data associated to $X$. This strengthened the invariance statement
initially proved by Welschinger.
This main result follows easily from a formula relating Welschinger
invariants of two real symplectic manifolds differing by a surgery along a real
Lagrangian sphere. In its turn, once one believes that such formula may hold,
its proof is a mild adaptation of the proof of analogous formulas previously
obtained by the author on the one hand, and by Itenberg, Kharlamov and Shustin
on the other hand.
We apply the two aforementioned results to complete the computation of
Welschinger invariants of real rational algebraic surfaces, and to obtain
vanishing, sign,...

more |
pdf
| html
None.

mathSGb:
Erwan Brugallé : On the invariance of Welschinger invariants https://t.co/3wZQexAc7b https://t.co/ARazgx3lnz

MathPaper:
On the invariance of Welschinger invariants. https://t.co/SiUMUpYHHi

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 7813

Unqiue Words: 1781

We completely solve the inverse Galois problem for del Pezzo surfaces of
degree $2$ and $3$ over all finite fields.

more |
pdf
| html
None.

MathPaper:
Inverse Galois problem for del Pezzo surfaces over finite fields. https://t.co/5yDe2X1aLJ

None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 3056

Unqiue Words: 1045

It is well-known that there is a positive relationship between the maximal
multiplicity and the length of associated virtual 1-parameter subgroup of a
projective hypersurface. In this paper, we will define the multiplicity classes
of hypersurfaces and construct them from the Hesselink stratification of a
Hilbert scheme.

more |
pdf
| html
None.

MathPaper:
A construction of multiplicity class from Hesselink stratification. https://t.co/ioA8KJO0fm

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 3166

Unqiue Words: 873

We prove the Ax-Lindemann-Weierstrass theorem with derivatives for the
uniformizing functions of genus zero Fuchsian groups of the first kind. Our
proof relies on differential Galois theory, monodromy of linear differential
equations, the study of algebraic and Liouvillian solutions, differential
algebraic work of Nishioka towards the Painlev\'e irreducibility of certain
Schwarzian equations, and considerable machinery from the model theory of
differentially closed fields.
Our techniques allow for certain generalizations of the
Ax-Lindemann-Weierstrass theorem which have interesting consequences. In
particular, we apply our results to answer a question of Painlev\'e (1895). We
also answer certain cases of the Andr\'e-Pink conjecture, namely in the case of
orbits of commensurators of Fuchsian groups.

more |
pdf
| html
None.

MathPaper:
Ax-Lindemann-Weierstrass with derivatives and the genus 0 Fuchsian groups. https://t.co/S0rlXBW1Uh

None.

None.

Sample Sizes : None.

Authors: 3

Total Words: 17925

Unqiue Words: 3168

The design and implementation of parallel algorithms is a fundamental task in
computer algebra. Combining the computer algebra system Singular and the
workflow management system GPI-Space, we have developed an infrastructure for
massively parallel computations in commutative algebra and algebraic geometry.
In this note, we give an overview on the current capabilities of this framework
by looking into three sample applications: determining smoothness of algebraic
varieties, computing GIT-fans in geometric invariant theory, and determining
tropicalizations. These applications employ algorithmic methods originating
from commutative algebra, sheaf structures on manifolds, local geometry, convex
geometry, group theory, and combinatorics, illustrating the potential of the
framework in further problems in computer algebra.

more |
pdf
| html
arxiv_org:
Massively parallel computations in algebraic geometry - not a contradiction. https://t.co/OCejFcD9Bq https://t.co/KU1rxsa1bh

kentosho:
GPGPUやメニーコアCPUを使った代数幾何研究が進むかも！ https://t.co/EBfAcrOTiP

mathAGb:
Janko Boehm, Anne Frühbis-Krüger, Mirko Rahn : Massively parallel computations in algebraic geometry - not a contradiction https://t.co/OBqN2zr1sH https://t.co/y8qzoOtrpA

hiropon_matsu:
"Massively parallel computations in algebraic geometry - not a contradiction." https://t.co/nNacqHmcI4 https://t.co/RCmfmrobeD

MathPaper:
Massively parallel computations in algebraic geometry - not a contradiction. https://t.co/XyN1L6dYfY

Santiag72427700:
RT @arxiv_org: Massively parallel computations in algebraic geometry - not a contradiction. https://t.co/OCejFcD9Bq https://t.co/KU1rxsa1bh

None.

None.

Sample Sizes : None.

Authors: 3

Total Words: 3608

Unqiue Words: 1443

It turns out that one can read off facts about schemes up to universal
homeomorphism from their Galois categories. Here we propose a first modest
slate of entries in a dictionary between the geometric features of a perfectly
reduced scheme (or morphism of such) and the categorical properties of its
Galois category (or functor of such). The main thing that makes this possible
is Schr\"oer's total separable closure.

more |
pdf
| html
None.

mathAGb:
Clark Barwick : On Galois categories and perfectly reduced schemes https://t.co/bDVxiS8T2J https://t.co/0VUptJheWZ

MathPaper:
On Galois categories and perfectly reduced schemes. https://t.co/dOzuusVK54

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 4003

Unqiue Words: 991

We show that the general Enriques surfaces can be recovered from the
Kutznetsov component of its bounded derived categories of coherent sheaves.

more |
pdf
| html
None.

mathAGb:
Riccardo Moschetti, Giorgio Scattareggia, Sofia Tirabassi : Emiorthogonal decopositions on Enriques surfaces and Derived Torelli Thoerem https://t.co/ztvyGEIYdv https://t.co/M8AB1y6Gom

MathPaper:
Emiorthogonal decopositions on Enriques surfaces and Derived Torelli Thoerem. https://t.co/MbkFXqPCSp

None.

None.

Sample Sizes : None.

Authors: 3

Total Words: 6242

Unqiue Words: 1545

We investigate several interrelated foundational questions pertaining to
Guzman's theory of motivic dga's. In particular, we note that motivic dga's
give rise to a natural notion of "nonabelian motivic homology". Just as abelian
motivic homology is a homotopy group of a spectrum coming from K-theory,
nonabelian motivic homology is a homotopy group of a certain limit of such
spectra; we give an explicit formula for this limit --- a necessary first step
(we believe) towards any explicit computations or dimension bounds. We also
consider commutative comonoids in Chow motives, which we call "motivic Chow
coalgebras". We discuss the relationship between motivic Chow coalgebras and
motivic dga's of smooth proper schemes.
As an application of our foundational results, we prove that among schemes
which are finite \'etale over a number field, morphisms of associated motivic
dga's are no different than morphisms of schemes. This may be regarded as a
small consequence of a plausible generalization of Kim's relative unipotent
section...

more |
pdf
| html
None.

mathAGb:
Ishai Dan-Cohen, Tomer Schlank : Nonabelian motivic homology https://t.co/ZQotWsCjMs https://t.co/ZBkGG7JAAh

MathPaper:
Nonabelian motivic homology. https://t.co/2R2mmC1Uyz

None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 9749

Unqiue Words: 2186

Assert is a website where the best academic papers on arXiv (computer science, math, physics), bioRxiv (biology), BITSS (reproducibility), EarthArXiv (earth science), engrXiv (engineering), LawArXiv (law), PsyArXiv (psychology), SocArXiv (social science), and SportRxiv (sport research) bubble to the top each day.

Papers are scored (in real-time) based on how verifiable they are (as determined by their Github repos) and how interesting they are (based on Twitter).

To see top papers, follow us on twitter @assertpub_ (arXiv), @assert_pub (bioRxiv), and @assertpub_dev (everything else).

To see beautiful figures extracted from papers, follow us on Instagram.

*Tracking 58,338 papers.*

Sort results based on if they are interesting or reproducible.

Interesting

Reproducible