-
Phylogenetic Trees and the Moduli Space of n Points on the Projective Line
Authors:
Herwig Hauser,
Jiayue Qi,
Josef Schicho
Abstract:
This is an expository paper. The geometry of phylogenetic trees is used to present in an accessible and pleasant fashion the results of Deligne, Mumford, and Knudsen about the moduli space of n distinct points on the projective line and its compactification, the moduli space of n-pointed stable curves of genus zero.
This is an expository paper. The geometry of phylogenetic trees is used to present in an accessible and pleasant fashion the results of Deligne, Mumford, and Knudsen about the moduli space of n distinct points on the projective line and its compactification, the moduli space of n-pointed stable curves of genus zero.
△ Less
Submitted 6 February, 2024;
originally announced February 2024.
-
On Abel's Problem about Logarithmic Integrals in Positive Characteristic
Authors:
Florian Fürnsinn,
Herwig Hauser,
Hiraku Kawanoue
Abstract:
Linear differential equations with polynomial coefficients over a field $K$ of positive characteristic $p$ with local exponents in the prime field have a basis of solutions in the differential extension $\mathcal{R}_p=K(z_1, z_2, \ldots)(\!( x)\!)$ of $K(x)$, where $x'=1, z_1'=1/x$ and $z_i'=z_{i-1}'/z_{i-1}$. For differential equations of order $1$ it is shown that there exists a solution $y$ who…
▽ More
Linear differential equations with polynomial coefficients over a field $K$ of positive characteristic $p$ with local exponents in the prime field have a basis of solutions in the differential extension $\mathcal{R}_p=K(z_1, z_2, \ldots)(\!( x)\!)$ of $K(x)$, where $x'=1, z_1'=1/x$ and $z_i'=z_{i-1}'/z_{i-1}$. For differential equations of order $1$ it is shown that there exists a solution $y$ whose projections $y\vert_{z_{i+1}=z_{i+2}=\cdots=0}$ are algebraic over the field of rational functions $K(x, z_1, \ldots, z_{i})$ for all $i$. This can be seen as a characteristic $p$ analogue of Abel's problem about the algebraicity of logarithmic integrals. Further, the existence of infinite product representations of these solutions is shown. As a main tool $p^i$-curvatures are introduced, generalizing the notion of the $p$-curvature.
△ Less
Submitted 24 April, 2024; v1 submitted 25 January, 2024;
originally announced January 2024.
-
On the formal neighborhood of a degenerate arc
Authors:
Christopher Chiu,
Herwig Hauser
Abstract:
We prove a result describing the structure of the formal neighborhoods of certain arcs in the arc space of an algebraic variety which are completely contained in the singular locus. In particular, we provide a precise formulation of the intuitive statement that constant arcs centered in the singular locus are the most singular points of the arc space.
We prove a result describing the structure of the formal neighborhoods of certain arcs in the arc space of an algebraic variety which are completely contained in the singular locus. In particular, we provide a precise formulation of the intuitive statement that constant arcs centered in the singular locus are the most singular points of the arc space.
△ Less
Submitted 24 October, 2023;
originally announced October 2023.
-
Fuchs' theorem on linear differential equations in arbitrary characteristic
Authors:
Florian Fürnsinn,
Herwig Hauser
Abstract:
The paper generalizes Lazarus Fuchs' theorem on the solutions of complex ordinary linear differential equations with regular singularities to the case of ground fields of arbitrary characteristic, giving a precise description of the shape of each solution. This completes partial investigations started by Taira Honda and Bernard Dwork.
The main features are the introduction of a differential ring…
▽ More
The paper generalizes Lazarus Fuchs' theorem on the solutions of complex ordinary linear differential equations with regular singularities to the case of ground fields of arbitrary characteristic, giving a precise description of the shape of each solution. This completes partial investigations started by Taira Honda and Bernard Dwork.
The main features are the introduction of a differential ring $\mathcal{R}$ in infinitely many variables mimicking the role of the (complex) iterated logarithms, and the proof that adding these "logarithms" already provides sufficiently many primitives so as to solve any differential equation with regular singularity in $\mathcal{R}$. A key step in the proof is the reduction of the involved differential operator to an Euler operator, its normal form, to solve Euler equations in $\mathcal{R}$ and to lift their (monomial) solutions to solutions of the original equation.
The first (and already very striking) example of this outset is the exponential function $\exp_p$ in positive characteristic, solution of $y' = y$. We prove that it necessarily involves all variables and we construct its explicit (and quite mysterious) power series expansion. Additionally, relations of our results to the Grothendieck-Katz $p$-curvature conjecture and related conjectures will be discussed.
△ Less
Submitted 29 October, 2023; v1 submitted 4 July, 2023;
originally announced July 2023.
-
Visual Ensemble Analysis of Fluid Flow in Porous Media across Simulation Codes and Experiment
Authors:
Ruben Bauer,
Quynh Quang Ngo,
Guido Reina,
Steffen Frey,
Bernd Flemisch,
Helwig Hauser,
Thomas Ertl,
Michael Sedlmair
Abstract:
We study the question of how visual analysis can support the comparison of spatio-temporal ensemble data of liquid and gas flow in porous media. To this end, we focus on a case study, in which nine different research groups concurrently simulated the process of injecting CO2 into the subsurface. We explore different data aggregation and interactive visualization approaches to compare and analyze t…
▽ More
We study the question of how visual analysis can support the comparison of spatio-temporal ensemble data of liquid and gas flow in porous media. To this end, we focus on a case study, in which nine different research groups concurrently simulated the process of injecting CO2 into the subsurface. We explore different data aggregation and interactive visualization approaches to compare and analyze these nine simulations. In terms of data aggregation, one key component is the choice of similarity metrics that define the relation between the different simulations. We test different metrics and find that a fine-tuned machine-learning based metric provides the best visualization results. Based on that, we propose different visualization methods. For overviewing the data, we use dimensionality reduction methods that allow us to plot and compare the different simulations in a scatterplot. To show details about the spatio-temporal data of each individual simulation, we employ a space-time cube volume rendering. We use the resulting interactive, multi-view visual analysis tool to explore the nine simulations and also to compare them to data from experimental setups. Our main findings include new insights into ranking of simulation results with respect to experimental data, and the development of gravity fingers in simulations.
△ Less
Submitted 27 November, 2023; v1 submitted 26 January, 2023;
originally announced February 2023.
-
Interactive Visual Analysis of Structure-borne Noise Data
Authors:
Rainer Splechtna,
Denis Gracanin,
Goran Todorovic,
Stanislav Goja,
Boris Bedic,
Helwig Hauser,
Kresimir Matkovic
Abstract:
Numerical simulation has become omnipresent in the automotive domain, posing new challenges such as high-dimensional parameter spaces and large as well as incomplete and multi-faceted data. In this design study, we show how interactive visual exploration and analysis of high-dimensional, spectral data from noise simulation can facilitate design improvements in the context of conflicting criteria.…
▽ More
Numerical simulation has become omnipresent in the automotive domain, posing new challenges such as high-dimensional parameter spaces and large as well as incomplete and multi-faceted data. In this design study, we show how interactive visual exploration and analysis of high-dimensional, spectral data from noise simulation can facilitate design improvements in the context of conflicting criteria. Here, we focus on structure-borne noise, i.e., noise from vibrating mechanical parts. Detecting problematic noise sources early in the design and production process is essential for reducing a product's development costs and its time to market. In a close collaboration of visualization and automotive engineering, we designed a new, interactive approach to quickly identify and analyze critical noise sources, also contributing to an improved understanding of the analyzed system. Several carefully designed, interactive linked views enable the exploration of noises, vibrations, and harshness at multiple levels of detail, both in the frequency and spatial domain. This enables swift and smooth changes of perspective; selections in the frequency domain are immediately reflected in the spatial domain, and vice versa. Noise sources are quickly identified and shown in the context of their neighborhood, both in the frequency and spatial domain. We propose a novel drill-down view, especially tailored to noise data analysis. Split boxplots and synchronized 3D geometry views support comparison tasks. With this solution, engineers iterate over design optimizations much faster, while maintaining a good overview at each iteration. We evaluated the new approach in the automotive industry, studying noise simulation data for an internal combustion engine.
△ Less
Submitted 7 September, 2022;
originally announced September 2022.
-
Arquile varieties -- varieties consisting of power series in a single variable
Authors:
Herwig Hauser,
Sebastian Woblistin
Abstract:
Arquile varieties are zerosets of polynomial, algebraic, analytic, or formal equations f(t,y_1,...,y_m) = 0 with solutions y(t) = (y_1(t),...,y_m(t)) in affine m-space over an algebraic, convergent or formal power series ring k<t>, k{t}, or k[[t]]. As such they generalize the concept of the arc space of an algebraic variety.
In the article, the geometry of arquile varieties is studied in detail.…
▽ More
Arquile varieties are zerosets of polynomial, algebraic, analytic, or formal equations f(t,y_1,...,y_m) = 0 with solutions y(t) = (y_1(t),...,y_m(t)) in affine m-space over an algebraic, convergent or formal power series ring k<t>, k{t}, or k[[t]]. As such they generalize the concept of the arc space of an algebraic variety.
In the article, the geometry of arquile varieties is studied in detail. Among other things, it is shown that, after a suitable stratification, their singularities, once defined appropriately, are confined to a finite dimensional part. The main technique to do this is to combine, as is standard in the theory of arc spaces, tools from algebraic geometry and commutative algebra with the additional knowledge that the points of arquile varieties are not just abstract objects (as they are in classical algebraic and analytic geometry) but concrete power series having their proper series expansion.
△ Less
Submitted 15 October, 2021;
originally announced October 2021.
-
Isosingular loci of algebraic varieties
Authors:
Christopher Chiu,
Herwig Hauser
Abstract:
We define the notion of isosingular loci of algebraic varieties, following the analytic case first studied by Ephraim. In particular, we give a partial extension of his main result in arbitrary characteristic and a full extension assuming characteristic $0$. One of the main obstructions in the positive characteristic case is the non-separability of the orbit map associated to the contact group, as…
▽ More
We define the notion of isosingular loci of algebraic varieties, following the analytic case first studied by Ephraim. In particular, we give a partial extension of his main result in arbitrary characteristic and a full extension assuming characteristic $0$. One of the main obstructions in the positive characteristic case is the non-separability of the orbit map associated to the contact group, as first observed by Greuel and Pham for isolated singularities.
△ Less
Submitted 27 July, 2021;
originally announced July 2021.
-
IsoTrotter: Visually Guided Empirical Modelling of Atmospheric Convection
Authors:
Juraj Pálenik,
Thomas Spengler,
Helwig Hauser
Abstract:
Empirical models, fitted to data from observations, are often used in natural sciences to describe physical behaviour and support discoveries. However, with more complex models, the regression of parameters quickly becomes insufficient, requiring a visual parameter space analysis to understand and optimize the models. In this work, we present a design study for building a model describing atmosphe…
▽ More
Empirical models, fitted to data from observations, are often used in natural sciences to describe physical behaviour and support discoveries. However, with more complex models, the regression of parameters quickly becomes insufficient, requiring a visual parameter space analysis to understand and optimize the models. In this work, we present a design study for building a model describing atmospheric convection. We present a mixed-initiative approach to visually guided modelling, integrating an interactive visual parameter space analysis with partial automatic parameter optimization. Our approach includes a new, semi-automatic technique called IsoTrotting where we optimize the procedure by navigating along isocontours of the model. We evaluate the model with unique observational data of atmospheric convection based on flight trajectories of paragliders.
△ Less
Submitted 24 August, 2020;
originally announced August 2020.
-
Scale-Space Splatting: Reforming Spacetime for the Cross-Scale Exploration of Integral Measures in Molecular Dynamics
Authors:
Juraj Pálenik,
Jan Byška,
Stefan Bruckner,
Helwig Hauser
Abstract:
Understanding large amounts of spatiotemporal data from particle-based simulations, such as molecular dynamics, often relies on the computation and analysis of aggregate measures. These, however, by virtue of aggregation, hide structural information about the space/time localization of the studied phenomena. This leads to degenerate cases where the measures fail to capture distinct behaviour. In o…
▽ More
Understanding large amounts of spatiotemporal data from particle-based simulations, such as molecular dynamics, often relies on the computation and analysis of aggregate measures. These, however, by virtue of aggregation, hide structural information about the space/time localization of the studied phenomena. This leads to degenerate cases where the measures fail to capture distinct behaviour. In order to drill into these aggregate values, we propose a multi-scale visual exploration technique. Our novel representation, based on partial domain aggregation, enables the construction of a continuous scale-space for discrete datasets and the simultaneous exploration of scales in both space and time. We link these two scale-spaces in a scale-space space-time cube and model linked views as orthogonal slices through this cube, thus enabling the rapid identification of spatio-temporal patterns at multiple scales. To demonstrate the effectiveness of our approach, we showcase an advanced exploration of a protein-ligand simulation.
△ Less
Submitted 22 July, 2019;
originally announced July 2019.
-
Multiscale Visual Drilldown for the Analysis of Large Ensembles of Multi-Body Protein Complexes
Authors:
Katarína Furmanová,
Adam Jurčík,
Barbora Kozlíková,
Helwig Hauser,
Jan Byška
Abstract:
When studying multi-body protein complexes, biochemists use computational tools that can suggest hundreds or thousands of their possible spatial configurations. However, it is not feasible to experimentally verify more than only a very small subset of them. In this paper, we propose a novel multiscale visual drilldown approach that was designed in tight collaboration with proteomic experts, enabli…
▽ More
When studying multi-body protein complexes, biochemists use computational tools that can suggest hundreds or thousands of their possible spatial configurations. However, it is not feasible to experimentally verify more than only a very small subset of them. In this paper, we propose a novel multiscale visual drilldown approach that was designed in tight collaboration with proteomic experts, enabling a systematic exploration of the configuration space. Our approach takes advantage of the hierarchical structure of the data -- from the whole ensemble of protein complex configurations to the individual configurations, their contact interfaces, and the interacting amino acids. Our new solution is based on interactively linked 2D and 3D views for individual hierarchy levels and at each level, we offer a set of selection and filtering operations enabling the user to narrow down the number of configurations that need to be manually scrutinized. Furthermore, we offer a dedicated filter interface, which provides the users with an overview of the applied filtering operations and enables them to examine their impact on the explored ensemble. This way, we maintain the history of the exploration process and thus enable the user to return to an earlier point of the exploration. We demonstrate the effectiveness of our approach on two case studies conducted by collaborating proteomic experts.
△ Less
Submitted 9 July, 2019;
originally announced July 2019.
-
Characterizing the increase of the residual order under blowup in positive characteristic
Authors:
Herwig Hauser,
Stefan Perlega
Abstract:
In characteristic zero, the residual order constitutes, after the local multiplicity, the second key invariant for the resolution of singularities. It is defined as the order of the coefficient ideal in a local hypersurface of maximal contact, minus the exceptional multiplicities. It does not increase under blowup in permissible centers as long as the local multiplicity remains constant. In positi…
▽ More
In characteristic zero, the residual order constitutes, after the local multiplicity, the second key invariant for the resolution of singularities. It is defined as the order of the coefficient ideal in a local hypersurface of maximal contact, minus the exceptional multiplicities. It does not increase under blowup in permissible centers as long as the local multiplicity remains constant. In positive characteristic, however, the residual order (defined now as the maximum over all smooth local hypersurfaces) may increase under blowup. In the article we analyze in detail the circumstances when this happens. This may help to develop a modification of the residual order which does work in positive characteristic.
△ Less
Submitted 23 June, 2019;
originally announced June 2019.
-
Echelons of power series and Gabrielov's counterexample to nested linear Artin Approximation
Authors:
M. E. Alonso,
F. J. Castro-Jiménez,
H. Hauser,
C. Koutschan
Abstract:
Gabrielov's famous example for the failure of analytic Artin approximation in the presence of nested subring conditions is shown to be due to a growth phenomenon in standard basis computations for echelons, a generalization of the concept of ideals in power series rings.
Gabrielov's famous example for the failure of analytic Artin approximation in the presence of nested subring conditions is shown to be due to a growth phenomenon in standard basis computations for echelons, a generalization of the concept of ideals in power series rings.
△ Less
Submitted 22 April, 2018;
originally announced April 2018.
-
Cycles of Singularities appearing in the Resolution Problem in positive Characteristic
Authors:
Herwig Hauser,
Stefan Perlega
Abstract:
We present a hypersurface singularity in positive characteristic which is defined by a purely inseparable power series, and a sequence of point blowups so that, after applying the blowups to the singularity, the same type of singularity reappears after the last blowup, with just certain exponents of the defining power series shifted upwards. The construction hence yields a cycle. Iterating this cy…
▽ More
We present a hypersurface singularity in positive characteristic which is defined by a purely inseparable power series, and a sequence of point blowups so that, after applying the blowups to the singularity, the same type of singularity reappears after the last blowup, with just certain exponents of the defining power series shifted upwards. The construction hence yields a cycle. Iterating this cycle leads to an infinite increase of the residual order of the defining power series. This disproves a theorem claimed by Moh about the stability of the residual order under sequences of blowups. It is not a counter-example to the resolution in positive characteristic since larger centers are also permissible and prevent the phenomenon from happening.
△ Less
Submitted 14 February, 2018;
originally announced February 2018.
-
Bodily aware soft robots: integration of proprioceptive and exteroceptive sensors
Authors:
Gabor Soter,
Andrew Conn,
Helmut Hauser,
Jonathan Rossiter
Abstract:
Being aware of our body has great importance in our everyday life. This is the reason why we know how to move in a dark room or to grasp a complex object. These skills are important for robots as well, however, robotic bodily awareness is still an unsolved problem. In this paper we present a novel method to implement bodily awareness in soft robots by the integration of exteroceptive and proprioce…
▽ More
Being aware of our body has great importance in our everyday life. This is the reason why we know how to move in a dark room or to grasp a complex object. These skills are important for robots as well, however, robotic bodily awareness is still an unsolved problem. In this paper we present a novel method to implement bodily awareness in soft robots by the integration of exteroceptive and proprioceptive sensors. We use a combination of a stacked convolutional autoencoder and a recurrent neural network to map internal sensory signals to visual information. As a result, the simulated soft robot can learn to \textit{imagine} its motion even when its visual sensor is not available.
△ Less
Submitted 8 November, 2017; v1 submitted 15 October, 2017;
originally announced October 2017.
-
Visual Analytics of Image-Centric Cohort Studies in Epidemiology
Authors:
Bernhard Preim,
Paul Klemm,
Helwig Hauser,
Katrin Hegenscheid,
Steffen Oeltze,
Klaus Toennies,
Henry Völzke
Abstract:
Epidemiology characterizes the influence of causes to disease and health conditions of defined populations. Cohort studies are population-based studies involving usually large numbers of randomly selected individuals and comprising numerous attributes, ranging from self-reported interview data to results from various medical examinations, e.g., blood and urine samples. Since recently, medical imag…
▽ More
Epidemiology characterizes the influence of causes to disease and health conditions of defined populations. Cohort studies are population-based studies involving usually large numbers of randomly selected individuals and comprising numerous attributes, ranging from self-reported interview data to results from various medical examinations, e.g., blood and urine samples. Since recently, medical imaging has been used as an additional instrument to assess risk factors and potential prognostic information. In this chapter, we discuss such studies and how the evaluation may benefit from visual analytics. Cluster analysis to define groups, reliable image analysis of organs in medical imaging data and shape space exploration to characterize anatomical shapes are among the visual analytics tools that may enable epidemiologists to fully exploit the potential of their huge and complex data. To gain acceptance, visual analytics tools need to complement more classical epidemiologic tools, primarily hypothesis-driven statistical analysis.
△ Less
Submitted 15 January, 2015;
originally announced January 2015.
-
Illustrating Polymerization using Three-level Model Fusion
Authors:
Ivan Kolesar,
Julius Parulek,
Ivan Viola,
Stefan Bruckner,
Anne-Kristin Stavrum,
Helwig Hauser
Abstract:
Research in cell biology is steadily contributing new knowledge about many different aspects of physiological processes like polymerization, both with respect to the involved molecular structures as well as their related function. Illustrations of the spatio-temporal development of such processes are not only used in biomedical education, but also can serve scientists as an additional platform for…
▽ More
Research in cell biology is steadily contributing new knowledge about many different aspects of physiological processes like polymerization, both with respect to the involved molecular structures as well as their related function. Illustrations of the spatio-temporal development of such processes are not only used in biomedical education, but also can serve scientists as an additional platform for in-silico experiments. In this paper, we contribute a new, three-level modeling approach to illustrate physiological processes from the class of polymerization at different time scales. We integrate physical and empirical modeling, according to which approach suits the different involved levels of detail best, and we additionally enable a simple form of interactive steering while the process is illustrated. We demonstrate the suitability of our approach in the context of several polymerization processes and report from a first evaluation with domain experts.
△ Less
Submitted 9 July, 2014;
originally announced July 2014.
-
Exploiting short-term memory in soft body dynamics as a computational resource
Authors:
Kohei Nakajima,
Tao Li,
Helmut Hauser,
Rolf Pfeifer
Abstract:
Soft materials are not only highly deformable but they also possess rich and diverse body dynamics. Soft body dynamics exhibit a variety of properties, including nonlinearity, elasticity, and potentially infinitely many degrees of freedom. Here we demonstrate that such soft body dynamics can be employed to conduct certain types of computation. Using body dynamics generated from a soft silicone arm…
▽ More
Soft materials are not only highly deformable but they also possess rich and diverse body dynamics. Soft body dynamics exhibit a variety of properties, including nonlinearity, elasticity, and potentially infinitely many degrees of freedom. Here we demonstrate that such soft body dynamics can be employed to conduct certain types of computation. Using body dynamics generated from a soft silicone arm, we show that they can be exploited to emulate functions that require memory and to embed robust closed-loop control into the arm. Our results suggest that soft body dynamics have a short-term memory and can serve as a computational resource. This finding paves the way toward exploiting passive body dynamics for control of a large class of underactuated systems.
△ Less
Submitted 20 June, 2014; v1 submitted 18 June, 2014;
originally announced June 2014.
-
Blowups and Resolution
Authors:
Herwig Hauser
Abstract:
This article shall serve as a quick reference for somebody who needs precise information on concepts and results related to resolution of singularities. As such, it is more a technical manual than a bedtime story.
Topics which are covered: Singular and regular points of varieties and schemes; various definitions of blowups and their mutual relations; properties of blowups; transforms of varietie…
▽ More
This article shall serve as a quick reference for somebody who needs precise information on concepts and results related to resolution of singularities. As such, it is more a technical manual than a bedtime story.
Topics which are covered: Singular and regular points of varieties and schemes; various definitions of blowups and their mutual relations; properties of blowups; transforms of varieties, schemes and ideals; exceptional divisors; Cartier and normal crossings divisors; transversality; hypersurfaces of maximal contact; flags; coefficient ideals; resolution invariants; order of ideals; Hilbert-Samuel function; semicontinuity; various resolution statements; characteristic zero resolution; characteristic p phenomena.
The text is complemented with lots of illustrating examples.
△ Less
Submitted 3 April, 2014;
originally announced April 2014.
-
Alternative Invariants for the Embedded Resolution of Purely Inseparable Surface Singularities
Authors:
Herwig Hauser,
Dominique Wagner
Abstract:
The article investigates the behaviour of the characteristic zero resolution invariant when transcribed suitably to the case of surfaces in positive characteristic. By Moh's jum** phenomenon -- or the occurrence of kangaroo singularities -- one knows that the invariant may increase, thus destroying any induction.
We describe in the paper how one can modify in the purely inseparable surface cas…
▽ More
The article investigates the behaviour of the characteristic zero resolution invariant when transcribed suitably to the case of surfaces in positive characteristic. By Moh's jum** phenomenon -- or the occurrence of kangaroo singularities -- one knows that the invariant may increase, thus destroying any induction.
We describe in the paper how one can modify in the purely inseparable surface case the invariant by adding a subtle correction term so as to prohibit its occasional increases and to establish the induction argument again.
△ Less
Submitted 26 March, 2014;
originally announced March 2014.
-
Encoding algebraic power series
Authors:
M. E. Alonso,
F. C. Castro-Jimenez,
H. Hauser
Abstract:
Algebraic power series are formal power series which satisfy a univariate polynomial equation over the polynomial ring in n variables. This relation determines the series only up to conjugacy. Via the Artin-Mazur theorem and the implicit function theorem it is possible to describe algebraic series completely by a vector of polynomials in n+p variables. This vector will be the code of the series. I…
▽ More
Algebraic power series are formal power series which satisfy a univariate polynomial equation over the polynomial ring in n variables. This relation determines the series only up to conjugacy. Via the Artin-Mazur theorem and the implicit function theorem it is possible to describe algebraic series completely by a vector of polynomials in n+p variables. This vector will be the code of the series. In the paper, it is then shown how to manipulate algebraic series through their code. In particular, the Weierstrass division and the Grauert-Hironaka-Galligo division will be performed on the level of codes, thus providing a finite algorithm to compute the quotients and the remainder of the division.
△ Less
Submitted 17 March, 2014;
originally announced March 2014.
-
A Game for the Resolution of Singularities
Authors:
Herwig Hauser,
Josef Schicho
Abstract:
We propose a combinatorial game on finite graphs, called Salmagundy, that is played by two protagonists, Dido and Mephisto. The game captures the logical structure of a proof of the resolution of singularities. In each round, the graph of the game is modified by the moves of the players. When it assumes a final configuration, Dido has won. Otherwise, the game goes on forever, and nobody wins. In p…
▽ More
We propose a combinatorial game on finite graphs, called Salmagundy, that is played by two protagonists, Dido and Mephisto. The game captures the logical structure of a proof of the resolution of singularities. In each round, the graph of the game is modified by the moves of the players. When it assumes a final configuration, Dido has won. Otherwise, the game goes on forever, and nobody wins. In particular, Mephisto cannot win himself, he can only prevent Dido from winning.
We show that Dido always possesses a winning strategy, regardless of the initial shape of the graph and of the moves of Mephisto. This implies -- translating back to algebraic geometry -- that there is a choice of centers for the blowup of singular varieties in characteristic zero which eventually leads to their resolution. The algebra needed for this implication is elementary. The transcription from varieties to graphs and from blowups to modifications of the graph thus axiomatizes the proof of the resolution of singularities. In principle, the same logic could also work in positive characteristic, once an appropriate descent in dimension is settled.
△ Less
Submitted 1 October, 2010;
originally announced October 2010.
-
Arcs, Cords and Felts - Six instances of the Linearization Principle
Authors:
Clemens Bruschek,
Herwig Hauser
Abstract:
It is shown how a selection of prominent results in singularity theory and differential geometry can be deduced from one theorem, the Rank Theorem for maps between spaces of power series.
It is shown how a selection of prominent results in singularity theory and differential geometry can be deduced from one theorem, the Rank Theorem for maps between spaces of power series.
△ Less
Submitted 28 June, 2010;
originally announced June 2010.
-
Kangaroo points and oblique polynomials in resolution of positive characteristic
Authors:
Herwig Hauser
Abstract:
Updated version. Includes comments on the advances in the field from the Kyoto workshop on Resolution of Singularities in Positive Characteristic, December 2008.
The article surveys the theory of kangaroo points as they appear in the resolution of singularities in positive characteristic. They represent one of the main obstructions for transcribing the characteristic zero proof of resolution t…
▽ More
Updated version. Includes comments on the advances in the field from the Kyoto workshop on Resolution of Singularities in Positive Characteristic, December 2008.
The article surveys the theory of kangaroo points as they appear in the resolution of singularities in positive characteristic. They represent one of the main obstructions for transcribing the characteristic zero proof of resolution to positive characteristic. Kangaroo points are classified through the concept of oblique polynomials. The results of the article are used in Hironaka's recent program towards the resolution of singularities in positive characteristic.
△ Less
Submitted 18 December, 2008; v1 submitted 25 November, 2008;
originally announced November 2008.
-
Plain Varieties
Authors:
Gábor Bodnár,
Herwig Hauser,
Josef Schicho,
Orlando Villamayor
Abstract:
Algebraic varieties which are locally isomorphic to open subsets of affine space will be called {\em plain}. Plain varieties are smooth and rational. The converse is true for curves and surfaces, and unknown in general. It is shown that plain varieties are stable under blowup in smooth centers.
Algebraic varieties which are locally isomorphic to open subsets of affine space will be called {\em plain}. Plain varieties are smooth and rational. The converse is true for curves and surfaces, and unknown in general. It is shown that plain varieties are stable under blowup in smooth centers.
△ Less
Submitted 14 October, 2008;
originally announced October 2008.
-
UFOs -- Unidentified Figurative Objects. A Geometric Challenge
Authors:
C. Bruschek,
S. Gann,
H. Hauser,
D. Wagner,
D. Zeillinger
Abstract:
Choose a polynomial in three variables with not more than three or four monomials of moderate degree. Take simple coefficients as 1 and -1. Then draw a picture of the solution variety in real three space using a ray-tracing program like POV-Ray, Surf or Spicy. Go to your colleague in the next room, show her/him the picture and ask for a suitable equation.
This is the theme of the article: The…
▽ More
Choose a polynomial in three variables with not more than three or four monomials of moderate degree. Take simple coefficients as 1 and -1. Then draw a picture of the solution variety in real three space using a ray-tracing program like POV-Ray, Surf or Spicy. Go to your colleague in the next room, show her/him the picture and ask for a suitable equation.
This is the theme of the article: The problem of recognizing the algebraic definition of a geometric object, in this case a real algebraic surface. We do not offer any answers or results. 24 surfaces are presented, each in two different views, but without equations. The reader may try to find them -- or consult the calendar at http://www.hh.hauser.cc, where the equations are displayed one per day together with a short animation of the surface.
△ Less
Submitted 7 December, 2005;
originally announced December 2005.
-
Strong resolution of singularities in characteristic zero
Authors:
S. Encinas,
H. Hauser
Abstract:
We present a concise proof for the existence and construction of a {\it strong resolution of excellent schemes} of finite type over a field of characteristic zero. Our proof is based on earlier work of Villamayor, Encinas-Villamayor and Bierstone-Milman. It apports some substantial simplifications which may be helpful for a better understanding of how to prove Hironaka's famous theorem.
We present a concise proof for the existence and construction of a {\it strong resolution of excellent schemes} of finite type over a field of characteristic zero. Our proof is based on earlier work of Villamayor, Encinas-Villamayor and Bierstone-Milman. It apports some substantial simplifications which may be helpful for a better understanding of how to prove Hironaka's famous theorem.
△ Less
Submitted 27 November, 2002;
originally announced November 2002.
-
Analytic varieties versus integral varieties of Lie algebras of vector fields
Authors:
Herwig Hauser,
Gerd Muller
Abstract:
We associate to any germ of an analytic variety a Lie algebra of tangent vector fields, the {\it tangent algebra}. Conversely, to any Lie algebra of vector fields an analytic germ can be associated, the {\it integral variety}. The paper investigates properties of this correspondence: The set of all tangent algebras is characterized in purely Lie algebra theoretic terms. And it is shown that the…
▽ More
We associate to any germ of an analytic variety a Lie algebra of tangent vector fields, the {\it tangent algebra}. Conversely, to any Lie algebra of vector fields an analytic germ can be associated, the {\it integral variety}. The paper investigates properties of this correspondence: The set of all tangent algebras is characterized in purely Lie algebra theoretic terms. And it is shown that the tangent algebra determines the analytic type of the variety.
△ Less
Submitted 31 March, 1992;
originally announced April 1992.