Source author record

Johannes Schmitt

Johannes Schmitt appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

7works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

7 published item(s)

preprint2022arXiv

Chow rings of stacks of prestable curves I

We study the Chow ring of the moduli stack $\mathfrak{M}_{g,n}$ of prestable curves and define the notion of tautological classes on this stack. We extend formulas for intersection products and functoriality of tautological classes under natural morphisms from the case of the tautological ring of the moduli space $\bar{\mathcal{M}}_{g,n}$ of stable curves. This paper provides foundations for the second part of the paper. In the appendix (joint with J. Skowera), we develop the theory of a proper, but not necessary projective, pushforward of algebraic cycles. The proper pushforward is necessary for the construction of the tautological rings of $\mathfrak{M}_{g,n}$ and is important in its own right. We also develop operational Chow groups for algebraic stacks.

preprint2022arXiv

Étale cohomological stability of the moduli space of stable elliptic surfaces

We compute the (stable) étale cohomology of $\mathrm{Hom}_{n}(C, \mathcal{P}(\vecλ))$, the moduli stack of degree $n$ morphisms from a smooth projective curve $C$ to the weighted projective stack $\mathcal{P}(\vecλ)$, the latter being a stacky quotient defined by $\mathcal{P}(\vecλ) := \left[\mathbb{A}^N-\{0\}/\mathbb{G}_m\right]$, where $\mathbb{G}_m$ acts by weights $\vecλ = (λ_0, \cdots, λ_N) \in \mathbb{Z}^N_{+}$. Our key ingredient is formulating and proving the étale cohomological descent over the category $ΔS$, the symmetric (semi)simplicial category. An immediate arithmetic consequence is the resolution of the geometric Batyrev--Manin type conjecture for weighted projective stacks over global function fields. Along the way, we also analyze the intersection theory on weighted projectivizations of vector bundles on smooth Deligne-Mumford stacks.

preprint2020arXiv

admcycles -- a Sage package for calculations in the tautological ring of the moduli space of stable curves

The tautological ring of the moduli space of stable curves has been studied extensively in the last decades. We present a SageMath implementation of many core features of this ring. This includes lists of generators and their products, intersection numbers and verification of tautological relations. Maps between tautological rings induced by functoriality, that is pushforwards and pullbacks under gluing and forgetful maps, are implemented. Furthermore, many interesting cycle classes, such as the double ramification cycles, strata of k-differentials and hyperelliptic or bielliptic cycles are available. In this paper we show how to apply the package, including concrete example computations.

preprint2016arXiv

A compactification of the moduli space of self-maps of $\mathbb{CP}^1$ using stable maps

We present a new compactification $M(d,n)$ of the moduli space of self-maps of $\mathbb{CP}^1$ of degree $d$ with $n$ markings. It is constructed via GIT from the stable maps moduli space $\ ar M_{0,n}(\mathbb{CP}^1 \times \mathbb{CP}^1, (1,d))$. We show that it is the coarse moduli space of a smooth Deligne-Mumford stack and we compute its rational Picard group. Using the recursive boundary structure inherited from the stable maps space, we give an explicit algorithm for computing top-intersection numbers of divisors on $M(d,n)$. We also study the $m$-fold iteration map $M(d,n) \dashrightarrow M(d^m,n)$ and we give a geometric way to extend this rational map to parts of the boundary of $M(d,n)$.

preprint2016arXiv

A correspondence of good G-sets under partial geometric quotients

For a complex variety $\hat X$ with an action of a reductive group $\hat G$ and a geometric quotient $π: \hat X \to X$ by a closed normal subgroup $H \subset \hat G$, we show that open sets of $X$ admitting good quotients by $G=\hat G / H$ correspond bijectively to open sets in $\hat X$ with good $\hat G$-quotients. We use this to compute GIT-chambers and their associated quotients for the diagonal action of $\text{PGL}_2$ on $(\mathbb{P}^1)^n$ in certain subcones of the $\text{PGL}_2$-effective cone via a torus action on affine space. This allows us to represent these quotients as toric varieties with fans determined by convex geometry.

preprint2016arXiv

Dimension theory of the moduli space of twisted $k$-differentials

In this note we extend the dimension theory for the spaces $\widetilde{\mathcal H}_g^k(μ)$ of twisted $k$-differentials defined by Farkas and Pandharipande in [FP15] to the case $k>1$. In particular, we show that the intersection $\widetilde{\mathcal H}_g^k(μ) \cap \mathcal{M}_{g,n}$ is a union of smooth components of the expected dimensions for all $k\geq 0$. We also extend a conjectural formula from [FP15] for a weighted fundamental class of $\widetilde{\mathcal H}_g^k(μ)$ and provide evidence in low genus.

preprint2015arXiv

Semantic Degrees for Industrie 4.0

Under the context of Industrie 4.0 (I4.0), future production systems provide balanced operations between manufacturing flexibility and efficiency, realized in an autonomous, horizontal, and decentralized item-level production control framework. Structured interoperability via precise formulations on an appropriate degree is crucial to achieve engineering efficiency in the system life cycle. However, selecting the degree of formalization can be challenging, as it crucially depends on the desired common understanding (semantic degree) between multiple parties. In this paper, we categorize different semantic degrees and map a set of technologies in industrial automation to their associated degrees. Furthermore, we created guidelines to assist engineers selecting appropriate semantic degrees in their design. We applied these guidelines on publically available scenarios to examine the validity of the approach, and identified semantic elements over internally developed use cases targeting semantically-enabled plug-and-produce.